dx dy の意味は？★２
dx とか dy って微積で出るけど、この明確な意味って何だ？
微少増分だとすると、大学初級のεδ論法でそんな曖昧なコトは排除されたのでは？
dy/dx が分数ではないとされるけど、分数のように計算したりするし…
微分形式だという話もあるが、微分形式の本を読んでも「これが微分形式だ！」なんて
やらないで、例によって天下り的に「こういう性質があるのが微分形式だ！」なんて言って
根底に潜むだろう思想を隠蔽するしｗ
※前スレ
https://rio2016.5ch.net/test/read.cgi/math/1575816681/ >>390
現代数学っていうのはそもそもこういう変数の関係式？みたいなもので記述する建て付けになっていないんだけどな
まあここの奴らは理解できないしする気もないんだろうが 例えば「Δx→0のときα→0」の定義を論理式で書け、って言われても不可能でしょ？
そういうことよ 高瀬正仁の『dxとdyの解析学』は、意欲作で「天下りの定義からは微積分の意味は聞こえてこない」なんて煽っている
けど、基本部分は dx は微少増分って扱いなんだよな。 高木貞治の解析概論の説明では、1変数の関数の微分とは局所的な接線の方程式であると理解するしかないみたいなんだけど。
https://imepic.jp/20231125/507160
高木ってゲーデルより30歳以上ジジイだからな
そんなやつが厳密に数学してるわけないという >>487
接線の「気持ち」としてはわかるにしても
解析概論のその説明はいろいろとおかしいな
まず「積分」を先に考えて、「微分」はそれの
「逆操作」とみなすほうがいいのかもしれんね
そうすれば、ε-δも当面は必要ないのではないか
楕円関数も楕円積分の逆として理解できる様に >>487
局所線形化写像とかの現代数学っぽく聞こえる言い換えを言い返ししたくなる。 >>492
積分をリーマン積分で定義するならどうせε-δが必要になる(それも分割の大きさに対するε-δだから関数の極限のε-δ以上にややこしい)
ルベーグ積分でも正項級数の定義くらいは必要になる
それに微分を積分の逆として定義すると、max(0, x)が微分可能になったり、f(x)=1の導関数が一意に定まらなくなったりする(導関数とほとんど至る所で一致するすべての関数が導関数になる) なんだか怖いね
ジョークが通じないというか
関わりたくないタイプ 論理式をまともに扱えないのにイキって使って事故った物理屋がTwitterで炎上中
ここの住人と重なる部分がある 考えてみると、子供向け質問回答で「山に登ると太陽に近づくが寒くなる」というのも、地球〜太陽の距離L=1億5千万kmにとっては山の高さ最大8.8ｋｍは
dLにも満たない距離だな。 太陽光が地面を温めて
地面が空気を温める
という説明で充分だろ
空気が太陽光を通す事も必要か？ この問題、Youtubeでも結構動画に上がっている。でも、正直に意味は不明とか、微分形式で定義づけられているけどわからんとか
超準解析で詳しく定義されているようだが、理解不能とか…正直に意味はないと考え単に計算規則として提示している人は正直で…好感がモテた。
でも、意味は無いのに計算規則だけ出てくるのは解せない。 数学は各自が勝手に定義して良いのだ
でも定義は明記しろよ 定義はどうせ次の計算規則が成立するモノとかで定義するんじゃないのか？ 下手に計算規則で定義すると
次の計算規則(i)(ii)が成り立つ非空集合SとS上の二項演算*の対(S, *)をチャオちゅ～ると定義する
(i) 任意のSの元aに対してa*a=a
(ii) 任意のSの元aに対してa*a≠a
みたいなレベルの無意味な定義になりかねないんだよね 受精卵は質量・体積の観点からすると、ほとんどが卵子由来。ゲノム情報は半々だが。精子残骸は受精後卵子に分解・吸収される。卵子細胞核まで泳ぎ切るかどうか不明だが。男・精子は卵子質量体積からすると微分量dmなのか。 やはり微分（全微分）は微分形式を学ばないと理解できないのか？
20年くらい前やはり同じ話題があがり
微分は数でもないし、関数でもない
というレスを見て考え込んでしまった。
純粋数学とは全く無縁の自分は「微小変化」で満足しているけどwww >>508
むしろ微分形式のほうが
純粋数学色なく実用ツールとして有用ですらある。 逆だろ
微分(接空間)が分からんのに微分形式が分かる訳がない >>510
あるいは多変数のほうが現実的具体的で簡単明瞭な可能性もある。 dx ≒ dy なら、dx≒0.001でいいんぢゃなーーい ごちゃごちゃ言わないでtangentBundleとcotangentBandleの定義を眺めたらいいのに >>510
接空間って要するに接線を２次元とか３次元とかに一般化したモノでしょ？ >>518
厳密に言えば多様体に
厳密でない言い方をすれば、ユークリッド空間に埋め込まれてるとは限らない曲線や曲面やその他曲がった多次元空間に とりあえず厳密じゃなくてもなんとなく納得できる回答が欲しい人はいると思う。
だから、これだけ紛糾しているわけだ。
局所的にユークリッド空間とみなせる空間に接線を接空間とかに拡張したもの…でなんとなく通じるんじゃないの？
後でそれじゃ厳密性が不足するなら注意を付け足せば良いわけだし。 >>512
実際、原子質量からすると電子質量は無視できるしな。水素原子と水素イオンの質量差＝電子1個の質量は無視。 >>520
個人的に「局所的にユークリッド空間とみなす」的な考え方は案外しっくりこないんだよね
例えば曲線に座標を与えても「直線と見なしてる」って感じがしなくて、あくまでも「曲線の各点と直線の各点を対応させてる」だけというか ＞局所的にユークリッド空間
地球上の数mの範囲とか >>522
結局、dx dy の定義で微小増分ってのが曖昧で嫌だってのを、多様体の空間が「局所的にユークリッド空間とみなせる」ってのに
単に置き換えて満足しているのかも…？うーん。 接空間を「局所的にユークリッド空間とみなす」なんて考える必要あるか？
最初に微分と接線を学んだ時も「局所的に直線とみなす」なんて思った事ないぞ まあ、曲線を拡大して見て、局所的に直線になっていると捉えることは可能だな。 >>527
接線って曲線を近似する直線なわけだけど、「近似」って近くて似てるけど異なるものなのよね 円に1点だけ共通部分があるのが接線
何も近似してない >>531
びっくりするかもしれねぇけど円以外の曲線も接線を持つんだぜ！ 近似の定義はεδ法みたいな形式で記述できるんじゃないの？ 微分の定義からして
f(x)-(f(a)+f'(a)(x-a))→0 (x→a)
であるのみならず
(f(x)-(f(a)+f'(a)(x-a)))/(x-a)→0 (x→a)
だからね
f(a)+f'(a)(x-a)がf(x)を近似してないってのは無理がある >>530
接線を重解として考えれば微分係数の厳密値が出るな。dxやεだと、超微小量だとしてもズレは0ではないし。
εδ論法や対角線論法とかで無限小は考慮されるが。（対角線論法は2^nというところを見落としているから論外）非代数関数への拡張は難しいかもしれんが。
https://www.chart.co.jp/subject/sugaku/suken_tsushin/38/38-8.pdf
あと、変分δxもdxのように、積の公式とか成り立つんだろうか。 dy/dxをdxとdyに分離できるならdxもd×x(ｄ掛けるx)とうように分離できるかな。 掛けるというか作用ね
昔はf(x)もfxと書いてた
sin,cos.tan.log,exp等名残 結局、dx dy って「局所的にユークリッド空間とみなせる空間（多様体）に接線を接空間とかに拡張したもの」でいいんかいな？
「局所的にユークリッド空間とみなせる空間」の厳密な定義は、指定した点の近く（近傍）に開集合を取るとユークリッド空間の
性質に無限に近くなるモノが取れるなどで行うとして。曖昧な考えでテキトーｗ >>540
あの意図不明な多様体の定義はその解釈で理解可能なのか？ 多様体ってユークリッド空間の貼り合わせというよりは曲面の貼り合わせって印象 >>545
T2=[0,1]×[0,1]/<(x,0)〜(x,1),(0,y)〜(1,y)>も？ 大域的な問題を局所的に解いて
貼り合わせによって解を構成する トーラスも多様体として扱うならそりゃ貼り合わせとして扱うことになるでしょ ユークリッド空間の商空間として扱っても
多様体として扱うことになるだろう 円周の直積とみなしても
多様体として扱うことになるだろう >>550
ならないでしょ
多様体からテキトーに商空間を作っても一般には多様体にならない
商空間として構成しても、結局貼り合わせであることを確認しない限りただの位相空間じゃん >>553
トーラスも商空間として構成しただけでは多様体にはならなくて、座標を貼り合わせて初めて多様体になるわけじゃん
そして多様体として扱って多様体としての構造を見ている間は構成を忘れて座標の貼り合わせとして扱うことになるでしょ >>554
いや別にそこ反論してるわけではなく
R^2→T^2で多様体として扱ってるってことを>>550は言いたいのだろうってこと
もちろん座標も込めてさ >>552
テキトーにではなく適当に作れば多様体になる 外微分形式の理論 Paperback – November 10, 2017
by 松田 道彦 (著)
See all formats and editions
はじめての本の購入で10%ポイントプレゼント
外微分形式の方法は、従来の1階偏微分方程式の解法を一新した。まず、座標系によらず自由に駆使する基礎を与え、特性系の概念のもとに偏微分方程式の古典的求積論を統一する。包合系の理論の最近の発展をも紹介。 >>561
その本は、無限小とか a1dx1+a2dx2+a3dx3 とかの表現を最初から扱っているので>>1の疑問には答えないのかも。 外微分形式の理論―積分不変式 (1964年) Unknown Binding
by エリー・カルタン (著), 矢野 健太郎 (翻訳) >>563
こっちは微分方程式を元にしていて、なにやら物理学系統の匂いが。
いずれにせよ極小時間とか使っているし。 そもそもこのスレ自体>>1が疑問を解決するために立てたわけではあるまい
前スレならともかく >>568
明確な定義のアイディアの骨子を知りたい！天下り的なものじゃなく。
「～を拡張したもの」程度で良いんだよ。 >>1
>根底に潜むだろう思想
それってどんなん？ 微積分のdxとかdyを微分形式だというのは、説明になってない
dxとかdyって余接空間のただの基底だから
そんでもって∂f/∂xとか∂f/∂yもただの係数だから
関数の線形近似が理解できて初めて微分形式とかも理解できるから もしかしてdfとかdxが数だったら
単純に割り算してdf/dxが求まるとか思ってる？
それ素人の初歩的妄想的誤解
結局差分商の差の部分を小さくしていった場合の極限が微分係数だから
極限が心理的に受け入れられないからって、
極限抜きの方法なんか求めるのは○違いだよ df=(df/dx)dx って書いたところで、
「df/dxってなんだ？」
「dfをdxで割った値だよ」
とかいってるならそれ無意味なトートロジーだよな
df/dxは先に決まってるんで、それをdfをdxで割ったものとか言っても意味ない ところで「（多変数写像）変数変換でヤコビアンが出る」のは
線型写像で近似してるからだぞ
その行列がヤコビ行列で、行列式がヤコビアン
線形代数わかってないなら、ヤコビアンわかるわけないからな
陰関数定理、逆関数定理がわからんとかいってるのも
もとをたどるとそもそも線型写像で近似してることが
わかってない場合が多い
対応する線型代数の命題を理解せずして理解できるわけないから >>571
関数f:R^n→Rが滑らか、任意の点p∈R^nとすると、横ベクトル(∂f/∂x1(p), …, ∂f/∂xn(p))により線形写像df_p: R^n→Rが得られる
これが各点pごとに定義されるので、線形写像の族としてdfを定義できる
これを拡張して、関数f: M→Nが滑らか、任意の点p∈Mとすると、上手いことやれば線形写像df_p: (Mの点pにおける接空間)→(Nの点f(p)における接空間)が得られる
これが各点pごとに定義されるので、線形写像の族としてdfを定義できる 
