dx dy の意味は？★２

1 ：１３２人目の素数さん：2022/01/15(土) 21:40:30.08 ID:so1VKQTS.net

dx とか dy って微積で出るけど、この明確な意味って何だ？

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

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

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

323 ：１３２人目の素数さん：2023/03/26(日) 14:08:11.75 ID:g1ji05BT.net

天下りでなく
得体のしれないところから
せりあがってくるように書かれた
微分形式のtextはありますか

324 ：１３２人目の素数さん：2023/03/26(日) 20:28:55.67 ID:kFq1RADe.net

dx,dyを捉える方法は、
物理学や工学で教えているような、
0でない微小量というのが一番いい。
歴史的にはこのような直感で理解していたのだ。
数学的にはこれでは意味不明だからダメだが、
応用上、この理解で問題になることはまずない。

325 ：１３２人目の素数さん：2023/03/26(日) 21:06:19.57 ID:QlOmuViw.net

>>323
エタールに海水面位上昇する時に付くウォーターマークの縞々状に理解してます。

326 ：１３２人目の素数さん：2023/03/26(日) 22:10:10.62 ID:QuN4KKVj.net

>>324
コホモロジーが応用上使われてないとでも思ってんのかよ

327 ：１３２人目の素数さん：2023/03/26(日) 23:30:28.60 ID:4rwJ8TsP.net

>>326
使われていない。
使っている企業はない。
それからどうやって利益をだすのか。

328 ：１３２人目の素数さん：2023/03/27(月) 09:51:43.12 ID:kkQN8nHd.net

>>327
>>使っている企業はない。

最近有名なのはこれ↓

Persistent cohomology for data with multicomponent heterogeneous information
Zixuan Cang, Guo-Wei Wei
Persistent homology is a powerful tool for characterizing the topology of a data set at various geometric scales. When applied to the description of molecular structures, persistent homology can capture the multiscale geometric features and reveal certain interaction patterns in terms of topological invariants. However, in addition to the geometric information, there is a wide variety of non-geometric information of molecular structures, such as element types, atomic partial charges, atomic pairwise interactions, and electrostatic potential function, that is not described by persistent homology.

以下省略

Cite as: arXiv:1807.11120 [q-bio.QM]
(or arXiv:1807.11120v1 [q-bio.QM] for this version)

https://doi.org/10.48550/arXiv.1807.11120

329 ：１３２人目の素数さん：2023/03/27(月) 12:36:52.53 ID:w+dEk0Yg.net

「高度な理論をお勉強しても実社会では役に立たない！」とか言うやつの生きてる社会が低レベルなだけ、ということがよく分かる例

330 ：１３２人目の素数さん：2023/03/28(火) 16:28:09.48 ID:CrFgi3o5.net

>>327
本質的理解から目をそむけ、利用できるかって面だけで無理やり物事を理解しようとするから、日本企業が
出す電化製品は過去の焼き直しがメインで、リモコンはやたら複雑で誰も使わないマニアな機能がつくだけで
本質的で画期的な進化は期待できないのでは？

331 ：１３２人目の素数さん：2023/03/28(火) 17:47:13.74 ID:HIHzSBvh.net

>>328
論文を書くには役に立ってそうだね。
しかし利益が出ないと意味がない。
応用とはそういうもの。
その論文に基づいて、
特許なりなんなりを取得して、
誰かが企業して成功したら役に立つと認めるよ。

332 ：１３２人目の素数さん：2023/03/28(火) 17:56:42.38 ID:sLyFrg3J.net

>>331

稼働し始めた量子コンピュータに対しても
同じことがいえるだろうか

333 ：１３２人目の素数さん：2023/03/28(火) 21:04:22.43 ID:yKVfkop7.net

量子計算機はインチキ

334 ：１３２人目の素数さん：2023/03/28(火) 22:53:54.59 ID:hsF37p1R.net

>>333
kwsk

335 ：１３２人目の素数さん：2023/03/29(水) 00:22:51.43 ID:kFGI/nG9.net

宣伝ばかりで中身がない
本当に実現できるなら暗号鍵なんか
簡単に破られてしまうだろう？

336 ：１３２人目の素数さん：2023/03/29(水) 07:10:52.36 ID:QLLxWkIM.net

>>335

>>宣伝ばかりで中身がない
>>本当に実現できるなら暗号鍵なんか
>>簡単に破られてしまうだろう？


