2ちゃんねる ■掲示板に戻る■ 全部 1- 最新50    

dx dy の意味は?★2

1 :132人目の素数さん:2022/01/15(土) 21:40:30.08 ID:so1VKQTS.net
dx とか dy って微積で出るけど、この明確な意味って何だ?

微少増分だとすると、大学初級のεδ論法でそんな曖昧なコトは排除されたのでは?
dy/dx が分数ではないとされるけど、分数のように計算したりするし…

微分形式だという話もあるが、微分形式の本を読んでも「これが微分形式だ!」なんて
やらないで、例によって天下り的に「こういう性質があるのが微分形式だ!」なんて言って
根底に潜むだろう思想を隠蔽するしw

※前スレ
https://rio2016.5ch.net/test/read.cgi/math/1575816681/

343 :132人目の素数さん:2023/04/08(土) 19:30:18.66 ID:yb1Tl7wg.net
>>340に関して言及するなら「それぞれの数値を空間とみなすことができる」の部分にちょっと認識の怪しさを感じる
一つ一つブラッシュアップしていくなら、まず「それぞれの数値の集まりが空間とみなすことができる」のがより正確
ここでは何かしらのモノが空間になるわけではなく、モノの集まりが空間になる
次に「その場所と数値の対応の集まりが空間とみなすことができる」のがより正確
「東京の気温」みたいな特定の「数値」ではなく、「どこどこの気温はいくら」っていう場所と数値の対応の集まりが双対空間
で、一応最後に「その場所と数値の対応の中で線形なものの集まりが空間とみなすことができる」のがより親切
例に出してる「気圧」とか「気温」が線形になるなんてイカれた状況が起こる確率は0なので、自分の理解を確認するなら例の不適切な部分は理解してるというエクスキューズがほしい

で、そもそも上記の部分で本当に誤解してるのかどうかも曖昧な状態でこんだけ細々した説明をするのは面倒だからスルーが安牌ではある

344 :132人目の素数さん:2023/04/09(日) 01:22:26.13 ID:Vsr+W/Ph.net
喩え話でわかろうとしないでそのまんま受け入れるのが重要だと思うの
そうしないとその先いずれ躓くと思うの

345 :132人目の素数さん:2023/04/09(日) 10:49:30.55 ID:cGwypitB.net
>>340
OKじゃない。

346 :132人目の素数さん:2023/04/09(日) 15:05:18.12 ID:o8snySRk.net
>>340
(Tは温度の)dTとかも、完全断熱状態は不可能だから原子・分子1個分変化の温度変化量(理論計算上は、あっても)とか意味なさないしな。

347 :132人目の素数さん:2023/04/09(日) 17:49:24.70 ID:eY4z5J+Q.net
>>346
こいつはただのバカ

348 :132人目の素数さん:2023/04/11(火) 01:19:05.50 ID:IcWsdUip.net
>>343
ふむふむ。場所と数値の対応を空間と考えるわけね。で、その数値が線形じゃなきゃいけないというわけか。

じゃ、数値として「重力による位置エネルギー」なんてのはどう?

349 :132人目の素数さん:2023/04/11(火) 08:29:56.49 ID:ZHleht4z.net
ゲージスライス

350 :132人目の素数さん:2023/04/11(火) 11:08:47.16 ID:jQJ0fivW.net
>>348
もしかして高校生?
それなら先に線形代数の教科書を読むことを勧める
一冊まるまるじゃなくて、線形写像の説明が出てくるところまででいいから

その上で誤解してそうな部分を指摘しておくと、ここでいう線形っていうのは線形空間の元である(=足し算や実数倍ができる)っていう意味ではなく、線形関数である(=fを関数(=場所と数値の対応)、x,yを位置ベクトル、aを実数としたとき、af(x)=f(ax)及びf(x+y)が成り立つ)という意味ね
そして、重力による位置エネルギーは関数ではあるけれど、線形関数ではないので、双対空間を考える際の例としてはあまりよくない
それと、>>343にも同じ意味のことを書いたけれど、線形関数が空間になるのではなく、線形関数を集めた集合(=ものの集まり)が空間になる

351 :132人目の素数さん:2023/04/11(火) 11:10:56.79 ID:jQJ0fivW.net
>>350
訂正
f(x+y)の部分はf(x+y)=f(x)+f(y)

