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/

99 ：１３２人目の素数さん：2022/01/19(水) 18:20:21.69 ID:Cvmwu/OB.net

ID:vbbXRh64さんの住所がわかりません
https://rio2016.5ch.net/test/read.cgi/math/1642584004/

関連スレを立てました

100 ：１３２人目の素数さん：2022/01/19(水) 18:21:29.05 ID:Cvmwu/OB.net

ID:h0H/Iv3uさんの本名がわかりません
https://rio2016.5ch.net/test/read.cgi/math/1642584063/

こちらもよろしくお願いします

101 ：１３２人目の素数さん：2022/01/19(水) 18:26:18.69 ID:vbbXRh64.net

書いてあることを読み取って、書いてないことを読み取らない読解力は数学の学習において重要なことだけど、それがないとこうなるんだね

102 ：１３２人目の素数さん：2022/01/19(水) 18:28:49.51 ID:Cvmwu/OB.net

>>101
わからないんですね

103 ：１３２人目の素数さん：2022/01/19(水) 18:29:07.26 ID:Cvmwu/OB.net

>>101
私はあなたの住所がわかりましたよ

104 ：１３２人目の素数さん：2022/01/19(水) 18:37:36.60 ID:vwURb90G.net

草
数学板こっわ

105 ：１３２人目の素数さん：2022/01/19(水) 18:39:32.74 ID:Cvmwu/OB.net

>>104
今から電話してもよろしいでしょうか？

106 ：１３２人目の素数さん：2022/01/19(水) 18:40:20.81 ID:vwURb90G.net

一人で寂しいからして欲しい

107 ：１３２人目の素数さん：2022/01/19(水) 18:41:26.60 ID:Cvmwu/OB.net

>>106
家に行って慰めてあげましょうか？

108 ：１３２人目の素数さん：2022/01/19(水) 18:43:08.42 ID:vwURb90G.net

うちでかいホワイトボードあるからゼミしよう

109 ：１３２人目の素数さん：2022/01/19(水) 18:43:53.94 ID:Cvmwu/OB.net

>>108
住所を教えてください
電話番号まではわかりましたけど住所がわかりません

110 ：１３２人目の素数さん：2022/01/19(水) 18:47:33.03 ID:vwURb90G.net

かけてきて

111 ：１３２人目の素数さん：2022/01/19(水) 18:48:36.95 ID:Cvmwu/OB.net

>>110
住所がわかるなら書き込めるはずですね

書き込まないということはわからないということです

自分の住所もわからない人が数学なんてできるわけないですよね？？

112 ：１３２人目の素数さん：2022/01/19(水) 18:54:10.29 ID:vwURb90G.net

電話番号がわかるならかけられるはずですね

かけてこられないということはわからないということです

11桁の数字を打ち込むことすらできない人が数学なんてできるわけないですよね？？

113 ：１３２人目の素数さん：2022/01/19(水) 18:57:21.83 ID:vwURb90G.net

〜人が数学なんてできるわけないですよね？？
って言い回しいいな。日常生活でも使ってくわ

114 ：１３２人目の素数さん：2022/01/19(水) 19:01:13.18 ID:r/gDSOal.net

>>104
これ(ID:Cvmwu/OB)が劣等感婆さんという哀れな生物です
数学板に常駐するキチガイの一人です

115 ：64：2022/01/19(水) 19:57:24.45 ID:xYM55Omt.net

なんか知らんけど、急にレス伸びてるね

>>66
微小量dxは、εδ論法でいうところの
δみたいなもので、比較的に小さな値を表す
dxでなくδxと書いて区別するべきと思う
微分係数dy/dxは分数ではなく一つの記号
(dy/dx)δx≒δyであってイコールではない

もしもdxとdyが無限小で、dy/dxを本当に
分数だと思えば、(dy/dx)dx=dyになるね

116 ：１３２人目の素数さん：2022/01/19(水) 20:04:59.15 ID:eQgcn7uD.net

物理で出てくるΔ記号みたいなものと理解した。

117 ：１３２人目の素数さん：2022/01/19(水) 20:09:58.06 ID:h0H/Iv3u.net

