現代数学の系譜 工学物理雑談 古典ガロア理論も読む49
■ このスレッドは過去ログ倉庫に格納されています
“現代数学の系譜 物理工学雑談 古典ガロア理論も読む”
数学セミナー時枝記事は、過去スレ39 で終わりました。
39は、別名「数学セミナー時枝記事の墓」と名付けます。
皆さまのご尽力で、伝統あるガロアすれは、
過去、数学板での勢いランキングで、常に上位です。（勢い１位の時も多い（＾＾ ）
このスレは、現代数学のもとになった物理工学の雑談スレとします。たまに、“古典ガロア理論も読む”とします。
それで良ければ、どうぞ。
後でも触れますが、基本は私スレ主のコピペ・・、まあ、言い換えれば、スクラップ帳ですな〜（＾＾
話題は、散らしながらです。時枝記事は、気が向いたら、たまに触れますが、それは私スレ主の気ままです。
“時枝記事成立”を支持する立場からのカキコや質問は、基本はスルーします。それはコピペで流します。気が向いたら、忘れたころに取り上げます。
なお、
小学レベルとバカプロ固定
サイコパスのピエロ（不遇な「一石」https://textream.yahoo.co.jp/personal/history/comment?user=_SrJKWB8rTGHnA91umexH77XaNbpRq00WqwI62dl 表示名:ムダグチ博士 Yahoo! ID/ニックネーム:hyperboloid_of_two_sheets （Yahoo!でのあだ名が、「一石」）
（参考）http://blog.goo.ne.jp/grzt9u2b/e/c1f41fcec7cbc02fea03e12cf3f6a00e サイコパスの特徴、嘘を平気でつき、人をだまし、邪悪な支配ゲームに引きずり込む 2007年04月06日
High level people
低脳幼稚園児のAAお絵かき
お断り！
小学生がいますので、18金よろしくね！（＾＾
High level people は自分達で勝手に立てたスレ28へどうぞ！sage進行推奨（＾＾；
また、スレ43は、私が立てたスレではないので、私は行きません。そこでは、私はスレ主では無くなりますからね。このスレに不満な人は、そちらへ。 http://rio2016.2ch.net/test/read.cgi/math/1506152332/
旧スレが512KBオーバー（又は間近）で、新スレ立てる
（スレ主の趣味で上記以外にも脱線しています。ネタにスレ主も理解できていないページのURLも貼ります。関連のアーカイブの役も期待して。） >>145 主義に反するが、おっちゃんのために、PDFから証明をアスキー化して、全文を貼るよ（＾＾
（文字化けと誤記はご容赦。読みにくいだろうが、そう思ったら右のURLのPDFを嫁め。（＾＾ https://www.axfc.net/u/3870548?key=Lipschitz 「定理1.7 (422 に書いた定理)」の証明 ）
＜422 に書いた定理の証明＞
定義1.1 一般に, g : R → R とx ∈ R に対して,
lim sup y→x g(y) := inf δ>0 sup 0<｜y−x｜<δ g(y)
と定義される.
定義1.2 (X,O) は位相空間とする. S ⊆ X は, 高々可算無限個の閉集合Fi ⊆ X が存在して,
・ 各Fiは内点を持たない,
・ S ⊆∪i Fi
が成り立っているとする. このとき,「S は内点を持たない閉集合の高々可算和で被覆できる」と書
くことにする.
定理1.3 (X, d) は空でない完備距離空間とする. 高々可算無限個のFi ⊆ X は,
・ 各Fiは閉集合,
・ X ⊆∪i Fi
を満たすとする. このとき, あるi に対して, Fiは内点を持つ. 証明はベールのカテゴリ定理から即
座に出る.
系1.4 高々可算無限個のFi ⊆ R は,
・ 各Fiは閉集合,
・ R ⊆∪i Fi
を満たすとする. このとき, あるi に対して, Fiは内点を持つ. 証明は前定理からすぐに従う.
補題1.5 f : R → R とx ∈ R は
lim sup y→x ｜（f(y) − f(x)）/（y − x）｜< +∞
を満たすとする. このとき, ある正整数N,M >= 1 に対して
∀y, z ∈ R [x − 1/M < y < x < z < x +1/M → ｜f(z) − f(y)｜ <= N(z − y)]が成り立つ.
つづく >>178 つづき
証明
仮定により,
lim sup y→x ｜(f(y) − f(x))/(y − x)｜< N
を満たす正整数N が取れる.
lim sup y→x ｜(f(y) − f(x))/(y − x)｜= inf δ>0 sup 0<｜y−x｜<δ ｜(f(y) − f(x))/(y − x)｜
に注意して,
inf δ>0 sup 0<｜y−x｜<δ ｜(f(y) − f(x))/(y − x)｜< N
ということになるので, あるδ > 0 に対して
sup 0<｜y−x｜<δ ｜(f(y) − f(x))/(y − x)｜< N
である. 以下, δ > 1/M を満たす正整数M を1 つ取っておく. このとき,
∀y ∈ R [ ｜y − x｜ < 1/M → ｜f(y) − f(x)｜ <= N｜y − x｜] ・・・(1)
が成り立つことを示す. ｜y − x｜ < 1/M を満たすy ∈ R を任意に取る. もしy = x ならば, 明らか
に｜f(y) − f(x)｜ <= N｜y − x｜ が成り立つ. 以下では, y ≠ x としてよい. よって,
0 < ｜y − x｜ < 1/M < δ
となるので, δの定義から,
｜(f(y) − f(x))/(y − x)｜< N
となる. 特に, ｜f(y) − f(x)｜ <= N｜y − x｜ となる. 以上より, (1) が成り立つ. 以上の準備のもとで,
題意を示す. y, z ∈ R であって
x − 1/M < y < x < z < x +1/M
を満たすものを任意に取る. このとき, (1) により
｜f(z) − f(y)｜ <= ｜f(z) − f(x)｜ + ｜f(x) − f(y)｜ <= N｜z − x｜ + N｜x − y｜ = N(z − y)
が成り立つ(絶対値が外れてN(z − y) になっているのは, y < x < z から出る). よって, 題意が成
り立つ.
つづく ■ このスレッドは過去ログ倉庫に格納されています