稼働を始めたということは
これから素晴らしい中身が
伴うのだが、その結果
今用いられている暗号鍵なんか
簡単に破られてしまうのは問題であろうということで
将来に向けての課題をも提示しており
大いに宣伝の価値あり
米国におけるプラズマの成功と
同等以上の功績である

337 ：１３２人目の素数さん：2023/03/29(水) 08:47:29.87 ID:RlXM7WuS.net

とにかく金が足りない
湯水の如く使いたい

338 ：１３２人目の素数さん：2023/03/30(木) 01:43:30.03 ID:ZpW6zxw9.net

マネーフローを積分する。

339 ：１３２人目の素数さん：2023/03/30(木) 13:35:32.91 ID:mduK5P+y.net

>>335
もしかして量子コンピューターが実現されてないと思ってる？

340 ：１３２人目の素数さん：2023/04/05(水) 15:14:32.26 ID:KC/9n8Tp.net

スレタイの事に興味を持って勉強しているんだけど、双対空間って要するに普通に我々の空間それぞれの地点に、気圧とか気温とか
数値になるものが想定できて、それぞれの数値を空間とみなすことができる…みたいな理解でおKなの？

341 ：１３２人目の素数さん：2023/04/08(土) 15:54:56.45 ID:OwVLLsnT.net

そういうのは答えづらいのか？

342 ：１３２人目の素数さん：2023/04/08(土) 16:56:15.95 ID:g0f2+QvS.net

趣味の問題

343 ：１３２人目の素数さん：2023/04/08(土) 19:30:18.66 ID:yb1Tl7wg.net

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

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

344 ：１３２人目の素数さん：2023/04/09(日) 01:22:26.13 ID:Vsr+W/Ph.net

喩え話でわかろうとしないでそのまんま受け入れるのが重要だと思うの
そうしないとその先いずれ躓くと思うの

345 ：１３２人目の素数さん：2023/04/09(日) 10:49:30.55 ID:cGwypitB.net

>>340
OKじゃない。

346 ：１３２人目の素数さん：2023/04/09(日) 15:05:18.12 ID:o8snySRk.net

>>340
(Tは温度の)dTとかも、完全断熱状態は不可能だから原子・分子1個分変化の温度変化量（理論計算上は、あっても）とか意味なさないしな。

347 ：１３２人目の素数さん：2023/04/09(日) 17:49:24.70 ID:eY4z5J+Q.net

>>346
こいつはただのバカ

348 ：１３２人目の素数さん：2023/04/11(火) 01:19:05.50 ID:IcWsdUip.net

>>343
ふむふむ。場所と数値の対応を空間と考えるわけね。で、その数値が線形じゃなきゃいけないというわけか。

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

349 ：１３２人目の素数さん：2023/04/11(火) 08:29:56.49 ID:ZHleht4z.net

ゲージスライス

350 ：１３２人目の素数さん：2023/04/11(火) 11:08:47.16 ID:jQJ0fivW.net

>>348
もしかして高校生？
それなら先に線形代数の教科書を読むことを勧める
一冊まるまるじゃなくて、線形写像の説明が出てくるところまででいいから

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

351 ：１３２人目の素数さん：2023/04/11(火) 11:10:56.79 ID:jQJ0fivW.net

>>350
訂正
f(x+y)の部分はf(x+y)=f(x)+f(y)

352 ：１３２人目の素数さん：2023/04/11(火) 12:14:39.26 ID:RW/k9SVI.net

>>348
>数値として「重力による位置エネルギー」
それ線形なの？

353 ：１３２人目の素数さん：2023/04/11(火) 17:23:43.37 ID:TIIlcojf.net

線形の具体的かあ
検索してもヒットしない

354 ：１３２人目の素数さん：2023/04/11(火) 18:16:50.04 ID:rQUqH/nf.net

>>353
我々のいる3次元空間を定義域とした線形関数なんてそりゃあある程度人為的に作らないとないよね
だって0写像除いて原点定まるし

355 ：１３２人目の素数さん：2023/04/13(木) 15:53:42.70 ID:j3V49MiF.net

双対空間の元が場所に対応した線形関数になっているってこと？
例えば、座標(a,b) に対応して 関数 y=ax+b みたいなのがいっぱいあって、その集合が相対空間って理解でOK？

356 ：１３２人目の素数さん：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 ：１３２人目の素数さん：2023/05/04(木) 13:32:56.11 ID:lirrvs3p.net