まぁスレが伸びても話はいっこうに進まんのだけどな
そもそもdxとかdxが何かなど議論する余地なんかないし

118 ：１３２人目の素数さん：2022/01/19(水) 20:15:21.27 ID:eQgcn7uD.net

なんか数学というよりかは数学史の話のような気がする。

119 ：１３２人目の素数さん：2022/01/19(水) 20:22:08.31 ID:E7SQrG8F.net

>>104->>110
|Σ0
|; ∆)ﾟ ﾟ

…未亡人ｯﾁｬﾏ…新ｽｨｨ恋活…?…

>>111
…恋ﾉ力…?ﾛﾝﾘ-ﾛﾝﾘ~飛躍的…
飛躍的ﾁﾞｬﾅｨ?
　。○
゜

120 ：１３２人目の素数さん：2022/01/19(水) 20:25:36.16 ID:E7SQrG8F.net

>>104違ｯﾀ!…ｶﾝｹ-ﾅｶｯﾀ!
ﾌﾟｯﾋﾟ~!

121 ：１３２人目の素数さん：2022/01/19(水) 22:00:26.27 ID:cIZ5a1X6.net

>>111
> ID:Cvmwu/OB
つまんない人には数学すらできるわけないですよね？？

122 ：１３２人目の素数さん：2022/01/20(木) 11:27:31.31 ID:Uhxw0Txt.net

>>58の答え教えてほしい

多様体上の積分における変数変換公式は、外微分と外積代数の性質から来ていて、それが上手いこと重積分の変数変換公式と整合している
もし、R^nの測度としてLebesgue測度以外をとったら、微分形式側の定義や操作を修正しなくて済むのかどうか知りたい

123 ：１３２人目の素数さん：2022/01/20(木) 13:01:43.50 ID:CLOYcwNx.net

よくわかりませんけど、微分形式としての体積形式を適当に変えればなんとかなりませんかね？

多様体上に定義される体積形式は一意に定まらないはずです

124 ：１３２人目の素数さん：2022/01/20(木) 13:17:59.52 ID:CLOYcwNx.net

https://ja.wikipedia.org/wiki/%E4%BD%93%E7%A9%8D%E5%BD%A2%E5%BC%8F#%E6%B8%AC%E5%BA%A6%E3%81%A8%E3%81%AE%E9%96%A2%E4%BF%82

ここら辺みてみると、どうやら体積形式を用いて一般の測度を再現することはどうやら一般には難しそうですね

125 ：１３２人目の素数さん：2022/01/20(木) 13:19:34.02 ID:bi6aYMcM.net

>>122
>微分形式側の定義や操作を修正しなくて済むのかどうか
意図していることが分からないから何とも言えないが
軽量は後付だからそっち側をどう定義するか考えてたら良いだけじゃないの？

126 ：１３２人目の素数さん：2022/01/20(木) 13:20:53.49 ID:CLOYcwNx.net

わからないんですね

127 ：１３２人目の素数さん：2022/01/20(木) 13:24:41.20 ID:CLOYcwNx.net

ビブンケイシキガーさん、出番ですよー

128 ：１３２人目の素数さん：2022/01/20(木) 13:34:07.19 ID:CLOYcwNx.net

計量はリーマン多様体にしか定義されておらず、物理学で使われる√g云々は一般相対論に都合がいいようにという物理学の要請で定められた、無数にある体積要素の一つに過ぎない

そんなことすら知らないような方が普段ビブンケイシキガーと言っているのは滑稽ですね(笑)

129 ：１３２人目の素数さん：2022/01/20(木) 13:56:59.63 ID:h3C0V0Wq.net

>>125
こいつ最高にアホ

130 ：１３２人目の素数さん：2022/01/20(木) 14:13:25.77 ID:ehNOa8n3.net

コンパクト多様体M上なら、リースの表現定理を使って、Mの体積形式ωからM上の測度μが一意に定まる。

f → ∫_M fμ := ∫_M fω

だからまあ、測度を取り替えれば、ωも変わる

131 ：１３２人目の素数さん：2022/01/20(木) 14:14:22.53 ID:CLOYcwNx.net

