What are the main considerations when defining a smooth manifold?

  • Context: Graduate 
  • Thread starter Thread starter MathematicalPhysicist
  • Start date Start date
  • Tags Tags
    Manifolds
Click For Summary
SUMMARY

The discussion centers on the definition and properties of smooth manifolds, particularly focusing on the requirements for a manifold M to be considered smooth. Key points include the necessity of finding a neighborhood W in R^k that intersects with M, forming a diffeomorphism with an open neighborhood U in R^m. The participants emphasize the importance of compactness and connected components in establishing finite coverings of M. The conversation also touches on the limitations of using induction in proving certain properties related to the covering of manifolds.

PREREQUISITES
  • Understanding of smooth manifolds and their definitions
  • Familiarity with diffeomorphisms and their properties
  • Knowledge of compactness in topological spaces
  • Basic concepts of open coverings and connected components
NEXT STEPS
  • Research the properties of diffeomorphisms in smooth manifolds
  • Study compactness and its implications in topology
  • Explore the concept of open coverings and finite subcovers
  • Learn about the role of connected components in manifold theory
USEFUL FOR

Mathematicians, students of differential geometry, and anyone interested in the foundational concepts of smooth manifolds and their applications in topology.

MathematicalPhysicist
Science Advisor
Gold Member
Messages
4,662
Reaction score
372
In the attached pdf file i have a few questions on manifolds, I hope you can be of aid.
I need help on question 1,2,6,7.
here's what I think of them:
1.
a) the definition of a smooth manifold is that for every point in M we may find a neighbourhood W in R^k of it which the intersection W with M is diffeomorphic to an open neighbourhood U in R^m.
Now if we take a connected component of M, say V, if it intersects W then the restricition of the above diffeomorphism will do.
what do you think of this?
b) I don't think it's irrelevant that M is even a manifold, cause if M is compact and its connected components are disjoint subsets which are connected which their union is M, then obviously if we take some open covering of M then by compactness there's a finite covering of M, this also covers each of its componets, or we may assume that each component has some covering and unite them, it's obviously a covering of M and thus by compactness have a finite covering.

2.I think we need to show this inductively, or better way, if we define
M=U(MnW_i) where the union runs through i, MnW_j is the intersection of M with W_j, such MnW_j is diffeomorphic to some open neighbourhood in R^m.
now we may increase the W_j as big as we please, and thus get increasing sets and if we take the closures of W_j's then those still cover M and are compact in M.
not sure if that will work though.

on questions 6 and 7 I'll ask later perhaps tomorrow or the day after that.
 

Attachments

Physics news on Phys.org
1 a) Your answer sounds reasonable, but you haven't justified WHY when you restrict the diffeomorphism on the entire manifold to a connected component it forms a diffeomorphism on the connected component.
1 b) Sounds good.

2. I'm pretty sure you can't use induction here (prove me wrong if you can). Why can you increase W_j as big as you please? If this were the case you could cover any compact manifold with a single chart. Is this true?
(Hint: Think about circles)
 

Similar threads

  • · Replies 5 ·
Replies
5
Views
1K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 9 ·
Replies
9
Views
3K
  • · Replies 20 ·
Replies
20
Views
6K
  • · Replies 11 ·
Replies
11
Views
4K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 4 ·
Replies
4
Views
3K