dx dy の意味は？★２ (669ﾚｽ)
上下前次1-新
1(5): 2022/01/15(土)21:40 ID:so1VKQTS(1) AAS
dx とか dy って微積で出るけど、この明確な意味って何だ？
微少増分だとすると、大学初級のεδ論法でそんな曖昧なコトは排除されたのでは？
dy/dx が分数ではないとされるけど、分数のように計算したりするし…
微分形式だという話もあるが、微分形式の本を読んでも「これが微分形式だ！」なんて
やらないで、例によって天下り的に「こういう性質があるのが微分形式だ！」なんて言って
根底に潜むだろう思想を隠蔽するしｗ
※前スレ
2chｽﾚ:math
2: 2022/01/15(土)21:44 ID:lP/M2Ihp(1) AAS
にげと
3: 2022/01/15(土)23:27 ID:bBvC9JJR(1/5) AAS
わからない
X = [0, 1]とする
f(x)を、Xを含む開区間で微分可能な関数とすると
df = f'(x) dx
という変換法則をみたすものが微分形式らしい
そして、微分形式には∫_X という操作が定義できて
∫_X df = f(1) - f(0)
をみたす
以上は、変数変換によらず成り立つらしい
4: 2022/01/15(土)23:37 ID:bBvC9JJR(2/5) AAS
x = 0で微分可能な関数fに対して、
∂x(f) = f'(0)
で定まる写像∂xを考える
x = u(t)
と変数変換する（uも微分可能で、x = 0の十分小さな近傍で1対1。簡単のためt = 0でx = 0とする）と
省5
5(1): 2022/01/15(土)23:49 ID:bBvC9JJR(3/5) AAS
ところで∂xたちは、Xに適当な条件を課すと
x = pで微分可能な関数の空間から実数への線形写像で
∂(fg) = ∂(f)g(p) + f(p)∂(g)
を満たすものとして特徴付けられるらしい
この定義は、上と違って座標のとり方によらない
だから、
? 各点に対して∂を定義する
? ∂たちの空間の双対空間として、dたちの空間を定義する
こうすると、座標系の取り方によらずに定義できるらしい
6: 2022/01/15(土)23:52 ID:bBvC9JJR(4/5) AAS
んで、dたちの空間に積∧を定義して、Xやdfのfたちに適当な条件を課せば、dたちの空間の変換法則は、
偶然にも重積分の変換法則と同じになるらしい（ただし±1倍の違いをのぞく）
7: 2022/01/15(土)23:53 ID:bBvC9JJR(5/5) AAS
これが、俺が数学科の知人から聞いた話だ
うろ覚えだから、正しくできる人訂正してくれ
8: 2022/01/16(日)00:06 ID:+hJIPUmT(1/2) AAS
もひとつ補足
写像φ: X → Y
を考える
X, Yの∂たちの空間をTX, TY、dたちの空間をΩX, ΩYと書くことにする
φによって
TX → TY
∂ → (f → ∂(f○φ))
省5
9: 2022/01/16(日)00:12 ID:+hJIPUmT(2/2) AAS
私はこれらの説明には説得力があると思った
もしかしたら微分形式や接ベクトルは、物理や幾何学の概念の抽象化としてではなく
単純に多様体の圏からベクトル空間の圏への関手として導入された方が、すんなり理解できるのかも知れない
10(2): 2022/01/16(日)17:46 ID:IaXr2j22(1) AAS
前スレにも書いたが、積分を微分形式と部分多様体の
対として〈dω,D〉と表示すればストークスの定理は
〈dη,C〉=〈η,∂C〉 と書かれることになる
ddη＝0であるし∂∂Cでもあることからわかるように
微分形式の外微分作用素と部分多様体の境界作用素
は双対の関係になっており、これがコホモロジーと
ホモロジーの双対性につながっているわけなのだ
コホモロジーはベクトル空間であるだけではなく
環としての構造をもっているのだが、他でもなく
それは、微分形式のもつ外積ω ∧ ηに由来している
11: 2022/01/16(日)20:02 ID:x8HBvCAG(1) AAS
微分形式が優れているのは
向きも定義できるからだな
12: 2022/01/16(日)22:58 ID:aYeIZL0o(1) AAS
なるほど
13(2): 2022/01/17(月)00:37 ID:5pFcNToC(1) AAS
>>10
>それは、微分形式のもつ外積ω ∧ ηに由来している
ホモロジーの方は余積構造入るけどこちらは何に由来？
14: 2022/01/17(月)11:05 ID:SFk+KLsy(1) AAS
>>13
余積構造って何？
15: 2022/01/17(月)14:34 ID:Pb1uhpDZ(1) AAS
∂/∂xは観測ウゥゥぅ
16(2): 2022/01/17(月)15:15 ID:I0LiSqDK(1) AAS
そもそもなぜ方向微分のことを「接ベクトル」というんだ？
これは幾何学的な接線や接平面と関係あるのか？
17(1): 2022/01/17(月)16:00 ID:Z4dRV4mw(1) AAS
そりゃあるでしょ
その方向に沿った微分なんだから
18(1): 2022/01/17(月)16:09 ID:9v4xaKV+(1/5) AAS
方向微分と呼ばれる理由ではなく、接ベクトルと呼ばれる理由だと思うんですけど
19(1): 2022/01/17(月)16:10 ID:R3o1PZL6(1/3) AAS
Mをn次元微分可能多様体、p_0∈Mとする。
Mは十分大きなR^Nに埋め込まれているとする。
p_0の十分小さな近傍Uでは、R^nの開集合Wとの間の同相写像。
p: W → U
が存在。
何次元でも同じなので、2次元とする
s_0, t_0を、p(s_0, t_0) = p_0を満たすものとする。
p_0における（幾何学的な）接平面はp_0を通り、{∂p/∂s(s_0, t_0), ∂p/∂t(s_0, t_0)} で張られる平面。
省8
20: 2022/01/17(月)16:18 ID:R3o1PZL6(2/3) AAS
上のpを、f○p（fはM上の微分可能な関数）に置き換えると、
多様体上の接ベクトルや方向微分の定義になる
（より正確には、f → A ∂f○p/∂s + B∂f○p/∂t という写像が、それらの定義）
上ではMはR^Nに埋め込まれている場合を考えたが、
標準的な埋め込みというものは無い。だから、pをR^Nのベクトルと考えることができない。内在的に定義するとこうなる
この定義から、>>19の定義を復元するには、fとしてR^Nの座標関数を取ればいい
上下前次1-新書関写板覧索設栞歴
あと 649 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.022s