Register to reply 
Manifold definition 
Share this thread: 
#1
Feb613, 04:46 PM

P: 3,035

In general terms a manifold can be defined simply as a topological space locally resembling Euclidean space with the resemblance meaning homeomorphic to Euclidean space, plus a couple of point set axioms that avoid certain "patological" manifolds and that some authors reserve for the definition of differentiable manifolds. My doubt is that since the category of homeomorphisms doesn't include notions of distance and angles, that is, metric properties are not included, wouldn't it be more precise defining manifolds as topological spaces locally homeomorphic to real topological vector spaces (or complex topological vector spaces in the case of a complex manifold) rather than to Euclidean spaces?
Not that the usual definition is wrong, but IMO it also might be misleading wrt the often ignored difference between real topological vector spaces and Euclidean vector spaces (only the latter has the Euclidean inner product).Calling both entities R^n doesn't help either. In the wikipedia page on manifolds one can see it defined both ways but there is much more insistence in the "locally resembling Euclidean space" definition. 


#2
Feb613, 05:10 PM

Mentor
P: 18,243

A real vector space doesn't have a topology. A vector space is a purely algebraic object. So locally homeomorphic makes no sense.
Of course, it is entirely possible to give a real vector space a natural topology, but strictly speaking, we aren't dealing with vector spaces anymore, but topological vector spaces. In any case, I fail to see what you dislike about the [itex]\mathbb{R}^n[/itex] definition. 


#3
Feb613, 05:13 PM

C. Spirit
Sci Advisor
Thanks
P: 5,596

[itex]\mathbb{R}^{n}[/itex] is a real vector space. Any finite dimensional vector space can be given a norm. All norms on a finite dimensional vector space generate the same topology. Any finite dimensional normed vector space is homeomorpic to [itex]\mathbb{R}^{n}[/itex] for some [itex]n[/itex]. Not sure what point you are trying to make.



#4
Feb613, 06:04 PM

P: 3,035

Manifold definition



#5
Feb613, 06:08 PM

P: 3,035




#6
Feb613, 06:14 PM

Mentor
P: 18,243

I guess I don't know why you specifically want a vector space structure to define manifolds.
All you need to define a manifold is the topological space [itex]\mathbb{R}^n[/itex], and not the addition and multiplication structure. If you want to define a manifold as something locally homeomorphic to a real vector space (with some natural topology), then you are kind of implying that the vector space structure is important when defining manifolds. But in reality, there is no need for any algebraic structure when defining manifolds. So I'm not sure why you want to look at topological vector spaces to begin with. 


#7
Feb613, 06:19 PM

Sci Advisor
P: 1,593

Some authors use [itex]\mathbb{R}^n[/itex] to refer to the topological space, and [itex]\mathbb{E}^n[/itex] to refer to the topological space endowed with the Euclidean metric. To define manifolds, one only needs the topological space.
As for vector spaces, howerver... I don't see any natural way that a manifold can be locally homeomorphic to a vector space. As Micromass points out, the sentence itself sounds "grammatically incorrect" to me. More to the point, what makes a vector space a vector space is its algebraic structure; that elements of the space can be added, subtracted, and mutiplied by scalars. Such operations do not, however, make sense on a simplyconnected open neighborhood of some manifold. Therefore a manifold cannot be locally compared to a vector space in any meaningful way. The tangent space at each point is a vector space, but points on the manifold itself have no algebraic operations defined on them. 


#8
Feb613, 06:30 PM

P: 3,035

I corrected my post, does it make more sense now?



#9
Feb713, 04:59 AM

P: 3,035




#10
Feb713, 01:31 PM

Sci Advisor
HW Helper
P: 11,915

My opinion:
1.[itex] \left(\mathbb{R}^{n},\mathbb{R},\langle ,\rangle\right) \equiv \mathbb{E}^{n} [/itex] is an ndimensional topological vector space (a Banach space actually) with the metric topology induced by the euclidean scalar product through the norm. 2. [itex] \mathbb{R}^n [/itex] is a topological space with the product topology, the open interval topology inherited from [itex] \mathbb{R} [/itex] + the cartesian product. So when one says that a finite dimensional topological manifold is locally homeomorphic to [itex] \mathbb{R}^{n}[/itex], do they mean 1. or 2. ? My guess is 1. 


#11
Feb713, 02:04 PM

P: 1,622




#12
Feb713, 04:21 PM

Sci Advisor
HW Helper
P: 9,470

That is the point. The word "homeomorphic" already tells you that only the topology is being considered.
The situation with infinite dimensional real vector spaces is that they have more than one topology, so then you can't say simply "homeomorphic" since there is no canonical choice. Moreover one does consider infinite dimensional manifolds modeled locally on Banach spaces. In those cases the norm is given on the Banach space, but merely the induced (complete) metric topology is relevant. So if one wants to define a manifold as locally modeled on some real vector space, one has to give the topology somehow, and a norm is a convenient way. Moreover one usually wants to employ local coordinates in discussing manifolds, and here it is helpful that one has modeled ones manifold on R^n, i.e. Euclidean coordinate space. So it seems to me that in discussing manifolds, one usually wants to use both the topology and the coordinates. Indeed in classical physics texts, one does not even have much intrinsic grip on the manifold, but discusses tensors et al as if they were always given in coordinates, plus some rules for changing those coordinates. I sympathize with the confusion however. I once was greatly puzzled when a professor showed me how to prove a certain function was continuous by choosing coordinates. I thought that was no good since originally the space had no coordinates, only a topology. I failed to see that a function on a finite dimensional real vector space is continuous in the usual topology if and only if it is continuous in terms of any choice at all o coordinates. In fact this failure of mine demonstrated that, in spite of all the manifold stuff I had memorized, I did not grasp the whole point of continuously compatible local coordinate systems. Namely that the compatibility means that questions about continuity can be checked in any of them. So if you like, a finite dimensional real vector space is itself a manifold with a huge number of global charts, one for each basis. Moreover each basis defines the same topology so anyone can be used to check continuity of functions. 


#13
Feb813, 10:59 AM

Sci Advisor
P: 1,716

While locally homeomorphic refers only to the topology, the idea of a manifold is that it can be locally coordinatized in the same way as Euclidean space. Coordinates imply more structure than just the topology and for very small distances a coordinate system will appear to be a vector space structure.



#14
Feb813, 11:28 AM

P: 1,622




#15
Feb813, 01:17 PM

P: 3,035




#16
Feb813, 01:44 PM

P: 1,622

Edit: To help clear up confusion, regard the domains of [itex]\mathrm{id}[/itex] and [itex]\mathrm{id}^3[/itex] as purely topological spaces. Do not give them any algebraic structure. View the codomains of these maps as real vector spaces with the natural topology. Edit II: For further clarification, all this argument shows is that charts cannot be used to give a canonical local vector space structure on a manifold, since each choice of chart will generally produce a different a different local vector space structure. So it does not matter that [itex]\mathbb{R}[/itex] has a natural vector space structure. 


#17
Feb913, 07:23 AM

P: 3,035

I didn't realize it when I said you were not right. 


#18
Feb913, 09:00 AM

P: 1,622




Register to reply 
Related Discussions  
Definition of manifold  Differential Geometry  4  
Definition of Manifold  Calculus  9  
Definition of a manifold  Differential Geometry  24  
Another manifold definition deficiency?  Differential Geometry  5  
Definition of differentiability on a manifold  Differential Geometry  15 