352 :132人目の素数さん:2023/04/11(火) 12:14:39.26 ID:RW/k9SVI.net
>>348
>数値として「重力による位置エネルギー」
それ線形なの?

353 :132人目の素数さん:2023/04/11(火) 17:23:43.37 ID:TIIlcojf.net
線形の具体的かあ
検索してもヒットしない

354 :132人目の素数さん:2023/04/11(火) 18:16:50.04 ID:rQUqH/nf.net
>>353
我々のいる3次元空間を定義域とした線形関数なんてそりゃあある程度人為的に作らないとないよね
だって0写像除いて原点定まるし

355 :132人目の素数さん:2023/04/13(木) 15:53:42.70 ID:j3V49MiF.net
双対空間の元が場所に対応した線形関数になっているってこと?
例えば、座標(a,b) に対応して 関数 y=ax+b みたいなのがいっぱいあって、その集合が相対空間って理解でOK?

356 :132人目の素数さん:2023/04/13(木) 21:26:53.01 ID:2AHfoj+d.net
>>355
違う
まず、大学以上の数学でいう「〇〇空間」は、必ずしも我々のいる3次元空間のような「位置を元に持つ集合」のことではない
例えばベクトル空間の元は数列だったり関数だったりピカチュウだったりすることもある
とりあえず今は、「〇〇空間」という名前でも、そういう名前がついてるだけのただの集合だと思っていい
それを踏まえて、R^3(3次元ユークリッド空間)の双対空間の元は3変数関数のうち線形関数であるものである
例えばf(x, y, z)=8x+y-10zとなるような関数fやg(x, y, z)=-3x+2zとなるような関数gがR^3の双対空間の元である
こういったfやgは必ずしもR^3の元と一対一に対応してる必要はない

で、線形代数の教科書は学部一年生向けに書かれているため、こういう初学者にありがちな誤解に対する注意も書かれてたりするのもあって、あなたは一度線形代数の教科書を読んどいた方がいいと思う

357 :132人目の素数さん:2023/05/04(木) 13:32:56.11 ID:lirrvs3p.net
いきなり大学1年向け線形代数教科書より旧課程の行列高校参考書のほうがいいかもしれん。古本屋にもあまりないから通販くらいかな。

358 :132人目の素数さん:2023/05/06(土) 18:46:31.69 ID:1fD62zhx.net
ベクトル空間の元がピカチュウてのは思い浮かばんなー
曼荼羅の仏の代わりにピカチュウを並べたんか?

359 :132人目の素数さん:2023/05/07(日) 00:09:05.51 ID:3565NU//.net
>>358
{ピカチュウ, ベトベトン, タケシ}が張る自由ベクトル空間の元ピカチュウ(=1ピカチュウ+0ベトベトン+0タケシ)とか

360 :132人目の素数さん:2023/05/15(月) 18:17:17.20 ID:m6Up1w8L.net
めーーーーちゃちっちゃい幅のxってイメージ

361 :132人目の素数さん:2023/05/25(木) 07:49:00.03 ID:F2s8KCd7.net
2回微分のd2y/dx2って分子分母単独で何か意味あるますか?代数的な小難しい定義はパステイラー展開辺りと絡めて量として何か表すかなと

362 :132人目の素数さん:2023/05/29(月) 11:29:38.58 ID:PfG0Uh/3.net
dy/dx=e^x すごいな 何度解いても
dy/dx=e^x というか、というワケでぢやなくて
dy/dx=e^x+C だろ? というか、コレを解くと んーーー
dy/dx=e^x+Cx+C かな❓ 違うのかな とにかく
無限回やれば、
dy/dx=e^x+C+Cx2+Cx3+Cx4+・・・・・・ になるか?🤔
e^xって無限に微分しまくっても、定数とかゼロにならない
ってことは、e^xってマクローリン(テイラー)展開しても
ゼッタイ誤差がゼロにならないのか
というか、dxとかdyって無限小だろ❓
εδ論法のδぢゃないかな? ていうかδより小さいかもね🤔
モチロン、そんな実数は存在させませーーーーん
っていう霊感をピピっと感じちゃいました。

363 :132人目の素数さん:2023/10/08(日) 13:13:46.26 ID:5zJBfMmN.net
混乱を避けるため
微分形式を表すときはdx
無限小を表すときはΔx
という風に区別したほうがいい

