イデアルって微分形式じゃん (50ﾚｽ)
上下前次1-新
1(2): 08/28(木)00:49 ID:KHBN/5eX(1) AAS
どうしてこういうこと教えてくれないのか
2: 08/28(木)08:19 ID:K2+Yg1Jt(1) AAS
働け
3: 08/28(木)12:31 ID:vjK/MFnh(1) AAS
X⊂R^n
p = (0, 0, ..., 0)∈Xとする
X上の関数f: X → Rで、f(p) = 0となるもの全体をmとする
m/m^2がpにおけるXの余接空間になる
4: 08/28(木)14:19 ID:n1H//SmN(1/2) AAS
X = R^nのケース
Xのpにおける接空間は、R^n
f(p) = 0となる関数は、座標関数x1, ..., xnで生成される
x1, ..., xnは接空間の座標関数だから、これは余接空間の元とみなせる
X⊂R^nのケース
陰関数定理を使えば、ある番号i+1以降の座標関数は、x1, ..., xiの関数で表せる
Xのpにおける余接空間の元は、↑のR^nの余接空間の元を、Xのpにおける接空間に制限したもの（つまり、x_{i+1}以降を陰関数定理による関係式で置き換える）
5: 08/28(木)14:21 ID:n1H//SmN(2/2) AAS
もちろん、関数のクラスはC^∞とか多項式とかに制限する必要がある
陰関数定理も常に使えるわけじゃない
代数幾何の文脈ならエタールなんとかに置き換える必要があるだろう
6: 08/28(木)15:09 ID:jwc3iMJw(1) AAS
>>1
はい、この書き込みはちょっと数学的な誤解や混同が含まれている発言だと思われます。解説しますね。
1. 「イデアル」とは
環（ring）論に出てくる イデアル（ideal） は、環の部分集合で加法について閉じており、さらに環の任意の元を掛けてもまたその集合に入るようなものです。
例えば、整数環 ℤ のイデアルは nℤ（nの倍数全体） という形の集合です。
2. 「微分形式」とは
一方、微分形式（differential form） は微分幾何学や多様体論に出てくる概念で、積分や外微分（d演算子）と相性が良い対象です。例えば、1次微分形式 dx, dy, dz の組み合わせや、それを使った面積・体積要素のようなものです。
省13
7: 08/28(木)17:35 ID:KE1sOD0+(1) AAS
C^∞が一番良い仮定だろう
8: 08/28(木)17:44 ID:+awOhyu4(1) AAS
たいていの関数はコンパクトサポート付きC^∞関数で近似できるしな
9: 08/28(木)21:36 ID:xXHDEbzX(1) AAS
イデアルが微分形式なんじゃなくて
微分形式がある種のイデアル商ということ
10: 08/28(木)23:38 ID:LEtwdRcG(1) AAS
座標関数を接空間に制限すると、余接ベクトルと同一視できる
11: 08/29(金)00:02 ID:UGHR3s1K(1) AAS
R^2で考える
p = (0, 0)とする
R^2のpにおける接平面は、R^2
接ベクトルv = (v_x, v_y)に対して、dx, dyは
dx(v) = v_x
dy(v) = v_y
で定まる
省9
12: 08/29(金)00:18 ID:ikSyqg9r(1) AAS
dxやdyが元々何だったかといえば、R^2の座標関数x, y
R^2の原点で0になるC^∞関数fをとる
f = gx + hy (g, hはC^∞)と表せる
（∵ f(a) - f(0) = ∫_{0}^1 ∂/∂t f(ta)dt をチェインルールで計算すればいい）
このような関数全体の集合をmとすると
mはx, yで生成される
x, yの2次以降を無視すると接空間の座標関数になる
省6
13: 08/29(金)11:32 ID:0heWYQX3(1) AAS
ミルナーの微分トポジーはその観点で書かれてるね
14(2): 08/29(金)14:57 ID:CUGZiMFI(1) AAS
>>1
イデアルってどうやって積分するんですか？
15(1): 08/29(金)15:16 ID:++eyBf9V(1) AAS
>>14
微分形式なら積分ができるとでも言うのか
16(1): 08/29(金)17:27 ID:wS8MrGsm(1/2) AAS
>>15
微分形式は積分するためのものだが？
17(1): 08/29(金)17:40 ID:lUr+7uJs(1) AAS
>>16
たとえば有限体上の代数多様体のケーラー微分の切断に対して積分ってどう定義するの
18(1): 08/29(金)19:00 ID:wS8MrGsm(2/2) AAS
>>17
さあ
積分できないならそれ微分形式じゃないよ
19(1): 08/29(金)19:32 ID:NAaqCK+v(1) AAS
テンソル積や外積はイデアルで定義されるから、それを言ってるだけだな
20: 08/29(金)20:00 ID:z/vF1fuX(1) AAS
>>19
ｋｗｓｋ
21(1): 08/29(金)20:26 ID:IyUba/+p(1) AAS
>>18
そうやってすぐ誤魔化しをする
22: 08/29(金)21:21 ID:yIV7jZPE(1/2) AAS
>>21
？
積分できないものを微分形式と言うのが誤魔化しだろ
23(1): 08/29(金)21:49 ID:nsnT2V1K(1) AAS
>>14
上に書いてあるじゃん
可微分多様体と全く同じようにすればいい
24(3): 08/29(金)22:51 ID:yIV7jZPE(2/2) AAS
>>23
？
じゃあZのイデアル(3)を積分してみて
25: 08/31(日)15:09 ID:eNU7Vffk(1) AAS
積分領域は？
26: 08/31(日)15:20 ID:FAkM++BI(1) AAS
は よ Z の イ デ ア ル (3) を 積 分 し ろ や あ ー ！ 😡
27: 08/31(日)19:45 ID:7uSH/lMq(1) AAS
>>24
アホすぎ
28: 08/31(日)20:05 ID:93V7+ZIx(1) AAS
できないなら黙れよ、バーカ
29: 09/01(月)01:26 ID:iw57SYgW(1) AAS
>>24
イデアルを積分って何言ってんの？
30(1): 09/01(月)09:31 ID:nMeJ4wG7(1) AAS
>>24
「微分形式なら積分できる」という話を持ち出したのはお前
イデアルがあればその元を余接空間の元と見なす方法は上に書いてある
その方法で積分ができるかどうかはお前が確かめろ
31(1): 09/01(月)11:47 ID:SqDAzBes(1) AAS
>>30
なんだこいつ、馬鹿か？
積分できないならそれ微分形式じゃないよ
32(1): 09/01(月)12:24 ID:CFGzmlUD(1) AAS
>>31
それはお前が提起した問題だから自分で確かめろって話
33: 09/01(月)12:26 ID:SeSV/cs+(1/2) AAS
>>32
？？？
34(1): 09/01(月)12:27 ID:SeSV/cs+(2/2) AAS
すまん、このスレの結論出していいか？
結論:イデアルは積分できないので微分形式じゃない
35: 09/01(月)12:28 ID:BZSlk6JP(1/2) AAS
>>34
お前が勝手な定義を採用しているだけ
36(1): 09/01(月)12:29 ID:BZSlk6JP(2/2) AAS
そもそも「イデアルが微分形式」なんて誰も言ってない
文章を正しく読めよ
37(1): 09/01(月)12:46 ID:xH8CyHFF(1) AAS
>>36
スレタイ読めスレタイ
38: 09/01(月)12:56 ID:IRWHipBR(1) AAS
>>37
お前はたとえば「実数は完備」って書いてあったら、0や1などの数が完備だと解釈するの？数学向いてないと思うよ
39: 09/01(月)14:35 ID:zHsY2/sX(1/2) AAS
草ーw
40: 09/01(月)14:38 ID:zHsY2/sX(2/2) AAS
実数は完備という日本語もどうかと思うが
実数体とか連続体とかいうべき
41(1): 09/01(月)15:44 ID:LuxzMmGV(1) AAS
ウィキペディアか何かで用語を覚えてるだけで数学が理解できてないんだろうな
座標環の個別の元は余接空間の元としての意味を持つ
それらの全体はm/m^2だからイデアルだと言っている
楕円関数がC上の関数だと言っても複素トーラス上の関数だと言っても通じるのと同様
42(3): 09/01(月)19:38 ID:E+vaXp4H(1/2) AAS
>>41
R^2上の微分形式ω=cos(y)dx-sin(x)dyをそのイデアルm/m^2の形で書くとどうなるんだよ？
43(1): 09/01(月)20:28 ID:butIaAxu(1) AAS
>>42
自分で考えろカス
44: 09/01(月)20:46 ID:4So4sTLz(1/2) AAS
>>42
cos(y)dx -sin(x)dyだろ
45(1): 09/01(月)20:47 ID:E+vaXp4H(2/2) AAS
>>43
分からないなら、分からないと素直に言え
46: 09/01(月)20:49 ID:4So4sTLz(2/2) AAS
>>45
だから、cos(y)dx - sin(x)dyだっつってるじゃん
47: 09/01(月)20:54 ID:u8IJNC0U(1) AAS
ベクトル束とか層とか勉強した方が良い
48: 09/02(火)13:39 ID:RwSaxror(1) AAS
>>42
> 微分形式ω=cos(y)dx-sin(x)dyをそのイデアルm/m^2の形で書くと
微分形式と余接空間の違いも分かってない
耳学問で知った気になって手を動してない証拠
49: 09/02(火)14:22 ID:budEkxs/(1) AAS
各点の局所環よりもアデールを考えるほうが自然ですか？
50: 09/02(火)18:49 ID:MSgq66nM(1) AAS
アフィンなら結局OXと変わらん
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.013s