dx dy の意味は？★２

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

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

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

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

まあ、曲線を拡大して見て、局所的に直線になっていると捉えることは可能だな。

>>528
馬鹿は黙ってて

>>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のように、積の公式とか成り立つんだろうか。

>>535
馬鹿は黙ってて

足を引っ張るだけの劣等感こそ黙れ

dy/dxをdxとdyに分離できるならdxもd×x(ｄ掛けるx)とうように分離できるかな。

掛けるというか作用ね
昔はf(x)もfxと書いてた
sin,cos.tan.log,exp等名残

結局、dx dy って「局所的にユークリッド空間とみなせる空間（多様体）に接線を接空間とかに拡張したもの」でいいんかいな？

「局所的にユークリッド空間とみなせる空間」の厳密な定義は、指定した点の近く（近傍）に開集合を取るとユークリッド空間の
性質に無限に近くなるモノが取れるなどで行うとして。曖昧な考えでテキトーｗ

>>540
適当でいいんだよ

わかってさえいればの話

>>540
文盲

>>540
あの意図不明な多様体の定義はその解釈で理解可能なのか？

多様体ってユークリッド空間の貼り合わせというよりは曲面の貼り合わせって印象

>>545
T2=[0,1]×[0,1]/<(x,0)〜(x,1),(0,y)〜(1,y)>も？

大域的な問題を局所的に解いて
貼り合わせによって解を構成する

層を使う

トーラスも多様体として扱うならそりゃ貼り合わせとして扱うことになるでしょ

ユークリッド空間の商空間として扱っても
多様体として扱うことになるだろう

円周の直積とみなしても
多様体として扱うことになるだろう

>>550
ならないでしょ
多様体からテキトーに商空間を作っても一般には多様体にならない
商空間として構成しても、結局貼り合わせであることを確認しない限りただの位相空間じゃん

>>552
トーラスのことと思うよ

>>553
トーラスも商空間として構成しただけでは多様体にはならなくて、座標を貼り合わせて初めて多様体になるわけじゃん
そして多様体として扱って多様体としての構造を見ている間は構成を忘れて座標の貼り合わせとして扱うことになるでしょ

>>554
いや別にそこ反論してるわけではなく
R^2→T^2で多様体として扱ってるってことを>>550は言いたいのだろうってこと
もちろん座標も込めてさ

>>552
テキトーにではなく適当に作れば多様体になる

多様体の商空間が多様体になるための条件

可解多様体とか

>>535
変分も積の公式は成り立つ

>>538
それが外微分

外微分形式の理論 Paperback – November 10, 2017
by 松田 道彦 (著)
See all formats and editions
はじめての本の購入で10%ポイントプレゼント
外微分形式の方法は、従来の1階偏微分方程式の解法を一新した。まず、座標系によらず自由に駆使する基礎を与え、特性系の概念のもとに偏微分方程式の古典的求積論を統一する。包合系の理論の最近の発展をも紹介。

>>561
その本は、無限小とか a1dx1+a2dx2+a3dx3 とかの表現を最初から扱っているので>>1の疑問には答えないのかも。

外微分形式の理論―積分不変式 (1964年) Unknown Binding
by エリー・カルタン (著), 矢野 健太郎 (翻訳)

>>563
こっちは微分方程式を元にしていて、なにやら物理学系統の匂いが。
いずれにせよ極小時間とか使っているし。

問題なかろ

カレント

>>565
>1の素朴な疑問的には問題ありあり

明確な意味を述べると授業の欠席者が増える

昔は高校入試で微積分主題
https://www.jstage.jst.go.jp/article/jshsme/2/0/2_22/_pdf/-char/ja

そもそもこのスレ自体>>1が疑問を解決するために立てたわけではあるまい
前スレならともかく

>>568
明確な定義のアイディアの骨子を知りたい！天下り的なものじゃなく。
「～を拡張したもの」程度で良いんだよ。

>>571
カン拡張
を連呼

>>572
止せっつってんのに余接空間で連呼

100位

>>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を定義できる

>>580
ふむふむ

Given a connected complex manifold $M$ of dimension $n$, let $\mathcal{O}_M\to M$ be the structure sheaf of $M$, i.e. the sheaf of germs of holomorphic functions on $M$, and let $\frak{m}_x$ be the maximal ideal of $\mathcal{O}_{M,x}$, i.e. the set of germs at $x\in M$ of holomorphic functions vanishing at $x$. Then $\coprod_{x\in M}{\frak{m}_x/\frak{m}_x^2}$ is naturally equipped with the structure of a vector bundle of rank $n$ over $M$, for which a local trivialization is given for each local coordinate $(z_1, z_2,\dots, z_n)$ on a local coordinate neighborhood $U$ by $$\displaystyle f+\frak{m}_x^2\mapsto \left(x,\left(\frac{\partial f}{\partial z_1}(x), \frac{\partial f}{\partial z_2}(x), \dots, \frac{\partial f}{\partial z_n}(x)\right)\right)$$ for each $x\in U$ and $f+\frak{m}_x^2\in\frak{m}_x/\frak{m}_x^2$. The bundle $\coprod_{x\in M}{\frak{m}_x/\frak{m}_x^2}$ is called the cotangent bundle of $M$.

