25/08/26 11:57:12.29 ommbFnjY.net
R^nじゃ証明できないの？
2:１３２人目の素数さん
25/08/26 12:03:33.75 bFx71EUt.net
可微分多様体は全部十分大きなR^nの部分多様体だけど、複素多様体や代数多様体はそうじゃないからなあ
3:１３２人目の素数さん
25/08/26 12:27:41.91 /YRjUNi9.net
特製類とか出てこなければR^n内でも証明できるんじゃないの
4:１３２人目の素数さん
25/08/26 12:44:15.51 UIOhVJj8.net
一度にパラメータ付けできないじゃん
5:１３２人目の素数さん
25/08/26 15:43:27.96 oM+ZUG8A.net
サードの定理
6:１３２人目の素数さん
25/08/26 15:43:46.60 iFLVjMjg.net
サードの定理
7:１３２人目の素数さん
25/08/26 15:53:49.91 G534prB5.net
ショートの定理
8:１３２人目の素数さん
25/08/26 17:46:22.66 Tckf1XOn.net
ミルナーを読め
9:１３２人目の素数さん
25/08/26 18:44:38.34 DjOLuD9R.net
ミルナーは見るな
10:１３２人目の素数さん
25/08/26 19:17:24.40 99MRj52V.net
ポアンカレ・ポップの定理
11:１３２人目の素数さん
25/08/26 19:18:20.92 87OzO9Ox.net
境界つき系じゃね？ストークスとか
あとリーマン計量要るやつ
12:１３２人目の素数さん
25/08/26 21:07:24.07 5TG2n4Ev.net
なんで特筆性のないスレを二回も立ててるの？
もしかして自分の行動を覚えていられない人？
多様体って、定義してるだけじゃん
ｽﾚﾘﾝｸ(math板)
13:１３２人目の素数さん
25/08/26 21:25:33.76 pEZdeKW3.net
>>12
嫌ならミルナー（笑）
14:１３２人目の素数さん
25/08/26 21:45:47.27 9GfOix4J.net
多様体のありがたさを学部3年生に見せるのは難しい
代数系はとにかくガロア理論でこじんまり形にできる
ルベーグ積分もフーリエとかやれば必要ってわかる
15:１３２人目の素数さん
25/08/27 08:59:43.23 Ter8FlXI.net
層がだいじ
ドラーム群とか
16:１３２人目の素数さん
25/08/28 01:59:17.16 K6PyMx41.net
層さえあれば多様体は後からついてくる
17:１３２人目の素数さん
25/09/05 15:08:05.89 mFBEPHTk.net
dx dy とか、微小変位で直感的に定義しなくて、イープシロンデルタに準じた方法で厳密にやるなら多様体一択なんじゃなかったっけ？