364 :132人目の素数さん:2023/10/22(日) 00:57:50.55 ID:Vx1pakuz.net
Δxは有限だろ

365 :132人目の素数さん:2023/10/25(水) 12:01:56.27 ID:hMya+Vzm.net
解析概論のdx=Δxの欺瞞を一生許しはしない

366 :132人目の素数さん:2023/10/29(日) 23:53:14.40 ID:XIwjen5M.net
↑合ってんだよアフォw

367 :132人目の素数さん:2023/10/30(月) 00:12:36.98 ID:FlSHetFs.net
あほぉーーーーーーーーーッ!!!

あほぉーーーーーーーーーッ!!!

368 :132人目の素数さん:2023/10/30(月) 00:27:33.37 ID:nfuZJPOl.net
いや解析概論の記述は完全に誤りだろ

369 :132人目の素数さん:2023/10/30(月) 07:22:06.03 ID:BrQUzVO2.net
>>33
>ホモロジーは余代数になる
H(X×X)→H(X)\otimesH(X)
は?

370 :132人目の素数さん:2023/10/31(火) 03:53:23.03 ID:TTwB0+p3.net
>>363-368
意味ありげなライプニッツ記法を恨むイギリスのニュートンシンパぐらいの時期の数学水準がお似合いや。

371 :132人目の素数さん:2023/10/31(火) 11:41:02.52 ID:0NKYaWxB.net
>>369
てことで一般には
コホモロジーは代数になるが
ホモロジーは余代数にはならない

372 :132人目の素数さん:2023/11/01(水) 10:40:25.89 ID:FRQ9rdQB.net
ということを昔自主ゼミで知った

373 :132人目の素数さん:2023/11/01(水) 13:40:02.18 ID:cLXFxScW.net
dx∧dy
dx・dy
これの違いが分かる人いる?

374 :132人目の素数さん:2023/11/01(水) 22:52:56.91 ID:FRQ9rdQB.net
外積と対称積

375 :132人目の素数さん:2023/11/01(水) 23:26:43.07 ID:cLXFxScW.net
∫∫f(x,y)dxdy
この場合のdxdyは外積と対称積のどちらですか

376 :132人目の素数さん:2023/11/02(木) 07:20:10.41 ID:y5+5KTpX.net
ルベーグ測度

377 :132人目の素数さん:2023/11/04(土) 05:21:28.07 ID:0ZP64CIh.net
話を最初に戻すけど
dy/dxは分数じゃないけど分数のように扱うことができるのはなぜ?という疑問

自分なりの直感的理解を書くけどこれで合ってる?

dyとかdxとかは無限小の概念
この点がΔ表記との違い
要するに、lim(Y→0)とかlim(X→0)なので
分数自体が定義されない
∞/∞が数でないのと同じ

ただ、極限値は有限の値なので分数表記できるし矛盾なく計算できる

378 :132人目の素数さん:2023/11/04(土) 06:35:10.45 ID:YeW6FE7J.net
dxはΔxな

379 :132人目の素数さん:2023/11/04(土) 14:17:32.65 ID:0ZP64CIh.net
>>378
君はどうやら中学生みたいなのでさようなら👋

380 :132人目の素数さん:2023/11/04(土) 14:33:27.12 ID:Hd+RkqEo.net
ライプニッツ記法は変数変換がなんか分数っぽく直感的にできる
ある意味では微分形式として正当化できる。

381 :132人目の素数さん:2023/11/04(土) 17:28:58.37 ID:YeW6FE7J.net
>>379
消えろww

382 :132人目の素数さん:2023/11/04(土) 17:33:34.90 ID:ZJbHQ0TF.net
>>380
ホントの意味は何にバッチリ書いているの?

383 :132人目の素数さん:2023/11/04(土) 18:37:59.93 ID:i2S5g4xz.net
>>382
トゥー多様体とか多様体の教科書なら載ってると思う

384 :132人目の素数さん:2023/11/04(土) 19:00:07.07 ID:YeW6FE7J.net
日本の教科書終わってるなw

385 :132人目の素数さん:2023/11/04(土) 21:30:16.78 ID:YeW6FE7J.net
まあ接線の傾きすら知らんアホがいるスレだしなw

