Example of differentiable manifold of class C^1

[mnb96]

Hello,

I read from several sources the statement that the set of points M\inℝ² given by (t, \, |t|^2) is an example of differentiable manifold of class C¹ but not C².

Is that true?
To be honest, that statement does not convince me completely, because in order for M to be a manifold, we should be able to find an atlas of charts x_i:U_i \rightarrow M such that all the points of M are covered by the atlas.
So how do we cover the point (0,0) ?

Do we need to use 3 charts as follows?

x_1(t) = (t,\, t^2) \quad \, t\in(0,+\infty)
x_2(t) = (t,\, -t^2) \quad \, t\in(-\infty, 0)
x_3(t) = (t,t^2) \quad \, t\in(-1,1)

 

[Mandelbroth]

Hello,

I read from several sources the statement that the set of points M\inℝ² given by (t, \, |t|^2) is an example of differentiable manifold of class C¹ but not C².

Is that true?
To be honest, that statement does not convince me completely, because in order for M to be a manifold, we should be able to find an atlas of charts x_i:U_i \rightarrow M such that all the points of M are covered by the atlas.
So how do we cover the point (0,0) ?

Do we need to use 3 charts as follows?

x_1(t) = (t,\, t^2) \quad \, t\in(0,+\infty)
x_2(t) = (t,\, -t^2) \quad \, t\in(-\infty, 0)
x_3(t) = (t,t^2) \quad \, t\in(-1,1)

I don't understand what you're doing. For real numbers $t$, $|t|^2=t^2$, right?

 

[mnb96]

Sorry, I reported the wrong equation for the curve . What I meant was that the points of M are given by (t, \, \mathrm{sign}(t)t^2)

 

[WWGD]

Why don't you use a $C^1$ function f that is not $C^2$ and try to find a manifold whose transition functions ae given by f ?

Only one I can think of now is $$f(x)= \frac {-x^2}{2}; x\leq 0$$ and

$$f(x) =\frac{x^2}{2} ; x>0$$

We have f'(x)=|x| , which is not differentiable. I'm not sure this will work; just an idea. Seems like an interesting question: given a (finite) collection of functions, can I find a manifold for which the transition functions are precisely those functions? I'm thinking this is the way one can construct bundles by choosing cocycles satisfying certain properties; can we do something similar for manifolds?

 

[mnb96]

Hi WWGD,

I think the function you suggested is the same as the one I am considering, up to a scalar factor of 1/2.
In my first post I gave three coordinate charts x₁, x₂, x₃ that I regarded as possibly correct candidates to form an atlas.

What I missed were the transition maps.
In this case, it seems that the transition maps are always the identity function on some domain: \tau_{1,3}(t)=\tau_{3,1}(t)=t \quad ; \, t\in(0,1)
\tau_{2,3}(t)=\tau_{3,2}(t)=t \quad ; \, t\in(-1,0)

If this last step is correct, it should prove that the curve is indeed a C^1-differentiable manifold (but not C^2).