Structuring the graph of |x| so it is not a smooth manifold


by shoescreen
Tags: graph, manifold, smooth, structuring
shoescreen
shoescreen is offline
#1
Mar31-11, 08:19 PM
P: 15
Hello,

I am learning about smooth manifolds through Lee's text. One thing that I have been pondering is describing manifolds such as |x| which are extremely well behaved but not smooth in an ordinary setting.

It is simple to put a smooth structure on this manifold, however that is unsatisfactory for what I am envisioning. Can you help me think of a reasonable topological manifold which describes this set, but is not smooth?

I suppose what I am really looking for is some sort of canonical differential structure to give to embeddings of R^n that when looking at graphs of real valued functions, the manifold would be smooth if and only if the function is smooth.

Standard and usual definitions apply, e.g. subspace topology, smooth means C-infinity

Thanks!
Phys.Org News Partner Science news on Phys.org
Going nuts? Turkey looks to pistachios to heat new eco-city
Space-tested fluid flow concept advances infectious disease diagnoses
SpaceX launches supplies to space station (Update)
lavinia
lavinia is offline
#2
Mar31-11, 08:28 PM
Sci Advisor
P: 1,716
Quote Quote by shoescreen View Post
Hello,

I am learning about smooth manifolds through Lee's text. One thing that I have been pondering is describing manifolds such as |x| which are extremely well behaved but not smooth in an ordinary setting.

It is simple to put a smooth structure on this manifold, however that is unsatisfactory for what I am envisioning. Can you help me think of a reasonable topological manifold which describes this set, but is not smooth?

I suppose what I am really looking for is some sort of canonical differential structure to give to embeddings of R^n that when looking at graphs of real valued functions, the manifold would be smooth if and only if the function is smooth.

Standard and usual definitions apply, e.g. subspace topology, smooth means C-infinity

Thanks!
the embedded manifold will be smooth if at each of its points there is an open neighborhood in the ambient manifold whose intersection with the embedded manifold is diffeomorphic to an open subset of R^n.


Register to reply

Related Discussions
smooth covering map and smooth embedding Differential Geometry 1
smooth manifold and constant map Differential Geometry 2
a smooth manifold Calculus & Beyond Homework 6
fortran program structuring.. Programming & Computer Science 2
definition of a smooth manifold. Differential Geometry 27