386 :132人目の素数さん:2023/11/04(土) 22:51:46.55 ID:38wyn8QN.net
>>382
何にでも載ってるだろ
微分幾何学べよ

387 :132人目の素数さん:2023/11/04(土) 23:22:32.26 ID:0W+oH0g5.net
まず微分作用素としての
接ベクトルの定義から

388 :132人目の素数さん:2023/11/05(日) 00:59:36.54 ID:BR7I8ifb.net
おいおい大丈夫か?
Δと微分記号で使うdは同じだと盛大に勘違いしてる奴がいるぞw しかも自信満々なのが痛いw

Δとdの使い分け
https://science.shinshu-u.ac.jp/~tiiyama/?page_id=9128

Δ は 2 つの値の「差」を意味します。
(例えば、ΔU は 2 つの状態での内部エネルギー U の差 )

差をとるときは、常に「新しい方から古い方を引く」と覚えておいてください。(中略)
dU という表記が出てくるときがあります。これは ΔU と同じように 2 つの状態のエネルギー差を表しているのですが、その差が無限小まで小さくなっていることを表しています。

初歩中の初歩ですよマジで

389 :132人目の素数さん:2023/11/05(日) 01:19:50.27 ID:mnbABCCP.net
>>388
ニュートン記法とかランダウの記号のほうがいいの?

390 :132人目の素数さん:2023/11/05(日) 01:44:41.01 ID:IqHMdRFa.net
Δy=f'(x)Δx + αΔx   但しΔx→0のときα→0

これが答えだ

391 :132人目の素数さん:2023/11/05(日) 05:40:08.92 ID:WtePLvZ5.net
>>388
同じでもいいやん

392 :132人目の素数さん:2023/11/05(日) 14:18:12.34 ID:ZLXDCpHP.net
>>386
大抵の本は >>390 みたいな説明が書かれていて、直感的には分かるが厳密性に欠けるんじゃね?とハテナマークが壮大につくわけで。

393 :132人目の素数さん:2023/11/06(月) 09:03:44.67 ID:4HoFsi7p.net
接線とか接平面で理解したらいいだけでは?

394 :132人目の素数さん:2023/11/06(月) 10:42:34.23 ID:DN7G53u1.net
>>392
どの程度の厳密性を求めるかにもよるだろう

395 :132人目の素数さん:2023/11/06(月) 11:21:54.92 ID:AJDimmk/.net
>>394
他の学問ならまだしも、数学である以上論理学に還元できるレベルの厳密さが必要だよね

396 :132人目の素数さん:2023/11/06(月) 12:32:22.71 ID:DN7G53u1.net
論理学に還元できるレベルのことだと分かるなら
実際に厳密にそれを実行する必要はない
ラッセルとホワイトヘッドがやったことを
いちいちすべての数学でやってもしょうがない

397 :132人目の素数さん:2023/11/06(月) 16:35:17.34 ID:RVEkBJTR.net
だからって、「微小変位」みたいなのに戻れってのは抵抗感があまりにも大きすぎる。

398 :132人目の素数さん:2023/11/06(月) 17:03:48.94 ID:VoR2jbkn.net
どこがどう厳密じゃないのか一切言わないからな

ところで最近の日本人が使う「接ベクトル」という用語法は間違ってるはず

399 :132人目の素数さん:2023/11/06(月) 17:09:06.59 ID:VoR2jbkn.net
数学は論理がすべてとか言ってる奴こそ100年前から進歩していない

400 :132人目の素数さん:2023/11/06(月) 18:58:49.04 ID:RVEkBJTR.net
>>398
微小とかが嫌だって書いているだろうにw

401 :132人目の素数さん:2023/11/06(月) 19:42:26.73 ID:AJDimmk/.net
>>396
「~のことだと分かる」って日本語の意味がよく分からないんだけど

402 :132人目の素数さん:2023/11/06(月) 20:10:20.65 ID:VoR2jbkn.net
>>400
dy≒Δyとする事ができる程の微小という事

403 :132人目の素数さん:2023/11/06(月) 21:52:48.92 ID:W0cso/Z5.net
>>397
無限小でイイでしょ?
数列なら{1/n}は無限小
超準解析持ち出す必要も無し
持ち出して来てもいいけど

