A Constructing a sequence in a manifold

JYM

14
0
Given S is a submanifold of M such that every smooth function on S can be extended to a smooth function to a neighborhood W of S in M. I want to show that S is embedded submanifold.
My attempt: Suppose S is not embedded. Then there is a point p that is not contained in any slice chart. Since a submanifold is locally embedded, let U be a neighborhood of p that is embedded. Consider a smooth function on S that is supported in U and equal to 1 at p. If there is a sequence x_n in S-U that converges to p, then since f can be extended to a smooth function F on W but then 0=F(x_n) converges to F(p)=1, which is contradiction. My difficulty is to justify such a sequence exists. Please provide me your help.
 

JYM

14
0
No. We can construct such a sequence. Now I get the idea; the result follows from first countablity of manifolds ( as second countable is first countable).
 

Want to reply to this thread?

"Constructing a sequence in a manifold" You must log in or register to reply here.

Related Threads for: Constructing a sequence in a manifold

Replies
3
Views
814
  • Posted
2
Replies
32
Views
12K
Replies
2
Views
519
  • Posted
Replies
16
Views
1K
Replies
20
Views
8K
  • Posted
Replies
6
Views
744
  • Posted
Replies
8
Views
4K

Physics Forums Values

We Value Quality
• Topics based on mainstream science
• Proper English grammar and spelling
We Value Civility
• Positive and compassionate attitudes
• Patience while debating
We Value Productivity
• Disciplined to remain on-topic
• Recognition of own weaknesses
• Solo and co-op problem solving
Top