[微積] 如何證Sym(n,R) is a submanifold of R^k

看板Math作者 (耶死放)時間13年前 (2013/03/19 00:06), 編輯推噓2(206)
留言8則, 6人參與, 最新討論串1/1
在網路上找了好久 自己想了一陣子 還是不會QQ 感謝大家幫忙Orzzzz Sym(n,R) = {所有n*n的實數方陣} R^m 表示m維歐式空間 (1) 怎麼證明 Sym(n,R) 是 k-dim manifold 其中 k=n(n+1)/2 證完後代表存在atlas(Ua,Fa) 其中 ∪ Ua = Sym(n,R) 那請問可以找出這個函數Fx嗎?? ( x屬於Sym(n,R) ) (2) " If A is a submanifold of R^m Then for any x 屬於 A , 存在 U包含於A ,V包含於R^m ,x屬於U g:U -> V 1-1 且 onto 且 g和g^(-1)都是continuous " 這個理解是對的嗎?? 因為有在某個神奇地方看到要求 g 要一次可微(說是g必須為diffeomorphism) 不確定哪個是對的 感謝大家回答我這些基本的問題QQQQQQQQ -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 140.112.217.1 ※ 編輯: yasfun 來自: 140.112.217.1 (03/19 00:12) ※ 編輯: yasfun 來自: 140.112.217.1 (03/19 00:12)

03/19 01:31, , 1F
Sym(n,R)應該是收集所有的n階實數對稱矩陣吧?
03/19 01:31, 1F

03/19 03:40, , 2F
(1) Sym(R,n) 根本就是 R^k 啊
03/19 03:40, 2F

03/19 03:42, , 3F
把對角線(含)以上那k個數字打橫寫成一排,就是你要
03/19 03:42, 3F

03/19 03:43, , 4F
的diffeomoephism了
03/19 03:43, 4F

03/19 03:51, , 5F
2. 全看你在討論哪個class. C^1 manifold當然要可微
03/19 03:51, 5F

03/19 04:05, , 6F
對稱矩陣構成向量空間XD
03/19 04:05, 6F

03/19 08:01, , 7F
哈哈應該是對稱我累了== 感謝大家!!
03/19 08:01, 7F

03/19 13:57, , 8F
大推h大,我笑了XD
03/19 13:57, 8F
文章代碼(AID): #1HHpjyea (Math)