404 :132人目の素数さん:2023/11/06(月) 22:41:38.42 ID:BibX6e7B.net
>>399
数学は論理が全てではなくて、他にお気持ちとか重要なものはあるけど、それもこれも論理的正しさがベースにあってこそ

405 :132人目の素数さん:2023/11/06(月) 23:54:01.29 ID:RVEkBJTR.net
>>402-403
曖昧過ぎるw
超準解析使うなら、「ここの理論は普通の数学者が忌み嫌う特殊理論を使いますよ!」みたいなのをはっきりと明記して欲しい。

406 :132人目の素数さん:2023/11/07(火) 00:20:59.50 ID:VbFajO2c.net
>>405
ワカランなら別にいいよ

407 :132人目の素数さん:2023/11/07(火) 00:22:06.63 ID:VbFajO2c.net
だいたい書いてる趣旨を誤認してるのは読んでないからだろうシナ

408 :132人目の素数さん:2023/11/07(火) 07:47:43.37 ID:EhFc3J9H.net
>>407
何番の書き込みのことをいっているのだ?

409 :132人目の素数さん:2023/11/07(火) 10:31:00.67 ID:ivDADiXg.net
>>397
390のどこに「微小変位」が必要?

410 :132人目の素数さん:2023/11/07(火) 11:00:40.38 ID:EhFc3J9H.net
Δx→0とあるぞ

411 :132人目の素数さん:2023/11/07(火) 11:16:34.50 ID:ivDADiXg.net
Δxは単なる変位では?

412 :132人目の素数さん:2023/11/07(火) 11:25:50.26 ID:VbFajO2c.net
だよね
微笑じゃない
→0の部分が微小の意と解釈できるけど
そこは無限小で

413 :132人目の素数さん:2023/11/07(火) 11:40:18.25 ID:1g155nkN.net
そもそもΔx→0って言葉も未定義語ではあるんだが

414 :132人目の素数さん:2023/11/07(火) 12:09:38.07 ID:EhFc3J9H.net
いずれにせよ曖昧だろw

415 :132人目の素数さん:2023/11/07(火) 13:53:50.92 ID:SLlI+vpk.net
極限の概念の基本的なところを
しっかり押さえていれば
全然あいまいなことはない

416 :132人目の素数さん:2023/11/07(火) 14:09:32.87 ID:SSuvZGNJ.net
>>413
未定義語じゃなく、「収束する」な

417 :132人目の素数さん:2023/11/07(火) 15:15:33.24 ID:eAJ2AoXz.net
普通の場合、単独では微分形式を表すし
積分記号∫と一緒のdx、dyは測度を表す

418 :132人目の素数さん:2023/11/07(火) 16:01:44.61 ID:1g155nkN.net
>>416
定義されてると思うなら論理式で定義を書いてみたら?
不可能だろうけど

419 :132人目の素数さん:2023/11/07(火) 19:48:27.29 ID:SSuvZGNJ.net
∃δ > 0, ∀Δx, 0 < |Δx| < δ

420 :132人目の素数さん:2023/11/07(火) 20:12:12.70 ID:vJtxykk/.net
>>419
閉論理式ワロタ
任意のδ>0に対してδ<|2δ|なので
∀δ > 0, ∃Δx, ¬(0 < |Δx| < δ)
よって偽

Δx→0が未定義じゃないとか「dxは微小変位」が厳密な定義とか言ってるやつって結局この程度の馬鹿しかいないんだよな

421 :132人目の素数さん:2023/11/07(火) 21:59:23.19 ID:ivDADiXg.net
>>420

>>Δx→0が未定義じゃないとか

全然未定義じゃない

422 :132人目の素数さん:2023/11/07(火) 22:30:51.29 ID:EwFVtkuX.net
>>421
だったら論理式で定義を書いてみたら?
ちなみに>>419の論理式は「実数には最大値が存在する」って意味の論理式で、もちろん偽だよ

423 :132人目の素数さん:2023/11/07(火) 23:09:10.78 ID:ivDADiXg.net
>>422
論理式の問題などではない

424 :132人目の素数さん:2023/11/07(火) 23:27:36.94 ID:SSuvZGNJ.net
∃δ>0, Δx∈A,B⊂A,∀h(h∈B→0<|h|<δ)