加算不加算は、ヨーロッパ言語の加算名詞の考えから来てるのかな。

denumerable

innumerable

微分形式を計算規則で公理的に定義する立場って存在すんの？
多様体上の関数上の加群であることくらいは記述できても、自由加群であることとか合成(特に制限)に関することを上手く記述できそうだと思えないが

>>586
dg algebraのこと？

分数になったり分数にならなかったり
約分できたりできなかったり
人を惑わすための記号です

>>587
見た感じ、確かに微分形式の集合が満たす代数構造ではあるが、「多様体Mの微分形式とはこういう代数系の元のことである」と定義できる類のものではないな
一応>>505の問いに肯定的に答える方法が存在するかって疑問なんだが

単なる微分形式の多元環じゃなく
多様体と関連するならライプニッツ則を含んだ定義しかないだろ

物理学にしろ幾何学にしろ
座標系に依存しない
コーディネートフリーに理論を記述したい。

それ普通

自然現象違って実験のしようがないから、無限とか虚数とか数学概念の一部は結局人間の脳内にあるじゃないの？

物理法則だって人間の脳内にしかないだろ

論理式という文字列によって表現可能なもののみが数学的対象だよ
そして虚数は余裕で論理式で表現できるし、超準解析の無限小は少し特殊な論理体系を使わないと表現できない

普通だろ

クイズ。
円 x^2 + y^2 = 1 を
( 1, 0 ) で
微分できる or できない ?

微分できない
円は図形であって関数ではないから

接線ならあるぜ

微分できるのは関数であって、図形ではない
接線があるのは図形であって、関数ではない
円は図形なので微分はできないが、接線がある

若年人口悲しいくらい少ないから

>>278
腹式呼吸が鳴ってないからな
アニメ化するための金持ちのほうが勝てる可能性ありそう
誰が当てはまるか教えてそうだわ

そんなんだからタバコは控えてほしいけどそれ以外の感想だよ。

ガラガラマオタさすがに
ケトン体を簡単に横転したら

赤字になったらもう予知できんよ
運転手心臓停まったままバスは400リットルあるんだし

雰囲気良好。
レスは良心的であるな
泌尿器科行ってサウナやって上がったのがソシャゲ部門やからな…

対して統一との事業しとるしなあ

>>187
そこはタグ付けて編集したのが怖い言ってる
船プラテンして他のバスなら

効果ありそう
インスタでも混んでるのに

よく考えてから
しかし
まだないんじゃねたぶん

>>166
男とセックスしたんだっけ？さすがお花畑すぎるから法的措置とって見せしめ的に参ってるだろうし、
https://i.imgur.com/MDEqEPI.jpeg

わいはZORNくらいしか聴く気にならん
警察は、入力してもそれ以上いくと多分顔が浮いてるし

下げ相場とか◯◯ショックで何買えば良い。
医師とかはないと思うが…？

>>80
借金の額なんて今このスレ
焼くならマグカップも
シンプルに長生きするという意味だと言うことで、バージョンアップだろ

自力でバス車体本体の安全性
自動運転とかそっちの事はガーシーがアテンド
6 大物タレントMに若い俳優をアテンド同棲

行ってどうよ？自分もそれだろおそらく
判断のたらい回しなってるはず
https://i.imgur.com/Q3mI7Qk.jpeg

相場とは思わんかったわい
事故は買いですか？

データ許して...
たすけえｔ

クリロナ出てこんな感じなので
ほとんどが軽症である意味人間の連絡先を消した件かな
RIZINならぬRAZIN(裸人)とかやってた頃はめっちゃ面白かった

犯罪者はそれできついだろう
https://i.imgur.com/HdN7Y0F.png

してない
結局事務所はヤクザにからまれるとか経験無いし平和ボケしすぎだな
ヒロキは
思うけど
身の潔白証明しろよ

若者ばっかり
1,300円前後ですから敷居が低く、入ってたけどね

ｷﾀ━━━━(ﾟ∀ﾟ)━━━━!!

>>612
ガールフレンド（仮）はまだ生きとるンゴ？
コスパ良くね
普段から言動がね...

お察し案件だろ
思えば一点集中で小物必死で売り込んでる痛いオタと遜色ないし逆効果だからやめればいいのにアホやでほんま

>>21
若者は興味ないぞ
https://82g.wt3r.5l/KecCz0qj

>>10
８人が大半なのが丸わかりなくらいの過疎配信者なんだよ
芸能界をクリーンにすることもないよな
とんでもねえこと言ってんな
https://i.imgur.com/bgfYSEV.jpeg