それができない、とウィキペディアに書いてあります

132 ：１３２人目の素数さん：2022/01/20(木) 14:16:04.31 ID:ehNOa8n3.net

どういう測度が体積形式からくるか

各チャートR^n上の測度を取り替えたとき、M上の測度が定まるかどうか

は知らない

133 ：１３２人目の素数さん：2022/01/20(木) 19:10:12.01 ID:bi6aYMcM.net

>>129
後付って分からないのか・・・

134 ：１３２人目の素数さん：2022/01/20(木) 19:14:14.72 ID:i6m0PUx+.net

>>133
どういうこと？

135 ：１３２人目の素数さん：2022/01/20(木) 19:15:42.11 ID:9MGcjgGZ.net

>>133
もういい大人なんだから

「それっぽいことを言っておけば、聞く人は意図を汲んでくれる」

という思考、やめた方がいいよ？
数学をやるなら尚更

136 ：１３２人目の素数さん：2022/01/20(木) 19:18:19.25 ID:bi6aYMcM.net

>>135
ハイハイどもすみませｎ

137 ：１３２人目の素数さん：2022/01/20(木) 21:33:29.66 ID:RIDP7V6h.net

この（前）スレでたびたび出てくる「双代空間」ってのは、要するに

通常空間にたいして、それにぴったりひっついているような別の空間、例えば電場の空間とか磁場とか…

みたいなのを想定するみたいなカンジ？？
線形性を保持しているとかの性質があるような条件が必要で…

138 ：１３２人目の素数さん：2022/01/20(木) 21:56:10.35 ID:xJXfm/Bp.net

>>137
＞双代空間

双対はそうたい(そうだい？)ではなく「そうつい」と読みます……簡単に言えば与えられた空間上の関数全体からなる空間です
電場や磁場のように「(物理的な)ベクトル場の作用している空間」ではなく、3次元空間に対してその線形関数全体のなすベクトル空間のことです
線形性を保持というのは意味がわかりませんが、ベクトル空間の双対空間はベクトル空間になるので、その上の線形写像を考えることはできますね

139 ：１３２人目の素数さん：2022/01/20(木) 23:49:11.46 ID:iH9Wu1Ef.net

双対の明確な定義はないけど、入れ替えても同じなので、片方を証明すれば、もう片方も証明できる

140 ：１３２人目の素数さん：2022/01/21(金) 00:39:17.17 ID:6tN2yX9s.net

>>137
たとえ話的に言うとベクトルに対する物差しみたいなのが双対ベクトル
双対ベクトルはベクトルを受け取ってそのベクトルに対してある種の量を返す
例えばベクトルのx成分を測ってくれる物差しは双対ベクトル
こういう物差し全体を双対空間(dual space)といってV^*とか表記する
(但し物差しで測られるベクトル全体(=ベクトル空間)をVとした)
物理的な例でいえば、一定の力Fとの内積<F,->は変位ベクトルrを測って力Fがした仕事Wがどれぐらいか教えてくれるので双対ベクトル
他にも一定の電場Eとの内積<E,->が変位ベクトルrに対して双対ベクトル(測定結果は電位差)だったり色んなところに出て来る
双対ベクトル(covector)の図示に関してはこれが分かりやすい
https://www.youtube.com/watch?v=LNoQ_Q5JQMY

141 ：１３２人目の素数さん：2022/01/21(金) 00:42:56.62 ID:+HaI3rF6.net

>>137
k上のVに対してV*=Hom(V,k)

142 ：１３２人目の素数さん：2022/01/21(金) 00:44:23.60 ID:+HaI3rF6.net

Hom_k(V,k)か

143 ：１３２人目の素数さん：2022/01/21(金) 00:49:14.55 ID:Xg1Nb4Vi.net

測度のようなちょっと難しい話だとwikipedia以上のことは出てこないのに、双対空間のような簡単な話題になると沢山のレスが即座に着くんですね

144 ：１３２人目の素数さん：2022/01/21(金) 01:02:25.67 ID:F4x/y85F.net

またおまえかｗ

145 ：１３２人目の素数さん：2022/01/21(金) 02:25:42.04 ID:bMhMb28h.net