いきなり大学1年向け線形代数教科書より旧課程の行列高校参考書のほうがいいかもしれん。古本屋にもあまりないから通販くらいかな。

358 ：１３２人目の素数さん：2023/05/06(土) 18:46:31.69 ID:1fD62zhx.net

ベクトル空間の元がピカチュウてのは思い浮かばんなー
曼荼羅の仏の代わりにピカチュウを並べたんか？

359 ：１３２人目の素数さん：2023/05/07(日) 00:09:05.51 ID:3565NU//.net

>>358
{ピカチュウ, ベトベトン, タケシ}が張る自由ベクトル空間の元ピカチュウ(=1ピカチュウ+0ベトベトン+0タケシ)とか

360 ：１３２人目の素数さん：2023/05/15(月) 18:17:17.20 ID:m6Up1w8L.net

めーーーーちゃちっちゃい幅のxってイメージ

361 ：１３２人目の素数さん：2023/05/25(木) 07:49:00.03 ID:F2s8KCd7.net

2回微分のd2y/dx2って分子分母単独で何か意味あるますか?代数的な小難しい定義はパステイラー展開辺りと絡めて量として何か表すかなと

362 ：１３２人目の素数さん：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 ：１３２人目の素数さん：2023/10/08(日) 13:13:46.26 ID:5zJBfMmN.net

混乱を避けるため
微分形式を表すときはdx
無限小を表すときはΔx
という風に区別したほうがいい

364 ：１３２人目の素数さん：2023/10/22(日) 00:57:50.55 ID:Vx1pakuz.net

Δxは有限だろ

365 ：１３２人目の素数さん：2023/10/25(水) 12:01:56.27 ID:hMya+Vzm.net

解析概論のｄｘ＝Δｘの欺瞞を一生許しはしない

366 ：１３２人目の素数さん：2023/10/29(日) 23:53:14.40 ID:XIwjen5M.net

↑合ってんだよアフォｗ

367 ：１３２人目の素数さん：2023/10/30(月) 00:12:36.98 ID:FlSHetFs.net

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

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

368 ：１３２人目の素数さん：2023/10/30(月) 00:27:33.37 ID:nfuZJPOl.net

いや解析概論の記述は完全に誤りだろ

369 ：１３２人目の素数さん：2023/10/30(月) 07:22:06.03 ID:BrQUzVO2.net

>>33
>ホモロジーは余代数になる
H(X×X)→H(X)\otimesH(X)
は？

370 ：１３２人目の素数さん：2023/10/31(火) 03:53:23.03 ID:TTwB0+p3.net

>>363-368
意味ありげなライプニッツ記法を恨むイギリスのニュートンシンパぐらいの時期の数学水準がお似合いや。

371 ：１３２人目の素数さん：2023/10/31(火) 11:41:02.52 ID:0NKYaWxB.net

>>369
てことで一般には
コホモロジーは代数になるが
ホモロジーは余代数にはならない

372 ：１３２人目の素数さん：2023/11/01(水) 10:40:25.89 ID:FRQ9rdQB.net

ということを昔自主ゼミで知った

373 ：１３２人目の素数さん：2023/11/01(水) 13:40:02.18 ID:cLXFxScW.net

ｄｘ∧ｄｙ
ｄｘ・ｄｙ
これの違いが分かる人いる？

374 ：１３２人目の素数さん：2023/11/01(水) 22:52:56.91 ID:FRQ9rdQB.net

外積と対称積

375 ：１３２人目の素数さん：2023/11/01(水) 23:26:43.07 ID:cLXFxScW.net

∫∫f(x,y)dxdy
この場合のdxdyは外積と対称積のどちらですか

376 ：１３２人目の素数さん：2023/11/02(木) 07:20:10.41 ID:y5+5KTpX.net

ルベーグ測度

377 ：１３２人目の素数さん：2023/11/04(土) 05:21:28.07 ID:0ZP64CIh.net

話を最初に戻すけど
dy/dxは分数じゃないけど分数のように扱うことができるのはなぜ？という疑問

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

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

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

378 ：１３２人目の素数さん：2023/11/04(土) 06:35:10.45 ID:YeW6FE7J.net

dxはΔxな

379 ：１３２人目の素数さん：2023/11/04(土) 14:17:32.65 ID:0ZP64CIh.net

>>378
君はどうやら中学生みたいなのでさようなら👋