425 :132人目の素数さん:2023/11/07(火) 23:58:09.69 ID:EwFVtkuX.net
>>424
今度は集合Aに関する論理式かよワロタ
A=∅ならばΔx∈Aが存在しないので偽
A≠∅ならばδ=1, ΔxはAの元, B=∅とすることで∀h(h∈B→0<|h|<δ)が真となるので全体も真
よってこの論理式は集合Aが空でないことと同値

で、集合Aが空でないことが何の定義になるんだよwww

426 :132人目の素数さん:2023/11/08(水) 00:03:59.47 ID:yWqWZedh.net
>>423
じゃあ君はどんな言語で定義を示してくれるの?

427 :132人目の素数さん:2023/11/08(水) 00:17:35.65 ID:HaeF5xg3.net
既に定義済みなので必要なし

428 :132人目の素数さん:2023/11/08(水) 07:04:44.39 ID:HaeF5xg3.net
対角線の近傍内の点

429 :132人目の素数さん:2023/11/08(水) 08:27:10.85 ID:vXRh60v7.net
>>422
Δx→0はΔxが0に近づくとき、であって近づくとは言っていない。

430 :132人目の素数さん:2023/11/08(水) 08:28:46.65 ID:HaeF5xg3.net
Δはdiagonal

431 :132人目の素数さん:2023/11/08(水) 16:28:55.08 ID:yWqWZedh.net
>>427
じゃあどこに定義が書かれてるの?

432 :132人目の素数さん:2023/11/08(水) 16:29:40.67 ID:yWqWZedh.net
>>429
「Δxが0に近づくとき」の定義は?

433 :132人目の素数さん:2023/11/08(水) 16:42:38.69 ID:vXRh60v7.net
すべてのδより大きいΔxをとって定義できなくしても
すべてのΔxより大きいδをとって定義をすればおk

434 :132人目の素数さん:2023/11/08(水) 17:06:51.66 ID:yWqWZedh.net
>>433
意味の取れない部分が多々あるんだけど、
1) まずそれは>>432の質問に対する回答ってことでいい?だとするとそれは「Δxが0に近づくとき」の定義と解釈することになるけど
2) 「すべてのδより大きいΔxをとって」や「すべてのΔxより大きいδをとって」とは「∀δ, Δx>δを満たすΔxをとって」や「∀Δx, δ>Δxを満たすδをとって」という意味でいい?だとするとそのようなΔxもδも存在しないけど

435 :132人目の素数さん:2023/11/08(水) 17:51:26.55 ID:vXRh60v7.net
じゃあ何が存在すんだよw

436 :132人目の素数さん:2023/11/08(水) 18:46:49.74 ID:yWqWZedh.net
>>435
質問の意図が分からないけど、実数には0や1が存在するよ

それよりまず>>434の質問2つに答えろよ
はいかいいえの二択なんだから

437 :132人目の素数さん:2023/11/08(水) 19:42:36.85 ID:vXRh60v7.net
>>436
学校行って聞いて来いやハゲ親父w

438 :132人目の素数さん:2023/11/09(木) 00:02:02.52 ID:b+6xWo5P.net
>>437
お前が書いた文章に関してお前がどういう意図で書いたか聞いてるんだからお前にしか聞きようがないだろ

439 :132人目の素数さん:2023/11/09(木) 05:10:32.32 ID:p/K1taSK.net
クッサ

440 :132人目の素数さん:2023/11/09(木) 07:06:19.86 ID:1ZwzN0Uh.net
田舎者たち

441 :132人目の素数さん:2023/11/09(木) 14:59:53.80 ID:fDzcuy02.net
>>377 >>388
を書いた者だけど、つくづくレベル低いスレだな
的を外した聞きかじりの用語の羅列ばかり

誰か>>377の問いかけに答えてくれないものだろうか?

442 :132人目の素数さん:2023/11/09(木) 20:17:16.12 ID:p/K1taSK.net
バカにはむーりー。

443 :132人目の素数さん:2023/11/09(木) 22:37:10.97 ID:b+6xWo5P.net
>>441
数学的には不正確だけど、物理とか工学で使う分にはそういう扱いでもほとんど問題ないと思う

155 KB
新着レスの表示

掲示板に戻る 全部 前100 次100 最新50
名前: E-mail (省略可) :

read.cgi ver.24052200