質問の内容がはっきりしてると答えやすいってのはありそう

146 ：１３２人目の素数さん：2022/01/21(金) 09:25:27.46 ID:5KxroCc0.net

>>137
ゴミ

147 ：１３２人目の素数さん：2022/01/21(金) 11:28:47.47 ID:OiDYUFN1.net

>>137
あなたに必要なのは
思い込みを捨てること

歴代の数学者が連綿と紡いできた学問体系を
自身の瑣末な知識の類推と捉えないこと

数学を理解するには
一字一句丁寧に数学書を読むしかないんです

概念の定義を正確に理解する
具体例を計算する
証明の行間を補う
ある性質を示すために、何の定理を使ったのか
その仮定と結論は何か、本当に仮定の条件を満たしているのか
ある条件がいかに証明に用いられるのか、その条件を除いたら反例を作れるのか
………

そういったことを丹念にこなして初めて数学は理解できるのです
時には別の文献に当たらねばならぬこともあるでしょう
有名な本であっても致命的な誤植や誤りがあることもあるでしょう
しかし、それは普通のことです
学術書は、それらの障害を乗り越えられる人を対象に書かれています

学問とは
試験のための知識を詰め込むことでも、他人にひけらかすための知恵を身に付けることでもありません
その学問が研究している対象それ自体を理解し、その深い洞察を前提として、独自の観点・問題意識から対象を分析・再体系化することです

あなたには学問をするための心構えがまるで足りていません
いつまでも親鳥に餌を運んでもらう雛のように、受動的に教えを乞うています

あるいはこう考えているのかも知れません
数学は受験勉強のように学ぶべき範囲が決まっていて
それを手取り足取り教ええくれる教材や学校があって
資格試験のようなものに合格しさえすれば数学を修めたと言える、と

そういう考えは今すぐに捨てなさい
学問とか以前の問題です
こんな考えを持っている人間は、社会で生きていくための基礎ができていません

148 ：１３２人目の素数さん：2022/01/21(金) 15:16:48.08 ID:2VuWN/fK.net

アホな議論を、見て、
まず、微分可能とは、局所的に線型写像で近似できることであること、を確認する必要がある。
近似線型写像の定義域は、接ベクトル空間だろう。
実数値関数の近似線型写像は、接ベクトル空間を定義域とする実数値線型写像となる。
これは、接ベクトル空間の双対空間の要素（余接ベクトル）である。
接ベクトルは実体が解りにくいが、余接ベクトルは実数値関数の近似線型写像として実体を持つ。
で、次のように定義すればよい、
実数値関数の近似線型写像を余接ベクトルという、余接ベクトル全体は自然に加法とスカラー倍が定義出来る、これを余接ベクトル空間という。
代数多様体においても、類似の方法で、余接ベクトル空間を定義出来る（特異点以外）。

149 ：１３２人目の素数さん：2022/01/21(金) 15:35:28.40 ID:2VuWN/fK.net

>>148
上記で、余接ベクトルが微分形式である。

150 ：１３２人目の素数さん：2022/01/21(金) 15:47:15.95 ID:fCN3shDz.net

なあ
なぜ、ごく初歩的な教科書を読めば、誤解の余地のない説明がされているものを
わざわざ自己流に言い直すんだ？

馬鹿なのか？

151 ：１３２人目の素数さん：2022/01/21(金) 17:44:07.68 ID:A4TW65KS.net

分かりやすく（少しぐらい厳密さを欠いたとしても）言い直そうと思っているとか？

152 ：１３２人目の素数さん：2022/01/21(金) 17:47:31.61 ID:ilK07ywZ.net

微分形式は単なる余接ベクトルではないんだろ？

153 ：１３２人目の素数さん：2022/01/21(金) 18:29:15.75 ID:ndFMSCWt.net

>>150
それよりも読点多すぎて馬鹿っぽく見える

154 ：１３２人目の素数さん：2022/01/21(金) 23:01:37.27 ID:5KxroCc0.net

"dxは微小体積"派の人は、
χ_ℚをℚの特性関数として

∫_[0, 1] χ_ℚ(x) dx

