Constructing a sequence in a manifold

  • #1
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.
 

Answers and Replies

  • #2
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).
 

Related Threads on Constructing a sequence in a manifold

Replies
12
Views
1K
Replies
3
Views
933
  • Last Post
2
Replies
32
Views
12K
Replies
2
Views
763
Replies
20
Views
8K
  • Last Post
Replies
16
Views
1K
  • Last Post
Replies
8
Views
3K
  • Last Post
Replies
6
Views
835
Replies
15
Views
4K
  • Last Post
Replies
8
Views
4K
Top