380 ：１３２人目の素数さん：2023/11/04(土) 14:33:27.12 ID:Hd+RkqEo.net

ライプニッツ記法は変数変換がなんか分数っぽく直感的にできる
ある意味では微分形式として正当化できる。

381 ：１３２人目の素数さん：2023/11/04(土) 17:28:58.37 ID:YeW6FE7J.net

>>379
消えろｗｗ

382 ：１３２人目の素数さん：2023/11/04(土) 17:33:34.90 ID:ZJbHQ0TF.net

>>380
ホントの意味は何にバッチリ書いているの？

383 ：１３２人目の素数さん：2023/11/04(土) 18:37:59.93 ID:i2S5g4xz.net

>>382
トゥー多様体とか多様体の教科書なら載ってると思う

384 ：１３２人目の素数さん：2023/11/04(土) 19:00:07.07 ID:YeW6FE7J.net

日本の教科書終わってるなｗ

385 ：１３２人目の素数さん：2023/11/04(土) 21:30:16.78 ID:YeW6FE7J.net

まあ接線の傾きすら知らんアホがいるスレだしなｗ

386 ：１３２人目の素数さん：2023/11/04(土) 22:51:46.55 ID:38wyn8QN.net

>>382
何にでも載ってるだろ
微分幾何学べよ

387 ：１３２人目の素数さん：2023/11/04(土) 23:22:32.26 ID:0W+oH0g5.net

まず微分作用素としての
接ベクトルの定義から

388 ：１３２人目の素数さん：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 ：１３２人目の素数さん：2023/11/05(日) 01:19:50.27 ID:mnbABCCP.net

>>388
ニュートン記法とかランダウの記号のほうがいいの？

390 ：１３２人目の素数さん：2023/11/05(日) 01:44:41.01 ID:IqHMdRFa.net

Δｙ＝ｆ'(ｘ)Δｘ ＋ αΔｘ 　　但しΔｘ→0のときα→0

これが答えだ

391 ：１３２人目の素数さん：2023/11/05(日) 05:40:08.92 ID:WtePLvZ5.net

>>388
同じでもいいやん

392 ：１３２人目の素数さん：2023/11/05(日) 14:18:12.34 ID:ZLXDCpHP.net

>>386
大抵の本は >>390 みたいな説明が書かれていて、直感的には分かるが厳密性に欠けるんじゃね？とハテナマークが壮大につくわけで。

393 ：１３２人目の素数さん：2023/11/06(月) 09:03:44.67 ID:4HoFsi7p.net

接線とか接平面で理解したらいいだけでは？

394 ：１３２人目の素数さん：2023/11/06(月) 10:42:34.23 ID:DN7G53u1.net

>>392
どの程度の厳密性を求めるかにもよるだろう

395 ：１３２人目の素数さん：2023/11/06(月) 11:21:54.92 ID:AJDimmk/.net

>>394
他の学問ならまだしも、数学である以上論理学に還元できるレベルの厳密さが必要だよね

396 ：１３２人目の素数さん：2023/11/06(月) 12:32:22.71 ID:DN7G53u1.net

論理学に還元できるレベルのことだと分かるなら
実際に厳密にそれを実行する必要はない
ラッセルとホワイトヘッドがやったことを
いちいちすべての数学でやってもしょうがない

397 ：１３２人目の素数さん：2023/11/06(月) 16:35:17.34 ID:RVEkBJTR.net

だからって、「微小変位」みたいなのに戻れってのは抵抗感があまりにも大きすぎる。

398 ：１３２人目の素数さん：2023/11/06(月) 17:03:48.94 ID:VoR2jbkn.net

どこがどう厳密じゃないのか一切言わないからな

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

399 ：１３２人目の素数さん：2023/11/06(月) 17:09:06.59 ID:VoR2jbkn.net

数学は論理がすべてとか言ってる奴こそ１００年前から進歩していない

400 ：１３２人目の素数さん：2023/11/06(月) 18:58:49.04 ID:RVEkBJTR.net

>>398
微小とかが嫌だって書いているだろうにｗ

401 ：１３２人目の素数さん：2023/11/06(月) 19:42:26.73 ID:AJDimmk/.net

>>396
「～のことだと分かる」って日本語の意味がよく分からないんだけど

402 ：１３２人目の素数さん：2023/11/06(月) 20:10:20.65 ID:VoR2jbkn.net

