Lebesgue積分ｾﾞﾐ
レス数が1000を超えています。これ以上書き込みはできません。
0001１３２人目の素数さん
05/03/04 13:25:04互いに傷を舐めあって行こうじゃないか
教科書は
ルベーグ積分入門 伊藤清三 しょうかぼう
でやろうと思います．
参加者は名乗りでること
sage進行でﾏﾀｰﾘと
0002(´･ω･`)∩
05/03/04 13:35:580003BlackLightOfStar ◆ifsBJ/KedU
05/03/04 13:46:05それとも測度論から作るやつ？
0004１３２人目の素数さん
05/03/04 13:50:120005BlackLightOfStar ◆ifsBJ/KedU
05/03/04 13:56:330006１３２人目の素数さん
05/03/04 14:11:16伊藤清三だと両方載ってるんじゃね？
0007１３２人目の素数さん
05/03/04 14:19:29理解が深まるような
0008１３２人目の素数さん
05/03/04 15:21:57の定義からだな。これさえおさえておけば、何も問題はない。
0009１３２人目の素数さん
05/03/04 16:23:23どっかのスレにあった問題。
A, BをLebesgue可測集合（AのLebesgue測度は有限），
χ_A, χ_Bをそれぞれの特性関数とする．
f(x)=∫_[-∞→+∞] χ_A(x-y)χ_B(y)dy
がほとんどいたるところ零なら，AまたはBのLebesgue測度は
零であることを示せ．
A, B をアーベル群とする。この二つのテンソル積が Z に同型なら、
0010１３２人目の素数さん
05/03/04 16:30:05nice
ｾﾞﾐ開始したらそんな感じでﾖﾛｼｸﾀﾉﾑｾﾞ
0011１３２人目の素数さん
05/03/04 17:57:59偉いといいつつage
0012１３２人目の素数さん
05/03/04 18:11:320013１３２人目の素数さん
05/03/04 19:23:060015１３２人目の素数さん
05/03/04 19:44:33大学の講義でってこと？
0016１３２人目の素数さん
05/03/04 19:44:340017|дﾟ)
05/03/04 19:51:16復習させてもらいます
明日本買ってくる
そ。だるくて測度に入るまで全部自習してた
0019１３２人目の素数さん
05/03/04 20:00:34実数の公理からはちょっとひどいな
0021１３２人目の素数さん
05/03/04 20:28:25うわああああん！！
0022１３２人目の素数さん
05/03/04 21:09:31http://science3.2ch.net/test/read.cgi/math/1088665870/
やってる時は難しくてたまんなかったけど、今思い出して
見るとつまらないことに悩んでたなって感じになる・・・はず
0024１３２人目の素数さん
05/03/04 21:23:32区間でリーマン可積分ならば連続点が非可算個あるとか単調ならばリーマン
可積分だとかさ。
0025犬笠銀次郎
05/03/04 22:05:450026１３２人目の素数さん
05/03/04 23:11:21教授はゆとり教育反対とか言っているが、大学もゆとり教育なのさ。
昔は1年で全部やっていた内容が、2，3年に押しやられて。
函数解析も今じゃあ4年だろ。3年じゃあL^pくらいまで。
単に課程が糞ってだけ・・・２回生の時、数学の講義が3コマぐらしかなかった
どっち道、今後は大学競争で学部は易化しまくるんじゃねーかな
0028１３２人目の素数さん
05/03/05 00:56:41イメージ湧かなくて理解できないから本を買いまくった。
１０冊は優にあるが、読破した本はない。
0029１３２人目の素数さん
05/03/05 07:38:10∫_R f(x)dx = ∫_R ∫_R χ_A(x-y)χ_B(y)dydx = ∫_R ∫_R χ_A(x-y)χ_B(y)dxdy
= ∫_R μ(A)χ_B(y)dy = 0
二つ目の等式はフビニ。
B の測度が有限なら ∫_R μ(A)χ_B(y)dy = μ(A)μ(B) = 0
有限でない場合は μ(A)χ_B(y)=0 (∀y∈R)
0030１３２人目の素数さん
05/03/05 13:40:460031sage
05/03/05 14:02:37Ｐ１から始めましょう。
0032|дﾟ)
05/03/05 14:39:06§1 るべぇぐ測度トハ何カ
0033１３２人目の素数さん
05/03/05 14:40:54>>1にはリーダシップを取ってほしい。
0034１３２人目の素数さん
05/03/05 15:28:39集合函数って？ってなってしまう人もいるわけでそこで誰かが例を
あげてくれたらつまらないところでとまらずにすむ。というわけで
１さん、始めてください。ちなみに３０講なんかを先に読んでいたら
わかりやすいので初学者のかたは参考にしてください。
ちなみに今の大学ではるべくは何回生くらいで習うの？
0035１３２人目の素数さん
05/03/05 15:38:36とりあえず>>1は初心者のために
・§1
要旨
・§2
上極限集合・下極限集合の意味
有限集合，無限集合，可算集合とその例
対角線論法
・§3
点関数と集合関数
についてわかりやすく説明しとけ
0036１３２人目の素数さん
05/03/05 16:44:540037１３２人目の素数さん
05/03/05 19:21:1100381
05/03/05 21:15:41|дﾟ)さんが買ってきた事ですし
それでははじめましょう
0039１３２人目の素数さん
05/03/05 21:22:29細かいところまで証明すると辛いよ？
どんくらいの細かさでやるの？
0040１３２人目の素数さん
05/03/05 21:51:58証明が分からなかったら質問．
誰かが（俺か？）問題集とかから拾ってきた問題を出して，解けたら次行くみたいな
感じがいいんじゃないですかね？
ぶっちゃけ俺１回どうり読んだわけではないので
>>39みたいなのがいるとすごい助かります
0041１３２人目の素数さん
05/03/05 21:53:43じゃー院試まで暇だからちょっと付き合うよ。
0042BlackLightOfStar ◆ifsBJ/KedU
05/03/05 22:02:44それでは、R→C(あるいはR∪{+∞})の写像が可測関数であることと、
任意の区間の逆像がBorel可測であることが同値であることを証明して。
但し、それぞれの空間はBorel可測空間の構造が入っていることとする。
0043BlackLightOfStar ◆ifsBJ/KedU
05/03/05 22:03:32Re:>41 R→R∪{+∞}にしよう。
0044１３２人目の素数さん
05/03/05 22:14:16まだ§4ですよ
0045BlackLightOfStar ◆ifsBJ/KedU
05/03/05 22:35:21004741
05/03/05 23:08:45>>42
あーぶっちゃけメンドイｗ
方針としてはかたっぽは明らかで後は
任意の区間がBorel集合であることを言うって感じかな？
0048１３２人目の素数さん
05/03/05 23:17:42定理4.1
Z=X×Y(直積空間)
Ω_x，Ω_yをX，Yの部分集合の有限加法族とすると
Ω_z=｛ΣK_i(有限直和)|K_i=E_i×F_i(E_i∈Ω_x,F_i∈Ω_y)｝
は，Zの有限加法族になる
定理4.2
Ω_NをR^Nの区間塊，f_μ:R→R(μ=1･･･N)を単調増加関数
I=(a_1，b_1]×･･･×(a_N，b_N]
に対して
m(I)=Π_μ{f_μ(b_μ)-f_μ(a_μ)}
区間塊E=I_1+･･･I_nに対して
m(E)=m(I_1)+･･･m(I_n)
と定義するとmは有限加法的測度になる
さらに
mがΩ_Nの上で完全加法的⇔f_μがすべて右連続
が成り立つ
0049１３２人目の素数さん
05/03/05 23:18:520050１３２人目の素数さん
05/03/05 23:23:35たしかに。本を持っていることが前提だから（そうでなければ本を
指定すること自体無意味だし、他のＬ－積分のスレですればいい）
定義や定理の羅列でなく、読んだ内容についてみんなで話すということが
大切だと思う。つまりインプットはそれぞれ持っている本で行い、
ここではアウトプットを行う場としてはどうでしょうか？
0052１３２人目の素数さん
05/03/05 23:39:38本を読むスピードは人それぞれですが、極端に早い人や遅い人がいる場合、
遅い人に対しては質問等が過去レス読めって感じになっちゃうこともありますし、
１日の範囲を決めておけばそのようなこともありませんし。
0054１３２人目の素数さん
05/03/06 00:08:14１日にすすむページですか？何章かにもよるのでわからないですが、
僕の場合はある程度内容しってるんで遅くはないと思います。
ただ１日にすすむ範囲をあまり多くせず、１つのことについてじっくり
話してみたいと思います。特に教科書に載っていない例や反例、
定理の仮定を緩めてみたりなど。
また１回勉強した人たちがいると、読む場所の強弱がわかるので、
アドバイスできる方が何人かいて欲しいですね。
00551
05/03/06 00:24:38やばい，主催者の俺が一番でんきなそうやんけ
そうですね，教科書に載ってない例や反例は欲しいですね
そういうの考慮すると
一日5ﾍﾟｰｼﾞが打倒か？
って遅いか
0056１３２人目の素数さん
05/03/06 00:32:16初学者の立場から考えたらそれくらいでも遅いとは思いませんよ。
ただ、みんなで読んでいくので１人で読むよりは意外と早く
すすむかもしれませんね。まずは第１回目はどこまで進むか決めましょう。
0057１３２人目の素数さん
05/03/06 00:33:390059１３２人目の素数さん
05/03/06 00:38:57それもいいですね。演習
0060１３２人目の素数さん
05/03/06 00:39:440061１３２人目の素数さん
05/03/06 01:53:54私も加わっていいですか？
もう始まっちゃったのかな？
0062┐( ´Д`)┌
05/03/06 01:56:240063ふぉー
05/03/06 02:09:550064ro
05/03/06 04:22:34決めましょう。
>>62 そうですね。私もしてませんでした。34=50=52=54=56です。
00651
05/03/06 14:29:300066ro
05/03/06 16:19:310068１３２人目の素数さん
05/03/07 00:42:360071１３２人目の素数さん
05/03/07 11:37:370072１３２人目の素数さん
05/03/07 12:46:35アク禁に巻き込まれたみたいです
数日先にやっててくらさい
0074代行してもらってます
05/03/07 20:54:54なんかﾀﾞｳﾝﾛｰﾄﾞ版で荒らしたやつとﾎｽﾄが一致してたみたいです
代行さんが許すかぎりなんとかｾﾞﾐには参加します
とりあえず今日は§4やったっす('A`)
0075┐( ´Д`)┌ ◆OiLCaUMxOs
05/03/08 09:01:19多少具体例と一般論がゴチャゴチャに
書いてある感があるけど読みやすいですね。
取りあえず図書館から借りた本に付箋紙貼りながら読んでたら、
さっき剥がした際に一緒に表面が剥がれて一寸読めなくなった。。。
昭和38年発行とかロックフエラー財団寄贈とか書いてあるからなあ。。。orz
ところで一番最初に書いてある、Riemann積分で完全加法性が
成立しないような区間の例ってどんなのがあるんでしょうか？
後のほうに例が挙げてあるのかな？私は見つけられなかったんですが
007641=あほあほな大学３年生
05/03/08 20:02:03ちょっとよくわからないけれど
たとえばfとして
f(x)=0 x∈{x∈[0,1]| xは有理数}
1 x∈{x∈[0,1]| xは無理数}
とすれば[0,1]上の積分はRiemann積分は定義されない（何故なら上積分と下積分が一致しない）が
Lebesgue積分は1って感じって感じになるんだけど…
ええと最初のp1で言ってる面積っていうのは
これから勉強するであろう「測度」に対応するものです
p30を見てもらえればわかるけれど測度の定義とかが載っていますですよ
0077１３２人目の素数さん
05/03/08 20:06:42その場合，面積をもち互いに交わらないA_1,A_2,A_3.............に対応するのは何ですか？
0078あほあほな大学３年生
05/03/08 20:19:44この本を読む前でも後でも測度に関しては新井仁之先生のルベーグ積分講義ってのを読むと個人的にいいと思います
（Lebesgue可測集合に関してLebesgueの考え方が載っているので…
Lebesgue外測度とLebesgue内測度が一致→Lebesgue可測）
ちなみにこの本ではCaratheodory可測からLebesgue可測に入っています
>>77
区間の長さです
なかなかイメージがつかない例でごめんなさい…
0079あほあほな大学３年生
05/03/08 20:21:40なんていえばいいんだろう…
0080１３２人目の素数さん
05/03/08 20:33:530081１３２人目の素数さん
05/03/08 21:02:54２次元の体積→面積
３次元の体積→体積
ということがいいたかったのだろう。
0082１３２人目の素数さん
05/03/08 21:05:05リーマン積分の初歩が分かっていれば大丈夫でしょうか？
0083１３２人目の素数さん
05/03/08 21:13:32あと集合論がよくわかってればOK。
来年３年生かな？
0084１３２人目の素数さん
05/03/08 21:33:33どの区間ですか？
0086BlackLightOfStar ◆ifsBJ/KedU
05/03/08 21:42:260087１３２人目の素数さん
05/03/08 22:01:23くだらない煽りだな。
初学者に教えてやろうという意思がないならこのスレには一切書き込むな。
0088１３２人目の素数さん
05/03/08 22:03:370089１３２人目の素数さん
05/03/08 22:07:56区間が問題じゃなくて、区間の図り方が違うんだよ。
0090１３２人目の素数さん
05/03/08 22:12:58開催できたらいいんだけどね。
周りにそういうのやりたそうな人いないんだよねー
とりあえず受験で上手くいったんで数学科に進学しましたって感じの人が多い。
関係ないのでsage
0091１３２人目の素数さん
05/03/08 22:14:45図り方とかじゃあなくて、完全加法性の定義に対応するA_1,A_2,A_3,......という図形は>>76の例で言うと何なのかを聞いてるんでしょ
0092１３２人目の素数さん
05/03/08 22:16:00のし
やらないか？
0093１３２人目の素数さん
05/03/08 22:17:41マジレスすると
>Riemann積分で完全加法性が成立しないような区間の例
これ自体意味不明だから>>76云々もない。
0094１３２人目の素数さん
05/03/08 22:20:28「Riemann 積分を使って定義された面積の概念だけでは2')は必ずしも成立しない．
A_1,A_2,...がすべて面積を持っても，それら無限個を合わせたA_1+A_2+・・・は面積を持たないこともある．」
と書いていることを受けて「その例は？」と彼は聞いてるんでしょう。
0095１３２人目の素数さん
05/03/08 22:38:10無限個を合わせた[0,1]∩Qはジョルダン可測でなく、リーマン積分による長さの定義
はできない」という例とみなせばよい。
もしf(x)が区間Iでリーマン可積分で、Iを可算個の区間の合併∪Inに分割したとき、
おのおののIn上でもfがリーマン可積分で、しかもΣ∫_In f(x)dx = ∫_I f(x)dxが
成り立たない例はあるか？という意味なら、そのような例はない。
0096BlackLightOfStar ◆ifsBJ/KedU
05/03/08 22:45:300097１３２人目の素数さん
05/03/08 23:01:25確かにそうですね。仲間内だとなぁなぁになってしまいますね。
だから、ホントに数学が好きでまじめにやってくれる人と
セミナーやりたいですね。
>>76さんのおっしゃる関数について、これがRimann積分では面積を
求められないってのは自明として、では、
「A_1,A_2,...がすべて面積を持っても」
のA_1,A_2,...はこの場合何にあたるのかというと、
まず。
[0,1]にある有理数を
Ｑ_0={q_1,q_2,・・・}
と並べていき、
Ｉ_1=[(q_1)-ε/2,(q_1)+ε/2]
とする。
Ｉ_1に含まれる有理数をＱ_0から取り除いた残りの集合から、任意に有理数
を選び、εより小さく、またＩ_1と共通部分を持たないように区間を作っていけば、
それが、A_1,A_2,...にあたる区間になるんじゃないかな。
0099|дﾟ)
05/03/08 23:27:28A_iを各有理数{q_i}，和集合を[0,1]の有理数全体と考えて
A_iの「面積」は0だけどそれらの無限和集合はリーマン積分の意味で面積をもたない
という感じかしら
0100１３２人目の素数さん
05/03/08 23:27:51ｆはx=ａで定義されているなら何でもよいのか？
0101|дﾟ)
05/03/08 23:32:360102あほあほな大学３年生
05/03/09 01:23:25中途半端な例を挙げて混乱させて申し訳ありませんでした…
今度からはもう少し慎重にレスするようにします
0103１３２人目の素数さん
05/03/09 01:34:00ゼミをやるという予定を決めて欲しいのですが。
最初は参加者もまだ増えるでしょうから、ゆっくりいきましょう。
0104┐( ´Д`)┌
05/03/09 08:42:43反例になってますね。。。
トリビァル！（←この知ってるでしょうか？ｗｗｗ
某漫画のラプラ（りゃ）な事を聞いてしまいました。
あと、完全加法性と言ったのは、上で好意的に解釈してくれた通り、
要するにRiemann積分において「完全加法性に対応する性質」が
成立しないことを指していた積りだったんですが
（この表現だったら大丈夫なのかな）、測度以外の集合函数には、
普通使わないようですね。以後気をつけますです。
0105１３２人目の素数さん
05/03/09 15:08:25「によって定義された面積」
挿入してくださいorz
A_i,∪_i A_iの面積がすべて定まって、等式が成立しない例は
どうも無さそうですね。
0106１３２人目の素数さん
05/03/09 18:22:390107１３２人目の素数さん
05/03/09 18:27:570108１３２人目の素数さん
05/03/09 18:34:3201091 ◆TzCuunM2f.
05/03/09 18:45:54とりあえず測度って何か？ぐらいまでやらないと
問題もなにも作ることができないので,最初ハイﾍﾟｰｽでやって
そのあと問題やら，うんちゃらやりましょう
03/09 20:00ｽﾀｰﾄ §4
03/10 20:00ｽﾀｰﾄ §5
03/11 20:00ｽﾀｰﾄ §6
03/12 20:00ｽﾀｰﾄ §7
03/13 20:00ｽﾀｰﾄ §1－§7の問題やらうんちゃら1
03/14 20:00ｽﾀｰﾄ §1－§7の問題やらうんちゃら2
03/12 20:00ｽﾀｰﾄ §8
03/12 20:00ｽﾀｰﾄ §1－§8の問題うんちく
誰か修正してくれ
01101 ◆TzCuunM2f.
05/03/09 18:47:3203/16 20:00ｽﾀｰﾄ §1－§8の問題うんちく
の間違い
0111１３２人目の素数さん
05/03/09 18:58:310112１３２人目の素数さん
05/03/09 19:00:15間に休み入れないとやっぱりきついよｗ
0113１３２人目の素数さん
05/03/09 19:02:390114１３２人目の素数さん
05/03/09 19:29:010115１３２人目の素数さん
05/03/09 19:45:47わからないならわからないままのほうが良いかもしれないぞ？
0116|дﾟ)
05/03/09 20:03:050117111
05/03/09 20:08:55つまり反例でもなんでもないって言うことだな？
了解した
0118１３２人目の素数さん
05/03/09 20:15:17>>97とか読んだ？
0119１３２人目の素数さん
05/03/09 20:15:370120１３２人目の素数さん
05/03/09 20:22:02もっとみんなﾏﾀｰﾘ汁！
0121１３２人目の素数さん
05/03/09 20:50:52ちゃんと書けよイトキン
0122１３２人目の素数さん
05/03/09 20:53:09χ(x;limsupA_n)=limsupχ(x;A_n)
とありますが、なぜこうなるかわかりますか？
0123|дﾟ)
05/03/09 21:04:510124┐( ´Д`)┌
05/03/09 21:06:48【読めない】数学や物理に登場する文字【書けない】
http://science3.2ch.net/test/read.cgi/rikei/1097854701/l50
ttp://www2.neweb.ne.jp/wc/STEINER/text-16.html
（ドイツ文字筆記体の一覧。昔、平ペンで書いてた文字だから
印刷用の文字を鉛筆で書くのは多少無理があります）
>>122
任意の、ある、で書き直して考えて見てください
0125１３２人目の素数さん
05/03/09 21:09:540126１３２人目の素数さん
05/03/09 21:26:49確率の連続性の考え方を使えばわかったような気に
なるんですが、A_n自身が単調か、そうでないのかが
わかりません。
0127１３２人目の素数さん
05/03/09 21:35:29おいらは「るべすぐえ」だな
0128|дﾟ)
05/03/09 21:41:01おお！ありがとう
これは次スレからテンプレに入れるべきだ
>>126
A_nの単調性は関係ないでしょ
定義に従って「任意」「ある」で書いてけばわかると思われ
0129１３２人目の素数さん
05/03/09 21:47:47⇔x ∈ ∩_n ∪_{ν≧n} A_ν
⇔∀n ∃ν≧n x ∈ A_ν
⇔∀n ∃ν≧n χ(x;A_ν) = 1
⇔∀n sup_{ν≧n}(X,A_ν) = 1
⇔inf_n sup_{ν≧n}χ(X,A_ν) = 1
⇔limsup χ(x;A_ν) = 1
これは結構自明に近いですから、
よく上極限とかに関して復習したほうがいいかも。
0130１３２人目の素数さん
05/03/09 21:48:430132１３２人目の素数さん
05/03/09 21:56:22なるほど、わかりました。図でイメージしようとしてたのですが、
こっちの方がわかりやすいですね。
0133１３２人目の素数さん
05/03/10 19:05:020134|дﾟ)
05/03/10 20:01:41みなさんがんばりましょう
0135１３２人目の素数さん
05/03/10 21:16:550136１３２人目の素数さん
05/03/11 13:34:52画アニコ画アニコ画アニコ画アニコ画アニ
コニア画コニア画コニア画コニア画コニア
コニア画コニア画コニア画コニア画コニア
画アニコ画アニコ画アニコ画アニコ画アニ
画アニコ画アニコ画アニコ画アニコ画アニ
コニア画コニア画コニア画コニア画コニア
コニア画コニア画コニア画コニア画コニア
画アニコ画アニコ画アニコ画アニコ画アニ
画アニコ画アニコ画アニコ画アニコ画アニ
コニア画コニア画コニア画コニア画コニア
コニア画コニア画コニア画コニア画コニア
0137１３２人目の素数さん
05/03/11 13:39:13イケてるユニクラーより。イケてるユニクラーより。イケてるユニクラーより。
イケてるユニクラーより。イケてるユニクラーより。イケてるユニクラーより。
イケてるユニクラーより。イケてるユニクラーより。イケてるユニクラーより。
イケてるユニクラーより。イケてるユニクラーより。イケてるユニクラーより。
イケてるユニクラーより。イケてるユニクラーより。イケてるユニクラーより。
イケてるユニクラーより。イケてるユニクラーより。イケてるユニクラーより。
0138１３２人目の素数さん
05/03/11 16:24:490139BlackLightOfStar ◆ifsBJ/KedU
05/03/11 18:33:270140１３２人目の素数さん
05/03/11 18:46:210141１３２人目の素数さん
05/03/11 19:04:580142KingMathematician ◆5lHaaEJjC.
05/03/11 19:06:42画企ナサオエア画企ナサオエア画企ナサオエア画企ナサオエア
..／⌒ヽ ／⌒ヽ
（ ＾ω＾） （ ＾ω＾）
企画アエオサナ企画アエオサナ企画アエオサナ企画アエオサナ
企画アエオサナ企画アエオサナ企画アエオサナ企画アエオサナ
../ ⌒＼
（＾ω＾ ）
画企ナサオエア画企ナサオエア画企ナサオエア画企ナサオエア
../ ⌒＼ 画企ナサオエア画企ナサオエア画企ナサオエア画企ナサオエア
（＾ω＾ ）
0143|дﾟ)
05/03/11 19:32:52今夜もがんばりましょう
0144BlackLightOfStar ◆ifsBJ/KedU
05/03/11 20:06:17Re:>142 お前誰だよ？
0145┐( ´Д`)┌
05/03/11 21:08:35やっぱLangので勉強しようかなあ。。。
一寸読むのがしんどいけど
0146１３２人目の素数さん
05/03/11 22:26:310147BlackLightOfStar ◆ifsBJ/KedU
05/03/11 22:32:370148１３２人目の素数さん
05/03/11 22:34:400149１３２人目の素数さん
05/03/11 22:36:24R^Nにおける Borel 集合はすべて可測である
0150１３２人目の素数さん
05/03/11 22:40:25ボレル可測だがルベーグ可測でない集合ってあるの？
あるとしたら逆じゃない？
0151BlackLightOfStar ◆ifsBJ/KedU
05/03/11 22:49:520152BlackLightOfStar ◆ifsBJ/KedU
05/03/11 22:51:500153|дﾟ)
05/03/11 23:00:36空気嫁
0154１３２人目の素数さん
05/03/12 03:28:08とだから、「可測集合」の全体に完全加法性を要求する限り、R^Nにおいて区間（直方体）
を可測とするならば、ボレル集合はすべて可測にならざるをえないってことよ。
0155１３２人目の素数さん
05/03/12 05:54:50・１がある程度責任を持って書き込みを続ける
・BlackLightOfStarをスルーする
0156１３２人目の素数さん
05/03/12 14:21:31有限個の長方形で囲む
加算個の長方形で囲む
加算無限個の長方形で囲む
それぞれの意味の違いがよくわかりません
どなたかご教授を
0157|дﾟ)
05/03/12 16:54:53「有限個」というのは文字通り個数が100個だとか10000個だとかいう風に「有限」なわけです
「可算個」というのは多分「可算無限個」というのを略して言ってるのだと思うのですが，
「無限」にも「数えられる無限」と「数えられない無限」があって「可算無限個」というのは前者です．
無限に多くの長方形で囲むんだけど，それぞれに番号をつけることができる，と
0158|дﾟ)
05/03/12 16:55:400159１３２人目の素数さん
05/03/12 17:14:35なんで
「有限個または高々可算無限個」
は変じゃないすか。数学的には同じだけど。
>>156
加算個は可算個の誤字ですよね。
可算個＝可算無限個だと思います。
あと個数じゃなくて濃度なんだから
可算無限個じゃなくて
可算無限濃度と言ったほうがいいと思います。
まあ好みの問題ですけど。
0161BlackLightOfStar ◆ifsBJ/KedU
05/03/12 18:20:450162１３２人目の素数さん
05/03/13 00:23:40ハゲ同
>>161
逝ってよし
0163１３２人目の素数さん
05/03/13 10:11:17ところで１さんはまだあく禁中かな
0165BlackLightOfStar ◆ifsBJ/KedU
05/03/13 18:28:170166１３２人目の素数さん
05/03/13 18:49:380167|дﾟ)
05/03/13 18:56:44すみません
0168１３２人目の素数さん
05/03/13 19:06:48って記述はA⊂∪BiとA=∪Biのどっちを指すんだっけ？
0169２年生 ◆.jCuedkIOg
05/03/13 22:16:57定理４-２[証明]の十分なること（第１段）で、
Iが有界でない場合lim(n→∞)m(I_n)=m(I)って自明なんでしょうか。
一応、自分で証明つけてみたので、確認お願いします。
タイピング都合上アルファベットのvを使わせてください。
任意の有界区間J=(a_1J,b_1J]×･･･×(a_NJ,b_NJ]⊂Iに対して、
①a_v>-∞のとき、
fv(b_vJ)-fv(a_vJ)
≦fv(b_vJ)-fv(a_v)
＝fv(b_vJ)-lim fv(a_vn)
≦lim{fv(b_vn)-fv(a_vn)}
②a=-∞のときは明らかに、
fv(b_vJ)-fv(a_vJ)
≦lim{fv(b_vn)-fv(a_vn)}
①、②の場合とも両辺非負の定数または+∞であるから
vについて辺々かけ合わせると、
m(I_J)≦lim m(I_n)
定義より、任意のnに対して、m(I_n)≦m(I)であるからlim m(I_n)≦m(I)、
また任意のε>0に対してあるJが存在し、m(I)-ε＜m(I_J)≦lim m(I_n)
これはlim m(I_n) = m(I)を意味する■
0170１３２人目の素数さん
05/03/14 22:16:1001711
05/03/14 23:00:091週間が立ちました
いい加減精神的におかしくなってきたぜ
みなさんどこらぐらいまでやりましたか？
一旦まとめに入りたいんですが
あとsageでよろしく
01721 ◆TzCuunM2f.
05/03/16 00:55:40* ※ ☆ ※ ※ ☆ ※ ※ ☆ ※ *
* ※ ☆ ※ ※ ☆ .☆ ※ ※ ☆ ※ *
* ※ ☆ ※ ※☆ _、_ ☆※ ※ ☆ ※ *
* ※解除ｷﾀ━━（ ,_ﾉ`）━━━━━ !!!※ *
* ※ ☆ ※ ※☆ ☆※ ※ ☆ ※ *
* ※ ☆ ※ ※☆ .☆※ ※ ☆ ※ *
* ※ ☆ ※ ※ ☆ ※ ※ ☆ ※ *
* ※ ☆ ※ ※ ※ ☆ ※ *
0173１３２人目の素数さん
05/03/16 00:56:4301741 ◆TzCuunM2f.
05/03/16 01:47:01Caratheodoryの意味で可測を定義し
任意の可測集合＝G_δ集合-零集合＝F_σ集合＋零集合
を導いた
これがLebesgue可測集合の正体と言ってよい
なぜかこの本には内測度が出てこない
問題1
E⊂R^dを有界とする
μ_*(E)=|I|-μ^*(I-E)
は，E⊂Iを満たす区間Iによらないことを示せ
ただしμ^*をLebesgue外測度とする
(これによって，μ_*をLebesgue内測度として定義できる)
問題2
E⊂R^dに対し
Caratheodoryの意味で可測⇔μ_*(E)=μ^*(E)
を示せ
問題3
区間[0,1]上で
f(x)=
1/p (x=q/p，gcd(p，q)=1)
0 (xは無理数)
とするとき
f(x)はﾘｰﾏﾝ積分可能か？
可能なら∫_[0,1]f(x)dxを求めよ
とりあえず3問
0175１３２人目の素数さん
05/03/16 09:37:420176１３２人目の素数さん
05/03/16 09:53:4701771 ◆TzCuunM2f.
05/03/16 10:53:43一応そのつもりだったのだが
基本的なことは本に書いてあるし
>>176
各§ごとにまとめようかと思ったんだけど
定理の羅列になる気がしてちょっとね
どうすれば
0178１３２人目の素数さん
05/03/16 11:10:10問題１の解答を教えてもらえませんか？
0179１３２人目の素数さん
05/03/16 11:31:13初学者ではないのであえてパスさせてもらいますです…
0180１３２人目の素数さん
05/03/16 11:35:060181１３２人目の素数さん
05/03/16 12:21:49自分で考えたことをいえ
0182１３２人目の素数さん
05/03/16 12:28:54問題の答え教えてってのはまだ早すぎるが
0183１３２人目の素数さん
05/03/16 13:18:05ルベッグ測度の正体などという言葉自体今まででてきてないし
そもそも>>180の「それ」が何をさしているかさえわからない
発表者に質問するのは当たり前なのは確かだが…
何を聞いているのかわからないような質問はそもそも論外だ。
そしておそらく>>181のレスは>>178に向けたものと思われる。
0184１３２人目の素数さん
05/03/16 13:36:160185１３２人目の素数さん
05/03/16 13:37:27ごめんなさい
0187１３２人目の素数さん
05/03/19 17:57:500188１３２人目の素数さん
05/03/19 23:16:1701891 ◆TzCuunM2f.
05/03/20 07:04:230190１３２人目の素数さん
05/03/20 09:59:44f(x) = max[i=1,2,・・・] n_i とおく。
fは可測かつ殆ど至るところ定値であることを示せ。
0191BlackLightOfStar ◆ifsBJ/KedU
05/03/20 10:21:220192BlackLightOfStar ◆ifsBJ/KedU
05/03/20 10:26:050193BlackLightOfStar ◆pOWVAyA9MM
05/03/20 10:46:14氏になさ―い
0194BlackLightOfStar ◆ifsBJ/KedU
05/03/20 10:56:450196アーベル賞
05/03/20 23:29:10http://science3.2ch.net/test/read.cgi/math/1111320908/
01971 ◆TzCuunM2f.
05/03/21 00:37:250198１３２人目の素数さん
05/03/21 00:47:440199１３２人目の素数さん
2005/03/21(月) 09:17:43分かった
荒らし君
もうこなくていいよ
あと
厨房みたいにｺﾋﾟﾍﾟも止めてくれよな
0200１３２人目の素数さん
2005/03/21(月) 10:41:180201BlackLightOfStar ◆ifsBJ/KedU
2005/03/21(月) 12:07:120202BlackLightOfStar ◆ifsBJ/KedU
2005/03/21(月) 12:08:1102031 ◆TzCuunM2f.
2005/03/21(月) 12:17:25申し訳ないのだが
まだ§7なんですよね
まあ，考えるだけ考えてみるけど
解けなくても馬鹿扱いしてｽﾚ荒らししたりはやめてくれ
あと頼むからsageてくれ
0204１３２人目の素数さん
2005/03/22(火) 19:45:560205１３２人目の素数さん
2005/03/24(木) 17:38:53・Eは[0,1]の開集合
・Eは[0,1]で稠密
・m(E) = a
0206BlackLightOfStar ◆ifsBJ/KedU
2005/03/24(木) 17:45:51私が立てたスレのレスを参照のこと。
一部を転載。
有理数全体を亘る列{q_{n}}をとって、
区間の列(q_{n}-2^(-n-1),q_{n}+2^(-n-1))をとる。
これ全体の和集合のルベーグ測度が1以下になるということを貴方は認められるか？
何をすればいいかはこれで大体分かる。
0207１３２人目の素数さん
2005/03/24(木) 18:04:010208１３２人目の素数さん
2005/03/24(木) 18:04:520209１３２人目の素数さん
2005/03/24(木) 21:19:09・Eは[0,1]の開集合
・Eは[0,1]で稠密
・m(E) = a
最大幅がaのモノトニックな開集合列でもいいのに。
0210１３２人目の素数さん
2005/03/29(火) 19:28:350211 ◆wUw6PyalkI
2005/04/03(日) 01:05:34洗濯公理の声がする…
0212１３２人目の素数さん
2005/04/03(日) 01:59:190213１３２人目の素数さん
2005/04/03(日) 08:49:450214１３２人目の素数さん
2005/04/03(日) 23:30:39加算選択公理(あるのか知らんが)使わない？
0215１３２人目の素数さん
2005/04/04(月) 00:30:250216１３２人目の素数さん
2005/04/19(火) 12:26:29∩＿＿＿∩
| ノ ヽ
/ ● ● | ちょっと通りますよー！
| ( _●_) ミ
彡､ |∪| ､｀＼
/ ＿＿ ヽノ /´> )
(＿＿＿） / (_／
| /
| ／＼ ＼
| / ) )
∪ （ ＼
＼＿)
0217１３２人目の素数さん
2005/05/06(金) 04:51:440218１３２人目の素数さん
2005/05/07(土) 16:43:170219sage
2005/05/15(日) 09:34:42[証明]
A が可測なので A^c も可測。
Th7.4より、任意のε>0に対して、開集合 G で、G ⊃ A^c 、μ( G - A^c ) < εなるものを取れる。
一方、
G - A^c = A - G^c
したがって、 μ( G - A^c ) = μ( A - G^c ) < ε
さらに A ⊃ G^c なので、F として G^c をとればよい。 [証明終]
どこかにチョンボはないでしょうか。
周りに質問できる人がいなくて困っています。
Th7.5後半「特に、、、」の部分は別証考えてないので略。
後半はやっぱりS_nをもちださないとだめかなあ。
0220219
2005/05/15(日) 09:35:3502211
2005/05/15(日) 16:18:2702221
2005/05/15(日) 16:28:31あってはいると思うけど
有界性にS_nは必要だと思うよ
§9とかやれば分かると思うんだけど，
S_nの存在を仮定できるところがR^dの良い所だから
0223１３２人目の素数さん
2005/05/16(月) 23:04:19買おうかとおもってる。
0224１３２人目の素数さん
2005/05/17(火) 00:46:21どこかで絶対やめとけという書き込みを見たが・・・
0226１３２人目の素数さん
2005/05/17(火) 13:14:19この本の著者は放課後職員室に来いって感じ。
0227布施くん
2005/05/17(火) 18:14:35証明も、ほとんど読者に任せるかのような他力本願って感じがしたなぁ。
でもほかの本には書いてないようなことけっこう書かれてたような。
２月に少し読んだ程度だからあまり覚えとらんけど
02281
2005/05/17(火) 22:04:01伊藤をやれば解けるようにはなるかなー？
初めの方見る限り伊藤に書いてあることが演習になってたし
関数解析の部分は違う本読んでからじゃないとキツイんじゃねーかな
ageるぜ ﾁｪｹﾗｯﾁｮ
まあ谷島は全然読んでないわけだけどw
0229１３２人目の素数さん
2005/05/17(火) 23:30:15数学科でもないバカだけどね。
0230219
2005/05/18(水) 01:08:281さんありがとう。ヽ(´ー｀)ノ
1月から一人で伊藤清三読んでて、なるべく証明の部分は本をふせて
証明思いつくまで2、3日は考えるようにしています。（長いのはたいてい無理ですけど）
でもやっと§12まできたよ。
自分は学生じゃないからゼミはきついだろうから、マイペースでついていきますので
よろしくおねがいします～
02311
2005/05/18(水) 01:32:36このｽﾚで谷島の解答でも作ろうかな
出来るかわからんがなw
0232１３２人目の素数さん
2005/05/18(水) 01:40:59普段は何をされている方なのですか?
0233１３２人目の素数さん
2005/05/18(水) 15:51:290234１３２人目の素数さん
2005/05/18(水) 20:12:23テストがある。関数解析の本誰かいいやつ推薦してくれぇー-。
８月の期末試験がぁぁぁ。。。。。。。。。。。。。。。
0235１３２人目の素数さん
2005/05/18(水) 20:33:54あとマクローラン展開も
0236１３２人目の素数さん
2005/05/18(水) 22:16:06つうか釣りか？
0238１３２人目の素数さん
2005/05/19(木) 15:41:420239１３２人目の素数さん
2005/05/19(木) 15:43:220240布施くん
2005/05/19(木) 20:36:30定義だけなんとか理解して、ある程度読み進めてみればどうすかね
0241１３２人目の素数さん
2005/05/19(木) 21:57:080242１３２人目の素数さん
2005/05/19(木) 22:11:010243一斗函
2005/05/20(金) 12:54:34>>94
例えば
A_ｎ＝[－1/ｎ,1/n]x (n－1,ｎ] （ｎ＝1,2,･･･）
とした場合はどうでしょうか？
>>219
定理前半だけなら、この証明で大丈夫ですが、定理の主眼は、
『μ(A) < ∞のとき、斯く斯くの有界閉集合が取れる』
という点にあるの思います。（テキストの証明法を読んでみてください）
[後半の証明はもっと簡略化出来そうな気がしますが･･･]
これにて失礼させて頂きます。
02441
2005/05/20(金) 13:14:512(1+1/2+1/3+...)=∞
と言いたいとは思うけど
一応､ｼﾞｮﾙﾀﾞﾝ可測だから>>94の意味とは違うと思う
>>94の意味は
A_1，A_2，…がｼﾞｮﾙﾀﾞﾝ可測 ∧ A=ΣA_iはｼﾞｮﾙﾀﾞﾝ可測でない
なるAの例があるの？と言っている．
0245一斗函
2005/05/20(金) 13:19:26勉強しなおしてまいります。
02461
2005/05/20(金) 16:45:25もしかして測度論と基礎論って密接に関係してる？
0247大ツノシカ
2005/06/05(日) 02:44:15伊藤清三より全然イイと思う。
http://www.amazon.co.jp/exec/obidos/ASIN/4563003239/qid=1117906898/sr=8-7/ref=sr_8_xs_ap_i7_xgl14/249-8337283-4455551
みんなこっちにしたら?
0248１３２人目の素数さん
2005/06/05(日) 02:51:06今習ってるリーマン積分のかわりにこっちやってもいい?
中身は理解できるんだけど。
ぶっちゃけルベーグだけありゃいいんだろ?
0249ﾑ￥ﾃcﾃmﾃVﾃJ
2005/06/05(日) 03:03:42う～んどうだろう。具体的なルベーグ積分の計算なんかは
リーマン式に還元してやったりするしね。。。。。。。。。。
0250１３２人目の素数さん
2005/06/05(日) 03:06:090251１３２人目の素数さん
2005/06/05(日) 03:09:340252１３２人目の素数さん
2005/06/05(日) 03:21:240253１３２人目の素数さん
2005/06/05(日) 06:47:43とりあえず高校生でルベーグ積分やるのは時間の無駄
0254GreatFixer ◆ASWqyCy.nQ
2005/06/05(日) 08:34:11広義リーマン積分可能だが、ルベーグ積分できない関数も存在する。
0255255
2005/06/05(日) 09:49:480256256
2005/06/05(日) 09:51:360257１３２人目の素数さん
2005/06/05(日) 09:56:490258１３２人目の素数さん
2005/06/14(火) 20:18:40今習ってるリーマン積分のかわりに伊藤積分やってもいい?
中身は理解できるんだけど。
ぶっちゃけ伊藤積分だけありゃいいんだろ?
0259１３２人目の素数さん
2005/06/15(水) 16:04:480260１３２人目の素数さん
2005/06/15(水) 16:26:08今習ってるリーマン積分のかわりに超準解析やってもいい?
中身は理解できるんだけど。
ぶっちゃけ超準解析だけありゃいいんだろ?
0261１３２人目の素数さん
2005/06/25(土) 11:43:25っていうのは左連続でもよさげなんだがダメなの？
もしくは区間のとりかた--- (a,b] or [a,b) ---に依存するのかな？
0262１３２人目の素数さん
2005/06/25(土) 11:45:080263１３２人目の素数さん
2005/06/25(土) 13:28:320264１３２人目の素数さん
2005/06/25(土) 13:30:100265１３２人目の素数さん
2005/06/25(土) 21:07:44高校生はRiemann積分を習ってません．
超準解析やるのはどうぞ．
Robinsonが高校生にもわかるくらいのレベルの
テキストを書いているのでお勧め．
>>264
Non-standard Analysisをそんな略し方する人はじめて見た
0266１３２人目の素数さん
2005/06/25(土) 21:36:08ﾈﾀだよ気にスンナ
測度論より超準解析の方が簡単なの？
っていうか超準解析って名前かっこいいけど何に使うものなの？
0267１３２人目の素数さん
2005/06/25(土) 21:53:070268１３２人目の素数さん
2005/06/25(土) 22:01:20超準解析の使い方
・俺、超準解析知ってるぜ！と２ちゃんで自慢する
・教官でも超準解析知らなかったりするから、質問して「え～ 先生
超準解析知らないんですかあ」といびる
・完全に理解していなくても Robinson から適当にコピペするだけで
知ったかできる
0269１３２人目の素数さん
2005/06/25(土) 22:09:07ｒ;;;;;ノヾ
ﾋ‐=r=;'
'ヽ二/
超準解析は使い道ﾅｯｼﾝｸﾞ？
0270１３２人目の素数さん
2005/06/27(月) 18:40:24今習ってる微分方程式のかわりに確率微分方程式やってもいい?
中身は理解できるんだけど。
ぶっちゃけ物理現象で確定過程なんて天体の運動ぐらいでﾂｶｴﾈｰから確率過程論だけありゃいいんだろ?
0271１３２人目の素数さん
2005/06/28(火) 00:26:420272１３２人目の素数さん
2005/07/14(木) 23:22:240273１３２人目の素数さん
2005/07/16(土) 00:39:050274１３２人目の素数さん
2005/07/20(水) 18:29:520275１３２人目の素数さん
2005/07/24(日) 15:08:29考えてみたんだけど、
【反例】
f(λ) = 1 (λ>0)
f(λ) = 0 (λ<=0)
として、 I = (a,b] に対し、m(I) := f(b) - f(a) と定義すると、
m( (0,1] ) = 1
であって、しかも
(0,1] = Σ_(n=1)^∞ (1/(n+1),1/n]
であるけど、
Σ_(n=1)^∞ m( (1/(n+1),1/n] ) = 0 ≠ m( (0,1] )
となるね。
たしかに、こういうシンプルな反例はすぐにみつかるけど、じゃ、なぜ？
というのはたぶん261さんが言うように区間の取り方がきいてるんだろうか。
最初に I = [a,b) に対して、 m(I) := f(b) - f(a) と、定めてから議論をはじめるといいのかな？
0276１３２人目の素数さん
2005/08/05(金) 20:04:460277１３２人目の素数さん
2005/08/20(土) 01:48:38年の初めに「今年はルベーグやる」と決めて、ほぼ毎日すこしずつ勉強して、ずいぶん
読み進めてきましたが、、
§１９って長くないですか？
息切れしそうですよ。
今このスレを心のささえにして伊藤清三読んでる人って、何人ぐらいいるのかな。
0278１３２人目の素数さん
2005/08/20(土) 10:47:06がんばってくれい
0279１３２人目の素数さん
2005/08/20(土) 10:49:550280１３２人目の素数さん
2005/08/22(月) 00:15:53「ルベーグ積分入門」を読んでいるサラリーマン
0281橋の上の猿
2005/08/22(月) 14:03:22次のような例は妥当でしょうか？
I=[0,1], I_n = [ 1/3^n, 2/3^n] (n∈N)
とし、
f_n (x) = (3/2)^n \chi_{I_n}(x),
f(x) = \sum_1^{infty} f_n(x)
と置く。
\sum_1^{infty} ∫_{I_n} f_n(x)dx = 1
だが、f(x) は（広義積分可能ですが）Ｉ上有界ではないので
Riemann積分可能ではない。( p.111 注意1 参照）
0282１３２人目の素数さん
2005/08/23(火) 11:07:450283１３２人目の素数さん
2005/09/02(金) 22:26:27解いてくれ頼む
0284１３２人目の素数さん
2005/09/02(金) 22:42:060285１３２人目の素数さん
2005/09/04(日) 00:30:470286１３２人目の素数さん
2005/09/05(月) 23:59:14連続濃度以上であることは示せるけど、ちょうど連続濃度に等しいという
ことは示せてないです。
なんかとてもむつかしい話（なんとか公理とか無矛盾がどうとか）になる
んならスルーでおねがいします。
0287ぼるじょあ
2005/09/06(火) 08:45:36Ａ２＝｛［ａ，ｂ）｜－∞＜ａ＜ｂ≦∞｝
Ａ３＝｛（ａ，ｂ］｜－∞≦ａ＜ｂ＜∞｝
Ａ４＝｛［ａ，ｂ］｜－∞＜ａ≦ｂ＜∞｝
Ａ＝Ａ１∪Ａ２∪Ａ３∪Ａ４∪｛&Oplus;｝
とおくと、Ａは連続濃度。
② Ｂｎ＝｛Ｉ１∪…∪Ｉｎ｜Ｉ１，…，Ｉｎ∈Ａ｝
とおくと、Ｂｎは連続濃度。
③ Ｂ＝∪_〔ｎ∈Ｎ〕Ｂｎ
とおくと、Ｂは連続濃度。
0288１３２人目の素数さん
2005/09/06(火) 14:49:050289１３２人目の素数さん
2005/09/06(火) 19:50:09だから古い本が多いのは当然だろう。
類体論の新しい取り扱いをした本もあるけど、昔の本のやり方
も知ってないと、おかしなことになる。
0290ぼるじょあ
2005/09/06(火) 21:42:17【誤】 Ａ＝Ａ１∪Ａ２∪Ａ３∪Ａ４∪｛&Oplus;｝
【正】 Ａ＝Ａ１∪Ａ２∪Ａ３∪Ａ４∪｛Ø｝
0291ぼるじょあ
2005/09/07(水) 08:25:36>>288 確かにこれじゃ判らないですよね。
最初から書き直します。
① Ａ１＝｛（ａ，ｂ）｜－∞≦ａ＜ｂ≦∞｝
Ａ２＝｛［ａ，ｂ）｜－∞＜ａ＜ｂ≦∞｝
Ａ３＝｛（ａ，ｂ］｜－∞≦ａ＜ｂ＜∞｝
Ａ４＝｛［ａ，ｂ］｜－∞＜ａ≦ｂ＜∞｝
Ａ＝Ａ１∪Ａ２∪Ａ３∪Ａ４∪｛Ø｝
とおくと、Ａは連続濃度。
② Ｂｎ＝｛Ｉ１∪…∪Ｉｎ｜Ｉ１，…，Ｉｎ∈Ａ｝
Ｂ∞＝｛Ｉ１∪Ｉ２∪…｜Ｉ１，Ｉ２，…∈Ａ｝
とおくと、Ｂｎ，Ｂ∞は連続濃度。
③ Ｂ＝Ｂ∞∪∪_〔ｎ∈Ｎ〕Ｂｎ
とおくと、Ｂは連続濃度。
0292ぼるじょあ ◆yBEncckFOU
2005/09/09(金) 00:23:32① Ａ１＝｛（ａ，ｂ）｜－∞≦ａ≦ｂ≦∞｝
Ａ２＝｛［ａ，ｂ）｜－∞＜ａ≦ｂ≦∞｝
Ａ３＝｛（ａ，ｂ］｜－∞≦ａ≦ｂ＜∞｝
Ａ４＝｛［ａ，ｂ］｜－∞＜ａ≦ｂ＜∞｝
Ａ＝Ａ１∪Ａ２∪Ａ３∪Ａ４
とおくと、Ａは連続濃度。
② Ｂ＝｛Ｉ１∪Ｉ２∪…｜Ｉ１，Ｉ２，…∈Ａ｝
とおくと、Ｂは連続濃度。
Ｂの元は
①’開区間（端点に±無限大も含む）を取る
②’補集合を取る
③’高々可算個の元の合併集合を取る
の操作の高々可算個の組み合わせにより表現できるから、Ｂ⊆ボレル集合族。
①”Ø∈Ｂ
②”ａ∈Ｂ ⇒ ａ＾ｃ∈Ｂ
③”ａ１，ａ２，…∈Ｂ ⇒ ａ１∪ａ２∪…∈Ｂ
だから、Ｂ⊇ボレル集合族。
0293名無しさん＠そうだ選挙に行こう
2005/09/11(日) 18:30:000294１３２人目の素数さん
2005/09/14(水) 02:13:40σ系の公理として
e_n∈M ⇒ ∪e_n∈M (n=1,2,3...)
e_1,e_2∈M ⇒ e_1-e_2∈M
と定義されていて
最大のω∈M、要するにMの要素であればすべて含むωがあるなら、閉じたσ系と書いてありました。
開いたσ系というのは具体的にはどんな物があるのでしょうか？
この定義、解析概論を見て初めて知った・・・
0295１３２人目の素数さん
2005/09/14(水) 05:50:000296１３２人目の素数さん
2005/09/14(水) 14:20:000297１３２人目の素数さん
2005/09/15(木) 12:20:51今習ってるリーマン積分のかわりに超準解析やってもいい?
中身は理解できるんだけど。
ぶっちゃけ超準解析だけありゃいいんだろ?
0298１３２人目の素数さん
2005/09/15(木) 21:02:55激しくスレ違い、ルベーグ積分と無関係だよ、超準解析をやるのなら先に論理と位相と代数と実数論をやっときなさい。
>中身は理解できるんだけど。
あからさまなウソつかない
0299１３２人目の素数さん
2005/09/15(木) 21:51:190300１３２人目の素数さん
2005/09/16(金) 00:31:04コピペだよ
まあマジレスすると
高校で習うのはRiemann積分じゃなくてNewtonやLeibnitzの時代からあった、ただの積分
超準解析は、たしかKeislerが高校生でも読める本書いてたと思う（ものすごく厚いけど）
0301１３２人目の素数さん
2005/09/16(金) 11:27:17Xを構成するにはどうしたらいいですか。
0302１３２人目の素数さん
2005/09/16(金) 11:45:170303１３２人目の素数さん
2005/09/16(金) 11:47:44X=∪[n∈Z]I_n
とかでいいんでない？幅a/2の縞々みたいな。
0304１３２人目の素数さん
2005/09/16(金) 11:52:53aが動く場合はどうするのかな。
>>301の書き込みからは、aが動くのか固定されてるのか読み取れないけど。
0305301
2005/09/16(金) 12:39:300306１３２人目の素数さん
2005/09/16(金) 13:47:02ただの積分って何ですか？
初めて聞いた
0307１３２人目の素数さん
2005/09/16(金) 14:06:17任意のルベーグ測度を持つ任意の閉区間Aに対して、
μ(A∩X)=μ(A)/2
が成り立つX、ってこと？
わからん(´・ω・｀)
ってかそれなら存在しないような気がする。
0308301
2005/09/16(金) 15:20:48yes。やっぱり存在しないのかね。別にそれ程変な集合じゃなさそうなのにな…
0309１３２人目の素数さん
2005/09/16(金) 16:16:06じゃあNewtonとかLeibnitzが発見したのはRiemann積分ですか？
Riemann積分はあくまでも、Riemannが初めて定式化したものでしょ？
高校のカリキュラムにRiemann上積分がどうの、とか、
連続函数が積分可能であることの証明とかありますか？
高校の先生で教える人はいるかもしれないが、それは単にその人の趣味なだけ
0310１３２人目の素数さん
2005/09/16(金) 16:41:30だって、存在するなら明らかに測度が正の区間を含んじゃいけないからな、Xは。
Aをその測度以下の区間にしたら条件みたさないから。
0311１３２人目の素数さん
2005/09/16(金) 17:08:42そりゃ>>301のXが存在したなら、X^cも条件を満たすし、XもX^cもRで稠密でしょ。
でもそれだけじゃXの非存在の理由にならないかと。
Rから「半分くらい」「均等に」点を取り除いたら望みのXが出来そう。
実数の2進表示をうまく使って作れないかな。
あるいは加法群R/Qを使うとか。
ただ、条件よりXは可測になるので、R/Qを使うと非可測になってしまいそう。
0312１３２人目の素数さん
2005/09/16(金) 18:26:07そだね。ありそうな気もしてきた…。
任意の区間を2つの測度が等しくて内点をもたない集合に分けなきゃいかんのか。
おれには無理だｗ
0313１３２人目の素数さん
2005/09/16(金) 19:01:37A(n,k)=[(2k)/(2^n),(2k+1)/(2^n))
A(n)=∪[k=0 to 2^(n-1)-1]A(n,k)
で、X=limA(n)。
limA(n)が存在するかどうかは検証してないけど。
0314１３２人目の素数さん
2005/09/16(金) 20:58:58その例は自分も考えてみたけど、
2進展開を良く観察してみるとそれの上極限は[0, 1)になってる。
やるんだったらやっぱもっと「均等に」取らなきゃ駄目っぽい。
0315１３２人目の素数さん
2005/09/16(金) 23:20:000316１３２人目の素数さん
2005/09/17(土) 00:34:53マジか
0317１３２人目の素数さん
2005/09/17(土) 20:57:21超準解析使って無限大の自然数nを用意して
X={x∈R|x∈A(n)}を構成すれば条件を満たすけど
しかしそれだとルベーグ集合にならないって感じの事が
「超積と超準解析」って本に書いてありました。
0318１３２人目の素数さん
2005/09/17(土) 21:16:39超準解析を良く知らないけど本当?
そのA(n)の定義って何? >>313じゃ有限のnにしか定義されてないよね?
で、そのX=R∩A(ｎ)が>>301を満たすなら、
有限整数mについて[m, m+1]∩Xは可測(測度1/2)なので、
X=∪_[m∈Z] ([m, m+1]∩X)も可測じゃん。
0319１３２人目の素数さん
2005/10/03(月) 20:45:08μ:（X,M）上の測度で、任意のA∈Mに対しμ（A）=μ（B）となるボレル集合B∈Mが存在
μ（X）<∞
とする。このとき任意のA∈Mに対し
μ（A）=inf｛μ（U）:UはAを含む開集合｝となることはどうやって示せばいぃんでしょう？
0320１３２人目の素数さん
2005/10/03(月) 20:48:430321１３２人目の素数さん
2005/10/03(月) 20:54:50測度論の証明が載ってない
0322１３２人目の素数さん
2005/10/03(月) 21:02:07ボレル集合の定義は？
0323１３２人目の素数さん
2005/10/03(月) 21:08:46Xの全ての開集合をふくむσ代数の元っす。
0324１３２人目の素数さん
2005/10/03(月) 21:32:36を使う
0325１３２人目の素数さん
2005/10/03(月) 21:33:54μ（X）<∞
がみそ
0326１３２人目の素数さん
2005/10/03(月) 21:40:52μ（X）≦∞ ⇒μ（Φ）=0
もなりたつでしょ？
0327１３２人目の素数さん
2005/10/03(月) 21:56:13というか、ボレル集合がσ加法族の元って分かってるなら
解けたようなもんだと思うけど
0328１３２人目の素数さん
2005/10/03(月) 22:11:51ぢゃ、証明してみてください。
0329１３２人目の素数さん
2005/10/03(月) 22:22:22多分それも勘違い。
0330１３２人目の素数さん
2005/10/03(月) 23:20:00Ｂの存在が無意味。
0331１３２人目の素数さん
2005/10/03(月) 23:28:14Ａがボレル集合と限らないからでは？
0332１３２人目の素数さん
2005/10/04(火) 15:36:29Bって、A⊂Bとなるボレル集合Bが存在するじゃなくて、ただ存在する、だけなの？
Ｘの定義関数をＴとする。
∫＿［０，ｘ］Ｔ（ｘ）ｄｘ＝ｘ／２。
∫＿［０，ｘ］（Ｔ（ｘ）－１／２）ｄｘ＝０。
（１）積分して微分すると元に戻ることを使う。
（２）Ｍが任意の区間のとき∫＿Ｍｆ（ｘ）ｄｘ＝０なら
ｍ（｛ｘ｜ｆ（ｘ）≠０，ｘ∈Ｒ｝）＝０となることを使う。
（３）（２）と同じ証明法で積分を使わずに
ＨがＨ⊂Ａとなる閉集合のときｍ（Ａ）＝ｓｕｐ（ｍ（Ｈ））となることを使う。
（４）（３）で閉集合のかわりに開集合を使う。
開集合Ｋを（０，１）∩Ｘ⊂Ｋ⊂（０，１），１／２＜ｍ（Ｋ）＜１と
なるようにとるとＫ∩Ｘ＝（０，１）∩Ｘなので
１／２＝ｍ（（０，１）∩Ｘ）＝ｍ（Ｋ∩Ｘ）＝ｍ（Ｋ）／２＜１／２。
0334１３２人目の素数さん
2005/10/04(火) 19:18:49いや、ボレル集合Ｂが存在で。
0335１３２人目の素数さん
2005/10/05(水) 23:32:23>>330
0336１３２人目の素数さん
2005/10/06(木) 20:20:200337１３２人目の素数さん
2005/10/06(木) 22:08:590338１３２人目の素数さん
2005/10/07(金) 23:40:05サンクス
0339１３２人目の素数さん
2005/10/12(水) 03:57:59Xの全ての開集合全体(ボレル集合の族)の元のこと。
でも、集合の族なんて、なんで紛らわしい言い方するんかな？全部分集合って言えばいいのに。
部分集合の族とか、部分集合の全部分集合って書いたほうが注意喚起されないか？
0340１３２人目の素数さん
2005/10/12(水) 04:18:59？
0341１３２人目の素数さん
2005/10/12(水) 07:19:53それじゃあ位相になってしまうだろ
ボレル集合の定義を見直せ
いや、集合論からやり直せ
0342１３２人目の素数さん
2005/10/12(水) 09:22:36kore yondahitoiru??
0343１３２人目の素数さん
2005/10/14(金) 12:57:350344１３２人目の素数さん
2005/10/14(金) 13:10:300345GiantLeaves ◆6fN.Sojv5w
2005/10/14(金) 13:15:57族などという新しい単語を追加する方がわかりにくそうだが。
0346１３２人目の素数さん
2005/10/14(金) 13:18:090347１３２人目の素数さん
2005/10/14(金) 13:27:59余集合 最小
吉田:ルベグ積分入門 pp63
一般に集合の集合、いいかえるとその元が集合であるような集合を集合族という。
感想
いいかえなんかせず素直に集合の集合と言え。
0348１３２人目の素数さん
2005/11/09(水) 15:27:55ディリクレ関数のルベグ積分結果は0ですが
単位インパルス関数δを使って
Σδ(x-x(i)), x(i)∈有理数と書くのは間違いでしょうか？
∫Σδ(x-x(i) dx
だとΣ1になって∞に発散するように思うんですが？
というのが、
確率論の期待値の定義で
∫X dP
A
が離散系になるとΣa(i)p(i),a(i)∈Aになりますが
これには確率変数X=δ関数(a(i)∈Aで1、それ以外で0)
と考えないと離散系の式が成立しません。
ディリクレ関数==単位インパルス列という解釈はどこが
おかしいのでしょう？あるいはインパルス関数やデルタ関数に対して
∫とΣの交換は成立しないのでしょうか？
0349１３２人目の素数さん
2005/11/09(水) 16:54:520350１３２人目の素数さん
2005/11/09(水) 18:42:29ユニットインパルス知らんか？
∞振幅を持つ一般的なデルタ関数と積分に関しては同じ性質を持つ。畳み込み演算で関数値を抜き出すために使う。
ディジタル信号処理やディジタル制御では多用する。
0351１３２人目の素数さん
2005/11/09(水) 19:42:40∫XdPが離散系になるとΣX Pになる理由はなぞだな。
どこで∫dPを計算したんだろ？
0352１３２人目の素数さん
2005/11/10(木) 00:30:21δ(x-x(i))という記号の意味がイマイチよくわからんが、
δ(x-x(i))が、x(i)で0,その他で1な関数というつもりなら、ディリクレ関数は
Σδ(x-x(i))ではない.（関数値1の点が重なりまくって無限に大きくなってしまう）
δ(x-x(i))がx(i)で1,その他で0な関数というつもりなら、Σδ(x-x(i))はΣ1では
ない（和のどれかが1の点では和の他の要素は0）.
>>351
離散系の測度Pが点測度だからじゃない？ たとえば1次元の場合, 積分表現としては
分布関数Fを使ったルベーグ・スティルチェス積分∫X(ω)dF(ω)で表せるが, それは
結局ΣX(i)Piという形になる.
0353352
2005/11/10(木) 00:41:35結局「インパルス関数」と「デルタ関数」を同じ記号δで書くものだから,
ごっちゃにしてるのだろう.
>∫[A]X dPが離散系になるとΣa(i)p(i),a(i)∈A
は, 普通のルベーグ積分論では測度Pのほうを変えるのだが, dPをあくまで普
通の積分と思うなら, たしかに被積分関数のほうをデルタ関数の和と考えるし
かない. それならそれでもいいが, そのデルタ関数はディラックのそれであって, インパル
ス関数（一点の定義関数のことか？）ではだめだろ.
0354352
2005/11/10(木) 00:51:04δ(x)が「デルタ関数」なら. ∫δ(x-a)dx=1だが, 「インパルス関数」（{0}
の定義関数）なら, ∫δ(x-a)dx=0.
（デルタ関数は通常のルベーグ積分論の範疇じゃないけどね. 積分論では被積
分関数の値域に∞を許す流儀が多いので, 「一点で∞,その他で0の値をとる関数」
を考えてよいが, その積分値は0だ）
0355348
2005/11/10(木) 15:34:46>δ(x-x(i))が、x(i)で0,その他で1な関数というつもりなら、ディリクレ関数は
>Σδ(x-x(i))ではない.（関数値1の点が重なりまくって無限に大きくなってしまう）
全く逆。
x=x(i)で1、それ以外で0
ちなみに関数の平行移動は高校1年生のカリキュラムだったと思います。
>結局「インパルス関数」と「デルタ関数」を同じ記号δで書くものだから,
>ごっちゃにしてるのだろう.
個人的にはごっちゃにしたくないので困ってるわけですが
多くの書物はごっちゃ表記してます(伊藤 自動制御、名著と言われてます。多くの大学で教科書として使われてます)
振幅1のディジタル信号列 u(n)=Σδ(t-kT), n=1,2,...、
をラプラス変換してU(s)=1/(1-exp(-Ts))
とか。ちなみ一般にディジタル信号列を
x(n)=Σx(kT)δ(n-kT)
とする表記はディジタル信号を扱う書物ではどれにも使われてます。
また、本によってはδとδpと分けて書いてるものもあります(小島 Z変換入門など）が
むしろごっちゃにしてるものがほとんどです。δの方は面積、δpの方は振幅を1にして、
ごっちゃにしてる場合は、それぞれ読者が勝手に判断する。
まぁ信号処理の方はあくまでも関数値を抜き出す便法という意味でδ関数を深く考えず適当に使ってるだけかもしれませんが。
>普通のルベーグ積分論では測度Pのほうを変えるのだが,
>一点で∞,その他で0の値をとる関数を考えてよいが, その積分値は0だ
工学、物理においてもL2空間というかヒルベルト空間を前提にすることがほとんどで、
ベースとしては数学をツールとして使うのでそこに認識のズレがあっては何かと不都合です。
δ関数は一点で∞というより、面積∞で幅0の関数なのでルベーグ積分でも0ですよね。
ここであげられた関数というのはあくまでも一点で∞それ以外で0の非δ関数という意味？
0356348
2005/11/10(木) 15:58:20E[X} = ∫X dP = ∫x・dF =∫x・p(x)dx
がまず与えられるわけですが、
離散系になると
E[X]=Σx P(X=x)
と書いたり。
E[X]=Σx p(x)
と書いたり。本によってさまざまです。
中学校からおなじみの離散系から確率を定義する場合、確率Pを使って
E[X]=ΣxP(X=x)
には何の違和感もなかったのですが、連続系との対応関係がどうもしっくりきません。
P.Z.Peebles、電子、通信工学のための確率論序説では
δ関数(δpではなく)を使って説明してたわけですが、数学書ではδ関数による説明は見たこともなく、
また、本来密度相当のdPが知らぬ間に離散系ではPと化ける部分がどうも釈然としなかったわけです。
工学じゃないんだから気分でδとδpを使い分けるようなことはふさわしくないと思ったんですが？
はじめあんまり深く考えてなかったんですが、
エクセンダールの練習問題でE[X]=Σa(k)PX=a(k)]を証明する問題を見て疑問をもちました。
ちなみにエクセンダールでは確率密度は一切登場しませんが。
0357３４８
2005/11/10(木) 15:59:10○δ関数は一点で∞というより、面積1で幅0の関数なので
0358１３２人目の素数さん
2005/11/10(木) 16:09:51×δ関数は一点で∞というより、面積∞で幅0の関数なのでルベーグ積分でも0ですよね。
○δ関数は一点で∞というより、面積∞で幅1の関数なのでルベーグ積分でも1ですよね。
0359１３２人目の素数さん
2005/11/10(木) 16:36:48問2 x_n(t)= n^2・t, 0≦t<1/n
-n^2・t+2n, 1/n≦t≦2/n
0, それ以外
をn->∞のとき[0,1]でルベグ積分せよ。
リーマン積分的に考えてるとlim∫とするか∫limとするかで結果が違ってきますが、ルベグ積分ではどちらをとるのでしょうか？
0360352
2005/11/10(木) 18:45:04平行移動が問題なのではなく、δの定義が問題なのだということがわかってほしかったのだが…。
数学的にあいまいなことを書くならせめて定義くらい書けよ。
ちなみに、「インパルス関数」の定義はここまでの書き込みをすべて読んでもいまだにあやふや
だ。多分一点のみで1（∞ではなく）という関数なのだろうが。
δ関数の藻前の理解は（再訂正でもまだ違うようなので勝手に直した↓）
＞δ関数は一点で∞というより、面積1で幅0の関数なのでルベーグ積分でも1ですよね。
のようだが、そういう直感的理解と厳密な数学を混ぜるから混乱しているという
ことはわかった。
0361１３２人目の素数さん
2005/11/10(木) 19:09:47「小島 Z変換入門」を引用しているので、じゃあそれを引用する: (p.4-)
-------
x(n)=Σx(kT)δ(n-kT)
の表示式でサンプル値系列を数学的に扱うのはδ(nT)の数学的意味が不明なので
（このままでは離散値系列のラプラン変換ができない！）不便である. そこで
もっと数学的取扱いが明確にできるf(nT)の表現式を得ることを考えよう.
---
「数学的意味が不明」と認めてるだろ。
もちろん、この後の記述が数学的に厳密かというとまだ全然なわけだがw。
（この手の本は大学の教科書だろうがなんだろうが数学としてはデタラメなので、
記述の正当性を厳密に考えはじめると急にわからなくなるのは当然）
数学的に厳密なδ関数の取扱いは可能だが、そこでは「積分」はすでに単純なルベー
グ積分の意味ではなくなる。
（「ほとんどいたるところ」0という値をとる関数のルベーグ積分値は、どうあがこうと
1にはならない。0だ。「面積1で幅0の関数」など（RからRへの写像としては）存在し得ない）
ΣxP(X=x)を（超関数を使わず普通の積分論の範囲で）積分として表したければ、スティルチ
ェス測度によるルベーグ・スティルチェス積分を使えばよい。
その意味でE[X] = ∫X dP = ∫x・dFまではよいが、F(x)が不連続なら（藻前の用語で「離
散系」の場合がそれ）、dxに対する密度は存在しないので、=∫xp(x)dxとは書けない。
0362１３２人目の素数さん
2005/11/10(木) 19:17:23ルベグ積分でも, 収束定理の条件が満たされていなければlim∫と∫limの結果は一般に
異なる.
題意がどちらを計算せよと言っているのかは数学ではなく国語の問題だろう.
0363348
2005/11/10(木) 21:16:04>数学的にあいまいなことを書くならせめて定義くらい書けよ。
>ちなみに、「インパルス関数」の定義はここまでの書き込みをすべて読んでもいまだにあやふや
>だ。多分一点のみで1（∞ではなく）という関数なのだろうが。
これ以上どう書けと？しかも小島のZ変換入門を持ってるならそこに記載されてるδpの意味で書いたことは
>>355で書いたはずだが。
>δ関数の藻前の理解は（再訂正でもまだ違うようなので勝手に直した↓）
>＞δ関数は一点で∞というより、面積1で幅0の関数なのでルベーグ積分でも1ですよね。
スマソ。何度も何度も。ぼけてた。
>数学的に厳密なδ関数の取扱いは可能だが、そこでは「積分」はすでに単純なルベー
>グ積分の意味ではなくなる。
>（「ほとんどいたるところ」0という値をとる関数のルベーグ積分値は、どうあがこうと
>1にはならない。0だ。「面積1で幅0の関数」など（RからRへの写像としては）存在し得ない）
じゃ、L2空間を前提としながらδ関数を持ち出すのはデタラメってこと？
0364348
2005/11/10(木) 21:27:20>ことはわかった。
δ関数の定義はもともとそういう直感で定義したものでしょ？
連続関数から点を抜き出すために定義した。
f(a) = ∫f(x)δ(x-a)dx
とするために便宜上考えられたものじゃないの？
それで、
f(x)=1の場合、∫δ(x)dx = 1
ってところから面積=1と考えられるということ以外に定義のしようがないんじゃないの？
δ関数自体フィクションってことかな？超関数論は読んだことないけど。
0365348
2005/11/10(木) 21:29:39>普通のルベーグ積分論では測度Pのほうを変えるのだが, dPをあくまで普
>通の積分と思うなら,
下の"普通の"って意味は？リーマンってこと？
上はルベグの意味だよね。
次にも"普通の"ってのがある。こっちは非超関数の積分ってことだね。
>ΣxP(X=x)を（超関数を使わず普通の積分論の範囲で）積分として表したければ、スティルチ
>ェス測度によるルベーグ・スティルチェス積分を使えばよい。
つーか、これまでの藻前の説明ではδ関数のような"普通の積分"じゃない積分を
必要とする関数をルベグ積分を前提としたところで持ち出すこと自体適当じゃないってことだよね。
かりに分布関数を持ち出してステルチェス積分∫x dFを使ったところで、
最初の期待値の定義
∫XdPの離散系がΣxP(X=x)
となってdP->Pとなってることの説明にはなってないんですが？dPはどこかで積分しないとPにならない。
0366１３２人目の素数さん
2005/11/10(木) 21:56:000367348
2005/11/10(木) 23:23:11が直接説明できないので、分布関数Fをm([a,a])=1で一旦積分しといて、
∫XdP->∫xdF->ΣX・P'
ってことでしょ。確かにP'っていう元のPとは異なるものを
持ち出すならその説明はわかるけどね。
俺は、連続系と離散系の確率Pをそれぞれ使い分けてる本を知らない。
あるいは連続系->離散系の測度変換に言及してるものとか、
P==P'の一意性を説明してるものとか、あったら紹介して。
0368１３２人目の素数さん
2005/11/10(木) 23:41:000369１３２人目の素数さん
2005/11/11(金) 01:35:41（特定分野の方言？）, 話の流れからすると要するにδ_p(x)=1(if x=0), =0(if x≠0)って
ことだな？ それに対して δ(x)はディラックのδ関数であると.
なら, 要するにこういうことだろ.
∫δ(x-a)dx=1, ∫f(x)δ(x-a)dx=f(a) （δは超関数なので,この積分もそこでの意味）,
∫δ_p(x-a)dx=0,∫f(x)δ_p(x-a)dx=0 （δ_pは普通の関数なので, この積分はルベーグ積分）
x=a(1),a(2),… において値x(1),x(2),… をとる離散関数は, Σ x(i)δ_p(x-a(i)) .
（x(i)=1,∪a(i)=Q の場合がディリクレ関数.） それを（ルベーグ）積分すれば0.
Σx(i)δ(x-a(i)) のほうは, 「数列x(1),x(2),…のグラフ」としてはやや意味不明だ
が, その「積分」は数列の和 Σx(i) を与える点が便利. ラプラス変換もこちらでなけ
ればできない. ディジタル信号のことは知らんが, 振幅とかのイメージはともかく
数学的計算ではつねにΣx(i)δ(x-a(i))のほうを使うはず.
確率変数Xの場合は, 分布のグラフ（「分布関数」にあらず）は関数 ΣP(X=x(i))δ_p(x-x(i))
で表現できるが, 「分布密度関数」は ΣP(X=x(i))δ(x-x(i)) のほう.
（分布関数F(x)=Σ[～x]P(X=x)は階段状だから, dF(x)=ΣP(X=x)δ(x-x(i))dx ）
dP = dF(x) = ΣP(X=x)δ(x-x(i))dx より,
∫dP = ∫ Σ P(X=x)δ(x-x(i))dx = ΣP(X=x(i)) = 1. （δの定義でf(x)=P(X=x)とおいた計算）
E(X) = ∫XdP = Σ∫xP(X=x)δ(x-x(i))dx = Σx(i)P(X=x(i))
てことでどうよ
0370１３２人目の素数さん
2005/11/11(金) 05:06:03>∫XdPの離散系がΣxP(X=x)
>となってdP->Pとなってることの説明にはなってないんですが？dPはどこかで積分しないとPにならない。
Pは関数じゃなくて測度であることに注意。
∫XdPは∫X(ω)P(dω)の略記。
P(X=x)はP({ω;X(ω)=x})の略記。
それと、「確率」はなんでもかんでもPと書くが、確率空間が異なれば測度と
しては別物。そして離散確率空間と連続確率空間はもちろん別物。
ルベーグ積分の定義は、fが単関数の場合に∫f(x)μ(dx)=Σf_iμ(A_i)とする
ところからすべて始まる。一般のfの∫fdμは単関数列f_nで近似してlim∫f_n dμ
で定義する。
だからもしμが離散測度ならfが単関数でなくても∫fdμ=Σf(x_i)μ(x_i)という
和になる。
この場合、測度μはルベーグ測度に対する密度をもたず、∫fdμ=∫g(x)dxのように
書くことはできないことが証明される。（このような測度変換の一般論は、ラドン・ニ
コディムの定理等としてルベーグ積分論の本にはどれにでも出てる。）
超関数を密輸入して形式的に∫fdμ=∫f(x)Σδ(x-x_i)dxと書くのは勝手だが…
0371１３２人目の素数さん
2005/11/12(土) 03:42:24測度の記述がいまいちだってアマゾンの書評で見た。
ぱらぱらめくって、なによりザット見てドイツ文字があまりに多くてわけわかめになった。
手元に
吉田、ルベグ積分入門
志賀、ルベーグ積分から確率論
竹之内脩、ルベーグ積分
があるんだけど、伊藤でないと手に入らない情報って何？ここがわかりやすいとか、
竹之内で勉強進めていくつもりなんだけど？注意点とかあったらアドバイス下さい。
0372１３２人目の素数さん
2005/11/12(土) 03:52:57ノートに書き出しながら？
できるやつは目で追うだけでわかるのかな？
できない漏れは書かなきゃ展開についていけない。
0373１３２人目の素数さん
2005/11/12(土) 14:06:17伊藤は微積における高木「解析概論」みたいなもので、良くも悪くも本格的。記述が古いし、
議論の進め方には洗練されていない部分も多い。しかし面白い反例などでこの本にしか載っ
ていないものもある。漏れがいいと思うのは後半の関数解析への応用部分(ノルム空間とか)。
吉田は本格派だがよくまとまっており悪くない選択と思う。
志賀は変わった話題が入っているのが特徴だが、その犠牲で？微分論やラドン・ニコ
ディムの定理関係が全く入ってないのが問題。証明は説明や議論の省略が多く初心者
には難しいと思う。（逆にいうと質問できる先生がいるのなら教育的で勉強にはなる。
演習も多いし。というか重要補題が問になってたりする）
竹之内は薄いが必要な話題はちゃんと入ってるのでいろんな定理の位置付けマップが
頭の中にできやすい。第一章の導入も読みやすい。が、積分の定義や基本性質の証明
が独特でしかも非常に読みにくい。
なお新しい本でよさげなのに小谷、盛田などがあるが、小谷は私の評価では微妙。
ラドン測度の扱いなどがよくまとまっているが、積分の定義や基本性質の証明は伊
藤の完全コピー。読みやすくなってはいるが…
盛田（「実解析と測度論の基礎」倍風館）は教育的で概念の分析も行き届いており
非常にいい。掘り出し物と思うのだがほとんど話題にならないのは何故だろう。値
段が高いのもあるのだろうが…
0374373
2005/11/12(土) 15:44:08共立だったかの小さいやつだよな？ あれは微妙
なんか、>>371の「手元にある本」って、薄い物ばかりじゃないか？w
（志賀は普通の厚さだがルベーグ積分部は半分だけだし）
難渋とか内容過多で厚いのは避けるとしても、薄い本は説明に省略が多くて行間を
埋めるのが大変だよ
0375１３２人目の素数さん
2005/11/12(土) 17:51:57お勧めは盛田ってこと？
0376１３２人目の素数さん
2005/11/13(日) 00:50:320377ﾕﾟﾓcﾘaﾖ& ◆7KQ.HqW4rY
2005/11/13(日) 03:21:230378１３２人目の素数さん
2005/11/13(日) 13:24:430379& ◆ic.a3Xr61Q
2005/11/13(日) 16:06:470380１３２人目の素数さん
2005/11/13(日) 17:28:500381１３２人目の素数さん
2005/11/13(日) 17:31:420382373
2005/11/13(日) 18:02:58溝畑はかなり特殊（階段関数や測度的収束をメインにしている点など特に）。
普通の微積分の延長ぽい感じが入りやすいが、あとでそのツケがきて、かえ
って回り道になると思う。積分をはやく導入しようとした割には、けっきょく
測度の理解も要求するため、理論構造が見えにくい。（もし測度論を最小限に
するならもっといい方法があるし、そうでないなら測度の役割をわかりやすく
するべき）
>>377
本格派の中では判りやすい方だと思うが、今となっては「いちばん」では全然
ない。まあ「普通」。議論等にとりたてて特徴はない（それがいいのかもしれ
ないが）。
>>381
新井は導入がわかりやすく説明も丁寧だが、そのぶん最小限のことしか書かれておら
ず積分論の数学書としては食い足りない。物理や工学でちょっとかじろうという向き？
（ベシコヴィッチ集合などの話題は面白いが、とってつけた感じになってるのが残念。
それだけなら雑誌に載った原稿のほうが勝ってたような…）
0383１３２人目の素数さん
2005/11/13(日) 18:32:52結局どれが一番お勧めよ？
0384１３２人目の素数さん
2005/11/13(日) 18:35:050385１３２人目の素数さん
2005/11/13(日) 19:15:45漏れの意見では盛田だが、時間をかけるなら
(1)新井or志賀浩二 （省略可）→ (2)盛田 → (3)伊藤（できれば）
(1)は完全初心者の場合、測度・σ加法性のイメージ作りにはよい。（が、積分理論部分はヌルすぎ）
(2)は導入部も長く丁寧なので、これだけでもたぶん十分。（「導入が不要な
ら飛ばしてもよい、独立した読み物」である第一章が50ページもある）
(3)は原典というかタネ本なので（参考文献に頻出）、最終的には見てほしい。
名作劇場にたとえると（たとえるな！）、アニメ→完訳→原書という感じかw
（ちなみに漏れ自身は溝畑→竹之内→三村（現代数学概説２）→伊藤→(ry
だた）
0386１３２人目の素数さん
2005/11/13(日) 20:37:04アマゾンの書評を信じるのは、数学板にくるものとしては
どうかと思うな。あの書評はむごい。
できの悪い学生が、落ちこぼれた恨みで教科書を叩いている感じ。
特に、いわゆる名著ほどターゲットにされている。
0387１３２人目の素数さん
2005/11/13(日) 20:39:47それはそれで気持ち悪い。
amazonの書評も、もっといろんな奴がたくさん書けばいいんだよ。
名著は自然といい評価が多くなるだろうし、逆もまた然り。
民主主義でいこうぜ。
0388１３２人目の素数さん
2005/11/13(日) 20:41:12名著だと思ったならマンセーしてもいいんじゃないか？
0389１３２人目の素数さん
2005/11/13(日) 20:43:04むしろ、名著であるという評判だけで貶しまくっているのが
アマゾン・クオリティｗ
0390１３２人目の素数さん
2005/11/13(日) 20:44:34名著だと思ったならマンセーしてもいいんじゃないか？
0391１３２人目の素数さん
2005/11/13(日) 20:45:130392１３２人目の素数さん
2005/11/13(日) 21:05:59名著だと思ったならマンセーしてもいいんじゃないか？
0393１３２人目の素数さん
2005/11/13(日) 21:20:09むしろマイナーだけどいい本がプッシュされて欲しいような気がする
0394１３２人目の素数さん
2005/11/13(日) 21:22:06「マイナーだがいい本探し」は眼力ないとできない
0395１３２人目の素数さん
2005/11/13(日) 21:23:260396１３２人目の素数さん
2005/11/13(日) 22:55:110397１３２人目の素数さん
2005/11/13(日) 23:00:470398１３２人目の素数さん
2005/11/13(日) 23:21:47ところで、高木なんかをちゃんと読んだ奴いるのか？俺は立派に軽装版を本棚につん読だ。
高木の範疇だとじっくり読むより、しっかり計算できることが大事だと思うのだが？
0399１３２人目の素数さん
2005/11/14(月) 00:06:00すれ違いになるが、解析概論の良さは例や演習問題が豊富なことで
その「しっかり計算できる」ようになるための本だと思うが。
下手なコピペ本は、枝葉を切り落としており具体的な計算例に乏しい。
例が豊富すぎて読めない→高木の古臭さだけ眺めて叩くって感じｗ
0400１３２人目の素数さん
2005/11/14(月) 01:17:12高木の「Ｌ積分論」w 部分は用語等古すぎるうえ記述も不親切すぎるので、
さすがに薦められないが、思想的には一つの原点をなしている。これの位置
付け・評価については、
ttp://www.math.tohoku.ac.jp/~hattori/kaiseki1.pdf
の末尾にある文献表のコメントが参考になろう。（河田・三村「現代数学概説２」が高
木路線の徹底化であるという意見には特に同意。河田・三村の詳細さ、飛躍のなさは伊
藤なみで、たいへん読みやすいのでお薦め。）
なお上記コメント中の、「測度正で疎な閉集合」およびその応用として「リー
マン非可積分で、ルベーグ不定積分の微分が各点で元に戻る関数」についての
記述がどの日本語教科書にもないという批判は、その後出版された盛田にはあては
まらないことを注意しておく。
0401１３２人目の素数さん
2005/11/14(月) 02:11:43コメントもしっかりしている。
「測度正で疎な閉集合」あたりの注意も、今はけっこう知られるように
なったんだが…
へたにそういうことを２ちゃんで書くと「数ヲタのオナニー」とか、
わかってもないのに茶化すヤツが出てくるので書きにくいんだよな。
0402１３２人目の素数さん
2005/11/14(月) 05:38:10書きたいヤツが書いてあの状況。
書評に書くのに制限ねーだろ。
0403１３２人目の素数さん
2005/11/14(月) 11:03:28>すれ違いになるが、解析概論の良さは例や演習問題が豊富なことで
>その「しっかり計算できる」ようになるための本だと思うが。
それは高校時代に既にチャート式や大学への数学の演習問題とか解探II、学コンあたりで終わってる。
大学に入ってから微積の計算演習を再び繰り返すまでもないだろ？
それとも教科書傍用の問題集とか受験参考書あたりをすっとばして解析概論から手をつけたのかい？
それなら話はわかるし、実際そういう奴もいるらしいが。
0404１３２人目の素数さん
2005/11/14(月) 12:18:02じゃ、密な集合って何？
0405服部
2005/11/14(月) 12:26:25不正アクセスで訴訟起こしますよ。
0406１３２人目の素数さん
2005/11/14(月) 13:46:090407１３２人目の素数さん
2005/11/14(月) 16:17:12痛い知ったかみっけｗ
0408１３２人目の素数さん
2005/11/14(月) 17:36:02服部ノートの
>「測度正で疎な閉集合」およびその応用として「リーマン非可積分で、ルベーグ不定
>積分の微分が各点で元に戻る関数」についての記述がどの日本語教科書にもないとい
>う批判
は大嘘. たとえば1965年刊の吉田洋一にもくわしく載っている（巻末付録の「反例集」）.
「測度を最小限にした意欲作」にしても, 一松信のほうが重要文献と思うが知らないようだ.
講義ノートの註釈（証明不備の指摘etc）等を見る限り, 服部氏は参考文献にあげら
れている本以外にはほとんど目を通していないとみえる.
伊藤清三批判としては面白いノートだが.
0409１３２人目の素数さん
2005/11/14(月) 17:47:00内点をもたない集合を縁集合という。「うすっぺら」という感じ。
閉包が縁集合である集合を疎な集合という。「まばら」という感じ。
ちなみに、疎な集合の高々可算個の合併になっている集合を第一類集合という。「やせた」という感じ。
密なほうは、稠密集合・完全集合・凝縮集合・第二類集合などの概念がある。
位相空間の本嫁。
0410１３２人目の素数さん
2005/11/14(月) 17:52:340411１３２人目の素数さん
2005/11/14(月) 19:07:02それにしても、日本語はあいまいだし、単語が変に難しいから英語でお勧めっていうのないか？
0412１３２人目の素数さん
2005/11/14(月) 19:07:48兄貴の業績は価値あるけどな。
0413１３２人目の素数さん
2005/11/14(月) 19:19:56お前フランス語読めるの？
0414１３２人目の素数さん
2005/11/14(月) 19:28:420415１３２人目の素数さん
2005/11/14(月) 22:49:24小谷と「測度と積分」は同じ本なのですが・・・
0416１３２人目の素数さん
2005/11/14(月) 23:24:16>>411
Rudinさんの本とか
>>415
測度と確率だったような
0417１３２人目の素数さん
2005/11/14(月) 23:43:27数学に限らず特定分野の良著なんて実際にその分野の専門家に口伝で聞くしかなかったのに
ネットのおかげて簡単にそういった情報が入手できる。
どれで勉強すればいいかって情報はすごく大事だからな。
ルベグ積分なんて全く学生時代のカリキュラムになかった工学部出身の俺としては全く有難い限りだ。
あとは老体に鞭打って勉強させていただくよ。
それにしても書店の数学関連書籍の売り場面積ってめちゃくちゃ減ってるな。
紀伊国屋でも旭屋でも15年前の半分ってとこかな。しかも廃刊になったり、リクエストに何とか答えて復刻したり。
数学屋さんも大変だな。仕方がないので出身大学の図書館に行ってきた。
0418１３２人目の素数さん
2005/11/15(火) 00:02:05そう、確率だった。同じ本の評価が異なるのが気になったんだよ。
0419１３２人目の素数さん
2005/11/15(火) 00:08:58アマゾンで買わないと。それか神保町。
紀伊国屋は図体がでかいだけで学術書を買うための本屋じゃない。
0420１３２人目の素数さん
2005/11/15(火) 00:09:11院以上では今でもそれに近いかも
自分のサイトで書評を公表してる院生とか研究者とか居ない限り
0421１３２人目の素数さん
2005/11/15(火) 00:19:32アマゾンでいきなり買うのは簡単だが専門分野じゃないこういう本はまでいきなり買うと保管スペースがいくらあっても足りん。
実際見てからアマゾンで買うことにしてる。
>紀伊国屋は図体がでかいだけで学術書を買うための本屋じゃない。
それは最近の話だ。適してるかどうか知らんが昔は数学書は今の倍ぐらいあった。
今でも俺の専門分野なんかはそれなりに充実してる。つまり、採算ベースに合わないものはそれに見合った対処してるだけだ。
0422１３２人目の素数さん
2005/11/15(火) 00:26:070423１３２人目の素数さん
2005/11/15(火) 00:28:22>院以上では今でもそれに近いかも
書籍はたしかにそうかもしれんが、工学の場合は半世紀も前の書籍が通用する世界じゃない。
1世紀前の書籍読んで云々は教養までだな。こういうのは院試と資格試験以外でお目にかかることはない。
あと主要なものは書籍じゃなくて論文を読んで対処しないとだめだな。
本になるのを待ってる間に過去の遺物になってる場合が多い。
0424１３２人目の素数さん
2005/11/15(火) 00:30:31読むだけなら大学の図書館がいちばんいいよ。数学みたいに新刊が少ないものはほぼすべて揃ってる。
ジュンクは皆がべたべた触ってるから買う気せんだろ？
0425１３２人目の素数さん
2005/11/15(火) 00:48:36生命科学の場合は15年も（りゃ
0426１３２人目の素数さん
2005/11/15(火) 00:58:24これまでの経験則が通用しない時代になってしまった。
0427１３２人目の素数さん
2005/11/15(火) 05:16:44院以上ってリサーチャなのに書籍なんか読んでて研究になるのか？書籍読むのは学部までだろ？
当然読むのは論文だよな。
0428１３２人目の素数さん
2005/11/15(火) 07:23:24凄いな
0429１３２人目の素数さん
2005/11/15(火) 07:29:23つか半導体の研究者のレベルは低下してるだろ？
工学部の電気系なんて、昔やってた量子力学の
講義をやらなくなったりしてるらしいじゃないか。
徹底した実験主義の弊害で頭が悪くなったんだろう。
0430１３２人目の素数さん
2005/11/15(火) 08:01:44数学科では工学部と違って学生の頭が悪いから
卒業論文とかは無いんだよｗ
どうせ学生には無理だから
0431１３２人目の素数さん
2005/11/15(火) 08:15:57違うよ
0432１３２人目の素数さん
2005/11/15(火) 08:20:47ルベーグも含めて、微積とか線形とかの基礎数学は｢二番煎じの解釈本」しかありえんだろ。
開発者は複数だし原論文は古すぎだし
0433１３２人目の素数さん
2005/11/15(火) 16:21:36>工学部の電気系なんて、昔やってた量子力学の
実情もなーんも知らんあほが生意気に。
量子力学を工学部の専門のカリキュラムで履修させるような大学自体がゴミよ。
あんなもんは工学部、理学部にかかわらず、物理の一般教養カリキュラムだ。実質物理事情には全く無関係の数学屋は知らんが。
もし、どういう理由かわからんが、カリキュラムの大枠変更があって専門に入ってから履修させるとしても、
学科が細分化されて、電気系というような大枠が消滅する大学が減って、半導体を扱う学科は電子物性とかの別学科になったんだ。
主にシステムを扱う電気系で、量子力学の履修を必要としない学科も中にはあるんだろう。
実際、俺自身実務で必要になったことなんてないしな。
しかし、半導体を扱う学科で量子力学を履修させないような大学があるかよ。
理系として、世間で生きていくのに必須な知識すら持ち合わせてない数学屋は工学部の心配するより自分の就職の心配でもしときな。
つーか数学科出身でアカポスの目処がなければプロ不合格の棋士と同じでゴミだけどな。
0434１３２人目の素数さん
2005/11/15(火) 16:23:42↓
訂正・・・電気系というような大枠で入学募集する大学が減って
0435１３２人目の素数さん
2005/11/15(火) 16:27:580436１３２人目の素数さん
2005/11/15(火) 16:33:30そこで「よくわかる」「単位が取れる」ですよｗ
0437１３２人目の素数さん
2005/11/15(火) 17:27:57数学の研究者のレベルはそんなに向上してるのかい？
昔やってた講義をやらなくなったりしてるのは数学科とかでも同じかと
（いわゆるεδとかね）
>>433が教養で生命科学の人間とかと一緒に学ぶのと、
例えば物理学科の学生が量子力学の講義を受けるのを
同じレベルで語ってるのはどうかと思う
それに数学屋で量子力学に関連した研究をしてる人はいくらでも居るのに、知らないのかな
＞俺自身実務で必要になったことなんてない
＞世間で生きていくのに必須
どっちかはっきりさせてして欲しいな
というかそれよりも実解析の話に戻ろうぜ
工学部のカリキュラムとかあまり関係ないから
0438１３２人目の素数さん
2005/11/15(火) 18:56:40そういうのは世間が必要としてる数学屋じゃない。必要ないね。大体、今頃量子力学の研究か？時代錯誤なんだよお前。
数学屋ってよっぽど焼きなおしが好きなようだな。そんなんじゃなにも新しいことは生まれない。
＞世間で生きていくのに必須
あほの数学屋がそういってくると思った。俺自身量子力学を必要とする業務ではないから経験を述べたまでなんだが、
理系として世間でいくて行くのに必須の知識なりスキルなりを言ってやるよ。
これはあくまでも大学以外に就職するときを前提にした話だが、
あなた、何ができますか？
ってことだ。会社はあなたに何を期待できますか？だ。
理系が生きていくには低レベル路線では、、
・機構設計できますか？
・回路設計できますか？アナログですか？ディジタルですか？
・ファームウェア開発できますか？HDLは使えますか？Modelsimは使えますか？FPGAは使えますか？ASICは？
・ソフト作れますか？使える言語は？
もうちょっと上のレベルでいうと、
・会社に利益をもたらすような研究ができますか？
・どの学会のどの部会に所属してますか？XXの標準化を弊社技術に有利なようにまとめれれますか？
・何か特許お持ちですか？資格はどうですか？
答えてみろ。給料見合った何ができる？
まさか何もできないんじゃないよなぁ？会社は給料支払うんだよ損な、じゃなかった
そんなお前に。
フビニの定理を証明をできます。じゃ金にならねえんだよ。
0439１３２人目の素数さん
2005/11/15(火) 19:06:000440１３２人目の素数さん
2005/11/15(火) 19:13:21そういうスレがあるんだからそっちで言ってほしいんだが、、
＞世間が必要としてる数学屋じゃない。必要ないね。
誰も世間に必要とされてるとか言ってないけど、、
そもそも数学屋（と工学部の連中が呼ぶ分野）で、需要があるのって
せいぜい統計とか暗号理論とかくらいしかだろ
お前は金にならないから人類学科とか文学科とか哲学科とか天文学科とかは
全部要らない、と言うのか？
＞大体、今頃量子力学の研究か？時代錯誤なんだよお前。
量子力学そのものの研究してる数学者とか居るのかなあ
ってか一寸お前しか知らない専門知識を無駄に出しすぎだと思うぞ
それに数学科出身の人は結構（少なくとも海外では）
「会社に利益をもたらすような研究」してたりするよ？
プログラムのアルゴリズムの部分の考案とかね
一人じゃソフトを全部は作れない人が多いだろうけど（中には作れる人も居る）
0441１３２人目の素数さん
2005/11/15(火) 19:13:51>>406
同意
0442１３２人目の素数さん
2005/11/15(火) 19:22:12だったらこたえるな
0443１３２人目の素数さん
2005/11/15(火) 20:07:12>せいぜい統計とか暗号理論とかくらいしかだろ
>プログラムのアルゴリズムの部分の考案とかね
数学者を目指してるならそれでいいが、もし就職なんかを考えてるなら明日にでも若者向けのハロワにでも行って
勉強して来い。このままテキトーに就職したらお前一生後悔するぞ。
0444１３２人目の素数さん
2005/11/15(火) 20:13:00過去に数学やってる奴との間にいやな事でもあったのか。
0445１３２人目の素数さん
2005/11/15(火) 20:23:540446１３２人目の素数さん
2005/11/15(火) 21:28:26＞・回路設計できますか？アナログですか？ディジタルですか？
＞・ファームウェア開発できますか？HDLは使えますか？Modelsimは使えますか？FPGAは使えますか？ASICは？
＞・ソフト作れますか？使える言語は？
ほんと、低レベルｗ
0447１３２人目の素数さん
2005/11/15(火) 21:29:49自分の好きだった女性に抜け駆けで求婚して（りゃ
0448１３２人目の素数さん
2005/11/15(火) 21:31:40>>447
スレ違い死ね
0449１３２人目の素数さん
2005/11/15(火) 21:34:190450１３２人目の素数さん
2005/11/15(火) 21:43:57低レベルね。じゃぁさ。メルセンヌツイスタ漬かった長周期乱数MT19937を
明日中にXilinxのspa3で100MHzで動作させるように、Verilogで作っといてくれ。
テストベンチも含めてよろしくな。
極めて低レベルの数学科卒業の新人君にふさわしい仕事。できるよな。明日楽しみにしてるわ。
0451１３２人目の素数さん
2005/11/15(火) 21:44:310452１３２人目の素数さん
2005/11/15(火) 21:46:500453１３２人目の素数さん
2005/11/15(火) 21:50:21数学屋にとってこれぐらいは知ってるだろうからあえて書いてやったまでのこと。Cでアルゴリズム公開までしてたしな。
低レベル数学屋でもこれぐらいはできるだろ？
なんなら、M系列でもいいよ周期 2**31-1でいいや。メルセンヌツイスタ使う部分以外基本的に同じだから。
作業量としては同じだ。
0454１３２人目の素数さん
2005/11/15(火) 21:52:43オッサンよほど何か悔しいことがあったんだね。栗鼠寅に耐えろよ
0455１３２人目の素数さん
2005/11/15(火) 21:56:19＞フビニの定理を証明をできます。じゃ金にならねえんだよ。
と書きこむオッサンって、どんなヤツなのか興味あるよなあ。
グロタンスレに「EGAじゃあ金にならねえんだよ」と書くオッサンは
いないと思うので、フビニあたりがちょうど工学コンプの壁なのか？
すれ違いでももうちょっと引っ張ろうぜｗ
0456１３２人目の素数さん
2005/11/15(火) 21:59:47だからそれを含めてスレ違いを続けるなっていってんだよ
0457１３２人目の素数さん
2005/11/15(火) 22:01:431番目はε-δ
0458１３２人目の素数さん
2005/11/15(火) 22:05:050459１３２人目の素数さん
2005/11/15(火) 22:14:17スレ違いのレスを周りから指摘されても、まだ続ける人が、
少なくとも一人存在することは分かった
0460１３２人目の素数さん
2005/11/15(火) 22:17:21ルベーグ以前に、位相のイメージがつかめず逃げるように数学科卒業したってやつな。位相の前にε-δの単なる証明テクで
けつまづいてりゃ世話ないな。おまえには数学屋になる能力なんか初めからないんだよ。恨むなら親でも恨め。
0461１３２人目の素数さん
2005/11/15(火) 22:19:010462１３２人目の素数さん
2005/11/15(火) 22:20:230463１３２人目の素数さん
2005/11/15(火) 22:21:39いこうぜ最後まで。その気になればあっという間に埋め立ててやるぜ。
0464１３２人目の素数さん
2005/11/15(火) 22:22:29社会適合者君
0465１３２人目の素数さん
2005/11/15(火) 22:26:350466１３２人目の素数さん
2005/11/15(火) 22:30:26もう出てくるな
0467１３２人目の素数さん
2005/11/15(火) 22:30:430468１３２人目の素数さん
2005/11/15(火) 22:31:560469１３２人目の素数さん
2005/11/15(火) 22:34:07まだ荒らし足りないのか？
0470１３２人目の素数さん
2005/11/15(火) 22:36:31お前荒らしだろ？
0471１３２人目の素数さん
2005/11/15(火) 22:39:540472１３２人目の素数さん
2005/11/15(火) 22:40:58パーマネントのアカポスを志望しながらも職のない人の総称。若い時分や
学振PDや任期つき助手をやっているうちは、普通は崩れとは呼ばれないが
厳密な境界はない。
***崩れの分類***
[ポス屑]
元崩れ。今じゃ百番煎じ論文すら書けなくなった。プロ市民化して
コネを激しく攻撃するが、自分が崩れたのは実力であったことは無視ｗ
[ゴミ]
誰も読まない百番煎じ論文くらいを細々と書いて、アカポスに
なんとかしがみついている人。カスやポス屑はいれない。建部崩れはここｗ
[カス]
百番煎じ論文すらほとんど書けず、多くは学位すらない。アカポス競争の
資格すらない最低層。
ゴミは駒場、カスは百万遍が名産地とされる
0473１３２人目の素数さん
2005/11/15(火) 22:42:010474GiantLeaves ◆6fN.Sojv5w
2005/11/15(火) 22:42:470475１３２人目の素数さん
2005/11/15(火) 22:43:360476１３２人目の素数さん
2005/11/15(火) 22:47:240477１３２人目の素数さん
2005/11/15(火) 23:41:29崩れの怨念
良スレは許さない
0478１３２人目の素数さん
2005/11/16(水) 00:11:050479１３２人目の素数さん
2005/11/16(水) 00:23:40たいして変わらんわな。昔は、数学板荒らしの多くは後者だった。
どこぞの208も、工学ではないようだが数学コンプの社会人ｗ
0480１３２人目の素数さん
2005/11/16(水) 00:39:36自己紹介乙。カスだ罠。生きる価値ないから死ねよ。
0481１３２人目の素数さん
2005/11/16(水) 00:42:41そりゃ狂う罠、ズ・タ・ボ・ロ
0482１３２人目の素数さん
2005/11/16(水) 00:46:160483１３２人目の素数さん
2005/11/16(水) 00:51:420484１３２人目の素数さん
2005/11/16(水) 01:06:15向こうでも「小僧」「学生」とか煽っているのは同じオッサンなんだろな…
0485１３２人目の素数さん
2005/11/16(水) 01:08:40ルベーグを勉強しようとしただけでも、偉い偉いｗ
0486１３２人目の素数さん
2005/11/16(水) 01:26:44フビニの定理にしろ収束定理にしろ証明が必要なのは数学科だけだ。
それ以外の分野でははそれらの定理がexcuseなしに成り立つ便利な
道具ってだけでL^2空間を前提にして話を進めるんだ。
残念だったな、人様がやった証明をせっかくまる覚えにしたのに生かす場面がなくてな。
0487１３２人目の素数さん
2005/11/16(水) 02:23:59数学科の人間がルベーグ積分を勉強している場所にやってきて
「必要なのは数学科だけだ」とわめくオッサンｗ
0488１３２人目の素数さん
2005/11/16(水) 14:38:54フビニまで来ただけで立派なもんです。はい。
0489１３２人目の素数さん
2005/11/16(水) 14:56:470490１３２人目の素数さん
2005/11/16(水) 16:04:34～が成り立つことが知られている、だけで良いよね
高校の微積とかと一緒で
ってかルベーグ積分の結果って数理ファイナンスとかで使うんじゃないのかな
0491１３２人目の素数さん
2005/11/17(木) 02:26:04漏れは数学できないけど、ε-δとルベーグ積分が
数学できないヤツのコンプレックスの対象になってるってのは
よく理解できるよ。
だけど本当に数学できなかったことを自分自身が理解してる人は、
理解できてる人に対して「すごいなぁ。漏れもあんな風になりてぇなぁ」
としか思わない。で、実際わかるようになってみるとε-δって直感的にも実に単純明快で
難しいことなんてなにもなかったわけで、ルベーグ積分もそんな感じじゃないかと思うんだが、
そうなってくるとますます反感やコンプレックスの対象には成り得ないわけよ。
一連の工学屋の人は自分とは違う感じがする。
計算はよくできて高校数学は得意だった人がε-δやルベーグ積分に触れて理解できずに
高校数学で学ぶスタイルのまま就職したら金たくさんもらえたんで
落ちこぼれの烙印押された数学の理論的な部分（証明）を逆恨みしてるんじゃないかなぁ。
自分が頭が悪いことを結局最後まで認めることができないとこんな風になるんじゃないかと。
0492１３２人目の素数さん
2005/11/17(木) 02:44:420493１３２人目の素数さん
2005/11/17(木) 02:50:300494１３２人目の素数さん
2005/11/17(木) 03:20:18距離空間以外の、具体的な目的とかイメージが沸かず苦労する。上っ面にしか過ぎんεδなんかを概念としての
ルベーグ積分と対比させてよく事例に出せたな。εδなんかは練習問題こなせばすぐに慣れる。習熟の問題だ。
ルベーグ積分のほうは難しいというより全部証明追っかける労力が大変という話。
0495１３２人目の素数さん
2005/11/17(木) 03:25:32なりてえと思ってるなら努力するのが普通だが、努力もせず指くわえてみてるだけか？
0496１３２人目の素数さん
2005/11/17(木) 03:25:47逆に言えば、それに習熟してないでそれらをやろうとするのは
戦車に爪楊枝で突っ込むようなもんだな。
よくやるよなあと思う。
0497１３２人目の素数さん
2005/11/17(木) 03:39:22漏れは劣等生どころか学生ですらないからそういう煽りはピンとこないな(；´Д｀)
しかしわからないなぁ。なんで逆恨みすることがあるのかねぇ
他の分野の事柄を持ち出して、どうだ？わからないだろう？て書くのは中川もやってたな。
0498１３２人目の素数さん
2005/11/17(木) 03:57:180499１３２人目の素数さん
2005/11/17(木) 04:02:090500おじさん
2005/11/17(木) 14:24:020501１３２人目の素数さん
2005/11/17(木) 21:55:53集合はわかるが代数？
0502１３２人目の素数さん
2005/11/18(金) 00:02:080503１３２人目の素数さん
2005/11/18(金) 23:50:17訳わかんない。
「１対１の写像が作れる集合同士は、濃度が等しい」という概念が気持ち
悪かったが、めげずに途中の証明にあちこち詰まりながらもさらっと最後
まで読んでみた。
ルベーグ積分の例としてディリクレ関数のような極端な例を使ってるのが
多いのですが、そんな極端な関数ってそうそうあるもんじゃない気がする
ので、習得しても何に適用できるのかというイメージが涌きませんでした。
ルベーグ積分って物理で使いますか？使うんだったら多様体の写経が
終わったらこのスレの本を買ってみる。
0504１３２人目の素数さん
2005/11/19(土) 00:57:52“変な”関数が積分できるようになったから嬉しいのではなく，「積分可能」
な関数が極限操作について閉じるのが嬉しいの。
ディリクレ関数にしても，ただの三角関数から２回極限をとっただけで到達
してしまう．
実生活では有理数しか使わないのに，微積分には実数が不可欠なのと同じ。
（量子力学で用いるＬ２空間の完備性はルベーグ積分により保証される）。
ただ，微積をやるのに実数の論理的構成論を逐一理解しなくてもよいように，
積分の計算にルベーグ積分の構成論が要るわけではないから，「積分をルベー
グの意味で（広く）考えておけば，極限操作が安心して行え，関数空間も完備
になる」とわかってさえいれば，構成論を逐一理解する必要はないような？
0505１３２人目の素数さん
2005/11/19(土) 02:46:51有難う。極限操作がキモなわけですね。
>（量子力学で用いるＬ２空間の完備性はルベーグ積分により保証される）。
ゆくゆくは一般相対論や量子力学を勉強したいと考えてます。物理に時間を
割きたいのに数学に時間を取られ過ぎ...
>積分の計算にルベーグ積分の構成論が要るわけではないから，「積分をルベー
>グの意味で（広く）考えておけば，極限操作が安心して行え，関数空間も完備
>になる」とわかってさえいれば，構成論を逐一理解する必要はないような？
そうですか。じゃあルベーグ積分の構成論にあまり拘らずに、他の分野を攻め
てみます。次は群論と位相空間を攻めてみるつもり。
0506１３２人目の素数さん
2005/11/19(土) 11:06:33勉強か？それとも職業としてやるってことか？
一般教養程度でやる学生の勉強という意味ならL2空間すら必要ない。
職業という意味ならこれら二つは全く異なる職業になる。
あと、L2空間を前提にするというのはホントにそういう積分が必要かどうかじゃなくて。
一様収束性をいちいち吟味する手間をすっ飛ばせることに意味がある。
濃度にしたってそう。lim k(1,0) としてもベクトルがぶちきれることが無い(ぶち切れてもらっちゃ困る)から、
アレフ1なんて濃度を妄想してるが、そんなものは脳内にしか存在しないし、物理的な濃度には対応しない。
そもそも物理では有理数と無理数をそれぞれ分けて考える必要なんてない。
ただ、物理現象ではなく、考え方として脳内にしか存在しない確率論(特に測度論ベース)を扱う場合は
ルベーグに手を出さざるを得ない。
0507１３２人目の素数さん
2005/11/20(日) 14:33:24>勉強か？それとも職業としてやるってことか？
学部でやる学生の勉強で充分です。ただのサラリーマンの趣味なんで。
別に将来論文を書く訳ではありません。
まあ挫折するかもしれないけど一読の価値はあると思うので区の図書館に
伊藤清三本の取り寄せの予約を入れておいた。
助言ありがとうございます。
0508１３２人目の素数さん
2005/11/20(日) 15:27:06新井か吉田の方がいいよ。
0509１３２人目の素数さん
2005/11/20(日) 16:08:55一回行けばわかる。伊東清三なんてつねに在庫有り。周囲で立ち読みしてる学生に頼めば
買えるっしょ。
0510１３２人目の素数さん
2005/11/20(日) 17:33:48生協は書籍は安かったかな？学生に頼めばって？カード提示求められるのか？
区の図書館で借りても返却日までに絶対読めないので多分どんな本か確かめるだけだと思うが、
それなら大抵の国公立の理工系の大学の図書館に行けばここらの本は初版から全版揃ってる。
立ち読みじゃなくて、机と椅子に座ってゆっくり読めるし。
私学でもあるだろうけど、卒業生以外に一般開放してるかどうか知らん。
0511１３２人目の素数さん
2005/11/20(日) 18:17:43Z=X×Y(直積空間)とし、Ωe、ΩfをそれぞれＸ，Ｙの部分集合の有限加法族とすると
Ｚの部分集合でK=E×F(E∈Ωe、F∈Ωf)
の時、
K^c = (E×F)^c
↑ここから
= (E^c×F)+(E×F^c)+(E^c×F^c)∈Ωk
なぜこれに展開できるかが分からないです。
難しい…
0512１３２人目の素数さん
2005/11/20(日) 18:27:45頼まなくても買える
0513１３２人目の素数さん
2005/11/20(日) 20:29:51直積の定義判ってる？ E×F={(x,y); x∈Eかつy∈F}
(E×F)^c={(x,y); x∈Eでない または y∈Fでない}
(E^c×F)={(x,y); x∈Eでない かつ y∈F}
(E×F^c)={(x,y); x∈E かつ y∈Fでない}
(E^c×F^c)={(x,y); x∈Eでない かつ y∈Fでない}
長方形のベン図でも書いてみ。
こんなんがわからんようじゃ、積分論やる以前に集合や論理の復習が必要だな。
0514１３２人目の素数さん
2005/11/20(日) 21:33:22F ###
E Ec
EcxFc = !!! + *** + ###
ちなみに
FcxE -> !!!
FcxEc -> ***
EcxF -> ###
0515１３２人目の素数さん
2005/11/20(日) 21:35:56Fc !!! ***
F ###
E Ec
(ExF)c = !!! + *** + ###
ちなみに
FcxE -> !!!
FcxEc -> ***
FxEc -> ###
0516１３２人目の素数さん
2005/11/20(日) 21:38:170517１３２人目の素数さん
2005/11/20(日) 21:40:49単に2×2の表書きゃいいだろ
0518１３２人目の素数さん
2005/11/20(日) 22:41:130519１３２人目の素数さん
2005/11/20(日) 22:48:57フランスやロシアはどんなもん？
0520１３２人目の素数さん
2005/11/20(日) 22:49:41公理的集合論だろ
0521１３２人目の素数さん
2005/11/20(日) 22:50:45ただ日本人が知らないだけで
0522１３２人目の素数さん
2005/11/21(月) 00:13:32なるほどん。理解できました。ありがとうございました。
＞こんなんがわからんようじゃ、積分論やる以前に集合や論理の復習が必要だな。
返す言葉もございません。(´･ω･｀)
集合入門 松坂和夫
これでやり直します。
0523１３２人目の素数さん
2005/11/21(月) 20:27:22内容以外での感想
伊藤 -> 初版40年前だが、解析概論にあるような現代日本人が読むのに苦労するような文章は皆無で、
しかもフォントが小さいのに読みやすい。やっぱこの本いいわ。ちょっと高いけど。解析概論はいきなり初学者
が読むのはどうかと思うが、ルベーグはこの本で読み進めてぶちあたったら、他の本をあたるのがいいようにオモタ。
盛田 -> タイトル通りレクチャー風でかゆいところに手が届くような感じ。ただ、だんだん読んでるうちに、
なんだが語調がうざくなってくる。で、すごく目が疲れる。伊藤よりずっと大きいフォントなんだけど、
どうも数種類のフォントで書かれててページによって文字の大きさが違う。
もっと厚くなってもいいので、見やすくしてくれって感じ。肩が凝ってかなわん。
あと和書ではめずらしく伊藤を参考文献に挙げてないのねこれ。
小谷(測度と確率) -> 一番分厚いけど、全文字数は伊藤、盛田と変わらんのじゃないか？かなり見やすい。
西尾の確率論やるより確率はこっちでべんきょしよって感じ。盛田はこの本は参考文献に挙げてるのな。
結論
このスレの>>1は正解だわ。やっぱ伊藤がいいわ。全くルベグを知らない人はわからんが、
伊藤をメインで盛田、小谷を併用してやってこうかとオモタ。
0524１３２人目の素数さん
2005/11/21(月) 23:01:02そうかなあ、、
あの本全部読むのに20回以上国語辞書
引かないと読めなかった奴とかいるか？
常識的な知識があれば10回も引く必要ないと思うけど、、
それとも簡潔すぎて読みづらい、という話？
0525１３２人目の素数さん
2005/11/22(火) 00:19:150526１３２人目の素数さん
2005/11/22(火) 01:10:050527１３２人目の素数さん
2005/11/22(火) 01:53:31＞フォントが小さいのに読みやすい。
これは裳華房全般に言える気がする。一見細かくてゴチャゴチャしてるように
見えるのに、読んでみると簡にして要を得た印象を受ける。
1セクションが1～2ページという短いまとまりとして目に飛び込んでくる編集
がいいのかもしれない。（岩波とかだとフォントはきれいだが字が大きすぎて、
セクションの区切りがどこかすぐにわからないため、ゴールの見えない迷路の
中みたいな印象になるんだろう）
翻訳書である「ミクシンスキー 演算子法」とかでさえ、まったく同じ感じに
なっている。実に読みやすい。
0528１３２人目の素数さん
2005/11/22(火) 02:39:45電車の中で中国語の本読んでる奴見かけたけどあれギョッとしたなぁ。
行間が狭くて、ページにぎっしり漢字ばっかり並んでて、まるでASCII 第二水準表で
隣で眺めてるだけで気分が悪くなった。
日本語はひらがなとかカタカナがあってテキトーにスペースがあるから読みやすいことを知った。
0529１３２人目の素数さん
2005/11/22(火) 02:49:330530１３２人目の素数さん
2005/11/22(火) 05:29:23フォントは一部手書きなんて普通にあるからね
0531１３２人目の素数さん
2005/11/22(火) 11:05:52最近、見やすいだけでどうもしっくりこない本って結構多い。
多分、一見、見やすい本の方が売れるんだろうけど、
一頁あたりの目に飛び込んでくる情報量が少なくて、かつ総頁数も抑えられて、あまり厚くならないようにしてる。
結局、総情報量も少ない。そのくせ値段は一人前。
共立の21世紀の数学シリーズあたりがそんな感じ。
0532１３２人目の素数さん
2005/11/22(火) 11:26:390533１３２人目の素数さん
2005/11/22(火) 14:45:32>フォントは一部手書きなんて普通にあるからね
上って？つーかそんな本は大学の講義で使うような自費出版書だけだろ？
論文なら分かるが。そんな本売ってるならお目にかかりたいもんだ。
0534１３２人目の素数さん
2005/11/22(火) 15:07:340535１３２人目の素数さん
2005/11/22(火) 15:10:26Skolemの集合論の本買ったら
> タイプライタのままで
> フォントは一部手書き
だった。でもそんなん普通かねえ？
0536１３２人目の素数さん
2005/11/22(火) 15:16:48F→FFとか書くのはどう？
0537１３２人目の素数さん
2005/11/22(火) 15:43:28AとBは
http://www2.neweb.ne.jp/wc/STEINER/text-16.html
の通りに書いてる。
Cは普通のCの頭に適当にひげをつけただけ。
0538１３２人目の素数さん
2005/11/22(火) 15:51:24大文字に違いはない。
0539１３２人目の素数さん
2005/11/22(火) 15:58:29しかし。この筆記体のBとCとLって最新の注意が要りそうね。
IとＪのフォントは同じみたいね。続く文字で判断するって・・・じゃ集合族を一文字で表したんじゃ判別不能じゃん。
これを廃止したヒトラーは偉いな。
0540１３２人目の素数さん
2005/11/22(火) 16:17:52Wikipediaによると、IとJに違いがあることもあるし
ないこともあるようですな
http://ja.wikipedia.org/wiki/ドイツ語アルファベット
0541１３２人目の素数さん
2005/11/22(火) 17:49:55Universitextの古い奴とか大学の講究録（手書きも多いけど）とか
Morse Theoryの古い奴とかもそうだしSGAとかだってそうでしょ
大学院生以上しか読者として想定していないような本には意外と多いと思うよ
もうTeXが多いと思うけどね
>>536
http://www.amazon.co.jp/exec/obidos/ASIN/3540208798/250-4035052-8462604
に書き方が書いてあったと思う
まあ結局はYou can invent your own.(Feynman)なんだろうけど
0542１３２人目の素数さん
2005/11/22(火) 18:25:46って4版なのに未だに手書きってすごいな。
0543１３２人目の素数さん
2005/11/22(火) 18:41:500544１３２人目の素数さん
2005/11/22(火) 19:16:560545１３２人目の素数さん
2005/11/22(火) 19:35:13復刻版で当社割り当て分って書かれて本屋に並んでた。
0546１３２人目の素数さん
2005/11/22(火) 23:24:49近々数学選書全巻がｿﾌﾄｶﾊﾞｰに切り替わる
0547１３２人目の素数さん
2005/11/23(水) 12:43:46倍風館の"ルベーグ積分"に目を通したあと、伊藤で勉強中です。
上の二つではジョルダン内測度が登場し、それだと点の長さが測れないという理由でルベーグ外測度が登場し、
外測度だけで長さを測るメリットが書かれてますが、伊藤の測度の章を読んでも内測度が登場せず、
もひとつ動機付けの部分がよく分かりません。有限加法的測度==ジョルダン測度と書かれていますが、
P18の有限加法的測度から、ジョルダン内測度==ジョルダン外測度をもって測度とするジョルダン測度を読み取れるのでしょうか？
どうも竹之内に書かれていたようなルベーグ測度の利点が伊藤からはすごく分かりづらいように思うのは読み方が浅いんでしょうか？
カントール集合は登場しても、ﾊﾙナック集合も登場しないし、どういう理由でルベーグ測度や空手踊りの外測度を用意したか？っていう部分がよくわからない？
あと、積分の定義にしても、∫fdμ=Σa_jμ(E_j)とありますが、ここから直ちにyの値域分割が読み取れるもんでしょうか？
確かに式の意味を考えると値域分割ですが、それを言葉で明示して欲しい。
他書に一度目を通してからでないと、伊藤本からルベーグ積分をイメージするのはかなり難しい気がするんですが？
0548１３２人目の素数さん
2005/11/23(水) 15:29:43σ加法族、σ-algebra、ボレル集合体という用語が登場し、
σ加法族 ⊇ σ-algebra = ボレル集合
になってますが、それでいいんでしょか？
σ加法族 = σ-algebra = σ集合体 ⊇ボレル集合
であって、ボレル集合はある集合uを含む最小のσ集合体だと思ってたんですが。
0549１３２人目の素数さん
2005/11/24(木) 03:01:02>もひとつ動機付けの部分がよく分かりません。
伊藤のルベーグ積分入門をバイブル本に思ってる人には申し訳ないが、
恐らく多くの人がもっとも知りたがっているモチベーション部分、測度、積分の定義ぐらいまでは他書でやったほうが正解かと思われ。
漏れも可測関数の定義として他書で見たことのないE(f>α)∈Bには参った。
0550１３２人目の素数さん
2005/11/24(木) 03:10:17たぶんあってると思うけど
ボレル集合族としたほうが妥当だと思うYO!
てか伊藤の本にでてくる用語や記号は
一般的に通じなかったりするものも含まれてるから
気をつけたほうがいいかもね
0551１３２人目の素数さん
2005/11/24(木) 12:40:06>モチベーション部分、測度、積分の定義ぐらいまでは他書でやったほうが正解かと
やっぱりそうなんですか。。。がっくり。
そこが一番知りたいとこなのに。
>他書で見たことのないE(f>α)∈Bには参った。
f^-1で定義するやり方と違うので調べてみて同値であることを知った。
>>550
thx
>ボレル集合族としたほうが妥当だと思うYO!
そうでしたボレル集合体についてです。
>ある集合u
これもΩに含まれる任意の集合uですね。失礼しました。
>一般的に通じなかったりするも
うわッ！そりゃ大問題っす。アマゾンの書評でこの本の測度は古すぎるってなってましたがそうなんですかね？
0552１３２人目の素数さん
2005/11/24(木) 12:43:51∫f(x)dμ(x)=Σa(n)μ(A)
と書きますが、
一般にR上で定義された関数f(x)を積分する場合、
可算数の加算を表すΣで非可算無限集合R上での加算を表現すること自体しっくりきません。
ルベーグ積分だけでなくリーマン積分の
lim Σk=0..n f(k/n)(1/n)
で[0,1]の定積分を定義するやり方も同様ですが、有理数濃度の可算は表せても、
無理数濃度の可算をΣで表現すること自体、無理なんじゃないかと？
0553550
2005/11/24(木) 20:57:17洋書とか読めばわかると思うけど
一般的に通じない記号や用語が出てくるのはざらですよｗ
記号や用語に惑わされずにその内容・意味をちゃんと理解しておくのが大切だと思います。
「あなたはどういう意味でその記号（用語）を使っているのですか？」と聞かれたときに
ちゃんと答えることができれば無問題です。
0554１３２人目の素数さん
2005/11/24(木) 20:59:59いろいろ混乱している気がするので
もう一回本を読んでみましょう。
0555１３２人目の素数さん
2005/11/25(金) 00:36:16積分以前に測度で理解したほうがいい。可算性は測度論・積分論の本質だし。
連続無限濃度の図形の面積を、可算無限個のタイルで近似するのはちっとも変ではない。
近似に使うタイルのほうも連続無限濃度だから無問題。個数を可算に制限してるだけ。
（というより、有限個に制限していたのを可算個まで認めたのがジョルダン→ルベーグ
のブレイクスルーだった）
もし連続無限個のタイルを使っていいことにしてしまうと、一点の面積が0であるこ
とと、図形が一点の連続無限個の集まりであることが矛盾してしまう。（0は連続無
限個足しても0のはずだから）
こんな説明でわかるかな…
0556１３２人目の素数さん
2005/11/25(金) 14:09:16>もし連続無限個のタイルを使っていいことにしてしまうと、一点の面積が0であるこ
>とと、図形が一点の連続無限個の集まりであることが矛盾してしまう。（0は連続無
>限個足しても0のはずだから）
この部分を教えてください。
ディリクレ関数Xの積分では
∫x∈有理数X(x)dμ(x) + ∫x∈無理数X(x)dμ(x)
と書けて、右項については無理数上の積分は零集合上の積分となので0、
左項も
1×dμ(x)=dμ(x)を可算無限個足して0、
従って、ディリクレ関数の積分は0
次に、関数Y(x)=有理数で0,無理数で1という関数を考えます。
∫x∈有理数Y(x)dμ(x) + ∫x∈無理数Y(x)dμ(x)
今度は有理数上が零集合となるので左項は0
右項は、
1×dμ(x)=dμ(x)を連続濃度回数足すので値を持つ。
従って、∫x=0 to 1 Y(x)dμ(x)=1
結局、
∫X(x)dμ(x)=0,∫Y(x)dμ(x)=1の違いは同じ0である点の面積であっても
その加算回数である有理数濃度と無理数濃度による違いであって
0x可算無限=0
0x非可算無限≦∞
という解釈はNGですか？
0557１３２人目の素数さん
2005/11/25(金) 21:57:37取り敢えず有理数濃度とか無理数濃度とかいう言い方は止めた方がいいかと
有理数の濃度、無理数の濃度だったら分かるけど
0558１３２人目の素数さん
2005/11/26(土) 00:36:20前半は正しいが、後半は間違い。
測度は可算加法性をもつ（ように定義する）ので、図形の測度（面積）を可算無限個
のタイルで近似できる。（というかその方法で測度を定義すると可算加法性を獲得でき
る、というのがルベーグの発見）
ともかく、可算分割して合計、これはしてもよい。だから有理数の測度が0であることも、
一点の測度が0であることから
>0x可算無限=0
を理由に結論してよい。
しかし、非可算集合の測度については、非可算分割して合計はもちろんだめなわけだが、
非可算であることだけを理由に測度>0を言うこともできない。
実際、「カントール集合」のように、非可算濃度をもつが測度0である例がある。
>1×dμ(x)=dμ(x)を連続濃度回数足すので値を持つ。
>従って、∫x=0 to 1 Y(x)dμ(x)=1
というわけで、ここが正しくない。>>555は「矛盾してしまう」から「連続濃度回
足す」ことは「 許 さ な い 」、と言っているわけであり。
なお[0,1]区間の無理数全体の測度が1という結論は、[0,1]区間の有理数全体の測度が0であることと、
[0,1]区間の測度が1であることから、差としてわかることである。（２つに分割したときの加法性）
0559１３２人目の素数さん
2005/11/26(土) 02:09:27>無理数濃度の可算をΣで表現すること自体、無理なんじゃないかと？
人間は可算無限の極限しか操作できない、でも積分するには実数濃度は
避けられない、そこを「可算」だけで突破する限界を極めたのがルベーグ積分。
実数濃度をΣで表現するのは無理なのは確かだが、そこで引き下がらずに
頑張らなきゃダメ。
0560１３２人目の素数さん
2005/11/26(土) 03:15:31証明のヒントを下さい。
0561556
2005/11/26(土) 12:17:11>測度は可算加法性をもつ（ように定義する）ので、図形の測度（面積）を可算無限個
>のタイルで近似できる。
なんとなく、ぼんやりとわかってきました。
測度空間となるσ集合体で可算無限回の結び演算について閉じているというのはそういうことだったんですね。
位相空間の定義を繰り返しただけと全く理解できておりませんでした。
しかもディリクレ関数というのは有理数点に位置する点を可算無限回数だけ加算したいがためのexampleであって
無理数部分については零集合としてしまい、言及しなかったわけですね。
だから上で挙げたY(x)みたいな無理数部位を直接演算対象とするような関数はexampleに挙げなかったと。
>なお[0,1]区間の無理数全体の測度が1という結論は、
この部分について教えてください。ディリクレ関数の場合はx方向1、y方向1なので面積1はすぐ計算できますが、
一般の実数で定義され、緩やかな変化をする連続関数y=f(x)>0を考えます。
x軸との間で挟まれた面積は
∫f(x)dx = ∫∫dxdy
と書けて、dxdyに相当する面積素の和とも解釈できるわけですが、
面積というのはこの面積素が領域内の全点(x,y)を覆うように、重なることなく寄せ集まって構成されてるわけではないのでしょうか？
0562１３２人目の素数さん
2005/11/26(土) 13:47:06＞ジョルダン測度で完全加法性が成立しない
ジョルダン測度は（測れる限り）完全加法性をもっています。誤解なきよう。
（ジョルダン測度もルベーグ測度も、（測れる限り）同じ集合に対しては同じ値を
もつので、よく考えれば当然でしょう）
ジョルダンの問題点は、ジョルダンの方法で測れる集合、すなわちジョルダン可測集合
が可算無限演算（合併、共通部分）で閉じないことです。（つまり測度ではなく可測集合
の全体が、有限加法族にしかならず、完全加法族にならないという点。）
実際、[0,1]の有理数全体は、有限個のタイル（区間）ではいくら細かい物をいくら多く使
っても、全体を覆おうとすると合計1以下にならないので、下からの近似（0）と一致させら
れず、ジョルダン可測ではありません。（可算無限個のタイルを使ってよければ、ε/(2^n)
のタイルで覆うことにより幾らでも合計を小さくできるので、上からの近似も0にできる）
一点はいくらでも小さい一個のタイルで覆えるから可測ですが、その可算合併である
[0,1]の有理数全体が可測にならないのでは、完全加法族をなさないことは明らかです。
0563１３２人目の素数さん
2005/11/26(土) 14:11:20＞位相空間の定義を繰り返しただけと全く理解できておりませんでした。
これは定義だけを解説なしに眺めたとき、初心者が見逃しがちな点と思う。位相空間
の定義では、開集合公理の場合、合併は「非可算」無限個、共通部分は「有限」個（閉
集合公理の場合は逆転）。可測空間の定義では、合併も共通部分も「可算」無限個。そ
れらの点こそが定義のポイントなのに、なんとなく「要するに合併と共通部分について
閉じていればいいのね」とだけ把握してしまう…
＞と書けて、dxdyに相当する面積素の和とも解釈できるわけですが、
＞面積というのはこの面積素が領域内の全点(x,y)を覆うように、重なることなく寄せ集まって構成されてるわけではないのでしょうか？
気持ちはそうだし、だからこそdxdyのような記号を使う（無限に細かく分けて、それを
集める、というのが微積分の元祖思想）。
しかし“0ではないが無限に小さい”面積をもつ「面積素」などというものは数学的に
正当化できない（まあ超準解析という話もあるが…）。
そこで、無限小でなく有限の面積をもつタイル（これは縦×横で直接面積を定義できる）
で上下から「近似」して、答えとして同じ面積S=∫f(x)dx = ∫∫dxdyを得ようとした
わけ。
最初にそれを試みたのがコーシー、続いてリーマンがそうやって「意味のはっきりした
量」だけと極限概念とを使って積分を「厳密に」定義するまでは、オイラーもニュート
ンも漠然と>>561のように考えていた（が、それでは深く追求すると論理的に破綻する）。
0564561
2005/11/26(土) 17:01:53>位相空間の定義では、
>開集合公理の場合、合併は「非可算」無限個、共通部分は「有限」個（閉集合公理の場合は逆転)。
>可測空間の定義では、合併も共通部分も「可算」無限個。それらの点こそが定義のポイント
何度も質問してすみません。位相についてスレ違いですが教えてください。
Q1: 位相空間 ⊃ 測度空間 ですよね？
Q2: 手元に、静間の位相、斎藤の数学の基礎、小林良一の集合と位相があります。
位相の共通が有限個からなることはどの本にも書いてますが、合併時に集合のインデックスとしてiやλをつかい
i∈ I , λ∈Λとなっており、IやΛが何を意味するのか記述がないようなのですが、これが非可算ということを表しているのでしょうか？
Q3: 位相空間は共通部分を有限個とする理由はどうしてですか？測度空間の方は可算無限ですよね。
0565１３２人目の素数さん
2005/11/26(土) 18:21:32＞Q1: 位相空間 ⊃ 測度空間 ですよね？
違う。位相と測度は、とりあえずは無関係に定義される。（両方をもつ空間でこそ
両者のからみで凝った話ができて面白いが）
＞位相の共通が有限個からなることはどの本にも書いてますが、合併時に集合のインデックスとしてiやλをつかい
＞i∈ I , λ∈Λとなっており、IやΛが何を意味するのか記述がないようなのですが、これが非可算ということを表しているのでしょうか？
そうです。「添字集合」に特に条件はつけない（実際は実数の部分集合であることが多いが）。
＞Q3: 位相空間は共通部分を有限個とする理由はどうしてですか？測度空間の方は可算無限ですよね。
「位相空間は」というより、位相空間での「開集合」の定義は、だな。
たとえば閉区間[0,1]は、開区間(-1/n,1+1/n)の無限共通部分としてあらわされる：
[0,1]=∪_(n=1～∞) (-1/n, 1+1/n)
もし開集合の無限共通部分も開集合だったら、閉区間も開集合ということになってしまう。
それどころか、一点{x}も(x-1/n,x+1/n)の無限共通部分だから、一点も開集合ということ
になり、非可算無限合併を許している以上、すべての集合が「開集合」になってしまう。
0566１３２人目の素数さん
2005/11/26(土) 18:25:08＞「添字集合」に特に条件はつけない
だから、それだけで非可算ということを表している訳ではない、
と答えるべきかと
0567565
2005/11/26(土) 18:26:37× [0,1]=∪_(n=1～∞) (-1/n, 1+1/n)
○ [0,1]=∩_(n=1～∞) (-1/n, 1+1/n)
0568１３２人目の素数さん
2005/11/26(土) 18:45:53つまり正確には、「非可算ということを表している」ではなくて、「非可算でもよい
ということを表している」だな
0569564
2005/11/26(土) 20:26:58なるほど、モヤモヤしてた部分がかなりすっきりしました。ありがとうございました。
滅茶苦茶収穫が大きかったです。説明をうけてもう一度読み返してみましたが、
測度空間のほうはともかく、位相の方は、どうしても読み落としてしまいます。
もひとつ必要性がよくわかってないからだと思います。
連続濃度に対する結びとか、有限個数の交わりとか、数学科の授業ではこういう点に
留意するような注意はあるんでしょうか？
位相がわからないと数学はわからないと聞いたことがありますが、伊藤を読む限り、
位相に関する記述はほとんど見受けられません。
あえて、避けているようにも見えますが、ルベーグ積分を理解する上で、
位相に関する知識はどういう部分で必要になりますか？
0570１３２人目の素数さん
2005/11/27(日) 01:53:55一般の集合の上で測度・積分は定義できる。
しかし、位相空間の上で測度を考える場合、全ての開集合が可測集合と
なるように定義しないと、連続函数が可測でなくなる可能性がある。
結局、実用の問題を考えると位相とのからみで可測集合を定義することになる。
また数学としては独立であっても、位相を理解できる程度に論理を理解する
力がないと、実際にルベーグ積分を学ぶことは難しい。
位相空間論やルベーグ積分が数学科の学生が学ぶ上での壁になることが
多いのは論理力がないから。
極端にいえば、新入生の論理力ではε-δが壁になるのと同じ。
0571１３２人目の素数さん
2005/11/27(日) 03:55:28>なるように定義しないと、連続函数が可測でなくなる可能性がある。
>結局、実用の問題を考えると位相とのからみで可測集合を定義することになる。
そうそう。開集合族が定義されているのが位相空間、可測集合族が定義されている
のが測度空間。両方が定義されている場合、可測集合族⊇開集合族であるのが望ましい。
すべての開集合を含むσ集合体をボレル集合族と呼ぶ（つまり「ボレル集合」は位相と
測度の両方がからんだ概念）ので、けっきょく位相空間では可測集合族⊇ボレル集合族、
つまりすべてのボレル集合が可測になるような測度空間を考えることになる。
実際、一般空間における一般測度でなく、数直線・数平面・d次元ユークリッド空間に
おける「ルベーグ測度」は本質的に実数の位相とのからみで定義されている。すべての
タイル＝長方形（区間塊, 基本集合）で生成されたσ集合体＝ボレル集合族上に完全加
法的測度「ルベーグ測度」が構成できる、という一連の話の基礎に、数空間における有
界閉集合のコンパクト性が本質的に使われる（歴史的にも、ボレルやルベーグが有界閉
集合のコンパクト性を認識せざるをえなかったのはこの文脈においてであったため、ボ
レル-ルベーグがボルツァノ-ワイヤストラスと並んでコンパクト性の起源のひとつとな
った）。
0572１３２人目の素数さん
2005/11/27(日) 03:56:57>連続濃度に対する結びとか、有限個数の交わりとか、数学科の授業ではこういう点に
>留意するような注意はあるんでしょうか？
>位相空間論やルベーグ積分が数学科の学生が学ぶ上での壁になることが
>多いのは論理力がないから。
同意。sup, infやε-δの議論テク ＋ 集合の包含関係などの証明テク がないと、位相
空間論や測度論を証明まできちんと追いかけて理解するのは難しい。
「連続濃度に対する結び」にしても、集合の合併は無限個でも「極限操作」ではなく
ただの論理だということがわかっていなければ理解しにくいでしょう。
たとえばE=∪_(λ∈Λ) Aλは、要するに「どれかのλについて、Aλに入る要素xの全体」
であり、あるxがAλに入るかどうかのcheckは任意のλ∈Λについて可能だから、x∈Eか
どうかは論理だけで証明・判定でき、Eに関する包含関係等の証明も問題なくできる。
そういう意味Eは明確に定義された集合であって、∪_(λ∈Λ)からイメージされる“無
限操作”は別にどこにもないんですよね。
>また数学としては独立であっても、位相を理解できる程度に論理を理解する
>力がないと、実際にルベーグ積分を学ぶことは難しい。
位相や測度の本では、論理や集合や極限は自由に使いこなせると仮定して書かれてい
て、そんなことまでいちいち丁寧に説明してないしね。
たとえば>>565の[0,1]=∩_(n=1～∞) (-1/n, 1+1/n) などを、自力できちんと厳密に
「証明」できるか（直観による納得でなく）。そういう論理力が位相や測度には特に必
要でしょうね。
もっとはっきりいえば集合の操作力。濃度や順序のムズカシイ集合論でなく、ド・モルガン
みたいな。ド・モルガンの無限版を証明してみるといい。まさに上に書いたようなことの理
解が必要だとわかる。
0573１３２人目の素数さん
2005/11/27(日) 05:06:43＞測度空間のほうはともかく、位相の方は、どうしても読み落としてしまいます。
＞もひとつ必要性がよくわかってないからだと思います。
要するに,「開集合」とはなにか, どのようなものかってことの把握だよね.
開集合のもともとのイメージは, 同じ集合に属する要素を“仲間”と呼ぶと, どの要素
もまわりが“仲間”で守られてる, って感じかな. 外気にさらされた「境界点」がない, と.
しかし“まわり”って何？ 距離に依存しない定義をしようとすると近傍とかを使うこと
になるけど, じゃ近傍って何？ それは開集合の一種. っで堂堂巡りになるので, 近傍ま
たは開集合または閉集合または開核または閉包、のどれか一種を公理で規定してしまう.
どれでもいいが現在普通の流儀では開集合を規定する. そのとき,
>どの要素もまわりが“仲間”で守られてる
という状態を集合演算だけで表現する必要があり, 非可算合併と有限共通部分に集約で
きることに気づいた.（よくそんなことができたと関心するが…）
合併はいくらしても, 仲間が増えるだけだから問題なしだが, 共通部分は仲間が減って
いくので, 無限にやってるとまわりに仲間が１人もいなくなって外気にさらされる要素
がでてくる可能性があるのでまずい.
イメージはこうだが, 「開集合」を先に規定したため, むしろ“まわり”＝近傍 が
「それを含むある開集合」として定義されることになる.
極端な例として, すべての部分集合を開集合と規定しても公理には違反しない. この
位相では一点{x}も開集合, ということは自分1人でも“まわり”がある気分（？）で
いられるため, 1人1人がナワバリを形成してしまい, すべての点が孤立した感じになる.
これが「離散位相」.
逆に全体集合と空集合以外には開集合がひとつもない, と規定した位相では, どの要
素にとっても全空間でなければ“まわり”と認められないため, 全空間いがいのナワバ
リがどこにもなく, すべての点がダンゴにになった感じになる. これが「密着位相」.
普通は, この両極端の間で, 各点に適切なナワバリ意識を持っていただくわけです, はい.
0574１３２人目の素数さん
2005/11/27(日) 13:44:54説明ありがとうございます。んーと。
読み落とすというのは、
測度空間の方は初めに有限加法族があって、→完全加法族から可算無限個の結び交わりは頭に残る。
それに対して、位相のほうは上で説明していただいたような記述がないと、結びが"連続濃度"、交わりが"有限個"の部分を
見落としてしまう。ってことです。でも、なるほど無限交わりでは都合が悪いなと認識したにすぎませんが。。。
また、測度空間のほうはそれを定義することによる目的と必要性がはっきりしているのにたいして、
位相空間のほうはなんでこれを定義するのかよくわからない。必要性が把握できないから、方や有限個、方や連続濃度と言う記述を
すっ飛ばして、単に結びと交わりについて閉じた空間という部分だけ頭に残る。
ってことです。
0575１３２人目の素数さん
2005/11/27(日) 13:45:55古い数セミで位相特集があったので借りてきましたが、まったく同じ部分でつまづいていたとことが卒業してからわかったという記事がありました。
あと集合Xの部分の集合を単にべき集合ぐらいにしか考えてなかったとかetc
こんなのは論理思考ができるかどうかより定義の仕方に問題あると思うけどなぁ。決して難しくてつまづく話じゃないでしょ。
斎藤の数学の基礎だと部分集合の族などといわずにべき集合の部分集合としてる。
これだと最大の枠組みを明示してその中の部分集合というわけだから間違えようが無いと思うんですが。
皆が同じ部分でつまづくのは、一方的に、つまづく側の責任だとも思えない。
証明テクに過ぎないε-δは面食らっても、わからないというのは結局演習問題をこなしてないからでしょ？一挙に理解できなくても演習を繰り返すうちに慣れてくる話で、
わからないというのは学ぶ側の努力不足だと思います。
それに対して、抽象概念である位相の方は、与えられた集合から位相を作れといった類の演習問題を繰り返してみても、
"これ使って何するの"っていう部分が明確にならないと定義の意図するところがわからない。演習を繰り返して位相に関する問題ができるようになったところで、
必要性を認識しないとわかったことにならない。
他分野から見ると
ε-δ、集合論、ルベーグ積分は何物か具体的にわかる。また必要性も他人に説明できる。その人が必要と思うかどうかは別にして、
でも位相って何よと。距離位相にある近い遠いの概念だけじゃどうも納得できない。訳語としてもphaseと同じというのは紛らわしくて非常にまずいんですよ。
ところで、
位相の交わりで有限個と書いてたのは小林の集合と位相だけで、あとは二つ集合A,Bの交わりを挙げてましたがこの二つってのは
有限個の意味でしょうか？うーん。最低限定義だけは一本化して欲しい。
0576１３２人目の素数さん
2005/11/27(日) 13:59:000577１３２人目の素数さん
2005/11/27(日) 14:09:20実数Rの濃度のことでしょ
0578１３２人目の素数さん
2005/11/27(日) 14:21:41・A_1かつA_2が開ならA_1∩A_2も開
これが条件として与えられていればA_iが開のとき
(A_1∩A_2)∩A_3も開、((A_1∩A_2)∩A_3)∩A_4も開etc.で
帰納法で結局有限個の交わりも開だよね
ブルバキの数学史の位相空間論とLebesgue積分あたりのところを読めば
歴史的経緯が分かるんじゃないかな
その上で位相はきちんと勉強した方が良いよ
Introductory Real Analysis (by A. N. Kolmogorov, S. V. Fomin \1,683 ）とか
位相が詳しく書いてあって良さげ
0579１３２人目の素数さん
2005/11/27(日) 14:28:28まあ同意。>>494に同じような意見があったね。
距離空間はわかりやすいが、逆に開集合だ閉集合だと声高に定義する意義がピンとこない。
一般位相空間は開集合・閉集合の存在だけから近い遠いができたと考えるが、距離にもと
づかないで近い遠いを定義する必要性がピンとこない。
まあアレだ、結局歴史的順序にしたがって、関数解析をやりつつ位相を学ぶのがいいん
じゃないかな。
漏れは森毅「位相のこころ」でかなり「意味」がわかった。（ブルバキレベルの内容
をあいまいな言葉で書くので、何言ってるかワカラン部分も多いが…）
あと開集合公理以外の規定方法もあるってことは知っておいてもいいと思う（上の本では
そのへんがよくわかる）。確かポントリャーギン「連続群論」の導入部では、位相空間を
閉包公理で定義していた。でも最近は開集合公理以外をほとんど見かけないけど。
（ルベーグ積分論でも、定義の仕方はいろいろな流儀があるのに、どの本も「どれか1つ」
しか書いてない。数学論理としては首尾一貫してさえいればそれでいいわけだが…）
ルベーグ積分のように流儀乱立だと複数読み比べたときに混乱するだろうけど、現在の位
相空間定義のようにほぼ一本化されてればそれでいいかというと、やっぱり「なぜそうす
るのか」がわからないままでイクナイと思うのだが…
>位相の交わりで有限個と書いてたのは小林の集合と位相だけで、あとは二つ集合A,Bの交わりを挙げてましたがこの二つってのは
>有限個の意味でしょうか？うーん。最低限定義だけは一本化して欲しい。
数学では「2を聞いてnを知る」のは常識だから…
A1∩A2が入れば、A1∩A2をA1, A3をA2と思えば(A1∩A2)∩A3が入ることがわかりetc
0580１３２人目の素数さん
2005/11/27(日) 14:53:530581579
2005/11/27(日) 15:04:02（ブルーバックスだったけど、日本評論社から出直した？）
逆にヌルすぎかもしれんが
いろいろな流儀があることをふまえて、定義を相対化した本がほとんどないのよ。
（「位相のこころ」はそういう本）
ルベーグ積分では皆無？
0582１３２人目の素数さん
2005/11/28(月) 14:35:09数学科以外で関数解析ってどういう場面で使われるのか知りたい。
0583１３２人目の素数さん
2005/11/28(月) 17:01:12＞位相は関数解析で必要になるのか・・・？
「関数解析」は昔は「位相解析」と呼ばれていたくらいで…
関数空間での種々の収束は、関数空間を位相空間と考えることで理解される。
（ノルム空間なら距離空間だが、弱収束や作用素の収束になると、一般位相が必要）
＞数学科以外で関数解析ってどういう場面で使われるのか知りたい。
量子力学って、ある意味関数解析だよな
0584１３２人目の素数さん
2005/11/28(月) 19:33:04量子重力を専門としている方へ
http://science4.2ch.net/test/read.cgi/sci/1001501013/446
> なんだ＾＾か。
>レスつけて損した。
>
>真面目に反論したところで関数論＝関数解析よろしく＾＾の脳内でしか完結しない反論されるだけだしな。
0585１３２人目の素数さん
2005/11/28(月) 19:42:02「ヒルベルト空間」だったら？
物理と数学で同じものを違う名前で呼んだりするしなあ。
作用素（数学）＝演算子（物理）とか
＃ しかし >関数論＝関数解析 ってひどいな。それぞれ、複素解析、位相解析と
＃ 呼べば全然別物とわかるんだろうが
0586１３２人目の素数さん
2005/11/28(月) 19:50:49551、552を読んでもまだそう言えますか？
それならあなたに上のスレの556、559、562と同じ言葉を送ります
0587１３２人目の素数さん
2005/11/28(月) 20:02:200588１３２人目の素数さん
2005/11/28(月) 20:34:230589１３２人目の素数さん
2005/11/28(月) 21:08:350590１３２人目の素数さん
2005/11/28(月) 21:50:00http://www.google.co.jp/
0591１３２人目の素数さん
2005/11/28(月) 22:28:24はぁ？2chの特定スレを検索するのにどんな検索エンジン使うんだボケ。
検索機能のついた2chブラウザ使ってんだよ。
なんなら物理版でヒルベルトで探してみろ。ヒットしたらリンクしてみろ。
ぐちゃぐちゃ言ってないで自分でやってから言え。糞が。
0592１３２人目の素数さん
2005/11/28(月) 22:29:11>>589だ。
0593１３２人目の素数さん
2005/11/28(月) 22:43:010594１３２人目の素数さん
2005/11/28(月) 22:47:240595１３２人目の素数さん
2005/11/28(月) 23:10:49の話されても困るんだけど、、
脳内文脈で話しないで呉れよ
普通にライブスレッドを前文検索したらHilbertで8件はヒットしたよ
0596１３２人目の素数さん
2005/11/28(月) 23:48:00スレを一つも取得してなかったからノーヒットだったとか
0597１３２人目の素数さん
2005/11/29(火) 00:21:44初めて数学板にカキコするのですが
ルベスゲ（以前第二でとってたのでなんとか読めるのです）積分ｾﾞﾐっていうのは
難しい数学なのですか？
0598１３２人目の素数さん
2005/11/29(火) 00:34:210599自縛霊
2005/11/29(火) 00:59:070600１３２人目の素数さん
2005/11/29(火) 13:15:27ルベッグ積分勉強してます。女込ます測度空間を探してます。
0601１３２人目の素数さん
2005/11/29(火) 13:18:010602１３２人目の素数さん
2005/11/29(火) 18:15:310603１３２人目の素数さん
2005/11/29(火) 18:17:560604１３２人目の素数さん
2005/12/03(土) 17:10:13竹之内や吉田では、可測関数だけに限定して、
∫f(x)dμ(x)= sup (Σinf(f(s∈M_k)) dμ(s∈M_k))
で定義してます。実面積である左辺より近似である右辺の方が小さいという定義です。
それに対して、伊藤も可測速関数だけに限定してp73,74で定義を書いてますが、
∫fdμ=Σa_j μ(E_j)
として、一意性を確認してるだけで、
竹之内にあるsup, infの部分を読み取ることができません。(読み方が不足しているならその部分
の指摘を宜しく)
こういう定義方法の違いから結果として生じる差異ってどういうことが考えられますか？
例えばinf(Σsup(f(s∈M_k)) dμ(s∈M_k))で近似するとどういう問題があるのでしょう？
0605１３２人目の素数さん
2005/12/03(土) 19:15:590606１３２人目の素数さん
2005/12/03(土) 19:25:22竹之内、吉田の本を持っていないのでなんともいえないので説明を詳しくおながいします
つーか今手元にルベーグ積分の本ないので全然わからんが
とりあえずなんとなく読み取れるのだけレスしてみると
伊藤本の定義に関して
その定義はたぶん単関数の場合の定義をしているのであって
一般の可測関数で定義しているわけではないでしょ？
一般の可測関数の定義を考えてみたら伊藤本でもsupとinfに対応する部分がでてくると思うけど…
0607１３２人目の素数さん
2005/12/03(土) 19:44:40>一般の可測関数で定義しているわけではないでしょ？
伊藤もP73でE上のB-可測関数関数 f(x)という前提を明記してます。
>>605
確認の方針を教えてください。
0608１３２人目の素数さん
2005/12/03(土) 19:51:21>つーか今手元にルベーグ積分の本ないので全然わからんが
じゃ。いいです。ありがとうございました。
竹之内もしくは吉田を持ってる人、もしくは sup Σinf でピンと来る方宜しくお願いします。
0609１３２人目の素数さん
2005/12/03(土) 19:52:530610１３２人目の素数さん
2005/12/03(土) 19:55:050611１３２人目の素数さん
2005/12/03(土) 19:56:44あほが切れた
0612１３２人目の素数さん
2005/12/03(土) 19:58:30可測関数関数
0613１３２人目の素数さん
2005/12/03(土) 19:59:010614１３２人目の素数さん
2005/12/03(土) 19:59:320615605,606
2005/12/03(土) 20:00:480616１３２人目の素数さん
2005/12/03(土) 20:02:410617１３２人目の素数さん
2005/12/03(土) 20:04:590618１３２人目の素数さん
2005/12/03(土) 20:07:310619降臨
2005/12/03(土) 20:09:01洋一なら持ってないな。
0620１３２人目の素数さん
2005/12/03(土) 20:11:12竹之内もしくは吉田を持ってる人降臨してくれｗｗｗｗだｗｗっうはｗｗｗｗｗｗ
0621１３２人目の素数さん
2005/12/03(土) 20:13:580622１３２人目の素数さん
2005/12/03(土) 20:14:010623降臨
2005/12/03(土) 20:14:47二段目の指摘は正しいですね。だから、そこだけから
604>竹之内にあるsup, infの部分を読み取ることができません。
なのは当然ｗ 竹之内は持ってないので俺もサイナラｗｗ
0624１３２人目の素数さん
2005/12/03(土) 20:14:5274の定義は単関数の定義だよ
0625１３２人目の素数さん
2005/12/03(土) 20:15:120626１３２人目の素数さん
2005/12/03(土) 20:18:070628１３２人目の素数さん
2005/12/03(土) 20:20:15?
0629１３２人目の素数さん
2005/12/03(土) 20:20:570630１３２人目の素数さん
2005/12/03(土) 20:24:110631１３２人目の素数さん
2005/12/03(土) 20:36:590632１３２人目の素数さん
2005/12/03(土) 20:42:190633１３２人目の素数さん
2005/12/03(土) 20:42:200635１３２人目の素数さん
2005/12/03(土) 22:03:000636１３２人目の素数さん
2005/12/04(日) 01:04:54馬鹿なの？
0637１３２人目の素数さん
2005/12/04(日) 01:09:30バカにバカって名指ししちゃ
0638１３２人目の素数さん
2005/12/04(日) 20:09:40回答する暇あったら己の頭の上のハエを追え。人に答えてる場合か？
0639１３２人目の素数さん
2005/12/04(日) 20:37:010640１３２人目の素数さん
2005/12/04(日) 20:43:43嘘は書いてないんだがなｗ
0641１３２人目の素数さん
2005/12/04(日) 20:52:41２ちゃんねるにいる人たちは何ムキになってるんですか？もういいですよ。
0642１３２人目の素数さん
2005/12/04(日) 21:01:08うん、そうだね。
0643１３２人目の素数さん
2005/12/04(日) 21:18:350644GreatFixer ◇ASWqyCy.nQ
2005/12/04(日) 21:18:560645１３２人目の素数さん
2005/12/04(日) 21:21:120646645
2005/12/04(日) 21:22:090647１３２人目の素数さん
2005/12/05(月) 00:56:39ボレル集合って何？
0648１３２人目の素数さん
2005/12/05(月) 22:24:12このような半開区間からＩの補集合Ｉc、および可算個のＩ_nから和集合∪Ｉ_nをつくることにより
得られる集合の全体がボレル集合族。
それに属する集合がボレル集合。
半開区間には、その長さまたは面積が決定できる。
よって、それから生成される完全加法的な測度を考えると、ボレル集合は可測になり、
測度が定義できる。
開集合は半開区間の可算個の和集合として表されるから、ボレル集合は開集合から
生成される完全加法的な集合族と定義することもできる。
以上の定義はｎ次元空間にもそのまま拡張できる。
0649１３２人目の素数さん
2005/12/05(月) 23:04:28最小のσ集合体の意味がよくわからないです。
集合Xから生成される最小のσ集合体っていうと{空集合,X}なのでは？
0650１３２人目の素数さん
2005/12/05(月) 23:12:270651１３２人目の素数さん
2005/12/05(月) 23:47:22Bをボレル集合族という。
0652１３２人目の素数さん
2005/12/06(火) 02:46:22ボレル集合族に属する集合をボレル集合という。
どんな教科書使ってるの？
0653１３２人目の素数さん
2005/12/06(火) 02:49:16×σ-集合族
○σ-加法族
0654１３２人目の素数さん
2005/12/06(火) 12:28:09位相空間(Ω,O)で Oを含む最小のσ集合体をBorel集合体という。
Borel集合は位相空間が前提だろ？
0655１３２人目の素数さん
2005/12/06(火) 17:18:23ってる時点で位相空間なんだしょ
0656１３２人目の素数さん
2005/12/06(火) 17:29:430658１３２人目の素数さん
2005/12/06(火) 19:39:410659１３２人目の素数さん
2005/12/06(火) 20:32:50これは同意。でないとただの煽り厨が跋扈するようになるし。
0660１３２人目の素数さん
2006/01/02(月) 00:42:200661１３２人目の素数さん
2006/01/28(土) 09:47:200662１３２人目の素数さん
2006/02/01(水) 14:31:340663GiantLeaves ◆6fN.Sojv5w
2006/02/01(水) 17:59:410665１３２人目の素数さん
2006/02/02(木) 14:44:000666１３２人目の素数さん
2006/02/02(木) 14:51:410667１３２人目の素数さん
2006/02/02(木) 15:31:07「Borel 集合」の定義が載っている。「Borel 集合族」という
言葉が用いられているが定義がされておらず、意味が通らない。
この項目、直前の Baire 集合の定義も「・・・であるような集合
全体は」にしないと誤りで、いったい誰が書いたのかと小一時間
0668１３２人目の素数さん
2006/02/04(土) 14:07:43Borel集合の定義って何だ？
0669GiantLeaves ◆6fN.Sojv5w
2006/02/04(土) 14:09:590670１３２人目の素数さん
2006/02/04(土) 15:19:280671１３２人目の素数さん
2006/02/04(土) 17:00:00>>654
>>663
0672１３２人目の素数さん
2006/02/04(土) 17:39:44全部教えてくれます・・・
0673１３２人目の素数さん
2006/02/04(土) 17:45:590674１３２人目の素数さん
2006/02/04(土) 17:48:540675１３２人目の素数さん
2006/02/05(日) 08:03:47初めて知ったよ
ttp://en.wikipedia.org/wiki/Borel
......The elements of the Borel algebra are called Borel sets,......
ttp://en.wikipedia.org/wiki/Borel_algebra
0676１３２人目の素数さん
2006/02/05(日) 11:26:55親子に決まっている。レビになると何人いるか・・・
0677１３２人目の素数さん
2006/02/05(日) 14:59:51ソース見た？ｗ
Emile Borel (1871-1956), a French mathematician %測度論など
Armand Borel (1923-2003), a Swiss mathematician %代数群など
＞親子に決まっている。ｗｗｗ
＞親子に決まっている。ｗｗｗ
＞親子に決まっている。ｗｗｗ
＞親子に決まっている。ｗｗｗ
＞親子に決まっている。ｗｗｗ
0678伊藤清
2006/02/07(火) 13:39:120679ヨハンシュトラウス
2006/02/10(金) 04:12:210680１３２人目の素数さん
2006/02/10(金) 06:44:550681１３２人目の素数さん
2006/02/11(土) 18:04:280682１３２人目の素数さん
2006/02/11(土) 21:37:490683１３２人目の素数さん
2006/02/15(水) 02:00:41>考えるに、大山には測度論におけるカラテオドリの……
ｗ
0684１３２人目の素数さん
2006/02/15(水) 09:58:250685１３２人目の素数さん
2006/03/02(木) 18:05:490686１３２人目の素数さん
2006/03/26(日) 13:49:150687１３２人目の素数さん
2006/04/15(土) 19:33:170688１３２人目の素数さん
2006/04/23(日) 16:03:09| (・∀・) ﾉ
＿＿＿＿ 上―-―' ＿＿＿_
| （･∀･） ｜ ／ ＼ | (・∀・) |
|￣￣￣￣ （￣￣￣） |￣￣￣
∧ （[[[[[[|]]]]]） ,∧
<⌒> [=|=|=|=|=|=] <⌒>
／⌒＼ _|iﾛi|iﾛiiﾛi|iﾛ|_∧ ／⌒＼_
］皿皿［-∧-∧|ll||llll||lllｌ||lllｌ|lll|￣|]皿皿[_|
|_／＼_|,,|「|,,,|「|ﾐ^!､|]|[|]|[|][]|_.田 | ∧_ ]
| . ∩ |'|「|'''|「|||:ll;|||}{|||}{|||}{|||}{|,田田.|__|
|￣￣￣￣|「|￣￣||[[|門門門|]]|[_[_[_[_[_[
／i~~i' l ∩∩l .ｌ ∩ ∩ l |__| .| .∩| .| l-,
,,,,,='~| | |' |,,=i~~i==========|~~|^^|~ ~'i----i==i,, | 'i
| l ,==,-'''^^ l |. ∩. ∩. ∩. | |∩| |∩∩| |~~^i~'i、
,=i^~~.| |.∩.∩ |,...,|__|,,|__|,,|__|,,|__|,....,||,,|.|,.....,||,|_|,|.|,....,| | |~i
l~| .| | ,,,---== ヽﾉ i ヽﾉ~~~ ヽﾉ ~ ソ^=-.i,,,,|,,,|
.|..l i,-=''~~--,,, ＼ ＼ l ／ ／ ／ __,-=^~
|,-''~ -,,,＿ ~-,,. ＼ .＼ | .／ ／ ＿,,,-~ ／
~^''=、＿ _ ^'- i=''''''^~~~~~~~~~~~~~~~~~~~~^''''''''=i -'^~
~^^''ヽ ヽ i ｼﾞｴﾝｷｬｯｽﾙ / ／ ノ
ヽ 、 l | ｌ l / .／ ／
＼_ 、i ヽ i / ,,=='
''==,,,,＿＿＿,,,=='~
0689１３２人目の素数さん
2006/04/27(木) 07:30:140690１３２人目の素数さん
2006/05/13(土) 21:11:300691１３２人目の素数さん
2006/05/26(金) 12:50:550692１３２人目の素数さん
2006/05/28(日) 20:01:350693１３２人目の素数さん
2006/05/29(月) 13:25:170694１３２人目の素数さん
2006/06/02(金) 14:11:07/￣`''''"'x、
,-=''"`i, ,x'''''''v'"￣`x,__,,,＿
＿＿,,/ i! i,￣＼ ` 、
__x-='" | /ヽ /・l, l, ＼ ヽ
/（ 1 i・ ﾉ く、ﾉ | i i, ／￣￣￣￣￣
| i, {, ﾆ , .| | i, ＜ スプー
.l, i, } 人 ﾉヽ | { { ＼＿＿＿＿＿
}, '、 T`'''i, `ー" ＼__,/ .} |
.} , .,'、 }, `ー--ー'''" / } i,
| ,i_,iJ `x, _,,.x=" .| ,}
`" `ー'" iiJi_,ﾉ
0695１３２人目の素数さん
2006/06/03(土) 23:02:360696１３２人目の素数さん
2006/06/07(水) 17:12:45ぼれる集合とぼれない集合があるんだ
ばれる犯罪の村上ファンドのようなもんだ
0697１３２人目の素数さん
2006/06/16(金) 01:57:060698１３２人目の素数さん
2006/06/17(土) 05:09:31「無意味なスレ立て厳禁」
って読めませんか？
そういうくだらない話は質問スレでやってください
終 了
そして>>1はすぐ死ね
0699１３２人目の素数さん
2006/06/17(土) 19:35:380700１３２人目の素数さん
2006/06/20(火) 17:33:480701１３２人目の素数さん
2006/07/15(土) 00:48:460702菅_理人@kmath1107BBS ◆.ffFfff1uU
2006/07/15(土) 01:10:270703１３２人目の素数さん
2006/07/15(土) 20:55:27http://science4.2ch.net/test/read.cgi/math/1152964040
0704１３２人目の素数さん
2006/07/28(金) 17:11:130705１３２人目の素数さん
2006/08/17(木) 15:27:10ｽﾞｽﾞｽﾞｽﾞｽﾞﾞｽｰ
そんなんでなー家方紳士でる気でおんなよー。
ホゲーが。
ざまあみろ。
いにいにい
0706伊藤清三
2006/08/23(水) 10:59:160707１３２人目の素数さん
2006/08/26(土) 10:37:430708１３２人目の素数さん
2006/08/30(水) 17:38:190709１３２人目の素数さん
2006/09/30(土) 20:00:29違うよ
ついでに田村一郎、二郎、三郎も血縁関係はない
0710１３２人目の素数さん
2006/09/30(土) 20:31:010712１３２人目の素数さん
2006/10/01(日) 14:13:330713１３２人目の素数さん
2006/10/03(火) 02:40:250714中川秀泰
2006/10/06(金) 12:35:580715１３２人目の素数さん
2006/10/06(金) 18:02:19そう それはよかった
0716１３２人目の素数さん
2006/10/12(木) 20:01:24吉田洋一のルベグ積分入門を趣味で読み始めました。
おもしろいですねこれ。でもサラッと書かれてる一文を理解するのにヘタしたら数日費やしたり、
演習問題が思いのほか手ごわかったりでなかなか読み進めません。
でも不思議と投げ出したい気分にならないのでゆっくり行こうと思います。
0717１３２人目の素数さん
2006/10/15(日) 14:46:27よくわからないので頭の良い方くわしく教えてください。
0718１３２人目の素数さん
2006/10/15(日) 15:34:15集合Eが加算集合ならば、そのLebesgue外測度μ*(E)=0
だから無理数の集合のLebesgue外測度は1
つまり[0,1)の「ほとんどいたる所」無理数ってことだ
0719１３２人目の素数さん
2006/10/15(日) 15:45:390720１３２人目の素数さん
2006/10/15(日) 16:52:33いろいろ、きいちゃってすいません。幼稚な質問でしたら無視していただいて
かまいません
0721１３２人目の素数さん
2006/10/15(日) 18:26:410722１３２人目の素数さん
2006/10/16(月) 03:27:32良く見ろよ。>>718に解答があるだろ。
0723１３２人目の素数さん
2006/10/16(月) 18:04:44更にそれが有理数である確率はどれくらい？
0724１３２人目の素数さん
2006/10/16(月) 18:09:53とくに有理数はそのなかの偶数と一対一に対応するように
全単写を定めることが出来る。
だから答えは1/2だな。
0725１３２人目の素数さん
2006/10/16(月) 18:19:09代数的数の全体そのものが可算集合で、そのLebesgue測度は零になるから
条件付確率は定義できんよ。
確率が欲しいならもっと細かい別の確率測度が必要。
0726１３２人目の素数さん
2006/10/20(金) 23:02:51[0,1]の中の有理数に番号をつけて、r[1],r[2],‥とする
確率測度をP(E)=Σ[i:r[i]∈E]2^iとすると[0,1]の有理数全体Qでは
P(Q)=(1/2)/(1-1/2)=1となり、無理数Iでは
P(I)=1-P(Q)=0となって
ほとんど確実に有理数を抜き出す
というのをどっかで見たな
0727１３２人目の素数さん
2006/10/20(金) 23:17:41確率測度はP(E)=Σ[i:r[i]∈E]1/2^iだった
0728１３２人目の素数さん
2006/11/02(木) 09:53:37だんだん仕事が馬鹿らしくなって、会社辞めるに一票
0729１３２人目の素数さん
2006/11/13(月) 05:44:530730１３２人目の素数さん
2006/11/13(月) 20:20:47何から勉強したらいいでしょうか？来年の３月までにある程度理解したいです。
解析学、線形代数はそこそこ勉強しましたが、
あとは理工系で普通にやる応用数学レベル（フーリエ解析、複素関数、統計学等）です。
0731１３２人目の素数さん
2006/11/13(月) 20:40:30伊藤清三の『ルベーグ積分入門』はたぶん読めないだろうから
新井仁之の『ルベーグ積分講義』（日本評論社）が手ごろだと思う。
0732１３２人目の素数さん
2006/11/13(月) 20:45:000733１３２人目の素数さん
2006/11/13(月) 20:52:59位相抜きでルベーグが学べる応用家向けのテキストもあると思うが。
（こういうヘタレコースは数学科の学生には許されない。）
0734１３２人目の素数さん
2006/11/13(月) 21:05:14ありがとうございます。
新井仁之の『ルベーグ積分講義』（日本評論社） は 集合位相抜きで大丈夫でしょうか？
>>732-733
昔、講義に出たことになっているようですが、ほとんど記憶にありません。
内田 伏一「集合と位相」 をもっていて、これで昔勉強したようです。
この本で充分でしょうか？
0735１３２人目の素数さん
2006/11/13(月) 21:08:300736１３２人目の素数さん
2006/11/13(月) 21:10:46> 新井仁之の『ルベーグ積分講義』（日本評論社） は 集合位相抜きで大丈夫でしょうか？
十分に読めますよ。
ルベーグ積分なんて大して難しいシロモノじゃないから、
気楽に読み進めればいいと思いますよ。
0737１３２人目の素数さん
2006/11/13(月) 21:32:160738１３２人目の素数さん
2006/11/13(月) 21:58:53局所コンパクト空間でのRieszの表現定理のいい証明は少ないね。
積分論の基本なのに。
Halmos は中途半端。
Bourbakiはややゴタゴタしてる。
それを真似た Hewitt-Rossも同じ。
Hewitt-Rossの(少なくともRieszの表現定理に関しての)コピーである
壬生も当然同じ。
(私の知る限り)唯一 Rudin の(real and complex analysis)はいい。
しかし、誤解を与えそうなところがある。
開集合 U の外測度の定義で supp(f) ⊂ U となる f の I(f) の 上限
としているところ。ここで f は コンパクトな台を持つ連続関数で、
I(f) は非負線形汎関数。 当然 0 ≦ f ≦ 1
普通は 0 ≦ f ≦ χ_U となる f の I(f) の 上限を U の外測度の定義と
している。ここで、χ_U は U の特性関数。
両者の定義が一致することを証明するには Dini の定理が必要になる
と思うが、Rudin はそれに言及していない。
0739１３２人目の素数さん
2006/11/13(月) 22:30:050740１３２人目の素数さん
2006/11/14(火) 00:01:39ボレル測度が理解できんのは問題かと
0741１３２人目の素数さん
2006/11/14(火) 00:02:17標準を知らないと文献読むのに困るだろ
0742１３２人目の素数さん
2006/11/14(火) 10:54:00数学を専門にやる人はそうかもしれないけど、
他分野で、ルベーグ積分はなんぞやをてっとり早く知りたい向きには、
ボレル測度はすっとばして、その完備化されたルベーグ測度からはじめても問題ないと思うけどな。
伊藤でもボレルとルベーグ測度は章を改めてあんまりそれ以外の内容に話が波及しないように
配慮してるように見えるけど？
数学を利用したい立場と数学そのものが目的の立場で要求される読み方が違うと思うんだが。
当然俺は前者なんだが。
0743１３２人目の素数さん
2006/11/14(火) 15:50:260744１３２人目の素数さん
2006/11/14(火) 17:23:43>>731== >>734だろ？、
数学科じゃないと言ってるし。むしろ短い時間でルベーグ積分の本質(つーかアブストラクト)が
分かればそれでいーんじゃないの？位相との兼ね合いとかに話が及ぶと3月までに片付くか？
おそらくそれ以外の本分があって、片手間(?)にやると思われ。
0745１３２人目の素数さん
2006/11/14(火) 18:50:37積分の構成法を知らなくても積分は使える。
0746１３２人目の素数さん
2006/11/14(火) 18:52:530747１３２人目の素数さん
2006/11/15(水) 12:30:18∀T∃μ∀f (Tf =∫_X fdμ) で
Tは線形形式、μはX上の測度、fはX上の関数で
これ以上T,μ,f,Xにどんな制限加えれば成り立つんだっけ
0748１３２人目の素数さん
2006/11/15(水) 13:24:53f は(ハウスドルフ)局所コンパクト空間 X 上のコンパクトな台を
持つ連続関数。
T は非負、つまり f ≧ 0 なら T(f) ≧ 0
測度 μ はボレル集合(すべての開集合を含む最小のσ-集合代数)で
定義された測度で以下の条件を満たすもの。
1) 任意のコンパクト部分集合 K に対して μ(K) ＜ ∞
2) 任意の開集合 U に対して
μ(U) = sup{μ(K); K ⊂ U, K はコンパクト}
3) 任意のボレル集合 B に対して
μ(B) = inf{μ(U); B ⊂ U, U は開集合}
X が第２可算公理を満たせば、条件 2), 3) は 1) から自動的に
満たされる。
因みに関数解析にも同じ名前のRieszの表現定理があるが、
これはそれとは別。
0749１３２人目の素数さん
2006/11/16(木) 21:09:40ノルム収束するが概収束しない例をそれぞれお願いします。
0750１３２人目の素数さん
2006/11/16(木) 21:10:30∫ｆ＝c; cは定数
この時
lim∫nlog[1+(f/n)＾α]dx= ∞,0＜α＜1 ｃ,α＝1 ０,1＜α＜∞ を示せ。
誰かお願いします！！
0751１３２人目の素数さん
2006/11/16(木) 22:10:000752１３２人目の素数さん
2006/11/16(木) 22:40:280753１３２人目の素数さん
2006/11/16(木) 23:20:000754１３２人目の素数さん
2006/11/17(金) 05:00:01０＜ａ＜１のときはｌｏｇ（１＋ｙ）≧ｙ－ｐｙ＾２（｜ｙ｜＜１／２）に
ｙ＝（ｆ／ｎ）＾ａを代入して積分して極限をとる。
１≦ａのときはｎｌｏｇ（１＋（ｆ／ｎ）＾ａ）≦ｆ＾ａ／ｎ＾（ａ－１）≦ｍ＾（ａ－１）ｆ
なので優収束定理を使う。
一般の場合はｆ（ｘ）＜１／ｍのときｇ（ｘ）＝０，１／ｍ≦ｆ（ｘ）≦ｍのとき
ｇ（ｘ）＝ｆ（ｘ），ｍ＜ｆ（ｘ）のときｇ（ｘ）＝ｍとなるｇを使う。
0755１３２人目の素数さん
2006/11/17(金) 05:10:000756１３２人目の素数さん
2006/11/17(金) 20:21:25Tは有界である必要は無いのですか
いや、748の仮定から導かれるのか…試してみます
0757１３２人目の素数さん
2006/11/18(土) 06:28:34仮定から局所的に有界になるからそれで十分。
つまり コンパクト部分集合 K に対して K のみで定まる
定数 c ≧ 0 が存在し、
K 内に台を持つ任意の連続関数 f に対して |T(f)| ≦ c|f| となる。
ここで |f| = sup{|f(x)|; x ∈ X}
c としては K で 1 となる g ≧ 0 をとり c = T(g) とすればよい。
0758１３２人目の素数さん
2006/11/18(土) 09:22:07つまり T(f) として連続関数の積分を取ればいい。
この積分はリーマン積分を持ち出すまでもなくごく簡単に出来る。
だから >>748 は積分論の基本になるもの。
この定理とその証明があまり知られていないのは嘆かわしい。
まあルベーグ積分しか使わなければ必要ないが。
0759１３２人目の素数さん
2006/11/18(土) 21:34:350760１３２人目の素数さん
2006/11/19(日) 10:20:24マルチ
0761１３２人目の素数さん
2006/11/19(日) 16:28:570762１３２人目の素数さん
2006/11/20(月) 00:18:47Lebesgue外測度は直接定義から証明すればいいのではないかい？
[0,1）の無理数を覆うかざんこの半開区間の長さで最小名ものはいつも１ということを
0763１３２人目の素数さん
2006/11/20(月) 01:21:06ルベーグ外測度をmで表すことにする。
補題：I⊂Rを有界集合(よってm(I)＜∞)とする。J⊂Iがm(J)＝0を満たすとき、m(I－J)＝m(I)が成り立つ。
証明：I－J⊂Iだからm(I－J)≦m(I)が成り立つ。あとはm(I)≦m(I－J)を示せばよい。まず、m(I－J)及び
m(J)の定義から、任意のε＞0に対して、I－Jを被覆するある開区間の列{On}が存在して、m(I－J)≦
Σ[i＝1～∞]|On|＜m(I－J)＋εが成り立ち、同じく、Jを被覆するある開区間の列{O'n}が存在して、
0≦Σ[i＝1～∞]|O'n|＜εが成り立つ。すると、I＝(I－J)∪J⊂(∪On)∪(∪O'n)となり、Iの開被覆が
得られたので、m(I)の定義からm(I)≦Σ|On|＋Σ|O'n|となるが、この不等式の右辺＜m(I－J)＋2ε
となる。よって、任意のε＞0に対してm(I)＜m(I－J)＋2εが成り立つことになる。よって、
m(I)≦m(I－J)となる。以上より、m(I－J)＝m(I)となる。
I＝[0,1), J＝「I内の有理数全体」⊂Iとおくと、I－J＝「I内の無理数全体」となる。示すべきは
m(I－J)＝1であるが、このI,Jは補題の仮定を全て満たすので、m(I－J)＝m(I)＝1となり、確かに
m(I－J)＝1が成り立つ。
0764１３２人目の素数さん
2006/11/21(火) 11:56:16なぜなら、Lebesgue測度は外測度を可測集合族に制限したものに他ならないが、
可測集合族上における外測度の加法性を用いているから。
この加法製の証明が測度論の前半で一番難しいところなのに。
0765１３２人目の素数さん
2006/11/21(火) 22:11:290766１３２人目の素数さん
2006/11/21(火) 23:31:25的を得る…的のど真ん中に当てること
0767766
2006/11/21(火) 23:33:470768１３２人目の素数さん
2006/11/22(水) 01:55:13お前的を得るなんて言ったら赤っ恥だぞ。
当を得る
んだよバーか！
0769１３２人目の素数さん
2006/11/22(水) 02:01:150770１３２人目の素数さん
2006/11/22(水) 02:07:560771１３２人目の素数さん
2006/11/22(水) 02:13:37どの辞書にも「的を射る」しか載っておらず、やはり「的を射る」とするのが正答と見て間違いないようだ。
0772１３２人目の素数さん
2006/11/22(水) 02:45:29> どの辞書にも「的を射る」しか載っておらず、やはり「的を射る」とするのが正答と見て間違いないようだ。
大修館書店『日本語大シソーラス』
小学館の『日本国語大辞典（12）』
0773１３２人目の素数さん
2006/11/22(水) 09:11:360774１３２人目の素数さん
2006/11/22(水) 09:13:00言葉というのは、結局多く使われているもの勝ち。
「的を得る」が仮に「当を得る」の誤用だとしても(その証拠は？)、
これだけ多く使われているので、それを間違いだと指摘しても
非生産的。憧憬をどうけいと読むのもそう。
0775１３２人目の素数さん
2006/11/22(水) 09:14:550776１３２人目の素数さん
2006/11/22(水) 09:18:12っていうぐらい、ロジックに厳しく、簡単な事から平気で組み上げてた。
子供心に尊敬したし、数学ってすごいなって思いました。
今でも、それぐらいの人はたくさんいるでしょうが、、、。
0777１３２人目の素数さん
2006/11/22(水) 09:21:25論をどんどん組み上げてる。あれは正直、高校生にも読めるし、あそこ
から出発すればまず間違いない。あれをこなせるかどうかが問題だが。
結局、想像力と忍耐なのか？
0778１３２人目の素数さん
2006/11/22(水) 09:32:39世論をセロンと読むもそうだな。
本来は輿論だから、ヨロンが正しい。
しかし今さらそれが誤りだと指摘しても、無駄。
0779１３２人目の素数さん
2006/11/22(水) 09:37:49文学だって感じてなんぼ。
そのうち「絵文字小説」が偉大な文学作品になるやもしれない。
0780１３２人目の素数さん
2006/11/22(水) 11:05:160781１３２人目の素数さん
2006/11/22(水) 12:17:51教養あり情趣を解するものは例外なく「あらたし」を使う
最近は自称文化人までがこの表現を使う
似非教養人野郎は死んでしまえ
0782１３２人目の素数さん
2006/11/22(水) 12:20:000783１３２人目の素数さん
2006/11/22(水) 12:40:580784１３２人目の素数さん
2006/11/22(水) 12:59:19２ｃｈだからしかたない。
本当の大人なら誤字、誤用と思ってもいちいちつっこまない。
0785１３２人目の素数さん
2006/11/22(水) 13:04:450786１３２人目の素数さん
2006/11/22(水) 13:05:26こう書いたからって俺がそらんじてる訳ではないが、、、、。
でも早いうちにどれでも論理をかちっと抑えてよく読んだ方がいいよ。
例えばそれがガウスの整数論でもかなりよいと思う。
ここは一つ、るベー具に沿って話しませう。
0787１３２人目の素数さん
2006/11/22(水) 13:44:55> 本当の大人なら誤字、誤用と思ってもいちいちつっこまない。
残念ながらそんな人はそういませんねぇ。
数学板にはｗ
0788１３２人目の素数さん
2006/11/22(水) 15:09:490789１３２人目の素数さん
2006/11/22(水) 15:32:590790１３２人目の素数さん
2006/11/22(水) 15:33:290791１３２人目の素数さん
2006/11/22(水) 19:22:16誰かこれを詳しく説明してもらえませんか？
∞の場合だけで良いのでお願いします。
0792１３２人目の素数さん
2006/11/22(水) 20:08:51誰かこれを詳しく説明してもらえませんか？
∞の場合だけで良いのでお願いします。
0793１３２人目の素数さん
2006/11/22(水) 20:17:17誰かこれを詳しく説明してもらえませんか？
∞の場合だけで良いのでお願いします。
0794１３２人目の素数さん
2006/11/22(水) 23:19:58このとき測度収束しますか？
0795１３２人目の素数さん
2006/11/22(水) 23:36:590796１３２人目の素数さん
2006/11/23(木) 00:30:530797１３２人目の素数さん
2006/11/23(木) 00:46:370798１３２人目の素数さん
2006/11/23(木) 00:57:18できたら正しい回答をお願いしたいです。
0799１３２人目の素数さん
2006/11/23(木) 02:46:25・x＋1＞0のときx/(x＋1)≦log(x＋1)≦x
任意の実数xに対してx＋1≦e^xが成り立つので、x＋1＞0のときlog(x＋1)≦x が成り立つ。
また、x＋1＞0のとき、x＋1≦e^xを分母分子逆にしてe^(－x)≦1/(x＋1) となるので、
1/(1＋x)＝1＋yと無理やり変換してxを消去すればe^{y/(1＋y)}≦1＋y，y＋1＞0 を得る。
よってx/(x＋1)≦log(x＋1) (x＋1＞0)を得る。気持ち悪い人は素直にビブンしてグラフを調べる。
0800１３２人目の素数さん
2006/11/23(木) 04:19:390801１３２人目の素数さん
2006/11/23(木) 05:29:39解く気がないんなら白紙でだしゃいいじゃん。
こんなめんどくさい問題出した先生は、たぶん誰も解けないと思ってるし、単位が来ないことはないと思うよ。
0802１３２人目の素数さん
2006/11/23(木) 09:18:31計算していくと∫lim n ｄｘの形になってしまうんですが
n→∞で∫のなかが∞になってしまうんですが
∫lim n ｄｘ＝∞としていいんですか？
0803１３２人目の素数さん
2006/11/23(木) 09:27:37安心して白紙で出しとけ
0804728
2006/11/23(木) 10:24:39ルベーグの収束定理でいれかえられますよね？
0805１３２人目の素数さん
2006/11/23(木) 10:27:440806１３２人目の素数さん
2006/11/23(木) 10:33:450807１３２人目の素数さん
2006/11/23(木) 10:35:440808１３２人目の素数さん
2006/11/23(木) 10:37:010809１３２人目の素数さん
2006/11/23(木) 10:38:080810１３２人目の素数さん
2006/11/23(木) 15:05:480811１３２人目の素数さん
2006/11/23(木) 15:13:310812１３２人目の素数さん
2006/11/23(木) 15:21:360813１３２人目の素数さん
2006/11/23(木) 15:24:05先生に｢この問題には出題ミスがある。馬鹿じゃない？｣といって優をもらう。
0814１３２人目の素数さん
2006/11/23(木) 15:27:160815１３２人目の素数さん
2006/11/23(木) 15:32:44モット簡単な方法が見つかったのですぐ書くよ。
0816１３２人目の素数さん
2006/11/23(木) 15:48:15lim∫nlog[1+(f/n)＾α]dx＝∫lim nlog[1+(f/n)＾α]dx
ところで、
lim (n^α)log[1+(f(x)/n)^α]=f(x)^α である。
よって、
lim nlog[1+(f(x)/n)^α]
＝f(x)^α・lim n^{1-α}
＝f(x) if α=1
＝0 if α>1
＝f(x)^α・∞ if 0<α<1
（但し、f(x)^α・∞はf(x)=0のときは０とする。）
従って、
lim∫nlog[1+(f/n)＾α]dx
＝∫lim nlog[1+(f/n)＾α]dx
＝∫f(x)dx=c 、if α=1
＝∫0 dx=0 、if α>1
＝∫f(x)^α・∞dx＝∞、 if 0<α<1
0817１３２人目の素数さん
2006/11/23(木) 15:51:440818１３２人目の素数さん
2006/11/23(木) 15:52:160819１３２人目の素数さん
2006/11/23(木) 15:56:440820１３２人目の素数さん
2006/11/23(木) 16:07:070821１３２人目の素数さん
2006/11/23(木) 16:13:08lim f_n=f(x) a.e. x
とすると、
lim ∫f_n dx＝∫f(x)ｄｘ
0822１３２人目の素数さん
2006/11/23(木) 16:17:46でおｋ？
0823１３２人目の素数さん
2006/11/23(木) 16:20:25f_n(x) = n (0≦x＜1/n)
f_n(x) = 0 (otherwise)
でおｋ？
0824１３２人目の素数さん
2006/11/23(木) 16:20:300825１３２人目の素数さん
2006/11/23(木) 16:26:16単調増加の条件が必要だった。
f_1＝＜f_2＝＜・・・
今の場合、これを満たしている。
F_n(x)=（1+(f(x)/n)^α)^n
とおくと、
高校数学にもあるように、これは単調増加。
よって、nlog（1+(f(x)/n)^α)＝log｛（1+(f(x)/n)^α)^n｝もalso
0826１３２人目の素数さん
2006/11/23(木) 16:30:09しかし、上の方法で基本的には問題ないのだろう。
0827１３２人目の素数さん
2006/11/23(木) 16:42:510828１３２人目の素数さん
2006/11/23(木) 17:02:05lim (n^α)log[1+(f(x)/n)^α]=f(x)^α である。
よって、
lim nlog[1+(f(x)/n)^α]
＝f(x)^α・lim n^{1-α}
がよくわからなくて…
0829１３２人目の素数さん
2006/11/23(木) 17:05:41定数ＭにたいしてＭ×特性関数∈Ｌ＾１である。と書いてあるんですが
ｍ（Ｅ）＜∞って条件はどんな意味があるんですか？
0830１３２人目の素数さん
2006/11/23(木) 17:08:34十分大なnに対しては(f(x)/n)^α＝0ってかんがえられて
1＾ｎは1だからどこかで減少し始めると思うんですが…違いますかね？
0831１３２人目の素数さん
2006/11/23(木) 17:14:04lim f^alog[1+(f/n)^a]^(n/f)^a=f^alogeってことですか？
lim log[1+(1/n)^a]^n^a=eの式でn^aでa=1以外っていいんですか？
0832１３２人目の素数さん
2006/11/23(木) 17:16:36∈Ｌ＾１であることがどういうことか考えれば分かるだろ馬鹿
0833827
2006/11/23(木) 17:25:22exp(αx) ≧ 1+x^α x≧0
でルベーグの収束定理。
α<1のときはファトゥーだなあ。
0834１３２人目の素数さん
2006/11/23(木) 17:25:45ｍ（Ｅ）＜∞があらわしてる意味がわからないんです。
0835KingOfUniverse ◆667la1PjK2
2006/11/23(木) 17:31:26talk:>>834 とりあえず全文を書け。多分、ｍは測度のことだろうけれど。
0836１３２人目の素数さん
2006/11/23(木) 17:44:140837１３２人目の素数さん
2006/11/23(木) 17:48:160838１３２人目の素数さん
2006/11/23(木) 18:22:22p88の定理１３．２の誤り：
０＝＜f_1＝＜f_2＝＜・・・
このとき、lim∫f_ndx＝∫lim f_n dx が成り立つ。
0839１３２人目の素数さん
2006/11/23(木) 18:30:05F_n(x)=(n^α)log[1+(f(x)/n)^α]
とおくと、
０＜＝F_1＜＝F_2<=・・・
で
lim F_n(x)=f(x)^α
である。
よって、>>838に書いた定理により、
lim ∫(n^α)log[1+(f(x)/n)^α]dx=∫f(x)^α dx >0 ( =∞も可）
である。
よって、
lim∫nlog[1+(f/n)＾α]dx
＝lim n^{1-α}・∫n^α・log[1+(f/n)＾α]dx
（正項数列の積の極限で、ともに０に収束しないので）
＝lim n^{1-α}・lim∫n^α・log[1+(f/n)＾α]dx
＝lim n^{1-α}・∫f（ｘ）^α dx
＝∞・∫f（ｘ）^α dx
＝∞
0840１３２人目の素数さん
2006/11/23(木) 18:39:42lim∫nlog[1+(f/n)＾α]dx
＝lim n^{1-α}・∫n^α・log[1+(f/n)＾α]dx
（正項数列の積の極限で、ともに０に収束しないので）
＝1・∫f(x)dx = c 、if α=1
＝∞・∫f(x)^αdx ＝∞、 if 0<α<1
しかし、α>1 のときは、注意を要する。
（０・∞となっている場合があるので）
実際、∫f(x)^αdx ＜∞ の場合だと、全く同じように、次が得られる。
＝0・∫f(x)^α dx =0 、if α>1
だから、残っているのは、
α>1 で ∫f(x)^αdx ＝∞ の場合だけ。
これはもっと前段階から考える必要がある。
0841１３２人目の素数さん
2006/11/23(木) 18:45:27α>1 で ∫f(x)^αdx ＝∞ の場合には、
lim∫nlog[1+(f/n)＾α]dx ＝０
とは限らないと思う。
0842827
2006/11/23(木) 18:55:28あと、私にはF_nが単調増大なのが自明だとは思えないので、
それだけでレポート用紙を１ページぐらい消費しそうだな。
∞にいく場合はファトゥーより簡単なのはないし、収束する場合はルベーグ使ったほうがはるかに楽。
0843１３２人目の素数さん
2006/11/23(木) 19:04:01（log(1+x)）/x がx>0で単調現象である
ことからほとんど自明に示せるよ。
0844１３２人目の素数さん
2006/11/23(木) 19:09:35exp(αx) ≧ 1+x^α （ x≧0 ）？？
exp(αx) ≧ 1+αx と間違えてない？
0845１３２人目の素数さん
2006/11/23(木) 19:14:56すなわち、∫f(x)^αdx が本質的な役割をするので避けられない。
0846１３２人目の素数さん
2006/11/23(木) 19:23:43ｃ＝∫f(x)^αdx ＜∞ で ｆ=/=0 すなわち、ｃ＞０
すると、lim∫nlog[1+(f/n)＾α]dx
＝lim n^{1-α}・∫n^α・log[1+(f/n)＾α]dx
（正項数列の積の極限で、ともに０に収束しないので）
＝1・∫f(x)dx = c 、if α=1
＝∞・∫f(x)^αdx ＝∞、 if 0<α<1
＝0・∫f(x)^α dx =0 、if α>1
0847１３２人目の素数さん
2006/11/23(木) 19:24:49ｃ＝∫f(x)^αdx ＜∞ で ｆ=/=0 すなわち、ｃ＞０
すると、lim∫nlog[1+(f/n)＾α]dx
＝lim n^{1-α}・∫n^α・log[1+(f/n)＾α]dx
（正項数列の積の極限で、一方は有限値に収束するので）
＝1・∫f(x)dx = c 、if α=1
＝∞・∫f(x)^αdx ＝∞、 if 0<α<1
＝0・∫f(x)^α dx =0 、if α>1
0848１３２人目の素数さん
2006/11/23(木) 19:26:37exp(αx)=(exp(x))^α≧(1+x)^α≧1+x^α
ってしたわけだが、ぶっちゃけexp(Ax)になってればいいので、
exp(Ax)がxの冪に負けることはないはず。
0849１３２人目の素数さん
2006/11/23(木) 19:29:48これは α＞１ でないと成り立たないんじゃないか？
0850１３２人目の素数さん
2006/11/23(木) 19:38:30これは x>0 にしないと意味が通らんし、
α＝1/2
の場合に成り立たない。
0851１３２人目の素数さん
2006/11/23(木) 19:40:02やっぱり α≧1 と書いていたのね。
0852１３２人目の素数さん
2006/11/23(木) 19:41:32log(1+x^α) ≦ αx
と評価するわけで、0<α<1のときはファトゥーで一発じゃん。
0853１３２人目の素数さん
2006/11/23(木) 19:42:220854１３２人目の素数さん
2006/11/23(木) 19:43:40君はこれでも読んでなさい
http://aozoragakuen.sakura.ne.jp/taiwa2/jissuron/node8.html
0855１３２人目の素数さん
2006/11/23(木) 19:48:18n log[1+(f/n)^α] ≦n・α(f/n) = αf
で、ルベーグの収束定理で大丈夫だよね。
0856１３２人目の素数さん
2006/11/23(木) 19:54:080857１３２人目の素数さん
2006/11/23(木) 19:56:370859１３２人目の素数さん
2006/11/23(木) 19:59:450860１３２人目の素数さん
2006/11/23(木) 20:05:29liminf ∫略 ≧ ∫liminf 略 = ∞
0861１３２人目の素数さん
2006/11/23(木) 20:06:00lim n・log[1+(f/n)^α]
＝∞ if f(x)>0
＝０ if f(x)=0
よってFatouの定理によって、
lim ∫n・log[1+(f/n)^α]＞＝∫lim n・log[1+(f/n)^α]＝∞
0862１３２人目の素数さん
2006/11/23(木) 21:11:22lim log(1+1/n)^nの中身のnはn^2とかにしたらだめだからね。
0863１３２人目の素数さん
2006/11/23(木) 21:18:17lim log{(1+at)^(1/t)}=lim (log(1+at) )/t = a
がなりたつ。
0864１３２人目の素数さん
2006/11/23(木) 21:34:330865１３２人目の素数さん
2006/11/23(木) 22:04:36lim log[(1+(1/n)^2]^[n^2]=eは成り立ちません。
0866１３２人目の素数さん
2006/11/23(木) 22:10:49そう、成り立たない。lim[n→∞]log{1＋(1/n)^2}^(n^2)＝1だから。
0867１３２人目の素数さん
2006/11/23(木) 22:30:590868１３２人目の素数さん
2006/11/23(木) 22:31:44これは成り立ちません。
0869１３２人目の素数さん
2006/11/23(木) 22:41:34そう、成り立たない。カッコの数があってないからな。
0870１３２人目の素数さん
2006/11/23(木) 22:45:470871１３２人目の素数さん
2006/11/23(木) 22:50:18>>799の不等式にx＝1/n^2を代入して、1/(1＋n^2)≦log{1＋(1/n)^2}≦1/n^2が
成り立つ。両辺にn^2をかけて(n^2)/(1＋n^2)≦log{1＋(1/n)^2}^(n^2)≦1 が
成り立つ。挟み撃ちの原理より lim[n→∞]log{1＋(1/n)^2}^(n^2)＝1
0872１３２人目の素数さん
2006/11/24(金) 00:39:470873１３２人目の素数さん
2006/11/26(日) 00:37:14∫[-l2～l2] (e^(-jkr)/r)sink(l2-|ξ|) dξ
ただし、
r=(d^2+(z+l1)^2)^(1/2)
dr/dz＝-dr/dξ
この問題なんですけど、解けなくて困ってます。
おそらく、解はEi(-jk○○)という形になるのですが、どなたか解けませんか？
0874873
2006/11/26(日) 00:39:370875１３２人目の素数さん
2006/11/26(日) 22:39:23ボレル集合族を
・ユークリッド空間R^Nの中の閉集合の全体を含む最小のσ加法族
・一般の空間Xにおいてその部分集合のσ加法族
の二つを紹介してるが、一般にはどっちを言うの？
0876１３２人目の素数さん
2006/11/26(日) 23:02:08これって、部分集合から生成された普通のσ加法族の事じゃないの？
ボレル集合族って位相空間じゃなきゅだめじゃないの？
0877１３２人目の素数さん
2006/11/27(月) 00:36:19>>876
開集合族から生成されたσ加法族をボレル集合族という。そうでないものは言わない。
位相のない空間ではボレル測度は定義できない。
0878１３２人目の素数さん
2006/11/27(月) 07:10:10結局どこかで位相orそれと同等な概念を定義してしまうのでしょう
0879875
2006/11/27(月) 09:21:05と但し書きがある。
数学屋さんが広く使ってるボレル集合体は位相を入れたものを指すわけね。mOm thx
ボレル可測の部分はすっとばそうと思ってたので、是非教えてください。
σ集合体だけじゃなくボレル集合族を用意するとどういう利点があるのでしょう？
つーかどういう話の展開につながっていくのでしょう？アブストラクトでいいので教えてください。
近視眼的に読んでても全体像がよくわからない。
伊藤読んでると出てくるxx測度とxx集合体と位相あたりの相関関係は図示できないものでしょうか？
0880１３２人目の素数さん
2006/11/27(月) 13:20:36定義域と値域が共に可測空間である場合を考え、可測集合の逆像が可測集合
になる写像を可測写像と定義する。定義域と値域にボレル可測集合族を定めると、
連続性の定義により、当然連続写像は可測写像となる。
0881１３２人目の素数さん
2006/11/27(月) 13:29:01だから、それ以上議論を進めようがない。
ボレル集合体なら連続関数が可測だから、それらの極限とかを考えれば、非常に広いクラスの関数が可測になる。
0882１３２人目の素数さん
2006/11/27(月) 13:49:050883１３２人目の素数さん
2006/11/29(水) 15:05:35いろいろ図書館で見てたら竹之内のルベーグ積分にやさしく開設してた。な～るほろ。
いきなり最小のσ集合って言われてもわからんかったよ。
伊藤で探すと、付録の被服定理に同じような説明があった。うーん、でもこの説明むずいなー
0884１３２人目の素数さん
2006/11/29(水) 15:31:00「～を連続にする最弱の位相」とか、
たぶん突き詰めていくと圏論のユニバーサリティーに辿り着きそうな気がする。
0885１３２人目の素数さん
2006/11/29(水) 17:27:55いっちゃ悪いがｵﾇｼの勉強不足
位相をしってりゃ>>884の例とか閉包作用素とか開基とか、
似たような議論に何度も遭遇したはず
0886１３２人目の素数さん
2006/11/29(水) 18:54:430887１３２人目の素数さん
2006/11/30(木) 22:10:580888１３２人目の素数さん
2006/11/30(木) 22:27:170889883
2006/12/01(金) 10:38:26>いっちゃ悪いがｵﾇｼの勉強不足
ピンポン。その通りです。
>位相をしってりゃ>>884の例とか閉包作用素とか開基とか、
>似たような議論に何度も遭遇したはず
位相に関してはよく知らないんですよ。でもいいわけすると、
工学部なもんで、位相もルベグも独学するしかなくて。。。
数学科みたいに、数学そのものが目的じゃないから、
集合→位相→etcと進んでるととても間に合わなくて、必要に迫られて、
初めて調べるみたいなことしかできない。
ルベグ自体もそんな感じ。
全部の証明を自力でできるのが目的じゃなくて構造を知りたいというか。。。
位相もいくつか本は持ってるんですが、主に斎藤の"数学の基礎"あたりを
辞書代わりに使ってます。
>>886
>線型代数でも似た例は出てくるよね
どういう箇所か教えてください mOm
0890１３２人目の素数さん
2006/12/01(金) 11:00:56数学科向けだろうが工学部向けだろうが、数学書をパラパラと辞書的に参照して
理解するにはかなりの実力が必要だと思う。
超優秀な奴以外は、通読する方が短時間で済む。
> 数学科みたいに、数学そのものが目的じゃないから
数学科でも数学のお勉強は手段であって目的じゃないからｗ
0891883
2006/12/01(金) 12:04:28位相がわからないと数学がわからないというのは、教科書に載ってる証明を全部自力で、
証明できるようになることを求められる数学屋さんだからじゃないんですか？
数学屋は数学という学問を作るのが目的だから、そりゃそうだろうと思いますが、
証明はできなくても概論を知りたい工学屋レベルからすると、伊藤にしろ、他のルベグ本にしろ、
位相にまつわる必要な説明は大抵、記載があるように印象を持ちましたがどうですか？
ボレル測度にしても注釈に"必要なときに読め"(竹之内)とかなってて、話が他に波及しないように配慮してるように見えるんですが。
あと、工学系学生のためのヒルベルト空間入門(東海大学出版会、数学屋からするとDQN本なんだろうな)
とかにかなりわかりやすく、噛み砕いて説明があるので、ふんふんと調子こいて読み進めてますが。。
上で書いたヒルベルト空間入門と同じシリーズにルベーグ積分入門というのがあるのですが、
もうちょっとだけ詳しく知りたいと思ってる程度なので、一から位相論を読む(証明を追っかける)のはかなり難です。
ちなみに集合と位相は大学で講義はあったんですが(現代数学レクチャーズ、集合と位相を使ってました)、
なにぶん教職課程用ということで、位相はかなりはしょった形で終わってしまいました。
0892883
2006/12/01(金) 12:10:59>数学科でも数学のお勉強は手段であって目的じゃないからｗ
"生活が目的で"とか"食い扶持稼ぐ"とかは無しですよ。
数学屋は数学という学問を作るために数学をやるんでしょ？
工学屋は工学という学問を作るためなどと考えてるのは大学の先生だけで、
工学部でおべんきょしたエンジニアは、
対象物を設計(もしくは設計のお膳立て)をするために工学、数学を利用するだけです。
0893１３２人目の素数さん
2006/12/01(金) 15:11:03・殆どの数学屋は自分の数学研究に役立てるために位相やルベーグ積分を道具として利用するだけ
・>>890のアドバイスは親切
0894１３２人目の素数さん
2006/12/01(金) 15:42:05集合位相は、理系なら一から勉強すべきだと思うが…。
もちろん証明を自分でできるようになる必要はないが、証明の流れは
読んで理解できるように。
それが出来れば、ルベーグ積分自体は流し読みでもわかる。
0895１３２人目の素数さん
2006/12/01(金) 15:51:26わからんなりにちゃんと動かすのが工学屋さんのセンスでしょ？
向いてないんじゃないの？
部品のカラーコーディネートみたいな変なとこにこだわってるな、という感じなんだけど。
時間がないなら工学屋さんの先輩に聞いてごらん。
0896893
2006/12/01(金) 17:57:38>・殆どの数学屋は自分の数学研究に役立てるために位相やルベーグ積分を道具として利用するだけ
精密な数学の理論構築のためにこそ位相があるのでは？
そこまで精密さを要求されることって工学じゃ皆無なんですね。恐らく使うはずが無くて、数学屋でも
つまづきがちな位相にはまるのはいくら遠回りでも遠回りしすぎのような印象を持ちますが？違うんですかね？
上で挙げた数学屋からいうとDQN本東海大学出版会のルベーグ積分入門+ε程度でいいんですけど。
>>894
>集合位相は、理系なら一から勉強すべきだと思うが…。
理学部は知りませんが、僕の知ってる限り、国公立のほとんどの工学部では位相はもちろん
ルベグ自体やらないです。
もちろん、フーリエ変換でも、"ここでの積分はルベグの意味です"の注釈はありますが、
ルベグそのものはやらない。はっきりいって時間的な余裕は絶対ないはずです。
つーか集合位相なんてやるのは数学科と物理系だけじゃないですか？
物理屋が手を出すであろう関数解析とかも黒田本なんてルベグを意識させない書き方になってますよね。
物理屋でも関数解析は手を出しても皆が位相まで手を出すのかなぁ？
>それが出来れば、ルベーグ積分自体は流し読みでもわかる。
そうですか。それは貴重な情報です。
位相そのものはルベグなり、なんらかの目的を通してみた方がbetterという気持ちもあるんですよね。
指導者がいる場合は別なんでしょうが、あれをいきなり読んでもあまりにとりとめのない話で、
まったく興味がわかない。恐らく、数学屋さんにとって、必要な項目ばかりなんでしょうけど、多分野からすると、
まったく実体がつかめない。
だから、ルベグ読んでて、わからないときに開くって感じなんですが。
0897893
2006/12/01(金) 17:58:49>向いてないんじゃないの？
それはルベグをやるのに向いてないって話ですか？それとも技術屋として向いてないって話ですか？
前者はともかく後者だと困りましたね。既にながーいことそれで飯食ってますからね。
>時間がないなら工学屋さんの先輩に聞いてごらん。
工学屋ってのは>>892で自分で書きましたけど、学会には入ってても"学"を全く意識してないので、
技術屋といったほうがぴったりきますね。
それで、上でも書いたように工学部では位相どころか、集合論もカリキュラムに入ってないのが普通です。
ルベグに手を出すのは極めて特殊な例です。なので、仲間内の誰に聞いても位相といえばphaseです。
0898893
2006/12/01(金) 18:09:29・小林貞一 集合と位相
・静間良次 位相
・集合と位相 そのまま使える答えの書き方
・斎藤正彦 数学の基礎
ってのを持ってるんでが、ルベグを読む上で他に入手しといた方がいいのがあれば、
紹介してください。 mOm
0899１３２人目の素数さん
2006/12/01(金) 18:26:44積分するのにルベーグじゃないとだめな関数は、工学屋から見ればかなり病的な
ものしかないと思う。応用上計算が必要な関数の積分って、大学初年度までに
習うようなものがすべてだし、893が無理してルベーグ積分を学んでも積分する技術には
何も結びつかないと思うのだが。
そんなに急いでルベーグ積分だけを学ぶ必要はあるのかね？
0900１３２人目の素数さん
2006/12/01(金) 18:38:390901１３２人目の素数さん
2006/12/01(金) 20:04:26実際には工学には全然関係ないでしょ。単位を取るという以外にはあまり意味が無いはず。
>>896
＞精密な数学の理論構築のためにこそ位相があるのでは？
Lebesgue積分も同じです。残念でした。
>>898
そのうち一冊くらい読みなさい。（そのまま使える～はお勧めしない）
数学の本は入手しただけで辞書みたいには使えません。
0902893
2006/12/01(金) 22:04:30>Lebesgue積分も同じです。残念でした。
いやそれは違うのでは？
ルベグを前提とすれば、被積分関数範囲の拡大はもちろん。
収束定理、項別積分のexcuseなしの成立が保証される。
その後の理論構築する上で楽じゃないですか。
精密な議論より、いらぬ苦労を初めから除外できます。
精密な理論構築は二の次で、理論展開する過程で楽ができることの
ほうにメリットを感じてますが。
0903１３２人目の素数さん
2006/12/01(金) 22:18:290904１３２人目の素数さん
2006/12/01(金) 23:11:10>精密な理論構築は二の次で、理論展開する過程で楽ができることのほうにメリットを感じてますが。
それなら初めから、どんな関数でも積分できるし、どんな極限と積分も交換できるってしたほうが楽じゃん。
ルベーグ積分は精密な数学の理論構築のためのツールであって、工学屋が楽をするためにあるものじゃない。
>>754 の問題とか見てみ？ルベーグ積分知ってても、全然楽じゃないだろ？
ルベーグ積分学んだ後の数学はあんな難しい問題ばっかりだ。
0905１３２人目の素数さん
2006/12/01(金) 23:12:450906１３２人目の素数さん
2006/12/01(金) 23:36:59「小林貞一 集合と位相」は分離公理や完備性を解説していないのでいまいちだと思う
参考書としてはやっぱり松坂和夫の「集合・位相入門」が最適。説明もわかりやすく初心者には取り組みやすい
0907１３２人目の素数さん
2006/12/01(金) 23:50:39微積分学の基本定理が完全に成り立ってるし(f’の可積分性を仮定せずとも、必ず可積分になる)。
0908１３２人目の素数さん
2006/12/01(金) 23:53:55そんなものが理解できる椰子はルベック如きで泣き言を言ったりしない
0909893
2006/12/02(土) 00:11:17>いや工学では使わないでしょ
実はそうとばかりは言えないんです。工学の実現象だけを扱う場合は必要ないと思いますが、
実現象を抽象化して扱う確率、確率過程だと、ルベグは、大山鳴動して・・・とばかりは言えないように思ってます。
実際、工学で物理屋が作った微分方程式を実問題に応用しようとしてもたちまち、外乱、ノイズのお蔭様で、
非常に苦労させられます。工学上の問題は最終的に確率微分方程式に帰着するというのが、
長年エンジニアをやってきた一つの結論で、その過程でルベグは無視できないなと考えるようになりました。
無視してもなんとかつじつまあわせは可能かもしれませんが、確率微分方程式の書物を見てると、
ルベグの理論展開がかなり参考になるというか知らないとへんな所でやたらと時間をとられてしまいます。
位相、ルベグでも同様な関係かもしれませんが。
ちょっとアルコールが入ってるので変な文章になってるのはご容赦くださいませ。
0910１３２人目の素数さん
2006/12/02(土) 00:55:37中身は金融のネタしかないわけだけど、微分方程式を立てて、その解を解析するって点では一緒だ。
それになにより中身が非常に工学的だ。
真面目に勉強したいのなら、確率とルベーグ積分がセットになった本を読むべきだよ。伊藤清三の最初のほうなんてまるで読む必要なし。
0911１３２人目の素数さん
2006/12/02(土) 01:00:16> 精密な理論構築は二の次で、理論展開する過程で楽ができることのほうにメリットを感じてますが。
構築と展開を微妙に使い分けているようだが？
ルベーグ積分の各種定理の証明抜きにして、それらを自由自在に使いこなしたい、
ってこと？
それが出来るだけの能力の持ち主なら、やればいい。
0912１３２人目の素数さん
2006/12/02(土) 01:07:59>>904の
＞それなら初めから、どんな関数でも積分できるし、
＞どんな極限と積分も交換できるってしたほうが楽じゃん。
で問題ないじゃん。
工学とかで極限と積分を適当に交換したせいで
大変な結論が出てくるとかそういうことって無いんじゃないの？あるの？
以前から疑問なんだが。
0913１３２人目の素数さん
2006/12/02(土) 01:14:21解決済みの類似問題が沢山あるのなら、ルベーグ積分の主要定理とその用法を
覚えるだけで、似たような問題は手際よく処理できる。
でも、類似例の無いような問題をきちんと処理するには、ルベーグの理論を
証明も含めて理解していないと無理でしょう。
0914１３２人目の素数さん
2006/12/02(土) 01:21:160915１３２人目の素数さん
2006/12/02(土) 01:43:50二重積分の順序が入れ替えられなかったな。
0916１３２人目の素数さん
2006/12/02(土) 01:46:01確率こそが純粋数学と現実をつなげるキーなんだろうね。
そういえば量子力学も確率的だし。
0917１３２人目の素数さん
2006/12/02(土) 02:16:01そんなバカな…
0918１３２人目の素数さん
2006/12/02(土) 08:58:51自画自賛ですかｗ
0919１３２人目の素数さん
2006/12/02(土) 10:07:29調和解析の本の最初のほうだったから、かなり特異な積分だった気がする。
0920１３２人目の素数さん
2006/12/02(土) 14:26:10MAを加えれば反例の存在が示せるし、forcingによって反例の無いモデルも構成できる。
ttp://math.cs.kitami-it.ac.jp/~fuchino/tmp/kikaku03.pdf
何か違う意味で言ってるのかな？
0921１３２人目の素数さん
2006/12/02(土) 14:50:54＞工学上の問題は最終的に確率微分方程式に帰着する
工学上の「多くの」問題は最終的に… というならさほど間違ってないかも。
誰かがすでに工学の問題を高等数学を使って定式化した話を勉強する
だけなら、数学の基礎理論を適当にサボっても何とかなる。
工学のある問題をはじめて数理科学の問題として扱おうとするなら、
基礎理論を真面目に勉強しないととても手が出ない。そして、そのために
勉強する教科書などは十分に用意されています。基礎科学の重要性という
のは、そういうところに表れるのではないですか？
「数学は勉強したものが勝ち」というのが、私が先輩の技術者から
学んだことです。
0922１３２人目の素数さん
2006/12/02(土) 15:22:54そんな基礎論的な話じゃなくて、単に工学屋がよく計算しそうなフーリエ変換の積分で二重積分の順序が交換できなかったってだけ。
0923１３２人目の素数さん
2006/12/02(土) 15:50:41その式を書いてくれると有難い
0924１３２人目の素数さん
2006/12/02(土) 16:16:21すまんが、もう二年も前に駒場を離れちまったので、さすがに覚えてない。
出だしがMaximal operatorから始まる、たしか「Harmonic analysis」ってタイトルの本の
Riesz変換のところで出てきたような記憶があるが、さすがにすぐには出てこん。
0925924
2006/12/02(土) 16:25:26∫∫f(x)exp(iy) dx dy
型の積分の順序が入れ替わらないのって、当たり前な気がする…
0926１３２人目の素数さん
2006/12/02(土) 17:20:520927893
2006/12/02(土) 17:20:53一応、>>916は俺じゃないんで。^O^
>>909で書いたことは身の回りの同分野の技術屋は誰もそんなことは言ってませんし、
大学時代の今は無き恩師ですら言ってなかったです。
まぁ、あくまで実務を通じて得た俺個人の感想です。
それがあたりなのかはずれなのかよくわかりませんが、天体の運動を記述するだけなら
確定過程&微分方程式でいいのでしょうが、外乱、ノイズ、主体そのものが能動的にランダムに
変動する場合の記述が可能な確率微分方程式が工学にとって必要じゃないかなと。
まぁサンプリングしてしまえば、伊藤積分もへったくれもなくなってしまうわけですが。
0928１３２人目の素数さん
2006/12/02(土) 17:27:01yで先に積分するには一体どうすりゃいいんだ？
0929１３２人目の素数さん
2006/12/02(土) 17:31:490930896,897,898,902,909,927
2006/12/02(土) 17:45:00893じゃなくて883でした mOm
0931１３２人目の素数さん
2006/12/02(土) 18:24:050932１３２人目の素数さん
2006/12/02(土) 18:48:13はデルタ関数を使ってどう書けるって？
0933１３２人目の素数さん
2006/12/02(土) 18:53:230934１３２人目の素数さん
2006/12/02(土) 19:17:45積分の順序が交換できないという例としては不十分だったな。
0935１３２人目の素数さん
2006/12/02(土) 19:45:040936１３２人目の素数さん
2006/12/02(土) 19:49:31微積分の教科書には大抵書いてある
0937１３２人目の素数さん
2006/12/02(土) 19:53:43例えばどの本の何ページにあるか教えて頂けます？
0938１３２人目の素数さん
2006/12/02(土) 21:19:580939１３２人目の素数さん
2006/12/02(土) 22:24:11うまく関数を選んで加えたりすればいくらでも例外をつくれる。
0940１３２人目の素数さん
2006/12/03(日) 01:00:00第８章 積分法（多変数）
９４．積分の意味の拡張（広義積分）
［例４］
ｆ（ｘ，ｙ）＝（ｙ＾２－ｘ＾２）／（ｘ＾２＋ｙ＾２）＾２。
［０，１］×［０，１］。
0941１３２人目の素数さん
2006/12/03(日) 01:09:32重積分可能であり、かつα＝lim[x↑1,y↑1]∫∫[0,x]×[0,y]f(s,t)dsdtが存在するならば、
fは[0,1]×[0,1]上でも重積分可能で その値はαに一致する。
0942１３２人目の素数さん
2006/12/03(日) 01:16:59だめじゃないか、光夫。
0943１３２人目の素数さん
2006/12/03(日) 01:20:13重積分可能ならば、いつでも順序交換可能では？
0944１３２人目の素数さん
2006/12/03(日) 02:45:07>>940
0945福田和也
2006/12/03(日) 03:33:010946１３２人目の素数さん
2006/12/03(日) 04:36:51>>940の関数はそもそも 重 積 分 不 可 能 ですが何か？
0947１３２人目の素数さん
2006/12/03(日) 07:00:00累次積分の話だから重積分可能とは限らない。
0948１３２人目の素数さん
2006/12/03(日) 08:55:42解析入門Ⅱの第Ⅶ章第１節に>>940と同じ例が載ってる。
0949１３２人目の素数さん
2006/12/03(日) 09:10:38コテはずしたのか？
0950１３２人目の素数さん
2006/12/03(日) 10:56:47ここにも載ってるな。計算結果つきだ。
0951１３２人目の素数さん
2006/12/05(火) 09:25:06素因数分解951＝3×317
0952１３２人目の素数さん
2006/12/05(火) 14:51:46数列{fn(k)}(n,k∈N)と数列{f(k)}(k∈N)は次の条件を満たしている。
・任意のk∈Nに対してfn(k)↑f(k) (n→∞)
・任意のn∈Nに対してSn＝Σ[k＝1～∞]fn(k)が存在する。
このとき、(∞も込めて)次が成り立つことを示せ。
・Σ[k＝1～∞]f(k)＝sup[n∈N]Sn (＝lim[n→∞]Σ[k＝1～∞]fn(k) )
見てのとおり、単調収束定理の数列版。結構簡単に解けた。
積分版とは違い、Σfn(k)が絶対収束しなくても良いことに注意。
0953１３２人目の素数さん
2006/12/05(火) 15:32:39見てみないとわからんが
0954１３２人目の素数さん
2006/12/08(金) 05:02:20f(n,x)=1or0となる事や ∀n { x*(2^n)≠[x]*(2^n) → f(n,1-x)=1-f(n,x) } や
f(n,x)がxを2進数表示で小数点n桁目になる事は計算すれば分かる
AをN上の超フィルターとし、{i|f(i,x)=k}∈Aならf(A,x)=k (k=0,1)とする
Aの性質よりxに対してf(A,x)=1かf(A,x)=0のどちらか一方のみが成り立つ
また∀n x*(2^n)≠[x]*(2^n)} →
{n}∈Aならf(A,x)=f(n,x)となるので、ここでは任意の{n}を含まないAに対してf(A,x)を考える
∫[x=0,a]f(A,x)dx
0955１３２人目の素数さん
2006/12/08(金) 05:03:070956１３２人目の素数さん
2006/12/08(金) 05:16:000957１３２人目の素数さん
2006/12/08(金) 07:58:020958１３２人目の素数さん
2006/12/08(金) 08:44:13[x]をxを超えない最大の整数とし、f(n,x)=[2x*(2^n)]-2*[x*(2^n)] とする
f(n,x)=1or0や ∀n {x*2^(n+1)≠[x*2^(n+1)] → f(n,c-x)=1-f(n,x) } や（c=m/(2^n) m∈Z）
f(n,x)がxの2進数表示で小数点n+1桁目になる事は計算すれば分かる
AをN上の超フィルターとし、{i|f(i,x)=k}∈Aならf(A,x)=k (k=0,1)とする
{n}∈Aならf(A,x)=f(n,x)となるので、以降で任意の{n}を含まないAに対してf(A,x)を考える
Aの性質よりxに対してf(A,x)=1かf(A,x)=0のどちらか一方のみが成り立つ事や
また{∀n x*(2^n)≠[x*(2^n)]} → f(A,c-x)=1-f(A,x) が成り立つ事が分かる
（c=m/(2^k) m∈Z k∈N）
S={ x |∃n x*(2^n)=[x*(2^n)] }は零集合なので
f(A,x)が可測関数ならc=m/(2^k) m,k∈Nに対して
∫{x=0,c} f(A,x)+f(A,c-x) dx=∫{x∈[0,c]/S} f(A,x)+f(A,c-x) dx
=∫{x∈[0,c]/S} dx = c かつ∫{x=0,c} f(A,x)dx=∫{x=0,c} f(A,c-x)dxとなるので
∫{x=0,c} f(A,x)=c/2となる
{c|c=m/(2^k) m,k∈N} はR+上で稠密だから∀y>0で∫{x=0,y}f(A,x)=y/2となる
同じようにして∀y<0で∫{x=y,0}f(A,x)=-y/2となる
これよりX={x|f(A,x)=1}は>>301>>333のXの条件を満たすから可測集合と考えると矛盾する
よってXはLebesgue非可測なRの部分集合となる
0959１３２人目の素数さん
2006/12/08(金) 13:39:54読みにくい、きったねぇレスを読むやつなんて居るのかね？常識あんのか>>958
TeXでも使って、数式書いて、dvi or ps or pdfでもリンクしろアホ。
0960１３２人目の素数さん
2006/12/08(金) 13:52:07頭の悪いやつにはつらいかもしれんな。
0962１３２人目の素数さん
2006/12/08(金) 16:03:57さすがに自分の大学のサーバとかは使いたくないだろうしｗ
0963１３２人目の素数さん
2006/12/08(金) 16:59:15まさか？TeX使えねぇ池沼？
0964１３２人目の素数さん
2006/12/08(金) 17:09:010965958
2006/12/08(金) 17:14:46963は私にコレ以上何をして欲しいの？
0966１３２人目の素数さん
2006/12/08(金) 18:01:360967１３２人目の素数さん
2006/12/08(金) 23:50:51スルー推奨
0968１３２人目の素数さん
2006/12/09(土) 10:51:060969１３２人目の素数さん
2006/12/09(土) 11:29:35まさか、「面倒だからお前がやれ」と言って逃げてるわけじゃねーよなｗ
0970１３２人目の素数さん
2006/12/09(土) 13:54:25{i∈N|f_i(x)=0}∈Aならf_A(x)=0、{i∈N|f_i(x)=1}∈Aならf_A(x)=1と定義すれば
f_A(x)は非可測関数になるという事です
0972１３２人目の素数さん
2006/12/11(月) 15:30:30言い出し屁がやるもんだよ
0973１３２人目の素数さん
2006/12/11(月) 19:41:48測度といえば集合に対して値をとるものと学びましたが、
それに関数をかける意味が分かりません。
0974福田和也
2006/12/11(月) 23:01:380975１３２人目の素数さん
2006/12/11(月) 23:28:39こういうやつに限ってTeX化されても読まない。
0976福田和也
2006/12/11(月) 23:43:370977福本和也
2006/12/12(火) 03:06:190978１３２人目の素数さん
2006/12/12(火) 21:36:480979１３２人目の素数さん
2006/12/13(水) 09:32:330980１３２人目の素数さん
2006/12/13(水) 09:33:050981１３２人目の素数さん
2006/12/13(水) 09:33:370982積分まき
2006/12/14(木) 05:00:250983１３２人目の素数さん
2006/12/14(木) 12:04:230984１３２人目の素数さん
2006/12/14(木) 12:36:400985１３２人目の素数さん
2006/12/15(金) 08:43:320986１３２人目の素数さん
2006/12/15(金) 22:04:460987１３２人目の素数さん
2006/12/15(金) 22:08:130988１３２人目の素数さん
2006/12/16(土) 13:25:030989１３２人目の素数さん
2006/12/17(日) 13:25:040990１３２人目の素数さん
2006/12/18(月) 13:25:040991１３２人目の素数さん
2006/12/18(月) 13:46:480992１３２人目の素数さん
2006/12/18(月) 15:00:550993１３２人目の素数さん
2006/12/18(月) 15:01:380994１３２人目の素数さん
2006/12/18(月) 15:02:180995１３２人目の素数さん
2006/12/18(月) 15:03:000996１３２人目の素数さん
2006/12/18(月) 15:03:360997１３２人目の素数さん
2006/12/18(月) 15:04:220998１３２人目の素数さん
2006/12/18(月) 15:04:540999１３２人目の素数さん
2006/12/18(月) 15:05:271000１３２人目の素数さん
2006/12/18(月) 15:06:041001１００１
Over 1000Threadもう書けないので、新しいスレッドを立ててくださいです。。。
レス数が1000を超えています。これ以上書き込みはできません。