は、どのように解釈するのですか？積分不可能？

155 ：１３２人目の素数さん：2022/01/21(金) 23:39:05.93 ID:Xg1Nb4Vi.net

また面白そうなネタ持ってきましたね

156 ：１３２人目の素数さん：2022/01/21(金) 23:53:50.67 ID:bMhMb28h.net

>>154
そんな派閥ねえよ

157 ：１３２人目の素数さん：2022/01/22(土) 00:27:43.92 ID:QB7P5WQ9.net

積分でなくdxが体積とか何その派閥
誰が言い出したんだよ

158 ：１３２人目の素数さん：2022/01/22(土) 03:48:13.42 ID:vMSo+2Nd.net

>>147
微分形式は物理学でも便利な道具なんだが？。

なんか中途半端に解析概論ぐらいで厳密だと思って大上段からご講釈垂れられると思って偉そうにするほうがお門違い。

159 ：１３２人目の素数さん：2022/01/22(土) 07:31:49.83 ID:J1/WkiBO.net

でもビブンケイシキガーさんは、>>122のようなちょっと突っ込んだ微分形式の議論に対してはまともなこと書き込めてなかったですよね

160 ：１３２人目の素数さん：2022/01/22(土) 08:05:19.41 ID:rA+iqt4v.net

質問の意図が不明瞭だからな
「済む」って何だよ

161 ：１３２人目の素数さん：2022/01/22(土) 09:17:44.09 ID:iWu+1cUG.net

ビブンケイシキガーって誰よ
そんな奴おらんよ？

162 ：１３２人目の素数さん：2022/01/22(土) 10:56:14.74 ID:IwcYTa+Q.net

>>159
その人の懸念が何なのか不明確すぎて誰も答えられまいよ

163 ：１３２人目の素数さん：2022/01/22(土) 12:24:22.53 ID:UVCje5B3.net

>>158
>>147のどこに「解析概論」の話が出てるの？

164 ：１３２人目の素数さん：2022/01/22(土) 12:24:53.15 ID:UVCje5B3.net

>>160>>162
それはお前が馬鹿なだけ
質問の意図は明瞭

165 ：１３２人目の素数さん：2022/01/22(土) 12:27:00.57 ID:UVCje5B3.net

実際>>130は答えてるじゃないか(笑)

166 ：１３２人目の素数さん：2022/01/22(土) 13:30:20.13 ID:rjqBadwf.net

コミュ力が足りないんじゃないないのか？

167 ：１３２人目の素数さん：2022/01/22(土) 14:47:06.23 ID:ZAKe07xD.net

劣等感婆ともう一人ヤバいやついないか？

168 ：１３２人目の素数さん：2022/01/22(土) 14:51:18.22 ID:x205BXVe.net

>>130
開部分多様体を取るとコンパクトでなくなるから、各R^nの測度を取り替えたときまでは分からないな（分からないというか、議論の範囲外）

169 ：１３２人目の素数さん：2022/01/22(土) 14:53:31.27 ID:iD0HdcE9.net

>>168
積分をするときに使う1の分割の各サポートはコンパクトにできるから、同じ議論でいけるのでは？

170 ：１３２人目の素数さん：2022/01/22(土) 15:01:30.13 ID:kmtUzQci.net

で、問題はLebesgue測度以外の測度でも、変数変換したらJacobi行列式がでてくんの？

って話

171 ：１３２人目の素数さん：2022/01/22(土) 15:07:31.61 ID:EvvVK1vl.net

測度のpush forwardというのがあってだな
重積分の変数変換公式はその特別な場合

172 ：１３２人目の素数さん：2022/01/22(土) 15:44:18.95 ID:gukP0VNl.net

pull backでは？

173 ：１３２人目の素数さん：2022/01/22(土) 15:47:14.39 ID:gukP0VNl.net

あ、いやなんでもない

174 ：１３２人目の素数さん：2022/01/22(土) 16:16:45.93 ID:rSXcab0w.net

Wikipedia読んでも、具体的にどう対応するのかイマイチ掴めない
https://en.m.wikipedia.org/wiki/Pushforward_measure

たとえば