>>400
dy≒Δｙとする事ができる程の微小という事

403 ：１３２人目の素数さん：2023/11/06(月) 21:52:48.92 ID:W0cso/Z5.net

>>397
無限小でイイでしょ？
数列なら{1/n}は無限小
超準解析持ち出す必要も無し
持ち出して来てもいいけど

404 ：１３２人目の素数さん：2023/11/06(月) 22:41:38.42 ID:BibX6e7B.net

>>399
数学は論理が全てではなくて、他にお気持ちとか重要なものはあるけど、それもこれも論理的正しさがベースにあってこそ

405 ：１３２人目の素数さん：2023/11/06(月) 23:54:01.29 ID:RVEkBJTR.net

>>402-403
曖昧過ぎるｗ
超準解析使うなら、「ここの理論は普通の数学者が忌み嫌う特殊理論を使いますよ！」みたいなのをはっきりと明記して欲しい。

406 ：１３２人目の素数さん：2023/11/07(火) 00:20:59.50 ID:VbFajO2c.net

>>405
ワカランなら別にいいよ

407 ：１３２人目の素数さん：2023/11/07(火) 00:22:06.63 ID:VbFajO2c.net

だいたい書いてる趣旨を誤認してるのは読んでないからだろうシナ

408 ：１３２人目の素数さん：2023/11/07(火) 07:47:43.37 ID:EhFc3J9H.net

>>407
何番の書き込みのことをいっているのだ？

409 ：１３２人目の素数さん：2023/11/07(火) 10:31:00.67 ID:ivDADiXg.net

>>397
390のどこに「微小変位」が必要？

410 ：１３２人目の素数さん：2023/11/07(火) 11:00:40.38 ID:EhFc3J9H.net

Δx→0とあるぞ

411 ：１３２人目の素数さん：2023/11/07(火) 11:16:34.50 ID:ivDADiXg.net

Δxは単なる変位では？

412 ：１３２人目の素数さん：2023/11/07(火) 11:25:50.26 ID:VbFajO2c.net

だよね
微笑じゃない
→０の部分が微小の意と解釈できるけど
そこは無限小で

413 ：１３２人目の素数さん：2023/11/07(火) 11:40:18.25 ID:1g155nkN.net

そもそもΔx→0って言葉も未定義語ではあるんだが

414 ：１３２人目の素数さん：2023/11/07(火) 12:09:38.07 ID:EhFc3J9H.net

いずれにせよ曖昧だろｗ

415 ：１３２人目の素数さん：2023/11/07(火) 13:53:50.92 ID:SLlI+vpk.net

極限の概念の基本的なところを
しっかり押さえていれば
全然あいまいなことはない

416 ：１３２人目の素数さん：2023/11/07(火) 14:09:32.87 ID:SSuvZGNJ.net

>>413
未定義語じゃなく、「収束する」な

417 ：１３２人目の素数さん：2023/11/07(火) 15:15:33.24 ID:eAJ2AoXz.net

普通の場合、単独では微分形式を表すし
積分記号∫と一緒のdx、dyは測度を表す

418 ：１３２人目の素数さん：2023/11/07(火) 16:01:44.61 ID:1g155nkN.net

>>416
定義されてると思うなら論理式で定義を書いてみたら？
不可能だろうけど

419 ：１３２人目の素数さん：2023/11/07(火) 19:48:27.29 ID:SSuvZGNJ.net

∃δ > 0, ∀Δｘ, 0 < |Δｘ| < δ

420 ：１３２人目の素数さん：2023/11/07(火) 20:12:12.70 ID:vJtxykk/.net

>>419
閉論理式ワロタ
任意のδ>0に対してδ<|2δ|なので
∀δ > 0, ∃Δｘ, ¬(0 < |Δｘ| < δ)
よって偽

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

421 ：１３２人目の素数さん：2023/11/07(火) 21:59:23.19 ID:ivDADiXg.net

>>420

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

全然未定義じゃない

422 ：１３２人目の素数さん：2023/11/07(火) 22:30:51.29 ID:EwFVtkuX.net

>>421
だったら論理式で定義を書いてみたら？
ちなみに>>419の論理式は「実数には最大値が存在する」って意味の論理式で、もちろん偽だよ

423 ：１３２人目の素数さん：2023/11/07(火) 23:09:10.78 ID:ivDADiXg.net

>>422
論理式の問題などではない