17/10/18 07:18:45.59 yB8nL1O6.net
関連スレ
関数解析
ｽﾚﾘﾝｸ(math板)
3:１３２人目の素数さん
17/10/18 07:25:16.18 yB8nL1O6.net
関連・過去ログ
関数解析（Functional Analysis）
ｽﾚﾘﾝｸ(math板)
関数解析＆ルベーグ積分
URLﾘﾝｸ(l)<) ogsoku.com/thread/science3.2ch.net/math/1088665870/
Lebesgue積分ｾﾞﾐ
URLﾘﾝｸ(l) ogsoku.com/thread/science3.2ch.net/math/1109910304/
4:１３２人目の素数さん
17/10/18 15:18:11.70 MpITCT5F.net
スレ立て乙！
5:１３２人目の素数さん
17/10/18 15:39:03.93 KOE53k2s.net
実解析のスレがあったはず、それにlog速へのリンクはまずいのでは？
6:１３２人目の素数さん
17/10/18 15:43:02.26 KOE53k2s.net
実解析 [転載禁止](c)2ch.net
ｽﾚﾘﾝｸ(math板)
7:１３２人目の素数さん
17/10/18 23:53:02.26 +KA0efom.net
関数解析と聞くとなぜか胸熱…
8:１３２人目の素数さん
17/10/19 18:04:36.13 vTdIR5fZ.net
幾何学的測度論
URLﾘﾝｸ(www.math.titech.ac.jp)
URLﾘﾝｸ(maths-proceedings.anu.edu.au)
9:１３２人目の素数さん
17/10/22 00:13:58.18 2eKNWJaL.net
最近の俺の興味はメジャーよりゲージだからなー。
まぁ「ゲージ理論の基礎数理」で関数解析関係の話がからっきいついていけなかったから測度論～関数解析絡みのお勉強が必須なのは自覚してるが…。
10:１３２人目の素数さん
17/10/22 00:17:07.18 ucC0W3rz.net
「お勉強」という言葉にまつわる人間心理
11:１３２人目の素数さん
17/10/22 00:34:13.52 2eKNWJaL.net
だって研究とかの前向きで生産的な営為じゃなくて昔の人がとっくに作り上げ済みのもの蒸し返す行為にすぎないんだもの。
グロタンディーク並みによく知らんうちに車輪の再発明しちゃうような真似なら新規性のある研究をする研究者候補生として前途は明るいかもしれないが。
12:１３２人目の素数さん
17/10/22 01:41:11.35 34U/AvdN.net
>>11
>だって研究とかの前向きで生産的な営為じゃなくて昔の人がとっくに作り上げ済みのもの蒸し返す行為にすぎないんだもの
気持ちは痛いほど分かります
人生の時間は限られてるもんね
13:名無しさん＠そうだ選挙に行こう！ Go to vote!
17/10/22 09:44:30.77 GtkJB5BN.net
>>9
指数定理厨というなのアホは静かにしていろ
14:名無しさん＠そうだ選挙に行こう！ Go to vote!
17/10/22 10:39:09.11 ko5Tfuc6.net
実に怠惰デスね。
15:名無しさん＠そうだ選挙に行こう！ Go to vote!
17/10/22 13:17:25.95 07YoAXMb.net
勉強したくない奴の言い訳なんぞ放っとけ
16:￥
17/10/23 23:04:01.78 Dl6USvMt.net
￥
17:￥
17/10/23 23:04:18.99 Dl6USvMt.net
￥
18:￥
17/10/23 23:04:36.94 Dl6USvMt.net
￥
19:￥
17/10/23 23:04:56.47 Dl6USvMt.net
￥
20:￥
17/10/23 23:05:15.11 Dl6USvMt.net
￥
21:￥
17/10/23 23:05:32.03 Dl6USvMt.net
￥
22:￥
17/10/23 23:05:47.35 Dl6USvMt.net
￥
23:￥
17/10/23 23:06:05.91 Dl6USvMt.net
￥
24:￥
17/10/23 23:06:31.80 Dl6USvMt.net
￥
25:￥
17/10/23 23:06:55.53 Dl6USvMt.net
￥
26:１３２人目の素数さん
17/10/24 12:47:48.07 TeheAXjr.net
ゴミがまた湧いた
27:１３２人目の素数さん
17/10/31 09:52:55.72 2QhCAhpK.net
ルベーグ積分がさっぱりわからないのですがオススメの参考書はありますか？
非数学科なのですが興味があり独学してみようと思っています
28:１３２人目の素数さん
17/10/31 20:23:03.56 3Bh2J/gy.net
>>27
30講とかかな？
29:１３２人目の素数さん
17/11/02 11:23:43.00 swN/GnGJ.net
まず数学の基礎からだね
30:１３２人目の素数さん
17/11/29 09:41:16.44 gicKeA0G.net
ルベーグ積分入門が終わった。やはり誤植が少なからずあった。次は
31:１３２人目の素数さん
18/04/18 19:39:51.96 c8fB/jRO.net
測度・確率・ルベーグ積分読んでる
なんとか通読しようと思う
32:１３２人目の素数さん
18/10/17 21:34:34.05 8N7EQi1r.net
落ちてはないみたいだな
このスレ
33:１３２人目の素数さん
18/10/20 08:38:00.47 UMQ1TdOH.net
>>27
一年遅れのレスでなんだけども、名大の山上滋先生が最新の講義ノートupしてくれてて、参考文献も色々書いてるよ
このリストにはないけども、個人的には吉田耕作「測度と積分」が好み（←岩波基礎数学選書：現代解析入門の後半に収録）
URLﾘﾝｸ(www.math.nagoya-u.ac.jp)
>>30
伊藤清三のを完全フォロー？凄いなー
>>32
清三と好対照の溝畑ルベーグの内容を知ってますか？
34:１３２人目の素数さん
18/10/20 21:05:19.37 Q1eCSaO6.net
>>33
全然知らない。
生堅そうな正統派教科書なんか高いし避けちゃう。
35:１３２人目の素数さん
18/10/20 22:48:49.90 UMQ1TdOH.net
>>34
生堅そうな・・・まあそう映るのも著者が著者だから分かります
値段で若い人にスルーされるのは本当に残念です
私買って精読してまたコメントしますわ
36:１３２人目の素数さん
18/10/22 18:29:21.12 VattNfm3.net
>>33
耕作・清三・溝畑の3つ読めばいいよな
溝畑はわかりやすいリース流で測度論を必要としない
だから嫌という人もいるが、こっち知っておくと理解深まる
清三はなんだかんだで日本の標準
でも耕作の方が読みやすい
耕作・溝畑だけで充分とも思う
Haar測度とかDenjoy積分知りたいとかじゃなければもう充分
37:１３２人目の素数さん
18/10/22 19:09:36.18 vlBieMNL.net
製造は工作の愛弟子
溝端は他流派
38:１３２人目の素数さん
18/10/24 17:08:34.90 VgTREJC0.net
ルベーグ測度の重要性や価値を大学2年生（微分積分学を履修済み）にプレゼンするとしたら、どんな話をする？
39:１３２人目の素数さん
18/10/24 17:17:55.66 m/7OSfVI.net
証明の重要性と同じじゃねーの
40:１３２人目の素数さん
18/10/25 14:19:02.59 6/92Y/iD.net
ブラック?ショールズ方程式を理解できるようになれるかもしれない
41:１３２人目の素数さん
18/10/26 12:34:14.53 e5TxEtQT.net
ブラックやなー
42:１３２人目の素数さん
18/10/26 19:06:58.76 1KCGyJeQ.net
ルベーグ積分が確率論に必要って嘘だよね？
ルベーグ積分の前に確率論あったじゃん
43:１３２人目の素数さん
18/10/26 21:20:50.93 BWwEVP5J.net
お前にはルベーグ測度が不要と言うだけの話
44:１３２人目の素数さん
18/10/27 10:53:04.14 sjLLdu9W.net
／￣`Y ￣ヽ､
/ / / / l | | lヽヽ
/ / // ⌒ ⌒ヽ
| | |/ （●） （●）
（Ｓ|| | ⌒ ･ｨ ヽ 芸能人が吹き替えに挑戦というのは
| || | ﾄ-＝-ｧ ﾉ
| || | |-ｒ ､/ /|
| || | ＼＿｀ﾆ'_／ |
(( ( つ ヽつ、
. 〉 i ))
（__ノ^（＿）
45:１３２人目の素数さん
18/10/27 10:53:53.01 sjLLdu9W.net
／￣`Y ￣ヽ､
/ / / / l | | lヽヽ
/ / // ⌒ ⌒ヽ
| | |/ （●） （●）
（Ｓ|| | ⌒ ･ｨ ヽ 許せないという気持ちが分かる
| || | ﾄ-＝-ｧ ﾉ
| || | |-ｒ ､/ /|
| || | ＼＿｀ﾆ'_／ |
⊂/ ⊂ ）
i ヽ
(( （＿）^ヽ.__） ))
46:１３２人目の素数さん
18/10/27 15:35:11.98 6K2w2rjj.net
>>38
普通、長さや面積は当たり前に考えられると思われている。
しかし、それらは決して当たり前ではない。
例えば、物質の長さと言っても、
物質を構成する分子や原子の間はスカスカなのだ。
このスカスカのものの長さや面積や体積は一体何なのか。
同様に、数の集合においても、その元が一つのときは長さが0なのに、
それがある部分集合になったら長さを持つことになる。
直感的な長さや面積の概念の危うさを無限集合から考えさせるような話をする。
47:１３２人目の素数さん
18/10/28 00:12:20.66 DChuy+vB.net
こんばんは。ルベーグ積分を勉強する前に必要な勉強を教えてください。高２です。
48:１３２人目の素数さん
18/10/28 10:37:37.68 NuJ3LmM4.net
/""`､
/ `､
_,,-''''''''"""""''''''-,,,,
／ ＼
〈 :/
＼__,,,,-''''"""""''''-,,,_:/
// （●） （●） ヽヽ芸能人が吹き替えに挑戦というのは
ｒ-i./ ｀⌒,(･･)⌒´ ヽ.l-､許せないという気持ちが分かるので
| | | ),ｒ=‐､( | | ﾉ私の顔が思い浮かばないように
｀| |ヽ ⌒ ﾉ| ||ナチュラルな吹き替えを心がけた
. | | | |＼ ｀ｰ-‐'' ／| || ||
／ ＼
/ ． , ． 、 丶
_＿_＿/ /） ﾉ 丶 丶____＿＿____
／壱（＿ ノ（ □■ ⌒ヽ 丶 ＿）／万 ／|
|≡≡|__|≡≡ヽ. ■□ﾊ }≡≡|__|≡≡|彡|
|≡≡|__|≡≡|≡｀l l≡ l l≡≡|__|≡≡|彡|
|≡≡|__|≡≡|≡ ﾉノ |≡｀ J≡≡|__|≡≡|彡|
|≡≡|__|≡≡|≡≡|__|≡≡|≡≡|__|≡≡|／
49:１３２人目の素数さん
18/10/28 13:30:08.25 7f6Kd75t.net
>>47
ルベーグ積分を勉強する前に、精子何発で受精できるかを考えなさい。
50:１３２人目の素数さん
18/10/28 15:18:12.25 DChuy+vB.net
>>49
どうしてですか？
51:１３２人目の素数さん
18/10/28 16:53:46.69 fKSu+yds.net
おーい、釣れるか？
52:学術
18/10/28 18:31:57.67 wp+hJex4.net
スカスカは無数を表すのだろうね。有数といえば分子とか。
53:１３２人目の素数さん
18/10/28 19:46:33.34 0Tu6us6V.net
このスレに大類昌俊が書き込みしてそう
54:１３２人目の素数さん
18/10/28 23:44:24.50 w8/fydrh.net
>>53
はいアウト
ついに一線を越えたな
おまえ以外誰も興味を持ってない障害者スレから二度と出てくんな
55:１３２人目の素数さん
18/10/29 04:40:25.94 Cx8rTCyv.net
>>47
大学1年レベルの解析
集合位相論
56:１３２人目の素数さん
18/10/29 07:46:13.33 EgxsGIhj.net
>>47
猫先生が教えてくれますよ
・対談（ルベーグ積分）
URLﾘﾝｸ(rikei-index.blue.coocan.jp)
URLﾘﾝｸ(rikei-index.blue.coocan.jp)
URLﾘﾝｸ(rikei-index.blue.coocan.jp)
URLﾘﾝｸ(rikei-index.blue.coocan.jp)
57:１３２人目の素数さん
18/10/29 22:10:55.73 jaoN+B4j.net
普通に数学をする上では, 整数全体の集合Ｚからの有
理数全体の集合Ｑの構成およびＱの完備化による実数
全体の集合Ｒの構成さえ理解できていれば困らないで
あろう(これは多くの本に書かれてあるので機会と時
間があるときに解説したい). しかし根本にある自然数
をどう定義するか, これは必ずしも広く正確に知られ
たことではない. またＲの定義には公理的な方法もあ
り, そこから逆に自然数を定義することもある.自然数
の定義と聞いて多くの人が思い浮かべるのはペアノの
公理系によるものであろう. しかしこれを正確に把握
するためにはZFまで見直さなければならない. またＲ
の定義にはＱの切断による構成もある(デデキント切
断を公理として認めて公理的に定義するのとはまた別
の話である). Ｑの切断による構成もZFC公理系を基に
して定義される順序数の概念まで考察しなければ真に
理解することはできない.
58:１３２人目の素数さん
18/10/29 22:11:30.97 jaoN+B4j.net
Ｑの完備化としてＲを定義するのとＲを公理的に定義
するのは, このブログの執筆段階から妥当ではないと
考えられるため, また数とは何かという問いに答える
ため, ここでは順序数の概念に基づいた考察をするこ
とにする.
59:１３２人目の素数さん
18/10/29 22:12:23.85 jaoN+B4j.net
数とは何か定義するのは, 現代数学的に言うと, その数
全体の集合をどう定義するか, どう構成するかという
ことである. 自然数は典型的な順序数の例であり, 順序
数の概念は自然数の拡張である. Ｚは通常の大小関係
では整列集合にならないが整列可能定理により整列集
合とすることができ, やはり整数は順序数の特別な場
合と考えることができる. ＱにもＲにも整列可能定理
により整列順序を入れることができ, 有理数も実数も
順序数とみなせる. 特にＱの切断によるＲの構成は順
序数の基本的な性質に並行している. つまり数とは現
代数学的には順序数なのである.
60:１３２人目の素数さん
18/10/29 22:13:18.24 jaoN+B4j.net
Ｒをさらに拡大したものには複素数全体の集合Ｃと超
実数全体の集合*Ｒがある. これらの元が数であるかど
うかは微妙なところなのでこれもまた別の機会に書こ
うと思う. だが少なくともZFC公理系のもとでは「数
を実数の意味でとらえるとき, 数とは順序数のことで
ある」と言えるであろう. 数自身もまた或る種の集合として定義されているのである. これが現代数学による答えであろう.
61:１３２人目の素数さん
18/10/29 22:14:05.67 jaoN+B4j.net
なお非数学的なことを言えば, 数とは量や個数あるい
は回数など数字を用いて表される概念を抽象化したも
のである, ということになるだろう. 例えば１個のみか
んと１個のりんごが目の前にあるとき合わせて果物は
何個かという問いには誰もが２個と答えるだろう. こ
れは演算を果物の個数全体の集合すなわちＮで行って
いることに他ならないが, 上述の説明と「1+1＝2」の
間には明らかな抽象度の飛躍がある.
62:１３２人目の素数さん
18/10/29 23:09:06.90 02ED9R1j.net
ナニコノケータイ小説
63:１３２人目の素数さん
18/10/30 13:07:18.37 t5mlYc9c.net
そう言う気分に浸りたいんだろ
64:１３２人目の素数さん
18/10/30 17:46:09.79 iB44h34+.net
暇つぶし代わりにどうぞ
1. ユークリッド空間の可算集合はルベーグ測度について零集合であることを示せ. (ヒント:特定の被覆について外測度が出れば外測度の値の一意性からその値は任意の被覆に対する値でもある)
2. 可算集合を基に定義される測度空間で空でない集合の測度がゼロでないものを構成せよ. (ヒント:群の位数)
3. 任意の集合Xとその冪集合Ｐ(X)について m({})＝0, m(A)＝∞({}≠A∈Ｐ(X)) とすると(X, Ｐ(X), m)は測度空間であることを示せ. ({}は空集合. この問題のみ測度空間の定義にσ-有限性は仮定しない)
4. ユークリッド空間の空でない開集合のルベーグ測度は正であることを示せ.
5. ユークリッド空間のルベーグ可測集合Eに対してEのベクトルvだけの平行移動E＋v＝v＋E＝{x|x＝y＋v, y∈E}とする. このときm(E＋v)＝m(v＋E)＝m(E)を示せ. (ヒント:ルベーグ測度の定義)
6. ルベーグ測度mとルベーグ可積分関数fに対して
∫f(x＋v)m(dx)
＝∫f(v＋x)m(dx)
＝∫f(x)m(dx)
を示せ(積分範囲はユークリッド空間全域).
7. ルベーグ積分∫_Ｒχ_Ｑ(x)m(dx)を求めよ.
8. 問題2で構成された測度空間において可測関数はＲ∪{±∞}への写像としての数列であり可積分関数の積分は絶対収束する無限級数であることを示せ.
9. ルベーグ可測集合Eに対して
m(E)＝inf{m(O)|開集合O⊇E}
を証明せよ. (ヒント:(外)測度の単調性より
m(E)≦右辺)
10. ノルム空間Vにおいて三角不等式
| ||x||－||y|| |≦||x－y|| ( ∀x, y∈V )
を示せ.
11. ヒルベルト空間において内積は連続であることを示せ.
65:１３２人目の素数さん
18/10/30 19:42:14.45 CesWoYe7.net
答え
64 名前：あぼ～ん[NGID:iB44h34+] 投稿日：あぼ～ん
66:１３２人目の素数さん
18/10/30 21:41:34.52 iB44h34+.net
>>65
不正解、残念！！
67:１３２人目の素数さん
18/10/30 22:00:56.62 NyRr0Mdf.net
いい質問ですねぇ
68:１３２人目の素数さん
18/10/31 13:19:09.36 urQc9jb2.net
大体は見ただけで解けるからなー
69:１３２人目の素数さん
18/11/10 16:17:59.24 yz14pnCB.net
ルベーグ積分が正の部分と負の部分に分けて定義されるのってどうにかならんのか？
リーマン積分みたいに一気にやれよ
70:１３２人目の素数さん
18/11/11 13:14:23.11 gf+0u+wG.net
測度だからしょうがない
71:１３２人目の素数さん
18/11/11 17:11:25.80 Lx1A/P6d.net
＜わからない９大理由＞
１．読まない …参考書などを読まない。読む気などさらさらない｡
２．調べない …過去スレ、ググるなど最低限の内容も自分で調べようとしない｡
３．試さない …めんどくさいなどの理由で実行しない。する気もない｡
４．覚えない …人から聞いて、楽して得た答えは身に付かないから、すぐに忘れる。
５．説明できない …何に困っているのか、第三者に正確に伝わる文章が書けない。
６．理解力が足りない …理解力以前の問題で理解しようとしない｡
７．人を利用することしか頭にない …甘え根性でその場を乗り切ろうとする｡
８．感謝しない …教えてもらって当たり前。事がすんだらさようなら｡
９．逆切れする …自分の思うようにならないと逆切れする｡
72:１３２人目の素数さん
18/11/11 18:30:43.75 ygoqKLq6.net
まるで大類昌俊
73:１３２人目の素数さん
18/11/11 21:22:59.86 4DvLC3dq.net
>>71
ググるだけとかコピペだけってのはレベルが1上がってるのか・・・
74:１３２人目の素数さん
18/11/12 11:22:19.00 FYU7hwZx.net
わからないと同じやねーの？
75:１３２人目の素数さん
18/11/12 21:15:14.01 karrrsww.net
ルベーグ積分が何の役に立つのかリストにしてくれませんか？それを見て勉強するかどうか決めます。
76:１３２人目の素数さん
18/11/12 21:16:41.59 NapsQ4WF.net
関数解析
量子力学
77:１３２人目の素数さん
18/11/12 21:46:58.61 sYl1o0en.net
一様収束に拘わらずに積分と極限操作の順序を入れ替える根拠にできる。
78:１３２人目の素数さん
18/11/12 21:59:08.14 teOXOGb0.net
画処理でルベーグ積分は使えないの？
79:１３２人目の素数さん
18/11/13 04:45:10.94 wC4ySois.net
お前には無用
80:１３２人目の素数さん
18/11/13 13:46:16.92 PKdFww7C.net
役立つリストとか言ってる時点で手遅れ
81:１３２人目の素数さん
18/11/13 15:52:46.09 bkM3+WR/.net
うーん
あんまり重要じゃなさそうですね
まあ人間が実世界でする求積にはリーマン積分で十分ですもんね
82:１３２人目の素数さん
18/11/13 21:33:14.51 X2oAJ/Dq.net
その通りです
リーマン積分で満足しているなら，ルベーグ積分なんて無駄なんだから時間の無駄に決まってます
83:１３２人目の素数さん
18/11/13 22:25:06.02 lQBjdQ/O.net
勉強しなくてもいい理由が欲しいんだろうな
したくなければしなくていいのが勉強
84:１３２人目の素数さん
18/11/14 00:34:46.49 JJ1GnX7n.net
お勉強してる自分に酔ってるような輩もだいぶイヤだけどな
85:１３２人目の素数さん
18/11/14 08:09:22.97 tvbrA8b0.net
かまってちゃんだろ
86:１３２人目の素数さん
18/11/14 14:49:19.12 LzA25cvk.net
実用時にリーマン積分で計算する奴はいない
87:１３２人目の素数さん
18/11/15 18:39:39.88 Mu7q//06.net
┌─────┐
│ .|
│ キチガイ警報！ │
│ .|
└――─――┘
ヽ(´ー｀)ﾉ
( へ)
く
88:１３２人目の素数さん
18/11/16 07:22:03.44 zYM8bjwi.net
定理の証明には、ルベーグ積分が有利。諸定理の使える条件がゆるい。
面積の値が欲しいだけなら、リーマン積分で十分。
コンピュータを使った数値計算でルベーグ積分することはない。
というより、コンピュータの数値計算で完全加法性なんて扱えない。
89:１３２人目の素数さん
18/11/16 13:35:26.79 O0EEVdUr.net
普通は台形積分だろ
リーマン積分みたいな短冊を使う奴なんているんか
90:１３２人目の素数さん
18/11/17 00:16:14.83 QLXqSuI2.net
あのさぁ、極限とる前の横軸の分割が、区間による有限個の分割なら、
区間上の形は、短冊でも台形でもシンプソンでもガウス積分でも、
リーマン積分と考えて何の問題もないよ。
91:１３２人目の素数さん
18/11/17 13:18:29.08 P1IuP98F.net
数値計算で極限とるかよ
92:１３２人目の素数さん
18/11/17 16:35:26.65 QLXqSuI2.net
やれやれ、ルベーグ積分がわからないのはいいとしても、
リーマン積分を知らんとは。
そらぁ無理だは、ルベーグ積分わかるのは。
93:１３２人目の素数さん
18/11/17 18:31:47.78 /jtIsCMh.net
だ「は」？
94:１３２人目の素数さん
18/11/17 20:54:41.28 Ny+8/ILL.net
アホにアホが突っ込む
95:１３２人目の素数さん
18/11/17 23:09:20.22 QLXqSuI2.net
昔は数学板にルベーグ積分知らないのがいることが驚愕だった。
しかし、今やリーマン積分知らないのがいる。まさに衝撃の事実。
しかもそれをボーッと見て感想を書いている。もはや言葉がない。
ただ恐怖と戦慄があるだけだ。時代は変わった。
上には上のアホがいる。いや、下には下か。
96:１３２人目の素数さん
18/11/18 01:18:35.94 uEtlHBs8.net
リーマン測度
97:１３２人目の素数さん
18/11/18 02:16:27.27 Tu83m2CF.net
ダニエル
98:１３２人目の素数さん
18/11/18 02:22:46.86 Eh49lOQG.net
>>95
最近の学生は一様連続がわからんから
99:１３２人目の素数さん
18/11/18 12:57:24.17 yFcTtAlF.net
>>96
んなもんあるんか？
100:１３２人目の素数さん
18/11/18 15:33:08.82 Eh49lOQG.net
>>99
ネタにマジレスすると
リーマン測度（Riemannian measure）:
計量の入った多様体 (M, g) の体積要素のこと vol_M などと表す
リーマン積分の測度論的構成
ジョルダン測度を使ってルベーグ積分のような構成をすることはできるが
煩雑なだけで積分できる範囲も広がらないので手間のかかる演習問題だな
101:１３２人目の素数さん
18/11/19 01:17:35.68 guFDMZ6h.net
ルベーグ積分なんて使わないやつは知らなくていいよ
教養でもなんでもない
102:１３２人目の素数さん
18/11/19 12:39:10.03 jJSARdgV.net
>>100
なるほどサンキュー
103:１３２人目の素数さん
18/11/22 00:52:58.27 Rvtzea65.net
リーマン積分ってルベーグ積分に比べてそんなに楽かねえ。真面目に細部までやるなら全然楽じゃないと思うんだけど。
104:１３２人目の素数さん
18/11/23 13:25:12.37 +htPbX+P.net
公式使うんだから同じ事
105:１３２人目の素数さん
18/11/24 00:45:32.18 xouQWwtS.net
７ヶ国語に訳されている、知る人ぞ知る、確率論の「歴史的/世界的名著」：－
КУРС ТЕОРИИ ВЕРОЯТНОСТЕЙ
（Борис. В. Гнеденко）
英訳： THEORY OF PROBABILITY
邦訳： 確率論教程 Ⅰ，Ⅱ （森北出版）
# この本は。確率論にとって、ルベーグ積分などは「無用の長物」で
あることを示している。
106:１３２人目の素数さん
18/11/24 12:37:24.52 UEkwhQLr.net
誤魔化されてるだけ
107:１３２人目の素数さん
18/11/24 16:17:30.11 Pu2mqvtw.net
そりゃあ広く使われている統計学のテキストにガウス分布の式が書かれてないのも多いが
だからといって統計学にガウス分布が必要じゃないってことはない
世間に山ほどいる統計屋の多くがガウス積分すらわかってないのは確かで
バカにはバカの仕事があるのが統計のいいところw
108:１３２人目の素数さん
18/11/24 17:15:51.87 fDPEhN5v.net
一番ガウス分布誤用して居直ってるのは受験産業関係者だな（笑）
109:１３２人目の素数さん
18/11/24 17:35:12.34 Pu2mqvtw.net
センター試験数学2Bの統計・選択問題は楽勝問題が多いことで有名だが
数年後の新課程ではほぼ必修化される
高校教師の大部分が高校数学Bの統計をまともに教えられると思えないので地獄だな
ベクトルを数Bに残して統計を数Cにすればまだ良かった
ベクトルの数C移行は大半の高校生にとっても統計の教育にとっても大失敗
110:１３２人目の素数さん
18/11/25 14:10:22.63 RvhFrw9Y.net
自力で勉強できない者に安住の地はない
111:１３２人目の素数さん
18/11/27 07:19:12.91 dNgyRLKe.net
解析学 analysis アナルシス アナル
てな訳でアナル攻めのエロ動画で昨日はイきました。
（どやッ！！）
112:１３２人目の素数さん
18/11/27 18:37:45.95 dNgyRLKe.net
アナルシスからアナルへの展開に飛躍があったことを反省
でもみんな大好きなアナルへつなげたかったので許してね
113:１３２人目の素数さん
18/11/27 19:28:09.87 ez8P7RIU.net
アナリストだけど質問ある？
114:１３２人目の素数さん
18/11/29 06:56:19.05 9zve2i7X.net
>>113
アナル愛を感じさせるエピソードを聞かせてくれないでしょうか？
115:１３２人目の素数さん
18/12/03 21:40:24.43 m2zj1cYA.net
ルベーグ積分やったんだけどさ
これって全ての主張が"ほとんどいたるところ"だから、フーリエ級数が各点で本当に元の関数に収束するかどうかは結局古典論を勉強しないとだめだよな
116:１３２人目の素数さん
18/12/03 22:51:36.03 QQ+/xUtb.net
>>110
kwsk
117:１３２人目の素数さん
18/12/04 00:05:25.25 n6js/c1n.net
>>115
各点収束にはリプシッツ連続とか有界変動の条件が必要
それを外して単に連続にしたら反例あるし
その反例も測度ゼロの話になるw
これ以上は余程のことじゃないと無駄だろうな
118:１３２人目の素数さん
18/12/04 06:42:41.09 UORmiC5S.net
実数上の測度で平行移動で不変な確率測度って定義できないのはなぜ？
119:115
18/12/04 10:08:48.69 ZhvGhXvy.net
なんでそう思ったかというと、
f(x)=xをフーリエ展開して「x=π/2を代入する」という操作で
π/4の無限級数表示を得る有名な例があるけど、ルベーグ積分論だとこういう「1点での値」
が扱えない。測度ゼロの集合上では値を自由に変更できるから。
>>117
やっぱそうだよな・・・
120:１３２人目の素数さん
18/12/04 11:17:55.25 SxkUjTIt.net
突っ込みどころ満載の奴
121:１３２人目の素数さん
18/12/04 11:24:26.56 ZhvGhXvy.net
>>120
俺についてこなくていいから
122:１３２人目の素数さん
18/12/04 11:54:13.87 JcxDv5s4.net
馬鹿に突っ込みいれているのが、馬鹿についていくようにみえるのか、馬鹿主観ｗ
123:１３２人目の素数さん
18/12/04 12:25:51.98 ZhvGhXvy.net
うっわ、やっぱり数学板名物の例の荒らし君だよ
面倒な奴にストーキングされちゃったな
124:１３２人目の素数さん
18/12/04 14:02:41.48 oApZ9TPt.net
フーリエ級数が各点で元の関数に収束なんてリーマン積分でも成り立たんやろ
ルベーグ積分じゃ測度ゼロで任意だがリーマン積分でも離散点で任意だし
125:１３２人目の素数さん
18/12/04 16:08:37.59 ZhvGhXvy.net
書き方が悪かったけど、俺が言いたかったのは、
フーリエ級数の収束の問題はLp空間で考えるだけでは不十分で、何か代入する場合は
各点収束に関する古典的な結果を使わないといけないということです
126:１３２人目の素数さん
18/12/04 16:17:27.16 ece50mK1.net
ルベーグ積分では関数は殆どいたるところ一致するものを同一視する同値類である
と読んだ本に書いてなかったのかアホ
127:１３２人目の素数さん
18/12/04 16:20:33.68 ZhvGhXvy.net
>>126
お前イラネ
128:１３２人目の素数さん
18/12/04 16:24:22.48 ece50mK1.net
逆切れｗ
129:１３２人目の素数さん
18/12/04 18:02:41.17 vyESm8qe.net
ゆとりイラネ（）
130:１３２人目の素数さん
18/12/04 22:11:33.55 UORmiC5S.net
>>124
違うよ
131:１３２人目の素数さん
18/12/04 22:13:23.35 UORmiC5S.net
>>125
違うよ
132:１３２人目の素数さん
18/12/04 22:17:40.42 UORmiC5S.net
>>115
違うよ
133:￣￣|／￣￣￣￣
18/12/04 22:40:08.60 3cWbp0n+.net
＿＿＿＿_
／::::::::::::::::::::::::::＼ ＿
/::::::::::::::::::::::::::::::::::::::＼ ／ ￣ ￣ ＼
|:::::::::::::::::|＿|＿|＿|＿| /、 ヽ
|;;;;;;;;;;ノ ／,, ,,＼ ヽ |・ |―-、 |
|::（ 6 ー─□─□ ） ｑ -´ 二 ヽ | はあ？いいから働けウンコ製造機
|ノ （∵∴ （ o o）∴） ノ＿ ー | |
／| < ∵ ３ ∵> ＼.￣｀ | /
::::::＼ ヽ ノ＼ O＝＝＝＝＝ |
:::::::::::::＼＿＿＿＿＿ノ:::::::::::＼ / |
134:１３２人目の素数さん
18/12/04 23:02:43.45 1uML/6N4.net
先生おながいします
135:１３２人目の素数さん
18/12/05 00:40:31.36 DkeR+QlV.net
何で違うかって
どの点でも一致するとはそもそもなってないわけ
条件を知らないの？
136:１３２人目の素数さん
18/12/05 05:08:55.37 Atg/Mg06.net
馬鹿が馬鹿を呼ぶ流れ
137:１３２人目の素数さん
18/12/05 11:09:00.96 HFqhE8wt.net
数学板にバカが何人いるかの調査をしております。
138:１３２人目の素数さん
18/12/05 13:58:16.92 ZAIwREe8.net
馬鹿にする奴が馬鹿、不朽の真理だな
139:１３２人目の素数さん
18/12/05 14:13:11.08 TEbzDZKc.net
馬鹿にする奴が馬鹿、子供の言い訳
140:１３２人目の素数さん
18/12/05 22:06:12.66 um8gSkiN.net
>>137
数学板のスレタイ 馬鹿スレはどれでしょうか？
1: �
141:ｪからない問題はここに書いてね449 (272) 2: 現代数学の系譜 工学物理雑談 古典ガロア理論も読む55 (342) 3: 【自称数学者】三鷹の大類昌俊 Part7【つどい出禁】 (602) 4: 無理数が存在しないことを証明したんだが・・・ (33) 5: 高校数学の質問スレPart398 (528) 6: SNS死神ムラカミ (182) 7: 【数学検定】数学検定（数検）総合スレッド Part.12 (801) 8: ■■■■■■■■■■■■■ 人工太陽 (8) 9: Inter-universal geometry と ABC予想 35 (93) 10: 数学の本 第80巻 (26) 11: 奇数の完全数の存在に関する証明2 (813) 12: 「数学って何の役に立つの？」へのお前らの答えを書くスレ (67) 13: 数学の本第80巻 (170) 14: 邪馬台国畿内説の角度 (5) 15: ルベーグ積分や測度論のスレ その2 (139) 16: 【専門書】数学の本第80巻【啓蒙書】 (128) 17: ソ連の数学者 (91) 18: 関東弁は下品なエビス言葉と認めるしかないのでは？ [無断転載禁止]c2ch.net (282) 19: 面白い問題おしえて～な 28問目 (581) 20: 統計学Part17 [無断転載禁止]c2ch.net (673) 21: 村上隆と人工知能物語 (3) 22: 数学しかできない上に研究者にもなれないやつ (15) 23: 【激しく】解析と線型代数の本何がいい？【既出】11 (104) 24: ♂♂♂♂♂♂♂♂♂♂♂ 生物実験 １４ (36) 25: 皆本健太郎の東方project (269) 26: 名古屋】有限会社モトミ食品輸送【トランストラスト2】 (281) 27: 読み方が分からない数学用語 (58)
142:１３２人目の素数さん
18/12/06 13:58:16.89 +zHcQ1Up.net
4,6,8,14,18,22,24,25,26,27
143:１３２人目の素数さん
18/12/07 00:36:07.96 Bgzr68r/.net
>>125
「各点収束に関する古典的な結果」も大切ということです
＞f(x)=xをフーリエ展開して「x=π/2を代入する」という操作で
＞π/4の無限級数表示
程度なら「古典的な結果」の範囲
古典じゃない各点収束ならCarleson-Huntでもう終わり
144:１３２人目の素数さん
18/12/07 01:30:50.47 j0R9HS6D.net
Haar測度って？
145:１３２人目の素数さん
18/12/07 04:42:04.46 n6AodjZh.net
Carleson-Huntの定理は>>115のアホには無理ｗ
146:１３２人目の素数さん
18/12/07 13:43:29.26 7JqyHGvO.net
Haar測度の存在証明って授業でやったなー
最初に始めた方法が行き詰まって路線変更して証明したけど何だったんだろう？
147:１３２人目の素数さん
18/12/07 14:10:50.23 Vp6t1Wst.net
春の測度はさらさら行くよ♭
148:１３２人目の素数さん
18/12/07 15:31:46.78 wmIMmY5S.net
>>142
それもalmost every xじゃね？問題となってる特定の1点で本当に収束するのかどうか
149:１３２人目の素数さん
18/12/07 15:58:14.02 hE0eUN2S.net
馬鹿ほど自説に拘る
150:１３２人目の素数さん
18/12/07 16:29:36.43 wmIMmY5S.net
>>148
お前ルベーグ積分とか知らないのにただ荒らしに来てるだけだろ
巣に帰れ
151:１３２人目の素数さん
18/12/07 16:45:28.42 Bgzr68r/.net
>>147
特定の1点なら古典論に戻るしかない
1点での収束条件はいろいろある
そうじゃないならCarlesonが限界と可能性を見せた
単に連続ではダメ，L^1もダメ
このくらいわかった上であとは自分が必要な情報が何かによる
152:１３２人目の素数さん
18/12/07 17:28:28.34 rr+2cU6J.net
威勢のいいアホが見捨てられた
153:１３２人目の素数さん
18/12/07 19:09:52.30 5YAxsMCM.net
馬鹿には無理なCarleson-Huntの定理
URLﾘﾝｸ(arxiv.org)
154:１３２人目の素数さん
18/12/07 21:45:19.07 Hpb5l5Vr.net
砂上の楼閣のルベーグ積分
155:１３２人目の素数さん
18/12/08 13:53:22.79 1DLwKOPV.net
落ちこぼれかよ
156:１３２人目の素数さん
19/01/05 09:10:41.53 goF3rNlQ.net
測度論を極めれば万能物差しができますか？
157:１３２人目の素数さん
19/01/05 09:13:06.25 goF3rNlQ.net
測れるものと測れないものの違いは何ですか？
わかりやすく
158:１３２人目の素数さん
19/01/05 09:17:01.52 goF3rNlQ.net
最近は専門家向けじゃないくて一般向けのわかりやすい数学書が出てきたので
それを使って勉強していますが、大学の時に受けた解析学の講義は何を言っているのか
159: さっぱりわからず、単位を落としたという苦い経験があります。 馬鹿でごめんなさい。。。
160:１３２人目の素数さん
19/01/05 10:25:19.68 Au8md2Ju.net
>>156
これでも読みなはれ
ルベーグ積分30講 志賀
161:１３２人目の素数さん
19/01/05 10:32:56.46 goF3rNlQ.net
その本は持っていますがまだ読んでいません。
もう少しお話に近い本も読んでいますが、証明問題がわからず
高校数学の参考書を読んで、確率の考え方を勉強中です。
暗号をやるうえでも確率論の厳密な理解は必要になると思っています。
特に測度論から確率への橋渡しは重要だと思います。
162:１３２人目の素数さん
19/01/05 10:45:20.93 Au8md2Ju.net
確率論はこれが比較的やさしい
確率論 舟木
暗号はこれがいいらしい。
暗号技術入門 結城
163:１３２人目の素数さん
19/01/05 10:53:40.69 goF3rNlQ.net
ありがとうございます。参考にします。
結城の本は知っていることだけなので読まなくてもいいです。
164:１３２人目の素数さん
19/01/05 10:57:07.54 goF3rNlQ.net
サイボウズラボの人が書いた本はｐｄｆで手に入るので読もうと思います。
165:１３２人目の素数さん
19/01/05 10:57:52.38 Au8md2Ju.net
素人じゃないじゃん、頑張ってね
166:１３２人目の素数さん
19/01/05 11:04:38.42 goF3rNlQ.net
達人かもしれないですが教授のレベルではないですねｗ
167:１３２人目の素数さん
19/01/05 11:05:00.62 Au8md2Ju.net
蛇足だけど、確率論の本の最初に有限試行の話が載ってる。それがわかるなら高校数学は不要。
理由は二度手間になるから
168:１３２人目の素数さん
19/01/05 11:26:43.22 goF3rNlQ.net
自分は高校の時確率の授業を一回もうけませんでした。
主に微積分が得点源だったので、８割くらいの成績で合格したと思います。
それでも大学に入るには十分だったのです。
169:１３２人目の素数さん
19/01/05 11:31:14.74 goF3rNlQ.net
因みに自分が行っていた都立高校は、偏差値５０くらいの平凡な高校でした。
しかし大学に行くとみんな進学校からの出身が多くて世界観が変わりました。
170:１３２人目の素数さん
19/01/05 12:05:58.98 nJHysDuq.net
自分語りし始めちゃったよ
171:１３２人目の素数さん
19/01/05 12:22:16.99 goF3rNlQ.net
蛇足でしたね
172:１３２人目の素数さん
19/01/06 02:02:45.43 mxOLDOQA.net
さて
173:１３２人目の素数さん
19/01/06 03:26:17.78 tGRzsmjc.net
７ヶ国語に訳されている、知る人ぞ知る、確率論の「歴史的・世界的名著」：－
КУРС ТЕОРИИ ВЕРОЯТНОСТЕЙ
（Борис. В. Гнеденко）
英訳： THEORY OF PROBABILITY
邦訳： 確率論教程 Ⅰ，Ⅱ （森北出版）
# この本は。確率論にとって、ルベーグ積分などは「無用の長物」で
あることを示している。
174:１３２人目の素数さん
19/01/06 09:36:26.15 iwbUKz6t.net
コピペ
175:１３２人目の素数さん
19/01/06 13:27:26.40 fEd/vO6H.net
しょせん落ちこぼれ
176:１３２人目の素数さん
19/01/08 21:37:47.11 /Er/kwwj.net
01法則の証明とか大偏差原理の証明とか
177:１３２人目の素数さん
19/01/09 13:48:00.67 J7VIp4mr.net
大偏差って何かスゴそう
178:１３２人目の素数さん
19/01/10 19:46:12.34 nNX/7ACO.net
人より二倍の能力があると偏差値はいくつになりますか？
179:１３２人目の素数さん
19/01/10 19:49:46.36 33avwtIk.net
【トヨ～トヨ～♪トヨトヨパー！】 モーニング宇宙ニュースの服部和枝さんが癌で急逝、まさかのMe Too
ｽﾚﾘﾝｸ(liveplus板)
レイプ泣き寝入りの時代は終わった、強姦隠蔽犯罪集団の自民党を告発せよ！
180:１３２人目の素数さん
19/02/27 22:50:46.18 L3kx0MjC.net
確率は面積！
181:１３２人目の素数さん
19/03/05 20:16:18.27 u6oiejdP.net
禁断の書
30講借りてきた
シミだらけや
182:１３２人目の素数さん
19/03/05 21:17:59.61 jt6WswKd.net
「測度・確率・ルベーグ積分」も分かりやすかったですよ。
183:１３２人目の素数さん
19/03/05 21:20:39.64 O5g+5ct2.net
先は長い
184:１３２人目の素数さん
19/03/24 06:33:29.34 tgGd5K/C.net
ルベグ積分の問題です
f_n(x)= n・x exp(-n・x^2), n=1,2,・・・
において,
リーマン積分感覚で積分すると
lim[n->∞]∫[0,1] f_n(x) dx =1/2
∫[0,1]lim[n->∞] f_n(x) dx =0
となってしまいます。
ルベグ積分では単調収束するはずですが、どのように計算すればいいのでしょうか？
ルベグ積分としては1/2か0かどちらになるのでしょう？
185:182
19/03/24 09:17:35.15 tgGd5K/C.net
ここ過疎ってるみたいなのでほかに移動します
失礼しました
186:１３２人目の素数さん
19/04/30 21:45:31.80 P9i3fZ8y.net
>>182
0が正しい
187:１３２人目の素数さん
19/05/10 22:42:30.51 Sol+msrU.net
>>156
これって面積を測れる図形と図れない変な図形（のようなもの）があるんじゃないか？だとしたらその違いは何？
みたいなイメージの質問でしょうかね
だけどその発想自体が意味なくて、その辺の測度の本見ると…な集合の族に…な性質と値を与える函数が
定義できる場合にそれを測度と言う、の様に説明があると思いますよ。
その抽象的な発想がピンと来なければ、まずは解析の本から勉強してみては。
と思ったけど4ヶ月前の質問だからここ見てないかな
188:１３２人目の素数さん
19/05/12 00:29:46.94 XU7k2qyy.net
>>185
物理学量子力学だと演算子の可換性だよね。
189:１３２人目の素数さん
19/05/12 13:14:15.91 QzO8FaaP.net
関係ねー
非可測集合の存在証明やバナッハ＝タルスキーのパラドックスを読めばいい
190:１３２人目の素数さん
19/06/11 01:07:54.60 Lw8VN1UD.net
ルベーグ積分論などを用いた現代的な複素解析の基礎づけを
展開してる本はないですか？
コーシーの定理をルベーグ積分論を用いたグリーンの定理から導出する短い記事を
見たので、そういうのないかなと。
URLﾘﾝｸ(www.jstage.jst.go.jp)
1947年の記事みたいです
ｍｏｄｅｒｎ complex analysis
みたいな洋書を色々チラ見したけどやっぱりグルサーの古典的方法を
結局は軸としてるのがほとんどみたい。
グルサーの方法は簡潔なんだけど、狐につままれたような、
イマイチ実感が沸かないモヤモヤ感が残る
191:１３２人目の素数さん
19/06/11 07:18:19.99 WIZb01z+.net
>>188
Walter Rudin Real and Complex Analysis
グリーンの定理は使ってないけど
192:１３２人目の素数さん
19/06/11 08:31:21.64 b/lMJcFU.net
線積分をルベーグ積分で定義するだけだろ、複素解析関数しかでてこないのに
193:１３２人目の素数さん
19/06/11 08:56:51.61 WIZb01z+.net
積分論は現代解析学の基盤だから
形式上でも複素解析をその上に展開したくなるのは自然な欲求
194:１３２人目の素数さん
19/06/11 08:59:08.80 WIZb01z+.net
あとはC^1級のパスを絶対連続パスに書き直せるくらい
195:１３２人目の素数さん
19/06/11 09:20:16.53 Lw8VN1UD.net
>>189
レスありがとうございます。
ｒｕｄｉｎはいの一番にチェックしましたが複素解析に関して
アールフォルスを一新するほどの再構築さはあまり感じなかったような気が。
(アールフォルス流の初等的な基礎付けをサラッとおさらいした後に
現代的なやり方に触れてる雰囲気もありましたけど)。
ルベーグ積分を駆使してるって感じでもなければ、あと陰関数の定理は出てきてない。
John B. Conway「Functions of One Complex Variable Ⅱ」
がチラ見した中では一番近かったですが、なんだかという感じでもあります
196:１３２人目の素数さん
19/06/11 09:26:10.46 Lw8VN1UD.net
>>191
197:>積分論は現代解析学の基盤だから >形式上でも複素解析をその上に展開したくなるのは自然な欲求 古典的な微積分も習得させるのは二度手間のような気もします。 あれだけ倦怠感を催す微積分の古典的証明が、 ルベーグ積分では見通しよく扱えるのだから、 最初からいきなり全てをルベーグ積分流で学ぶというやり方もあっていいとも思います >>192 > あとはC^1級のパスを絶対連続パスに書き直せるくらい 色んなべき級数やらの扱いはそれ以上 古典論をイジリようがないのですかねー
198:１３２人目の素数さん
19/06/11 09:30:10.50 Rhdig5J8.net
複素解析はルベーグ積分より先に学ぶことが多いから
教科書では書きにくい
>>188の記事にあるように戦前にはルベーグ積分に基づいた複素解析の論文はあった
が教科書にはおりてこなかった
正則関数を有界変動曲線の上で積分するだけならルベーグ積分のメリットがない
199:１３２人目の素数さん
19/06/11 09:48:16.08 VM7G9Pk9.net
意外とカレント理論のいい和書の教科書がない。
200:１３２人目の素数さん
19/06/11 10:04:41.11 ZDjjjgYM.net
>>191
関数解析、偏微分方程式やるならただの道具、複素解析は多変数とか多様体とか他にやるべきとこがいっぱいあるだろ
一変数複素関数論にこだわってもしかたがない
201:１３２人目の素数さん
19/06/11 10:05:46.35 ZDjjjgYM.net
>>194
やれるものならやってみな
>最初からいきなり全てをルベーグ積分流で学ぶというやり方もあっていいとも思います
202:１３２人目の素数さん
19/06/11 10:21:56.25 VM7G9Pk9.net
>>198
超関数は結構初等的な事項から暗黙裡にインパルス関数として使ってるんだけどね。
軟化させるとガウス分布という汎関数だし。
印パ留守火事泥棒人民解放軍
203:１３２人目の素数さん
19/06/11 11:14:53.29 Lw8VN1UD.net
>>195
>正則関数を有界変動曲線の上で積分するだけならルベーグ積分のメリットがない
レスありがとうございます。
コーシーの定理をグリーンの定理から導く際には、
積分記号化の微分やら積分変数の変換やら重積分やら、
リーマン積分では倦怠感催しまくりのアプローチしかない道具がいっぱい必要になり、
その、この部分だけでも、ルベーグ積分の有り難さを感じれる気もします。
(グルサーの証明法だけで満足するのは何か味気ない)
私は英語が苦手ですが、ここのサイトでも
なぜ複素解析はルベーグ積分を土台とする基礎づけが流行らないか
説明してるっぽいですね。
Why is Riemann integration used in complex analysis
and not Lebesgue integration?
URLﾘﾝｸ(math.stackexchange.com)
結局アールフォルス流の議論から遠く逃げられないのなら
ちと残念ですorz
204:１３２人目の素数さん
19/06/11 11:19:01.87 Lw8VN1UD.net
>>197
>複素解析は多変数とか多様体とか他にやるべきとこがいっぱいあるだろ
>一変数複素関数論にこだわってもしかたがない
保型形式の勉強をするなら
一変数でも十分とてつもなく深い
逆に多変数複素解析とか言っても
本当に豊かだったのは曲面論(だけ？)で
その曲面論ももう一区切りついたし大きなやる事はなさそうってイメージ
205:１３２人目の素数さん
19/06/11 11:39:24.33 yQlrXks/.net
多変数複素解析やるくらいなら1変数の具体的な話の方が
研究テーマとしては面白いだろうな
複素多様体・複素幾何のさわり（小林昭七「複素幾何」ていど）は
いろんな数学をやるのに勉強しておいたらいいが
206:１３２人目の素数さん
19/06/11 12:20:44.59 kuuXKj2x.net
>>199
間抜け
207:１３２人目の素数さん
19/06/11 12:22:35.84 kuuXKj2x.net
>>201
そういう目的ならそう書け、後だし乙津
208:１３２人目の素数さん
19/06/11 14:09:51.74 GEEbcabq.net
先にルベーグ積分やったら
自動的にルベーグ積分に基づいた複素解析になる
209:１３２人目の素数さん
19/06/11 15:08:35.77 dycELpDH.net
教育の話をしてたのに論理のすり○えｗ
210:１３２人目の素数さん
19/06/11 15:30:50.71 oSKZUOFy.net
小学校で順序数を学ぶこのご時世
集合と論理は中高でやって
大学は位相とルベーグ積分論から入っても良いのではないか
211:１３２人目の素数さん
19/06/11 15:53:45.39 Xk8qlSy5.net
ダニエル積分やればいいのに
212:１３２人目の素数さん
19/06/11 16:16:55.39 Mu1a7tJw.net
初めて聞いた
213:１３２人目の素数さん
19/06/11 16:28:40.30 bio667RC.net
リーマン積分もやめて最初からルベーグ積分やればいいのに（笑）
214:１３２人目の素数さん
19/06/11 17:09:33.50 AiZNV5N3.net
いきなりルベーグ積分とか言うのジョークなのかマジなのか分かりにくい
215:１３２人目の素数さん
19/06/11 18:56:44.14 VM7G9Pk9.net
一様収束で煩雑な議論延々やらざるえない段階に差し掛かったらルベーグ積分できっちり再構築して
そういう議論酒用みたいなのがオーソドックスな態度なの？。
216:１３２人目の素数さん
19/06/11 20:50:07.93 zlw0tnqG.net
で、ルベーグ積分ベースで複素線積分考えるとどんないいことあるの？
経路の連続性がなくなるから積分公式の類はなにも成り立ちそうにないよね
217:１３２人目の素数さん
19/06/11 21:21:19.65 4AZkJHv6.net
アホが来た
218:１３２人目の素数さん
19/06/11 22:28:14.17 VStka/Uh.net
幼稚園のお遊戯で位相を入れた方がいい
219:１３２人目の素数さん
19/06/11 22:30:13.83 4AZkJHv6.net
幼稚園のお遊戯集合を入れた方がいい
220:１３２人目の素数さん
19/06/29 16:50:08.75 DHiuKlHq.net
ルベーグ積分や測度論のスレ その2
ふうL@Fu_L12345654321
学コン1傑いただきました！
とても嬉しいです！
URLﾘﾝｸ(pbs.twimg.com)
URLﾘﾝｸ(twitter.com)
(deleted an unsolicited ad)
221:１３２人目の素数さん
19/07/03 19:38:56.98 dqLWAG/2.net
3900
ふうL@Fu_L12345654321
学コン1傑いただきました！
とても嬉しいです！
URLﾘﾝｸ(pbs.twimg.com)
URLﾘﾝｸ(twitter.com)
(deleted an unsolicited ad)
222:１３２人目の素数さん
19/07/03 22:29:08.57 pxjO58A1.net
保守らん
223:１３２人目の素数さん
19/07/20 11:17:35.76 bSAoQnjE.net
1745
ふうL@Fu_L12345654321
学コン1傑いただきました！
とても嬉しいです！
ｈｔｔｐｓ://pbs.twimg.com/media/D-IuUuqVUAALnAB.jpg
ｈｔｔｐｓ://twitter.com/Fu_L12345654321/status/1144528199654633477
(deleted an unsolicited ad)
224:１３２人目の素数さん
19/08/24 23:20:07.78 QmzuKO1A.net
halmosとrudinってどっちがいい？
halmosは純粋にルベーグ積分のみの議論の本で
局所コンパクト群のhaar測度も書いてる
rudinは実解析の豊かな議論をキレイに使ってる本で
fourier変換も書いてる
225:１３２人目の素数さん
19/08/25 00:03:54.02 SYjCMony.net
あげ保守
226:１３２人目の素数さん
19/08/25 00:15:43.06 b3oXJD36.net
>>221
伊藤
227:１３２人目の素数さん
19/08/25 00:22:39.01 SYjCMony.net
>>223
伊藤本は見てないけど
日本語の古い本なんかお呼びでないですよ
halmosとrudinのどっちがいいかを聞いてます
halmosは専門が確率論や基礎論らしいので伊藤とバックグラウンドは近そうですが
さすがの伊藤本もhalmosに比べたらおそらく見劣りするでしょ
halmosとrudinで悩んでますけど伊藤を読むくらいならhalmos読みます
228:１３２人目の素数さん
19/08/25 00:25:24.72 b3oXJD36.net
>>224
halmosも古いぞ
229:１３２人目の素数さん
19/08/25 00:34:37.96 SYjCMony.net
>>225
伊藤本は日本でしか読まれてない(英訳もされた形跡がない)けど
halmosは世界中の読者を相手に揉まれている
だからよっぽどの例外を除いて数学の教科書を読むなら洋書を選択します。
(ただ学者としての生産性は伊藤の方がhalmos、rudinより上かも知れないので
優れた数学者の書いた書籍として勿論伊藤本も侮れないと思う、中身見たことないけど)
230:１３２人目の素数さん
19/08/25 00:37:25.23 b3oXJD36.net
好きにすれば、素人さん
231:１３２人目の素数さん
19/08/25 00:51:39.24 b3oXJD36.net
素人さんは何の為にルベーグ積分を勉強するの？
232:１３２人目の素数さん
19/08/25 01:14:34.17 SYjCMony.net
>>228
①weilのbasic
233: number theoryを勉強する時に 局所コンパクト群上のhaar測度やfourier変換の知識が必要だから ②初等微分積分(riemann積分)は極限の演算操作に弱いので lebesgue積分までをやって初めて解析の初歩を学んだと完結して 言えると思うから ③weilの本が読めたら、(関数解析の知識がfullに必要になる本を読む予定はないけど) 保型形式や代数関数論といった解析寄りのトピックスの古典的な本も将来興味あるため 解析系の基礎的な力もつけておきたいから halmosとrudinどっちがいいですかね
234:１３２人目の素数さん
19/08/25 01:25:53.45 SYjCMony.net
高木の解析概論、kolmogorov、はすっげえクソだった
解析嫌いになりそうな本
「The Joys of_Haar haar measure」という本も解析初学者には
分かりにくいところ有り過ぎ
rudinは分かりやすそう
誤魔化しナシできちんと美しく整頓されてるっぽい
235:１３２人目の素数さん
19/08/25 08:09:55.53 D8F5kMwI.net
迷っている時間がもったいない
そう思うならRudin読んどけ
236:１３２人目の素数さん
19/08/25 08:48:14.69 ha0l12Pc.net
吉田伸生先生のがおすすめらしいよ
行間あるけど
237:１３２人目の素数さん
19/08/25 08:49:15.89 ha0l12Pc.net
>>228
かっ確率論に興味があるので
238:１３２人目の素数さん
19/08/25 08:50:26.14 b8S+YPoT.net
>>229
halmosでいいじゃん
239:１３２人目の素数さん
19/08/25 09:01:24.70 b8S+YPoT.net
>>233
吉田でいいんじゃね
240:１３２人目の素数さん
19/08/25 09:47:54.88 b8S+YPoT.net
>>233
確率論なら舟木さんがいいよ、次は伊藤あたりかな
241:１３２人目の素数さん
19/08/25 13:30:46.82 SYjCMony.net
>>233
確率論に興味ゼロです
>>231
>迷っている時間がもったいない
>そう思うならRudin読んどけ
今ｒｕｄｉｎ読み始めたばっかりですけど
純粋に書評をお聞きしたいです
>>234
>halmosでいいじゃん
理由をお聞きしたいです
242:１３２人目の素数さん
19/08/25 14:04:40.76 6c3nd+/J.net
>>237
自分で書いてるだろ①、アホ
243:１３２人目の素数さん
19/08/25 14:46:57.96 z/f9bK+t.net
超関数的な計算手法使える根拠がないと痛い
244:１３２人目の素数さん
19/08/25 16:13:21.61 bhtIDJSp.net
アホの考えてることはわからん（笑）
245:１３２人目の素数さん
19/08/25 22:22:06.78 BFVQk/6W.net
結局二冊読むわけだな、入門と中級と聞けばいいのに、アホな俺様
246:１３２人目の素数さん
19/08/26 10:31:05.62 aTyyAthF.net
>>205
>先にルベーグ積分やったら
>自動的にルベーグ積分に基づいた複素解析になる
これスッゲエ至言だな
247:１３２人目の素数さん
19/08/26 19:34:00.46 vGz9kf7c.net
寝言
248:１３２人目の素数さん
19/08/27 14:08:18.70 at3toNq0.net
身もふたもないって奴だな
249:１３２人目の素数さん
19/08/28 00:35:31.30 2CcyDTUH.net
Taoはどうなの？和訳も出てるけど。
250:１３２人目の素数さん
19/08/28 00:50:09.91 bSS0Jq8G.net
演習解いてなんぼの本だから1冊目に選ぶと大変かも
251:１３２人目の素数さん
19/08/28 06:14:14.66 p4Uyfh1A.net
>>245
タオなんて数オリがどうとか賞がどうとかのレベルの人間でしかない
数学そのものを作った人間ではないから
大した本は書けないだろう
252:１３２人目の素数さん
19/08/28 06:33:35.36 p4Uyfh1A.net
>>246
一冊目にふさわしくないなら無意味
二冊目として読むくらいなら(ルベーグ積分の準備を必要としていた)数学そのものの
勉強にとっとと進んだ方が良い
253:１３２人目の素数さん
19/08/28 09:48:26.81 h/63Nzej.net
>>247
計算はできるが作家じゃない
254:１３２人目の素数さん
19/08/28 13:21:56.41 iD1jdR3B.net
>>247
逆に『数学を創った』と言えるような人って誰？
ガウスとかリーマンとは言わずに、あまり知名度はないけど新分野を開拓したとか、新思想を生�
255:ﾝ出したと言えそうな人、タオよりスケールの大きさを感じる人など。
256:１３２人目の素数さん
19/08/28 13:41:02.43 cc3wxeMq.net
>>250
Terry Lyons
257:１３２人目の素数さん
19/08/28 17:31:36.35 p4Uyfh1A.net
新興分野を豊かにしてる新進気鋭の人とかいくらでもいるでしょ
非可換代数幾何なんかで言えば、Dmitri OrlovとかBridgeland
258:１３２人目の素数さん
19/08/30 17:26:00.41 3LX+Httg.net
吉田超むずかった
秀才専用
259:１３２人目の素数さん
19/08/30 23:24:08.70 P6LAHUpE.net
どの吉田のことだろう
260:１３２人目の素数さん
19/08/31 13:58:46.64 mQS4pj3T.net
>>253
×吉田超むずかった
○吉田超不親切だった
だろ？
261:１３２人目の素数さん
19/08/31 14:02:12.94 MzRzOeX9.net
自分に合わない本を気にしちゃダメ
262:１３２人目の素数さん
19/08/31 14:10:34.24 mB6MdMQm.net
はい
精進します
263:１３２人目の素数さん
19/08/31 19:20:08.53 F/fbuUxk.net
のびのび生きる吉田の本だったら賛成
次々記号ばかり作って訳が解らなくなる
264:１３２人目の素数さん
19/09/10 02:17:53.19 GExOf5I8.net
Rudinでいいだろ
抽象代数や連続関数の初歩ならまだしも
まともな専門書を日本語の本だけの中から選ぶなんて損
洋書読め
265:１３２人目の素数さん
19/09/16 01:16:29.84 ePJE/YXx.net
数学そのものを作った本物志向のあなたは新スレ
現代数学の系譜 ルベーグ 積分・長さおよび面積 を読む
を立ち上げようww
266:１３２人目の素数さん
19/09/20 13:28:40.58 KyAOfC1j.net
2845
かずきち@dy_dt_dt_dx 8月28日
学コン8月号Sコース1等賞1位とれました！
マジで嬉しいです！
来月からも理系に負けず頑張りたいと思います！
URLﾘﾝｸ(twitter.com)
(deleted an unsolicited ad)
267:１３２人目の素数さん
19/10/01 14:11:13.29 i5TR1HuP.net
>>189
>Walter Rudin Real and Complex Analysis
>グリーンの定理は使ってないけど
何ページのどこか場所を教えて頂けますか
コーシーの定理のグルサーの方法に依らない証明方法
268:１３２人目の素数さん
19/10/01 17:35:46.04 CMhHgzIF.net
>>262
Ruidnの本もグルサーの定理を経由してコーシーの定理を示しています。
189のレスは「ルベーグ積分論などを用いた現代的な複素解析の基礎づけを
展開してる本はないですか？」に対する雑な回答です、すみません。
269:１３２人目の素数さん
19/10/01 18:51:06.45 jhNczPcc.net
気にすんなよ、アホの質問だろ
270:１３２人目の素数さん
19/10/01 20:31:20.44 i5TR1HuP.net
>>263
>Ruidnの本もグルサーの定理を経由してコーシーの定理を示しています。
ありがとうございますm(_ _)m
でも小平の本みたいに、「グルサーの方法」と「また別の方法」とを、
両論併記してはいないのかなー、と思いまして。
271:１３２人目の素数さん
19/10/01 21:01:26.38 CMhHgzIF.net
>>265
関数論パートは10章しか見てませんが他の方法は書かれていません。
272:１３２人目の素数さん
19/10/01 22:46:11.82 i5TR1HuP.net
>>266
再度ありがとうございます
もし仮に両論併記してるなら10章に2つも盛り込む事はないから他章でしょうね
よく見てないけど「13.11 theorem」「20.3 lemma」あたりがもしかしたらそれくさい
273:１３２人目の素数さん
19/10/10 18:05:48.72 cGitoIsl.net
伊藤先生の読んでると夕方には目が霞んでくる
274:１３２人目の素数さん
19/11/10 16:02:28.24 AhAlgTS6.net
rudinの本が芸術的域と書かれたレスを５ちゃんで見たことあるが
その意味がだんだん分かってきた
数学科の学生は(上限の意味だけサラッと準備して)サッサとルベーグ積分やった方が
いいんじゃないか？
リーマン式の微積なんか学ぶ必要ホントにあるの
275:１３２人目の素数さん
19/11/10 16:53:07 niu6Js1G.net
アホ乙
276:１３２人目の素数さん
19/11/11 11:30:34.38 BUS5N0U8.net
微積の基本
277:定理はリーマン積分の方が良いだろ
278:１３２人目の素数さん
19/11/11 21:14:34.89 bJfqIAgS.net
>>271
理由をどうぞ
279:１３２人目の素数さん
19/11/11 22:57:42.08 aCAjpEag.net
>>271
ダウト
f(b)-f(a)= ∫ [a→b]f'(x)dx
・fが(a,b)で微分可能で右辺がリーマン積分なら成り立たない反例がある
・ルベーグならfが絶対連続でいつでも成り立つ
280:１３２人目の素数さん
19/11/12 14:15:31.62 eEp/461s.net
反例があったところで教育目的に適してる事は変わりない
281:１３２人目の素数さん
19/11/12 14:20:47.16 cksscz/y.net
アホの主張
282:１３２人目の素数さん
19/11/12 16:00:11.66 UUbmAhhl.net
リーマン積分から確率論へ
283:１３２人目の素数さん
19/11/12 16:27:13 aIAFElF2.net
微積の基本定理はピーマン積分の方がベスト
284:１３２人目の素数さん
19/11/12 23:56:43.33 eEp/461s.net
アホを切り捨てちゃ教育はできんわな
285:１３２人目の素数さん
19/11/18 22:49:56 7KkdjNai.net
「微積の基本定理はリーマン積分の方が良い」はダメ
ルベーグでないと反例があるし病的と思われた例を自然に説明するために積分概念が拡張された
教育目的に適してるかどうかはその人の周囲のレベルの問題だから人によるとしかw
286:１３２人目の素数さん
19/11/18 23:00:26.49 OtOq8WWj.net
パーが持論に固執
287:１３２人目の素数さん
19/11/19 13:48:23.60 mMivCLv3.net
教育改革すりゃいいじゃん
思いつきの改革だらけでボロボロだし
288:１３２人目の素数さん
19/11/19 14:04:07 IeW3sEkN.net
アホの自論
289:１３２人目の素数さん
19/11/19 15:36:57 tg0BTdee.net
>>281
ルベーグ積分できなければ、留年
290:１３２人目の素数さん
19/11/19 16:29:34.58 kJZ/Oe59.net
リーマン積分ができないと微積分の単位がとれない
291:１３２人目の素数さん
19/11/19 16:58:51.04 hxbjdpXd.net
a.e. 可
292:１３２人目の素数さん
19/11/20 09:38:57 VrYTJd7+.net
一生リーマンとか微積線形の話をしてる某スレ住人に比べりゃあ
一生ルベーグのこのスレ住人は目糞鼻糞
293:１３２人目の素数さん
19/11/20 10:00:43.62 Q2MBG+P1.net
ルベーグ積分がわかれば教授になれた時代もあった
294:１３２人目の素数さん
19/11/20 14:02:44.51 MxgfCFsf.net
明治は遠くなりにけり
295:１３２人目の素数さん
19/11/20 14:43:29.30 x22wWqFw.net
菊池大麓「ルベーグ積分なんて知りませんが東大教授です」
296:１３２人目の素数さん
19/11/20 17:11:18 t/diWXRo.net
>>287
ほんまかいな
297:１３２人目の素数さん
19/12/21 08:48:45.49 S7gARe1B.net
どうも関数列がピンと来ない
298:１３２人目の素数さん
19/12/21 10:00:33.00 REqpiUe9.net
関数列が心に響かないのか？
299:１３２人目の素数さん
19/12/21 14:44:14.13 jY7N3R2v.net
並べただけ
300:１３２人目の素数さん
19/12/22 03:37:23.54 uxEaYTj/.net
なかなかルベーグ積分を一通り学ぶのも大変ですね
リーマン式の初等的な微積分が何故死滅しないかの理由が
身を持って分かってきた気もする
301:１３２人目の素数さん
19/12/22 06:26:08.69 rGXvAMaD.net
リーマン積分とルベーグ積分は定義域積分と値域積分って呼び方変えた方がいいと思うんだコドメイン。
302:１３２人目の素数さん
19/12/22 08:41:57.47 8rbn79wx.net
垣田高夫「ルベーグ積分しょーと・こーす」で大変という馬鹿なら
リーマン積分も理解できない
303:１３２人目の素数さん
19/12/22 12:41:56.02 tEGVz5Rw.net
ルベーグ積分の「積分」は測度のオマケなのさ
304:１３２人目の素数さん
19/12/26 18:01:14.52 uIr6kEDf.net
昔の2ちゃんらしさが残っているスレ
実解析と複素解析の初心者に問題集・解説書
ｽﾚﾘﾝｸ(math板)
305:１３２人目の素数さん
20/01/17 18:00:38 BrO6yEiS.net
机が定義域で
お前の禿げ頭が上限
306:１３２人目の素数さん
20/01/18 02:58:08.32 P/p/1nwd.net
>>299
クソワロタ
こんな事が言えるくらいになるまで
307:数学で狂いたい 咲かなくてもいい 狂い枯れたい
308:１３２人目の素数さん
20/03/24 17:26:56 y5iAWd0q.net
なぜ俺が今まで解析嫌いだったか分かった
理由は明瞭
それはルベーグ積分を勉強してなかったからだった
現代解析はルベーグ積分によって初めて魂が入る
しかしルベーグ積分は変な分かりづらい教科書が多い
それが解析嫌いを生み出す元凶だ
学部生の頃にRudinと出会っていたらまた違った数学人生になっていただろう
309:１３２人目の素数さん
20/03/24 17:31:43 f0SMYy1q.net
大丈夫か？位相は入ってるな？
310:１３２人目の素数さん
20/03/24 20:22:06 vkEqCPB7.net
三大収束定理とフビニの定理が使いこなせればいいのだけど
311:１３２人目の素数さん
20/03/26 18:45:52.17 HzCzHKJQ.net
今更だけど>>273ってヴォルテラの反例のこと？
それともリーマン可積分なのにもかかわらず値が一致しない例があるってこと？
312:１３２人目の素数さん
20/03/27 00:05:58 grVRgKbw.net
微積分の細かいところにうるさい本にはf'(x)が存在するけど
リーマン積分すると発散するから微積分の基本定理が成り立たない例が書いてある
まあどうでもいい気がw
313:１３２人目の素数さん
20/03/27 01:35:12 6mVS6y5D.net
リーマン積分流の重積分の変換公式が
スイスイ頭に入らない自分はきっと数学に向いてない
そんな勘違いをしてる時期がありました
314:１３２人目の素数さん
20/03/27 06:02:20.20 CoowjcjS.net
ルベーグ積分よりスティルチェス積分
315:１３２人目の素数さん
20/03/28 00:13:45 Inb90bxM.net
>>305
杉浦 解析入門1のp.235に反例が書いてあったんですが、
1/x^2が[-1,1]上で可積分でないため、
∫_(-1)^1 1/x^2dx=[-1/x]_(-1)^1=-2とはならない
と記載してあります
でもそもそもなんですがf(x)=-1/xは(-1,1)区間では微分可能ではないので1/x^2の原始関数じゃないはずです
なのでこのケースだとそもそも>>273の反例になってないんですよね
316:１３２人目の素数さん
20/03/28 07:36:30.91 0GToVpPT.net
・ f：[a,b]→R が各点で微分可能なら、それだけで f' は [a,b] 上で
必ずhk積分可能で f(b)-f(a)= hk∫ [a→b]f'(x)dx が成り立つ。
・ g：[a,b]→R がリーマン積分可能なら、gは必ずhk積分可能で、
両者の値は一致する。すなわち R∫ [a→b]g(x)dx = hk∫ [a→b]g(x)dx
よって、f：[a,b]→R が各点で微分可能で f' がリーマン積分可能なら、
まず f' はhk積分可能で f(b)-f(a)= hk∫ [a→b]f'(x)dx であり、
さらに R∫ [a→b]f'(x)dx = hk∫ [a→b]f'(x)dx だから、
f(b)-f(a)= R∫ [a→b]f'(x)dx となる。
つまり、f：[a,b]→R が各点で微分可能で f' がリーマン積分可能なら、
f(b)-f(a)= R∫ [a→b]f'(x)dx はいつでも成り立っている。
317:１３２人目の素数さん
20/03/30 08:26:29 e9u8tXh1.net
ルベーグ積分知ってたらもうリーマン積分に立ち返る必要なくない？
全部ルベーグ積分に置き換えて話を解釈したらいいだけでは
318:１３２人目の素数さん
20/03/30 10:33:44 cSAXz7iB.net
リーマン積分できるものに使うから意味あるんじゃない
319:１３２人目の素数さん
20/03/30 17:58:28 I7nJZUnK.net
牛刀だ
320:１３２人目の素数さん
20/03/30 18:35:38 e9u8tXh1.net
>>311,>>312
だってルベーグ積分だと準備こそ大変だけど
一旦身につけたら色んな公式がスッキリ理解できるんでしょ？
リーマン積分だとごちゃごちゃの証明を辛抱して追ったところで腑に落ちないし
ある程度はブラックボックスを認めて理解しなきゃいけない�
321:ﾔになるが ルベーグ積分なら一切のごまかしなく明瞭にゼロから証明完了までを味わい尽くせる
322:１３２人目の素数さん
20/03/30 19:56:03 v8c2eYUA.net
魔法の杖と勘違いしてる
323:１３２人目の素数さん
20/03/30 20:51:14 e9u8tXh1.net
>>314
kwsk
324:１３２人目の素数さん
20/03/30 20:52:33 v8c2eYUA.net
いやどす
325:１３２人目の素数さん
20/03/31 00:37:13.64 SWnxh0a6.net
>>316
中身のないただの煽りだったのか
クダラネ
326:１３２人目の素数さん
20/03/31 00:47:02 nZVVEKlM.net
伊藤清三の読むとルベーグ積分も込み入って難しいなと思うけど
Rudin読むとルベーグ積分ってシンプルできれいだなと思う
327:１３２人目の素数さん
20/03/31 01:11:41.04 c8Ruw0fd.net
URLﾘﾝｸ(6gvfih0d07m6.blog.fc2.com)
328:１３２人目の素数さん
20/03/31 10:42:42.93 /C6L01ch.net
>>317
自己紹介乙
329:１３２人目の素数さん
20/03/31 10:45:32.18 yx3jnaAr.net
清三の本で可測集合族に対する測度の区別つく？
330:１３２人目の素数さん
20/03/31 13:55:33 /C6L01ch.net
>>310
何の話をルベーグ積分で記述するんだ？
331:１３２人目の素数さん
20/03/31 14:29:12 WSiaHKTi.net
>>313
隠されてるだけだぞ
測度と積分の関係を知ると積分は単純に直積測度で定義するのが簡単で
なんであんな積分の定義するのか疑問になったから自分で定義してみようとしたら
まー解決できない謎がわんさで、そういうのを避けた結果が現在の定義だと分かった
スッキリして見えるのはグチャグチャを避けて見えなくしただけなのさ
332:１３２人目の素数さん
20/03/31 14:50:07 T9cBowEO.net
>>323
もうちょい具体的にその「解決できない謎」を語ってよ。
印象深かったら憶えてるでしょ。
333:１３２人目の素数さん
20/03/31 20:47:01 SWnxh0a6.net
>>322
>何の話をルベーグ積分で記述するんだ？
全てですよ
積分記号からゼロからそのもの全てを
ルベーグ積分として解釈すればいいだけでは？
334:１３２人目の素数さん
20/03/31 20:49:45 SWnxh0a6.net
>>323
↑
そもそも
ルベーグ積分の事を言ってるのかリーマン積分の事を言ってるのかさえ
日本語として区別がつきにくい不明瞭なレス
335:１３２人目の素数さん
20/03/31 20:52:14 /C6L01ch.net
>>325
そんなことは聞いていない、何の分野の話かと聞いてるんだよ
336:１３２人目の素数さん
20/03/31 22:16:38.29 SWnxh0a6.net
>>327
解析を使う全ての分野に決まってるでしょ
リーマン面も古典保型形式も全部ルベーグで思考したらいいだけでは？
337:１３２人目の素数さん
20/03/31 22:25:59.90 /C6L01ch.net
>>328
頑張ってくれ、意味があるかどうか、既にあるのかどうか知らないけど
338:１３２人目の素数さん
20/03/31 23:25:13 7p13wDsj.net
積分論なんかに深入りしない方がいいと思われる。
339:１３２人目の素数さん
20/03/31 23:25:55 SWnxh0a6.net
>>329
レスの話の流れを全然分かってない
レスした労力と時間を返して欲しい
340:１３２人目の素数さん
20/03/31 23:41:57 +LMTnMxG.net
分った積りが解析だからな
分った積りくんの河田『積分論』にハール測度が載ってたけど
よくわからなかった
いつかもう一度読んでみようとは思う
341:１３２人目の素数さん
20/04/01 09:09:53 cozn3OsX.net
>>331
元々中二の思いつき
342:１３２人目の素数さん
20/04/01 23:12:04 ifSmeiap.net
>>326
直積測度が出てリーマン積分に関係あると思う方がおかしい
>>324
残念ながら可測関数の定義から直積測度の文脈で翻訳しようとすると訳分からんことになった
くらいしか覚えてない
その後どこまで追求したか、何らかの結果を出したかどうかさえ分からん
ノートを探したら見つかるかなー？
とにかくルベーグ積分をあの方法で定義したのは奇跡か天才かと思ったよ
だいたい、直積測度自体の存在証明さえ単純に思いつく方法では不可能だったし
343:１３２人目の素数さん
20/04/02 11:41:03 MK4
344:hGJs6.net
345:１３２人目の素数さん
20/04/02 11:53:44.14 MK4hGJs6.net
>>334
>直積測度が出てリーマン積分に関係あると思う方がおかしい
①いやだから測度の事言ってるぽいからルベーグの話のはずなのに
それ以降がとてもルベーグの話とは思えない、って意味
>スッキリして見えるのはグチャグチャを避けて見えなくしただけなのさ
②何言ってるか分からんが何にしろルベーグ式なら証明を追えるだろ
リーマン式なら追えない、この違いの話してる
何が隠れてるとあんたが主張してるか皆目分からんが隠れてようがいまいが
ルベーグ式なら証明を追える
>残念ながら可測関数の定義から直積測度の文脈で翻訳しようとすると
>訳分からんことになったくらいしか覚えてない
③俺は全然そんな体験してない
④あんたが何がしたいかも何でそんな事をする必要があるかも一切意味不明
ルベーグ式を素直に学べばいいだけ
⑤ 俺はあくまでリーマン式との比較の話をしてる
あんたのその調子だとリーマン式はもっと訳分からん事になるんじゃないか
⑥とにかくあんたの話はクダラン、具体性がゼロな上に感覚的にすら微塵もかすらない
346:１３２人目の素数さん
20/04/02 13:42:56 fzvzSeYb.net
学術の巨大掲示板群 - アルファ・ラボ
URLﾘﾝｸ(x0000.net)
数学 物理学 化学 生物学 天文学 地理地学
IT 電子 工学 言語学 国語 方言 など
347:１３２人目の素数さん
20/04/03 00:30:20 KIcZzszY.net
>>336
君はそれでいいさ
348:１３２人目の素数さん
20/04/03 03:22:24 gg7q15J5.net
ルベーグ積分の定義が確率論の公理にそのまま使えるのってやっぱ自然な定義だってことを意味してるってことなんだよね？
349:１３２人目の素数さん
20/04/03 11:09:35 fa4m2v1b.net
>>313
＞リーマン積分だとごちゃごちゃの証明を辛抱して追ったところで腑に落ちないし
＞ある程度はブラックボックスを認めて理解しなきゃいけない状態になるが
「腑に落ちない」は無いな。適用できる関数クラスが貧弱でモヤッとすることはあるが。
あと、「ブラックボックスを認めて」ってのが意味不明。リーマン積分での証明に
ブラックボックスなんて存在しないし、そもそもブラックボックスがあったら証明とは呼ばない。
いい加減な著者が書いた、いい加減な証明しか読んだことないだけでは？
＞ルベーグ積分なら一切のごまかしなく明瞭にゼロから証明完了までを味わい尽くせる
ごまかしの有無でいうなら、リーマン積分でも全く同様に
「ごまかしなく明瞭にゼロから証明完了までを味わい尽くせる」ので、
そのような尺度ではリーマン式とルベーグ式に差はない。
350:１３２人目の素数さん
20/04/03 11:27:35 fa4m2v1b.net
証明のやり方の良し悪しでリーマン式とルベーグ式の差を語ろうとする輩が
昔から一定数いるのが理解できない。
ルベーグ式の利点は、適用できる関数クラスが広大かつキレイなところ。これに尽きる。
それ以外の尺度でルベーグ式の利点を語るのはナンセンス。
351:１３２人目の素数さん
20/04/03 11:29:57 fa4m2v1b.net
たとえば、証明のやり方の良し悪しという尺度では、ルベーグ式の利点は語れない。よくある主張は
「ルベーグ式の証明は、いつも単関数あたりから出発して順番に証明が進んでいくので統一感がある」
というものだが、そのやり方さえ踏襲していればどんな定理もイチコロとは行かず、
それぞれの定理ごとに大なり小なり込み入った技巧的なアイデアが必要になってしまうので説得力がない。
というか、この手の主張は
「リーマン式の証明は、いつも ε＞0 を任意に取るところから出発して
最終的に分割幅δを特定するように証明が進んでいくので統一感がある」
と言っているのと変わらない。これをリーマン式の利点と考えるバカはいない。
なぜなら、分割幅δを特定するときに、定理ごとに別々の技巧的なアイデアが必要になるからだ。
しかし、それはルベーグ式でも状況が同じ。
結局、このような尺度でリーマン式とルベーグ式の差を語ろうとするのはナンセンス。
「わたしはリーマン式がすき」「わたしはルベーグ式がすき」という、個人的な好みの表明に終わってしまう。
352:１３２人目の素数さん
20/04/03 12:18:15 fa4m2v1b.net
「ルベーグ式の利点は、適用できる関数クラスが広大かつキレイなところ」
と書いたが、ではリーマン式の利点は一体何なのかと考えると、
中途半端な積分だけあって、なかなか利点は見つからないｗ
1つ
353:挙げるとすれば、「一様分布 mod 1」する実数列(equidistributed sequence) と非常に相性がいいという利点が実際にあり、このトピックスでは基本的に、 リーマン積分をルベーグ積分に置き換えすることが不可能である。
354:１３２人目の素数さん
20/04/03 12:24:01 fa4m2v1b.net
定義 実数列 {x_n}_{n≧1} ⊂ [0,1] が「一様分布 mod 1」であるとは、任意の [a,b] ⊂ [0,1] に対して
lim[n→∞]｜{x_1,x_2,…,x_n}∩[a,b]｜/ n ＝ b－a が成り立つときを言う。
この概念に関して、次の定理が成り立つことが知られている。
定理 実数列 {x_n}_{n≧1} ⊂ [0,1] が 一様分布 mod 1 であることと、任意のリーマン積分可能な
f：[0,1] → C に対して lim[n→∞](1/n)Σ[i＝1～n]f(x_i) ＝ R∫[0,1]f(x)dx が成り立つことは同値。
また、この定理をルベーグ積分に置き換えた以下の命題
「実数列 {x_n}_{n≧1} ⊂ [0,1] が 一様分布 mod 1 であることと、任意のルベーグ積分可能な
f：[0,1] → C に対して lim[n→∞](1/n)Σ[i＝1～n]f(x_i) ＝ L∫[0,1]f(x)dxが成り立つことは同値」
・・・は成り立たず、反例が存在することが知られている。
つまり、このトピックスではリーマン積分をルベーグ積分に置き換えることができない。
「ルベーグさえ身に着けたら、リーマンは完全に不要」とはならないのである。
355:１３２人目の素数さん
20/04/03 15:05:23 C+sgG4g4.net
長文連投お疲れ
356:１３２人目の素数さん
20/04/03 18:38:35 hsLokld3.net
>344 の例は、ルベーグ積分しか知らなくても関数のクラスを制限すれば得られる結果じゃないかな
ブルバキの流れで講義するならリーマン積分を習わなくても良いのかもしれないけど
アメリカの大学で実践したところ学生が脱落し失敗したという話を聞いたことがある
その点いまのカリキュラムでうまく動いているならリーマン→ルベーグという流れをわざわざ変える必要はないのかもね
>342>343 なるほど、確かにそうかもしれないが、ルベーグ積分に関する定理の証明が
わかりやすいと感じるのは集合演算が多いからかなとも思う。
357:１３２人目の素数さん
20/04/04 00:40:40 B/zbSgrn.net
>>340
>「腑に落ちない」は無いな。適用できる関数クラスが貧弱でモヤッとすることはあるが。
>あと、「ブラックボックスを認めて」ってのが意味不明。リーマン積分での証明に
>ブラックボックスなんて存在しないし、そもそもブラックボックスがあったら証明とは呼ばない。
>いい加減な著者が書いた、いい加減な証明しか読んだことないだけでは？
リーマン式の重積分の変換公式なんて
解析系の教授でさえキチンと証明を追ってない人はいっぱいいるぞ
教科書に書いてはあるが誰も読まない
その事を「腑に落ちない」「ブラックボックス」と表現したのだ
あんたはレスの日本語の流れを一切理解してない
あんたはそもそも数学の勉強したことあるのか？
ここをスッキリ証明してくれるのがルベーグ式だろ
だからルベーグ式は「適用できる関数クラスが広大」なんてこと以前に
素朴な連続関数に置いてすらスッキリした見通しを与えてくれるので
解析の基礎の基礎の土台なんだろって話
ルベーグ式を学ぶ終えたらリーマン式に立ち返る必要はないんじゃねって話
それがレスの流れ
358:１３２人目の素数さん
20/04/04 00:42:59 B/zbSgrn.net
>>346
>ブルバキの流れで講義するならリーマン積分を習わなくても良いのかもしれないけど
>アメリカの大学で実践したところ学生が脱落し失敗したという話を聞いたことがある
>その点いまのカリキュラムでうまく動いているならリーマン→ルベーグという流れをわざわざ変える必要はないのかもね
そんな事を俺は主張してないよ
・ルベーグ式を学び終えた人がリーマン式に立ち返る必要がないか否か
・解析を全てルベーグ式で思考したらいいだけじゃないか
と言ってる
359:１３２人目の素数さん
20/04/04 02:06:40.27 KapJV3EO.net
>>347
＞リーマン式の重積分の変換公式なんて
＞解析系の教授でさえキチンと証明を追ってない人はいっぱいいるぞ
笑止千万。リーマン式ごときでキチンと証明を追わない教授がいるわけがないｗ
仮にいたとしても、それは単にモチベが上がらないからにすぎない。
リーマン式は適用できる関数クラスが貧弱なので、証明を読むのも億劫だということ。
結局それは「わたしはリーマン式がすき」「わたしはルベーグ式がすき」という、
個人的な好みの表明でしかないし、適当できる関数クラスが広大なルベーグ式の方に
プロは流れやすいということでしかない。
しかもこれは、仮に証明を追わない教授がいたとしての話であり、
実際はリーマン式ごときでキチンと証明を追わない教授がいるわけがないｗ
なぜなら、大学初年度のカリキュラムでリーマン積分が「未だに」採用されているので、
講義で学生に教える際に、教授・学生ともに絶対に避けて通れないからだ。
不真面目な学生は完全スルーしてもおかしくはないが、教授の方が
リーマン式ごときで完全スルーし
360:、証明を理解することに匙を投げたり 適当にお茶を濁したりなんて絶対にありえないｗ
361:１３２人目の素数さん
20/04/04 02:08:35.85 KapJV3EO.net
>>347
＞教科書に書いてはあるが誰も読まない
＞その事を「腑に落ちない」「ブラックボックス」と表現したのだ
ふざけるなｗｗｗ
「教科書に書いてはあるが誰も読まない」≠「腑に落ちない」「ブラックボックス」
教科書に書いてはあるが誰も読まない、という内容のことを
「腑に落ちない」「ブラックボックス」などと表現するのは完璧に間違っているｗ
お前は日本語のチョイスを完全に間違えているｗ
362:１３２人目の素数さん
20/04/04 02:09:39.22 KapJV3EO.net
>>347
＞あんたはレスの日本語の流れを一切理解してない
日本語が正確に書けないのお前が悪いｗ
教科書に書いてはあるが誰も読まない、という内容のことを
「腑に落ちない」「ブラックボックス」などと表現するのは完璧に間違っているｗ
しかも、「教科書に書いてはあるが誰も読まない」という前提自体が
既に間違っているというオマケつき。
不真面目な学生は完全スルーしてもおかしくはないが、
教授の方がリーマン式ごときで完全スルーし、証明を理解することに
匙を投げたり適当にお茶を濁したりなんて絶対にありえないｗ
お前にとって、リーマン式はそんなに難しいのか？さっきから、
「リーマン式はこんなに難しいのだから、教授だって匙を投げてるはずだ」
という稚拙な願望を表明しているようにしか見えないぞｗ
363:１３２人目の素数さん
20/04/04 02:12:13 KapJV3EO.net
>>347
＞ここをスッキリ証明してくれるのがルベーグ式だろ
リーマン式でも、リーマン式の中で適応できる関数クラス内においては
完全にスッキリ証明してますが何か？
＞だからルベーグ式は「適用できる関数クラスが広大」なんてこと以前に
＞素朴な連続関数に置いてすらスッキリした見通しを与えてくれるので
＞解析の基礎の基礎の土台なんだろって話
リーマン式でも、リーマン式の中で適応できる関数クラス内においては
完全にスッキリ証明してますが何か？
ああ、お前にとってはルベーグ式の方が好みなのかもしれないな。
そこは別に否定しないよ。どの流儀が好きかは人それぞれだからな。
しかしそれは、「わたしはリーマン式がすき」「わたしはルベーグ式がすき」という、
個人的な好みの表明でしかない。
364:１３２人目の素数さん
20/04/04 02:17:27 KapJV3EO.net
>>348
＞・ルベーグ式を学び終えた人がリーマン式に立ち返る必要がないか否か
ルベーグ式の方が適用できる関数クラスが広大であり、リーマン積分の拡張になっているので、
基本的にリーマン式に立ち返る必要はない。これはつまり、
「ルベーグ式の利点は、適用できる関数クラスが広大かつキレイなところ」
ということ。結局はこれに尽きる。
＞・解析を全てルベーグ式で思考したらいいだけじゃないか
分野によるとしかｗ
>>343-344の例はルベーグ積分に置き換えることができないので、
この例はリーマン式で思考するしかないｗ
お前にとっては都合が悪いのか、お前は>>343-344を完全スルーしてるがねｗ
あと、複素積分は基本的にルベーグ式では思考しない。
なぜなら、正則関数しか相手にしないのでリーマン式で十分であり、
わざわざルベーグ式を持ち出すのは証明コストが莫大すぎて
非常にバカバカしいからだ。
365:１３２人目の素数さん
20/04/04 02:23:52 KapJV3EO.net
もう1つ。お前は>>347で
＞ここをスッキリ証明してくれるのがルベーグ式だろ
と書いているが、個人的には、ルベーグ式がそれほど「スッキリ」しているとは思わない。
ルベーグ式は適用できる関数クラスが広大なので、その分、証明コストも莫大であり、
一般に莫大な証明のことを「スッキリ」とは表現しない。
また、ルベーグ式は関数を横に切って積分を考えるので、ある種の定理では
証明がどうしてもイビツになってしまい、「スッキリ」からは程遠い状況になっている。
流儀によって得意・不得意が出てくるのは当然のことであって、
なんでもかんでもスッキリとは行かないのが世の常であり、
ルベーグ式でもそういう状況は回避できないということ。
366:１３２人目の素数さん
20/04/04 02:26:01 KapJV3EO.net
>>354の一例を挙げると、
ルベーグ積分での微積分学の基本定理(の1つ)
f：[a,b]→R が各点で微分可能で f' がルベーグ積分可能なら、
f(b)－f(a) ＝ L∫[a→b]f'(x)dx が成り立つ
この定理の場合、ルベーグ式は「まごうことなきクソ」としか言いようがないくらい
技巧的かつ不自然な、イビツな証明しか見たことがなく、また証明のための準備も異様に長い。
ルベーグ式は関数を横に切って積分を考えるので、
微分と積分の関係を見るときに相性が悪いのは当然であり、
まさにその相性の悪さが露骨に表れているのが
ルベーグ式でのクソみたいな証明と言える。
367:１３２人目の素数さん
20/04/04 02:32:51 KapJV3EO.net
一方で、まあこちらはリーマン式ではなくhk式の定理だが、
hk積分での微積分学の基本定理(の1つ)
f：[a,b]→R が各点で微分可能なら、それだけで f' は必ずhk積分可能であり、
しかも f(b)－f(a)＝hk∫[a→b]f'(x)dx が成り立つ
この定理の場合、証明が驚異的に短く、しかも自然で、証明のための準備もほぼゼロである。
まさしく「スッキリ」としか表現のしようがない。ルベーグ式のクソみたいな証明とは天と地の差である。
たとえば、Introduction to Gauge Integrals という書籍では、確か
hk積分の定義 → その直後に straddle lemma → その直後にhk積分での微積分学の基本定理の証明
という構成になっていたはずで、積分の線形性すら証明してない状態で真っ先にこの定理の証明が来るという
驚異の構成であり、ルベーグ式のクソみたいな証明とは天と地の差である。
ちなみに、f：[a,b]→R がルベーグ積分可能ならhk積分可能であり、両者の積分�
368:lは一致するので、 上記の定理はルベーグ式の拡張である、ということにも注意せよ。
369:１３２人目の素数さん
20/04/04 02:37:02 KapJV3EO.net
無論、hk積分はhk積分で、証明にやたらと手こずる定理も ちらほら存在するし、
多次元だと(今のところ)理論的に美しくならないという欠点も存在する。
結局、方式ごとに得意・不得意が出てくるのは当たり前のことであり、
ルベーグ式もhk式でも、「何でもかんでもスッキリ」とは行かないのである。
ルベーグ式を信奉するのは個人の勝手だが、
ID:B/zbSgrn の書き込みを読むと、どうもこいつは
「ルベーグこそが唯一の正解」
などと考えている節があって、見ていて非常に痛々しい。
まあ、この手の「ルベーグ狂信者」は昔から一定数いるんだがねｗ
370:１３２人目の素数さん
20/04/04 07:51:48 B/zbSgrn.net
>>349
>リーマン式は適用できる関数クラスが貧弱なので、証明を読むのも億劫だということ
おまえ数学の勉強した事ないのに勉強したことあると妄想してるキチガイだろ
適用できる関数云々と無関係に純粋に証明自体が実際に煩雑だろ
おまえリーマン式の証明全く読んでないだろ
>実際はリーマン式ごときでキチンと証明を追わない教授がいるわけがないｗ
>なぜなら、大学初年度のカリキュラムでリーマン積分が「未だに」採用されているので、
>講義で学生に教える際に、教授・学生ともに絶対に避けて通れないからだ。
URLﾘﾝｸ(www.math.sci.hokudai.ac.jp)
戸松玲治 北大准教授
↓
さて通常，証明がややこしくて一番難しいのは，「変数変換の公式」です．
置換積分の多変数版のことです．
これが厳密にn 次元で証明されているのは，
上の4 つの中で杉浦本の一つだけです．
そして証明も読む気を削ぐのに十分な面倒くささです(実際私は読んだこ
とがありません！)．
実はルベーグ積分でスッキリとした証明を与えることができます．
ルベーグ積分に興味が湧いてきましたよね(？)
371:１３２人目の素数さん
20/04/04 08:05:41.25 B/zbSgrn.net
>>355
>この定理の場合、ルベーグ式は「まごうことなきクソ」としか言いようがないくらい
>技巧的かつ不自然な、イビツな証明しか見たことがなく、
>また証明のための準備も異様に長い。
>微分と積分の関係を見るときに相性が悪いのは当然であり、
>まさにその相性の悪さが露骨に表れているのが
①「証明のための準備も異様に長い」とあるが
その証明のため【だけ】の準備ではなく汎用性のある準備なら
何も億劫ではないだろ
②「技巧的かつ不自然な」と言ってるがそれはRudinの芸術的な教科書の
中の記述でもあんたはそう思うのか？
>>353
>お前は>>343-344を完全スルーしてるがね
ルベーグ積分可能とリーマン積分可能とは包含関係にはないので
少なくとも何らかの病的な齟齬は起こり得るだろうが
通常のリーマン面や古典保型形式を読み進む際に
決定的となるような話なのか？その例は。そこが腑に落ちない
>>357
>「ルベーグこそが唯一の正解」
>などと考えている節があって、見ていて非常に痛々しい
いや俺は純粋にそうであるかないかを根拠付きで教えて欲しいと
質問しただけだが
372:１３２人目の素数さん
20/04/04 08:36:23.13 B/zbSgrn.net
>>351
>お前にとって、リーマン式はそんなに難しいのか？
数学において「難しい事を鼻歌を歌いながらこなす」なんて器用さに価値はない
折り紙でも最初に1mmズレたらどんどん折っていくうちにズレが増大しやがて折れなくなる
数学も同様で「1mmズレてても上手く進んでいけるぜ」なんて器用さなど
無意味であり、とてつもない概念の高層ビルを積み上げて行く際に必要なのは
逆にむしろ不器用さとでもいうべき「ズレ」への抵抗感だろ
出発点として出来る限り究極に自然で簡素でスッキリした土台である事が
即ち数学の美そのもの
因みに書き忘れたが勿論>>358←は数学科の教員な。
そもそも逆に大学初年度のカリキュラムとやらで変数変換の公式を厳密に
証明しきってるような授業やってる人なんて俺は聞いたことない
いたら一人でもいいからその変な教員の名前を挙げてくれ