Smooth Manifolds Lee 6.7

  • Thread starter seydunas
  • Start date
  • #1
39
0

Main Question or Discussion Point

Hi,

I want to ask a problem from Lee ' s book Introduction to Smooth Manifolds: Let F_p denote the subspace of C^\inf(M) consisting of smooth functions that vanish at p and let F^2_p be the subspace of F_p spanned by functions fg for some f,g \in F_p. Define a map \phi: F_p-----> (T_p(M))^star by f-----> df_p Show that F_p/F^2_p is isomorphic to (T_p(M))^star

Thanks...
 

Answers and Replies

  • #2
quasar987
Science Advisor
Homework Helper
Gold Member
4,773
8
By the first isomorphism theorem in algebra, you only need to show that ker(phi)=F²_p.
 
  • #3
39
0
I can see why ker(phi)=F²_p. But the first isomorphism theorem of algebra is valid for groups, right? Ohh yes, every vector space has a group structure under addition. So, we are done.
 
  • #4
39
0
Sorry, our map is linear. So this is true for vector spaces. Now i understood everything.
 

Related Threads on Smooth Manifolds Lee 6.7

  • Last Post
Replies
9
Views
2K
  • Last Post
Replies
2
Views
3K
  • Last Post
Replies
2
Views
2K
  • Last Post
2
Replies
27
Views
5K
Replies
1
Views
2K
  • Last Post
Replies
2
Views
2K
  • Last Post
Replies
2
Views
4K
  • Last Post
Replies
10
Views
964
Replies
16
Views
2K
Replies
21
Views
5K
Top