集合論入門が終わったら、次は何をやろう・・・ [ひとこと言わねば]
集合論入門が終わったら、次は何をやろう・・・
大体、連載中の集合論入門は、1/4〜半年かけてやるべき内容を、１ヶ月以内にやってしまうんだから、そりゃ〜、すぐにネタ切れになる。しかも、このスピードで進むから、次に何をやるか決める時間もなければ、その準備なんてゼロ！！
実は、テンソル入門も完結していない。クリストッフェル記号の部分が欠けている(>_<) 途中まで書いたが、書くことがあまりに面倒くさいので、「面倒くせぇ〜」と、記事にするのを投げ出してしまった(^^ゞ
ネムネコは、まったく、悪くないと思うケロ！！
今日のアニソン、「人類は衰退しました」から『ユメのなかノわたしのユメ』 [今日のアニソン]
さらに、このアニメのOP曲も合せて紹介。
しか〜し、妖精さんたちには根本的に欠けているものがある。怪しげな超技術（？）を使って、旧人類が作り出したものを改良し、それを急速に発展させることはできるのだけれど、それまでになかった新しいものを生み出すことができない。つまり、創造力を有していないんだケロ。
ネムネコが、何を言いたいのか、わかるケロかね〜(^^)
デデキントの切断と上限、下限 [集合論入門]
デデキントの切断と上限、下限
§１ 上界と下界
Aを実数全体の集合Rの空でない部分集合とする。
あるα∈Rがあって、任意のx∈Aに対し、α≧xであるとき、αをAの上界という。
すなわち、
である。
あるβ∈Rがあって、任意のx∈Aに対し、β≦xであるとき、βをAの下界という。
すなわち、
Aの上界（下界）が存在するとき、Aは上に有界（下に有界）であるという。Aが上に有界かつ下に下界であるとき、Aは有界であるという。
例１ 空でない実数Rの部分集合
があるとする。
α≧1の実数αに対して、任意のx∈Aはα≧xだから、αはAの上界で、1はAの最小の上界である。
β≦0の実数βに対して、任意のx∈Aはβ≦xだから、βはAの下界で、0はAの最大の下界である。
また、Aは上に有界でかつ下に有界だから、Aは有界である。
§２ 最大数と最小数
AをRの空でない部分集合とする。
α∈Rが存在し、α∈AかつαがAの上界であるとき、αをAの最大数といい、記号max Aで表す。
β∈Rが存在し、β∈AかつβがAの下界であるとき、βをAの最小数といい、記号min Aで表す。
例２
とする。
このとき、1∈Rは、任意のx∈Aに対して
が成立するので、1はAの最大数。したがって、max A=1である。
また、0∈Rは、任意のx∈Aに対して
が成立するので、0はAの最小数。したがって、min A=1である。
例１の場合、Aの最小の上界1は1∉AだからAの最大数ではなく、Aの最小の下界0は0∉AだからAの最小数ではない。
§３ 上限と下限
定理１
Aを実数全体の集合Rの空でない部分集合とする。
（ⅰ） Aが上に有界ならば、Aの上界の全体集合Bには最小数が存在する。
（ⅱ） Aが下に有界ならば、Aの下界の全体集合Bには最大数が存在する。
【証明】
（ⅰ）を証明する。
Aの上界全体の集合をBとし、それ以外の数を全体の集合をCとすれば、
である。
何故ならば、pがAの上界ではない（補足）ので、
だから、
したがって、ここに実数（C,B）の切断ができる。
すると、デデキント切断によって
のいずれかが存在するが、この場合は、（２）である。
（１）であるとすると、α∈Cだから、先ほどのpと同様に
であるxが存在し、ここで
であるα’をとれば、α’<x、x∈Aだから、このα’もAの上界ではなくα’∈C。
故に、
これはα=max Cであることに矛盾する。
（ⅱ）も同様。
（証明終）
（補足）
pがAの上界であるとは、
したがって、pがAの上界でないは、上の否定をとった
すなわち、
任意のp∈Rに対して、
x>p
を満たすx∈Aが存在する
になる。
（補足終）
Aの上界の最小数をAの上限といい、sup Aあるいは
であらわす。
Aの下界の最大数をAの下限といい、inf Aあるいは
であらわす。
Aが上に有界（下に有界）でないとき、sup A=+∞、inf A=−∞とあらわす。
上限、下限を用いると、定理１は次のように言い換えることができる。
定理２
（１） 上に有界な集合Aには上限sup Aが存在する。
（２） 下に有界な集合Bには下限inf Aが存在する。
定理３
sup A=αである必要十分な条件は、任意のx∈Aに対してx≦α、かつ、任意の正数ε>0に対してα−ε<xを満たすx∈Aが存在することである。
すなわち、
inf A=βである必要十分な条件は、任意のx∈Aに対してβ≦x、かつ、任意の正数ε>0に対してx<β+εを満たすx∈Aが存在することである。
すなわち、
デデキントの公理をもとにしてこれらの定理を導いたが、定理２からデデキントの公理を次のように導くことができる。
（A,B)という切断があるとする。
集合Aは上に有界だから、定理２より上限α=sup Aをもち、α∈Aかα∈Bのいずれか一方である。
もし、α=sup A∈Aならば、αはAの最大数である。
α=sup A∈Bならば、定理３より、任意のε>0に対して、
であり、α−ε∉Bとなって、αは集合Bの最大数になる。
したがって、デデキントの実数の連続性公理と上限・下限の存在の定理２とは同値であり、どちらを実数の連続性の公理として良いことを示している。
実数の連続性の公理 （デデキント）
実数全体の集合Aの切断(A,B)を作ると、Aの最大数かBの最小数かのいずれかの一方だけが存在する。
お前らに質問（３月３１日） 積分編 [広義積分]
お前らに質問（３月３１日）
お前らに、質問！！
問題 次の（広義）積分の求めよ。
【解答１】
公式
より
（解答終）
【解答２】
0<ε<1とすると、
（解答２終）
さてさて、これは正しいか？
間違っているとしたら、どこがおかしいのか、答えよ！！
なお、赤い色で領域の（符号付きの）面積が
青い色で領域の（符号付きの）面積が
である。
図形的には、正負の符号が違うだけで、赤と青の部分の面積は等しいので、
になりそうだが・・・。
また、f(x)=1/xとすると、
つまり、f(x)は奇関数。
f(x)が奇関数のとき、任意の実数aに対して
って、準公式もあったな〜。
いい加減にしろ、このバカBlog！！ [ひとこと言わねば]
ホント、いい加減にして欲しいケロ。
まぁ、これも大目に見よう。
でだ、保存できたと思ったら、予約投稿してあるのに、勝手にこの記事を公開しやがる。
仕方ないから、記事を削除し、ブラウザーを終了。
そして、ブラウザーを再起動。
これ、２３０文字あるにゃ。２３０×１５=3450文字（3.4kB）ほど新たに追加されたため、１０万字制限に引っかかってしまうんだよ。これは短い数式１つ、２つ分に相当するデータ量だから、数式を記事本文からまた１つ２つ新たに削除し、その数式を画像に変換、ブログにアップ、記事に埋め込む作業を、新たにしなければならない。
ふざけるのも、いい加減にしろよな、ホント！！
So-netブログ緊急システムメンテナンス！！ [ひとこと言わねば]
タイミングがあまりによかったので、そんなことを少し思ったりした。
であったとしたら、多くの人に迷惑をかけてしまったにゃ。
今日のアニソン、東方から映季さまの歌 [今日のアニソン]
考えるネムネコ この積分に留数定理を使いますか [複素解析]
考えるネムネコ この積分に留数定理を使いますか
つい最近、
「次の（広義）積分の値
は、留数定理を使うと
と、簡単に求められます。：
といった記述を目にし、ネムネコは思わず目が点になってしまった。
何故に、この積分に留数定理を(・・?
留数定理
（複素）関数f(z)が閉曲線Cの内部に有限個の特異点、
をもち、これらの点以外では曲線C上およびその内部で正則（微分可能）であるとき、次の関係が成り立つ。
さらに、（１）を求めるためには、
f(z)は上半平面Im z≧0で有限個のを除き正則であり、かつ、実軸上に極を持たず、かつ、
であるとする。
このとき、
である。
などを使わないといけない。
全然、簡単じゃない。
しかも、（４）で求められるのは、普通の意味での（広義）積分の値ではなく、コーシーの主値積分と呼ばれるものなので注意。
さて、（１）は
を使うと、
と、簡単に求められる。
うるさいことを言うと、
などと書くべきなのでしょうけれど、簡略表現として認められている。
そして、留数定理を使ってこの広義積分を求めたいのであれば、たとえば、次のようにすればよいだろう。
R>1とし、積分経路である閉曲線Cを
に分解する。
ここで、
である。
は原点を中心とする半径Rの円の上半分、半円の円弧。
そして、
とおく。
すると、f(z)は閉曲線Cの内部に、z=i（iは虚数単位）を１次の極にもつ。
したがって、z=iにおける留数は
になる。
また、
になるので、f(z)は（３）の条件を満たしている。
したがって、（４）より
これは簡単だろうか？
では、ここで、一つ、宿題を。
宿題 次の広義積分が存在することを証明しなさい。
ただし、
は証明に使用してはならない。
原始関数がどうたらかんたらってのは、この宿題の解答として絶対に認めない。そんなことを書いたら、即、０点！！
定積分、広義積分の定義に従って証明して欲しい。
「上に有界な（単調）増加数列
は収束し、極限値を持つ」の類（たぐい）、あるいは、コーシーの収束判定条件などは使ってもいい。
あと、x∈[a,b]において、f(x)≧g(x)ならば
も使ってよし。
こういうのは、いかにも数学って感じがして、いいと思わない？
ねこ騙し数学、衰退期に突入か！？ [ひとこと言わねば]
１日の訪問者３３０ということは、このブログの訪問者の真の数は２００〜２５０といったところか。少ないような、多いような・・・。何とも、複雑な気分だ。
「オレは毎日、複数ページアクセスしている」と嘘をついてもダメだにゃ。ネタは上がっているんだから。
お前ら、このブログへの愛が足りないと思うにゃ。
ネムネコの毎日の苦労を考えると、一人、１日に１００ページぐらい見てもらわないと、割に合わないケロよ。
それくらいしてももらっても、バチは当たらないと思うにゃ。
今こそ、このブログへの愛を取り戻すべき時だケロ！！
So-netブログの逆襲ケロか？ [ひとこと言わねば]
（イメージです）
以前と比較すると、最近、このエラーメッセジが表示される回数は少なくなったけれど、それでも１ヶ月間に２、３回くらいは目にする。
そして、このエラーメッセジが表示されるのは、決まって、記事の保存ボタンをクリックした時だ。