D = {(x, y) | x^2 + y^2 ≦ 1}

として

x = r cosθ
y = r sinθ

と変数変換したときの

∫ _D dxdy = ∫_[0, 1]×[0, 2π] rdrdθ

では、どうなってるん？

175 ：１３２人目の素数さん：2022/01/22(土) 16:32:58.26 ID:+B+HT00f.net

dx = cosθdr - rsinθdθ
dy = sinθdr + rcosθdθ

dx∧dy
= ( cosθdr - rsinθdθ ) ∧ ( sinθdr + rcosθdθ )
= - rsinθdθ ∧ sinθdr + cosθdr ∧ rcosθdθ
= - rsinθsinθdθ∧dr + rcosθcosθdr∧dθ
= rsinθsinθdr∧dθ + rcosθcosθdr∧dθ
= rdr∧dθ

wikipediaで勉強するとかあり得ん

176 ：１３２人目の素数さん：2022/01/22(土) 16:34:02.42 ID:IwcYTa+Q.net

>>164
ハイハイどもすんませんな
明確なら
微分形式の定義や操作が
変わるかも知れないと
思ったわけを説明してね

177 ：１３２人目の素数さん：2022/01/22(土) 16:36:39.79 ID:mFLKbH+b.net

>>175
こいつは馬鹿なのか

178 ：１３２人目の素数さん：2022/01/22(土) 16:37:08.72 ID:IwcYTa+Q.net

>>165
それは>>58への回答であって>>122の意味不明な懸念
>多様体上の積分における変数変換公式は、外微分と外積代数の性質から来ていて、それが上手いこと重積分の変数変換公式と整合している
>もし、R^nの測度としてLebesgue測度以外をとったら、微分形式側の定義や操作を修正しなくて済むのかどうか知りたい
への回答では無い

179 ：１３２人目の素数さん：2022/01/22(土) 16:37:47.65 ID:mFLKbH+b.net

>>178
意味わからないのはお前の頭が悪いからだよ

180 ：１３２人目の素数さん：2022/01/22(土) 16:37:52.82 ID:IwcYTa+Q.net

>>177
あんた
かき回したいだけならどっか行ってくれないかな

181 ：１３２人目の素数さん：2022/01/22(土) 16:40:38.44 ID:mFLKbH+b.net

>>180
話の流れを理解できていないのはお前

182 ：１３２人目の素数さん：2022/01/22(土) 16:41:42.26 ID:IwcYTa+Q.net

>>170
コレなら明確
変数変換した先の測度を元の測度を送った物として定義するなら
ヤコビアン出てくるのは理の当然

183 ：１３２人目の素数さん：2022/01/22(土) 16:43:41.75 ID:Njw87jxp.net

>>182
それはどうして？

184 ：１３２人目の素数さん：2022/01/22(土) 16:51:03.95 ID:fsCyphlD.net

>>182
Lebesgue測度に対しても、変数変換にJacobi行列式が出てくることは、全く自明ではないと思うのだが

その議論が書いてある参考文献教えてくれ

185 ：１３２人目の素数さん：2022/01/22(土) 17:08:49.83 ID:IwcYTa+Q.net

送った先の測度が元の測度にヤコビアンを掛けた物と一致しているからこそ
積分の変数変換になるからだよ
だから理由も何も
定義そのものと言えるアホらしい状況

186 ：１３２人目の素数さん：2022/01/22(土) 17:18:11.38 ID:twNHdfr4.net

>>185
ｋｗｓｋ

187 ：１３２人目の素数さん：2022/01/22(土) 17:28:04.90 ID:05rIUjyz.net

>>185
繰り返しスマン
少なくともLebesgue測度に限っても、変数変換にJacobianが出てくることは全く自明ではないと思うのだが、そういう議論をしている教科書があるなら教えてくれ

188 ：１３２人目の素数さん：2022/01/22(土) 18:13:20.93 ID:05rIUjyz.net

>>185
何度もすみません。

