3
$\begingroup$

I recently heard a differential geometry talk where the speaker constructed a one-parameter family of metrics $g(t)$ on a smooth manifold and said that $g(t)$ is real analytic in the Banach space $BC(T^2(M))$ with respect to the sup norm $\Vert . \Vert_{g(0)}$. I did not understand this at the time, nor can I (with some googling also) make precise sense of this now (I can't guess what $BC$ stands for either). To me, saying something is real analytic means it satisfies a Taylor series expansion. In this situation, I would think that given $x \in M$, $v_1, v_2 \in T_x(M)$, $g(t)$ is real analytic if $$g(t + h)(v_1, v_2) = g(t)(v_1, v_2) + hg(t)(v_1, v_2) + \frac{h^2}{2!}g(t)(v_1, v_2) + ....$$ I don't see why a norm needs to be invoked here. Any insights, please?

$\endgroup$

1 Answer 1

4
$\begingroup$

I should just comment but I don't have enough reputation to do that, therefore I write my comment here.

I guess BC stands for "bounded continuous", the sup norm is to indicate what does "bounded" mean. Being analytic w.r.t. $t$ could be considered as its expression (matrices) in the local coordinates, is analytic w.r.t. $t$ exactly what you wrote.

$\endgroup$
1
  • $\begingroup$ Okay, I see. In case the manifold is not compact, they need bounded continuous to make it a Banach space. Nice observation. $\endgroup$
    – student
    Oct 5, 2015 at 20:47

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.