普通の微分積分の教科書で、変数変換公式の証明を「定義そのもの」で済ませているものは無いと思います。
たしかに微分積分の教科書はRiemann積分ですが、Lebesgue積分になったところで自明になるようなものでは無いと思います。
私の認識不足でしたらすみませんが、そういう議論をしている教科書があれば教えて下さい。お願いします

189 ：１３２人目の素数さん：2022/01/22(土) 18:50:31.14 ID:WVP6yMrM.net

|(>>167)ｬﾊﾞｨｬｯ…
０
　　)…
〥)
! !
　
|　
０　…ﾋｪｯ
;´д`) ｬ゛ｩ゛ｧ゛ｨ゛ｬ゛ｯ゛
!　!)　ｶﾞｫﾙﾝｬ…
δδ

190 ：１３２人目の素数さん：2022/01/22(土) 18:51:57.07 ID:WVP6yMrM.net

…ｺﾜｨﾅｧ…
…戸締り首都高…

191 ：１３２人目の素数さん：2022/01/22(土) 18:56:43.35 ID:WVP6yMrM.net

ﾄﾞのﾚｽ のｺﾄゃろか…
ｺﾚｶﾞﾜｶﾗﾅｨ…

…難問ゃな…

　　。◯
　゜

192 ：１３２人目の素数さん：2022/01/22(土) 19:09:55.27 ID:1E9gPKAd.net

>>174
これよくわからないんですけど、変数変換と関係あるんですか？
ないと思うんですけどどうなんでしょう？

測度空間(X1,Σ1,μ)を用いて、測度が未定義の可測空間(X2,Σ2)の測度f*μを新たに定義するという話ですよね？

変数変換の場合、どちらの空間にも測度は既に定義済みだと思います

にしても、ビブンケイシキガーは本当役に立ちませんね
グダグダ文句垂れてできることといえば脳死で変数変換の記号いじりだけじゃないですか

193 ：１３２人目の素数さん：2022/01/22(土) 19:27:49.22 ID:S8j7c3Fh.net

>>185
お調べいただいている最中でしたらすみません。
何度もすみませんが、積分の変数変換にJacobi行列式が出てくることは、Lebesgue測度に限っても、全く自明なことではないと思います。
実際、微分積分の教科書では、変数変換公式を一般の場合に証明するのに多くのページを費やしています。学部1-2年でやる微分積分はRiemann積分ですが、Lebesgue積分になったからと言って、変数変換公式が自明になるとは思えません。
私が寡聞にして存じないだけでしたらすみませんが、そのような議論をしている文献があれば教えて下さい。

194 ：１３２人目の素数さん：2022/01/22(土) 19:29:23.27 ID:iWu+1cUG.net

教えない

195 ：１３２人目の素数さん：2022/01/22(土) 19:35:23.08 ID:iWu+1cUG.net

すまん
>>194は>>192

196 ：１３２人目の素数さん：2022/01/22(土) 19:35:25.83 ID:J1/WkiBO.net

これが多分ルベーグ測度以外だと変数変換がおかしくなることの具体例になると思います

•X(R,Σ,μ)を測度空間とする。
R:実数
Σ:ボレル集合
μ: μ(E)=μ_L{x∈E| 0≦x≦1}、E∈Σ
ここで、μ_Lは通常のルベーグ測度

f:X→X、f(x)=x+1を考える
C=[0,1]⊂Xとすると、f(C)=[1,2]⊂X

このとき
∫_C dx=1、∫_f(C) dx=0
fのヤコビアンは1ですが、積分の値は一致していません

197 ：１３２人目の素数さん：2022/01/22(土) 19:39:34.33 ID:S8j7c3Fh.net

>>196
なるほど

198 ：１３２人目の素数さん：2022/01/22(土) 19:47:13.53 ID:S8j7c3Fh.net

Dirac測度
https://ja.m.wikipedia.org/wiki/%E3%83%87%E3%82%A3%E3%83%A9%E3%83%83%E3%82%AF%E6%B8%AC%E5%BA%A6

δ_x(A) := 1 if x∈A, 0 otherwise

を考えても、変数変換公式成り立たない例を作れますね！

199 ：１３２人目の素数さん：2022/01/22(土) 20:01:37.81 ID:HqLLFG7c.net

測度の方も変換するのでは？