18/02/14 01:34:22.96 TXT4lmT9.net
>>171
>なお、「Bfを満たす開区間（a,b）の存在」が否定される場合は、結論「リプシッツ連続である開区間（a',b'）が取れる」も否定されると思いますよ
当たり前です
証明をお考えください
件の証明よりも簡単なものになれば
それは件の証明をした人も喜ぶでしょうよ
196:１３２人目の素数さん
18/02/14 01:36:49.66 sLMrM9T3.net
あるいは、同じことの繰り返しになるが、次のように言ってもよい。
＞この場合、Bf内に開区間など取れない。
＞稠密な場合は、開区間には、必ず「R－Bf」が入るから、
＞定理1.7の「開区間がリプシッツ連続だ」という主張は、もともと無理でしょ？
お前のこの屁理屈を定理Cに適用すると、次のようになる。
――――――――――――――
P： f は原点で微分可能
Q： f は原点で連続
P1：f は原点で微分可能かつfは原点で連続
P2：f は原点で微分可能かつfは原点で不連続
P ＝ P1∨P2
スレ主：
P2 の場合には、f が原点で不連続であることが仮定されているのだから、
f が原点で連続であるという主張はもともと無理である。
つまり、P2 の場合には、定理C は証明できない。
ゆえに、定理C は数学の定理としてふさわしい形をしていない。
――――――――――――――
お前はここで、「定理Cの場合は P1,P2 による場合分けが不可能だ」という屁理屈を
何度も述べているようだが、全く同じ屁理屈は定理1.7にも適用できるので、
お前の屁理屈はどちらに転んでも完全に破綻している。というか、もともと論理が滅茶苦茶。問題外。
197:１３２人目の素数さん
18/02/14 01:38:44.93 sLMrM9T3.net
>>160
＞だが、上記で
＞A_f(x)＝ |p| (xは有理数で x＝q/p で p と q は互いに素),
＞A_f(x)＝ 0 (xは無理数)
＞とすれば、これはディリクレ関数と同じ性質を持つ。
＞つまり、すべての x∈Rで、不連続で微分も不可。微分不可だから、ディニ微分不可。
＞だから、B_fは空集合
息をするように間違えるゴミクズ。俺は
f(x)＝ |p| (xは有理数で x＝q/p で p と q は互いに素),
f(x)＝ 有限値なら何でもよい (xは無理数)
と書いたのではない。
A_f(x)＝ |p| (xは有理数で x＝q/p で p と q は互いに素),
A_f(x)＝ 有限値なら何でもよい (xは無理数)
と書いたのである。すなわち、 f そのものをディリクレ関数っぽい値に設定したのではなく、
A_f の方をディリクレ関数っぽい値に設定したのである。もしそのような性質が成り立つ f が
存在したとすると、(a,b)⊂B_f なる開区間は取り放題なのに、f はどの開区間の上でも
リプシッツ連続にならないので、
「 (a,b)⊂B_f の場合はリプシッツ連続性が自明に分かる」
というスレ主の直観は破壊されることになる。
[続く]
198:１３２人目の素数さん
18/02/14 01:41:48.63 sLMrM9T3.net
[続き]
ここでお前は、次のように言うかもしれない。
―――――――――――――――――――――
A_f(x) がディリクレ関数っぽい状態なら、その前の f だってディリクレ関数っぽいはずであり、
ゆえに f はどの点でも微分不可能のはずで、B_fは空集合になるだろう。
―――――――――――――――――――――
しかし、この意見は的外れであることを先に指摘しておく。
なぜなら、A_f(x) は おかしな挙動を�
199:る程度は取り得るからである。たとえば、 f(x)＝0 (x＝0), x^{3/2}sin(1/x) (x≠0) という例の場合、A_f(x) は原点で 不 連 続 であることが確認できる。 もちろん、この f の場合は、A_f(x) は原点以外のところでは連続になっているが、 しかし原点では不連続なのである。 ところで、f の原点での挙動を、他の有限個の点 x_1, x_2, …, x_n に "移植" することは 明らかに可能であるから、そのように移植した新しい関数を g とするとき、A_g(x) は x＝0, x_1, x_2, …, x_n において不連続ということになる。もちろん、A_g(x) は 各点で「有限値」のままである。 というように、少なくとも有限個の点で A_f(x) が不連続になることは実際に「ある」。 問題は、A_f(x) が R 全体でディリクレ関数っぽい状況になることがあり得るのかということであるが、 俺が書いた>>110の手法を使えば、そのような関数は「無い」ことが分かる。 しかし、それは>>110を使ったからこそ「無い」ことが分かるのであって、 「無いことは自明である」ということにはならないのである。
200:１３２人目の素数さん
18/02/14 13:27:23.89 fdysUhrS.net
突然ですが、
平野、２大会連続の銀メダルか。おめでとう。金を狙っていて残念だが、若いからまだ次があるよね（＾＾
URLﾘﾝｸ(www.yomiuri.co.jp)
平野、２大会連続の銀メダル…スノボ男子ＨＰ 2018年02月14日
201:１３２人目の素数さん
18/02/14 17:33:55.32 fdysUhrS.net
>>175-179 & >>183 & >>185
>＞ところが、場合分けとして、「無理数＝R－Bf」とか、「超越数＝R－Bf」は、できない
>＞”内点を持たない閉集合の高々可算和で被覆できる”の条件に、合致しないからだ
>
>その場合分けは「仮定が偽」になることが明白なだけであって、その場合分け自体は可能である。
>あるいは、次のように言ってもよい。お前がそこで言っていることはつまり、
>
>「仮定が偽のケースは場合分けとしては不可能である」
>
>という屁理屈である。だったら、その屁理屈を拝借すれば、全く同じように、
>「 R－B_f は R の中で稠密」という場合分けも不可能である。
>なぜなら、その場合「 R－B_f が第一類集合 」の条件に合致しないからだ(定理1.7により)。
普通の証明論の場合分けを否定されてもね。それ無理筋ですよ
（”場合分け”は、私の独自説ではなく、ごく一般の数理です）
集合論で言えば、仮定で有理数Qを問題にしているときに、集合Qの中での場合分けは可能です
が、集合Qの外、つまり、「無理数＝R－Bf」とか、「超越数＝R－Bf」は、できない。それをやれば、プロレスの場外乱闘ですよ
それから、”「 R－B_f は R の中で稠密」という場合分けも不可能である。
なぜなら、その場合「 R－B_f が第一類集合 」の条件に合致しないからだ(定理1.7により)”という主張も無理筋でしょう
それをいうなら、（>>13）”系1.8 有理数の点で不連続”には、適用できないということですよね
「 R－B_f は R の中で稠密」という場合分けが、定理1.7で存在しないなら、「系1.8 有理数」には定理1.7は適用できませんね
以上
202:１３２人目の素数さん
18/02/14 17:34:52.60 fdysUhrS.net
>>186
これは、どうも失礼。私の早とちりでしたね
あなたは、こういう例を考える力はすごくあるね～（＾＾
「f(x)＝ |p| (xは有理数で x＝q/p で p と q は互いに素),
f(x)＝ 有限値なら何でもよい (xは無理数)
と書いたのではない。
A_f(x)＝ |p| (xは有理数で x＝q/p で p と q は互いに素),
A_f(x)＝ 有限値なら何でもよい (xは無理数)
と書いたのである。すなわち、 f そのものをディリクレ関数っぽい値に設定したのではなく、
A_f の方をディリクレ関数っぽい値に設定したのである。もしそのような性質が成り立つ f が
存在したとすると、(a,b)⊂B_f なる開区間は取り放題なのに、f はどの開区間の上でも
リプシッツ連続にならない」
(引用終わり)
なるほど。でもね、この例は、諸刃の剣というやつでしょ
（一般性を損なわず”A_f(x)＝0 (xは無理数)”とします）
１）∀p ∈Q を考えた場合、”Bf :={x ∈ R ｜ lim sup y→x ｜（f(y) － f(x)）/（y － x）｜< +∞ }”で、
無理数x=irに収束するQ内のコーシー列が取れる。分母q→∞。だから分子もp→∞。
２）補足：1/2=0.5に近い無理数x=irを考えると、コーシー列pn/qnで、分母qn→∞のとき、分子p =～ 0.5q→∞となる
３）なので、「(a,b)⊂B_f なる開区間は取り放題」ではない
つづく
203:１３２人目の素数さん
18/02/14 17:35:36.44 fdysUhrS.net
>>190 つづき
以下参考
(>>13より)
定理1.7 (422 に書いた定理)
f : R → R とする．
Bf :={x ∈ R ｜ lim sup y→x ｜（f(y) － f(x)）/（y － x）｜< +∞ }
(引用終わり)
URLﾘﾝｸ(yusuke-ujitoko.hatenablog.com)
リプシッツ連続 緑茶思考ブログ 2017-05-17
(抜粋)
定義:リプシッツ連続
関数f(x)が任意の実数x,yに対し、
?f(x)?f(y)??k?x?y?
を満たす0以上のkがとれるとき、関数f(x)はリプシッツ連続であるといい、kをリプシッツ定数という。
x=yのとき、任意の実数について上式は成り立つので、
「関数f(x)がリプシッツ連続」であることは、「x≠yとなる任意の実数x,yに対して
?f(x)?f(y)/(x?y)? ? k
を満たす0以上の定数kがとれることと同値である。
つまり関数f(x)がリプシッツ連続であるとは、関数y=f(x)のグラフ上の任意の異なる2点(a,f(a)),(b,f(b))を通る直線の傾きが、?k以上k以下である、
すなわち、関数f(x)の変化率の絶対値はkを超えないということである。
(引用終わり)
URLﾘﾝｸ(ja.wikipedia.org) リプシッツ連続
以上
204:１３２人目の素数さん
18/02/14 17:36:22.02 fdysUhrS.net
>>191 えらく文字化けしたが、原文見てください
205:現代数学の系譜 雑談 古典ガロア理論も読む
18/02/14 17:40:24.10 fdysUhrS.net
コテハンとトリップが抜けていたね（＾＾
206:現代数学の系譜 雑談 古典ガロア理論も読む
18/02/14 17:40:48.49 fdysUhrS.net
時間がないので、あとは後ほど（＾＾
207:１３２人目の素数さん
18/02/14 18:15:21.87 sLMrM9T3.net
>>189
＞が、集合Qの外、つまり、「無理数＝R－Bf」とか、「超越数＝R－Bf」は、できない。それをやれば、プロレスの場外乱闘ですよ
「場外乱闘」などという言葉を使ってみても、お前が言っている内容は全く変わらない。
お前がそこで言っていることはつまり、
―――――――――――――――――
R－B_f が第一類集合なのに「 R－B_f＝無理数」としてしまえば、
R－B_f が第一類集合であることに矛盾するので、この場合分けは出来ない
―――――――――――――――――
ということである。この屁理屈を>>178-179に適用すると、次のようになる。
―――――――――――――――――
c＝√2 とすると、c^c は無理数であることが知られている。すると、
c^c は無理数なのに「 c^c は有理数 」としてしまえば、
c^c が無理数であることに矛盾するので、この場合分けは出来ない。
―――――――――――――――――
つまり、スレ主は>178-179の証明が「間違いだ」と言っていることになるのである。
しかし、>178-179の証明は、よく知られた「正しい証明」である。
これは一体どういうことだね？
208:１３２人目の素数さん
18/02/14 18:33:31.82 sLMrM9T3.net
>>195
＞なぜなら、その場合「 R－B_f が第一類集合 」の条件に合致しないからだ(定理1.7により)”という主張も無理筋でしょう
＞それをいうなら、（>>13）”系1.8 有理数の点で不連続”には、適用できないということですよね
＞「 R－B_f は R の中で稠密」という場合分けが、定理1.7で存在しないなら、「系1.8 有理数」には定理1.7は適用できませんね
何度も同じことを言わせるな。定理1.7は系1.8の証明の中で適用可能である。
なぜなら、定理1.7 の主張は
「 R－B_f が第一類集合なら、f はある開区間の上でリプシッツ連続」
というものだからだ。系1.8 だけでなく、
一般に R－B_f が第一類集合でありさえすれば、定理1.7が適用可能。
209:１３２人目の素数さん
18/02/14 18:36:23.51 sLMrM9T3.net
>>190
＞（一般性を損なわず”A_f(x)＝0 (xは無理数)”とします）
＞１）∀p ∈Q を考えた場合、”Bf :={x ∈ R ｜ lim sup y→x ｜（f(y) － f(x)）/（y － x）｜< +∞ }”で、
＞ 無理数x=irに収束するQ内のコーシー列が取れる。分母q→∞。だから分子もp→∞。
＞２）補足：1/2=0.5に近い無理数x=irを考えると、コーシー列pn/qnで、分母qn→∞のとき、分子p =～ 0.5q→∞となる
＞３）なので、「(a,b)⊂B_f なる開区間は取り放題」ではない
計算の仕方が意味不明。お前がそこでやっていることは、
「 1/2 に近い無理数 x を1つ取り、有理数列 pn/qn であって pn/qn → x を満たすものを取った」
ということに過ぎない。このときに pn → ＋∞, qn → ＋∞ が成り立つのは当たり前の話。
で？どうしてそこから 「(a,b)⊂B_f なる開区間は取り放題ではない」という結論が出るんだ？
(a,b) ⊂ B_f が "成り立たない" ためには、(a,b) 内のある点 z において Af(z)＝＋∞ が
成り立たなければならないんだぞ？どうやってそのような点 z を見つけるんだ？
お前の書き方だと、あたかも Af(x)＝＋∞ が成り立つかのように書かれているが、
pn/qn を取っただけでどうして Af(x)＝＋∞ が出るんだ？
｜(f(x)－f(pn/qn))/(x－pn/qn)｜
↑この式で n→∞ としてみても、Af(x)＝＋∞ は全く出て来ないぞ？
210:１３２人目の素数さん
18/02/14 18:39:53.16 sLMrM9T3.net
>>190
もしかしてお前、A_f(x)＝0 と f(x)＝0 を混同してるんじゃないか？
あるいは、A_f(q/p)＝|p| と f(q/p)＝|p| を混同してるんじゃないか？
お前は f(x)＝0, f(pn/qn)＝ |qn| として計算しているんじゃないか？
何度も言うけど、俺は
f(x)＝ |p| (xは有理数で x＝q/p で p と q は互いに素),
f(x)＝ 有限値なら何でもよい (xは無理数)
と書いたのではなくて、
＞A_f(x)＝ |p| (xは有理数で x＝q/p で p と q は互いに素),
＞A_f(x)＝ 有限値なら何でもよい (xは無理数)
と書いたのだぞ？あたま大丈夫？あるいは、
「 pn/qn → x かつ Af(pn/qn)＝|qn| → ＋∞ だから、Af(x)＝＋∞ 」
だと勘違いしてるんじゃないか？Af(z) は z の関数として連続ではないのだから、
pn/qn → x かつ Af(pn/qn) → ＋∞ でも Af(x)＝＋∞ なんて言えないぞ？
211:現代数学の系譜 雑談 古典ガロア理論も読む
18/02/15 08:46:23.94 PodxFPJ7.net
準備
>>191 修正再録
URLﾘﾝｸ(yusuke-ujitoko.hatenablog.com)
リプシッツ連続 緑茶思考ブログ 2017-05-17
(抜粋)
定義:リプシッツ連続
関数f(x)が任意の実数x,yに対し、
|f(x)-f(y)|<= k|x-y|
を満たす0以上のkがとれるとき、関数f(x)はリプシッツ連続であるといい、kをリプシッツ定数という。
x=yのとき、任意の実数について上式は成り立つので、
「関数f(x)がリプシッツ連続」であることは、「x≠yとなる任意の実数x,yに対して
|f(x)=f(y)/(x-y)| <= k
を満たす0以上の定数kがとれることと同値である。
つまり関数f(x)がリプシッツ連続であるとは、関数y=f(x)のグラフ上の任意の異なる2点(a,f(a)),(b,f(b))を通る直線の傾きが、?k以上k以下である、
すなわち、関数f(x)の変化率の絶対値はkを超えないということである。
(引用終わり)
212:現代数学の系譜 雑談 古典ガロア理論も読む
18/02/15 08:47:00.44 PodxFPJ7.net
準備追加
（>>13より）f : R → R とする．
Bf :={x ∈ R ｜ lim sup y→x ｜（f(y) － f(x)）/（y － x）｜< +∞ }
(引用終り)
「lim sup y→x ｜（f(y) － f(x)）/（y － x）｜< +∞」は、
下記の４つの Dini微分 (D^+ g)(c),(D + g)(c),(D^- g)(c),(D - g)(c)が
有限値で収まることを意味している。
URLﾘﾝｸ(www.amazon.co.jp)
URLﾘﾝｸ(books.google.co.jp)
Fundamentals of Real Analysis 著者: Sterling K. Berberian 出版社: Springer; Softcover reprint of the original 1st ed. 1999版 (1998/11/1)
P220のパラグラフ5.3.6に４つの Dini微分 (D^+ g)(c),(D + g)(c),(D^- g)(c),(D - g)(c)
と、lim sup, lim inf との関係が載っている
(引用終り)
213:現代数学の系譜 雑談 古典ガロア理論も読む
18/02/15 08:47:13.18 PodxFPJ7.net
あとは後ほど（＾＾
214:現代数学の系譜 雑談 古典ガロア理論も読む
18/02/15 10:15:35.48 RGRVREaW.net
準備追加2
(>>169 追加引用)
URLﾘﾝｸ(ja.wikipedia.org)
ディニ微分
(抜粋)
定義[編集]
連続関数 f: R → R の上側ディニ微分（しばしば右上微分とも呼ばれる[1]）は、
f'_{+}(t) def＝ limsup _h → {0+} {f(t+h)-f(t)}/h
により定義される。ここで limsup は上極限を表す。同様に、下側ディニ微分は
f'_{-}(t) def＝ liminf _h → {0+} {f(t+h)-f(t)}/h
により定義される。ここで liminf は下極限を表す。
注意
・補完数直線上では、各ディニ微分は常に存在する。しかし、それらの値は有限とは限らず、+∞ や -∞ となることもある（すなわち、ディニ微分は「拡張実数値」の意味において、常に存在する）。
・f が局所リプシッツ連続ならば、ディニ微分 f'_{+} は有限である。もし f が t において微分可能ならば、その t における各ディニ微分は通常の意味での微分に等しい。
D 記法と追加の定義
しばしば f'_{+}(t) の代わりに D^{+}f(t), f'_{-}(t)の代わりに D_{+}f(t) が記号として用いられ[1]、また
D^{-}f(t) def＝limsup _{h→ {0-} {f(t+h)-f(t)}/h, D_{-}f(t) def＝liminf _{h→ {0-} {f(t+h)-f(t)}/h
が定義される。
つまり、ディニ微分の「D 記法」は、プラスかマイナスかの符号によってそれぞれ左側、右側からの微分を表し、その符号の位置が上か下かによってそれぞれ上極限、下極限を表すのである。
(引用終り)
215:現代数学の系譜 雑談 古典ガロア理論も読む
18/02/15 10:17:29.52 RGRVREaW.net
余談だが、投稿前に５CHバカ板で使えない文字をチェックする機能はないのかね～？
wikipediaのマイナス記号が化けるなど、ちょっと数学板とはしては、困ったものです（＾＾
216:現代数学の系譜 雑談 古典ガロア理論も読む
18/02/15 10:52:05.85 RGRVREaW.net
>>199-202 の準備で何をしたかったのかというと
１．ディニ微分を間に入れて
定理1.7の条件；lim sup y→x ｜（f(y) － f(x)）/（y － x）｜< +∞
↓↑
ディニ微分
↓↑
定理1.7の結論；リプシッツ連続 （”任意の実数x,yに対し |f(x)-f(y)|<= k|x-y| を満たす0以上のkがとれる”>>199より）
という関係を見ようとしたわけだ
２．まず、「lim sup y→x ｜（f(y) － f(x)）/（y － x）｜< +∞」から、４つのディニ微分がいずれも有限値だと
それは、即ちリプシッツ連続だということだ
３．逆もまた言えるわけだ。
リプシッツ連続だと、４つのディニ微分がいずれも有限値であると
そして、４つのディニ微分がいずれも有限値だと、「lim sup y→x ｜（f(y) － f(x)）/（y － x）｜< +∞」だと
（この部分は、ディニ微分を介さずとも、直接
”|f(x)-f(y)|<= k|x-y|” → ”lim sup y → x ｜（f(y) － f(x)）/（y － x）｜< +∞” が見易いかと思う）
つづく
217:現代数学の系譜 雑談 古典ガロア理論も読む
18/02/15 10:54:53.35 RGRVREaW.net
>>204 つづき
１．まず、リプシッツ連続”|f(x)-f(y)|<= k|x-y|” → ”lim sup y → x ｜（f(y) － f(x)）/（y － x）｜< +∞”
の方が分かりやすいので、ここからいくと
（>>13より）
定理1.7 (422 に書いた定理)
f : R → R とする．
Bf :={x ∈ R ｜ lim sup y→x ｜（f(y) － f(x)）/（y － x）｜< +∞ }
と置く: もしR－Bf が内点を持たない閉集合の高々可算和で被覆できるならば、
f はある開区間の上でリプシッツ連続である．
(引用終わり)
で、
f はある開区間の上でリプシッツ連続である
↓
f はある開区間の上で ”lim sup y → x ｜（f(y) － f(x)）/（y － x）｜< +∞”である
が言える
２．つまり、定理1.7が成り立つと、仮定の集合Bfもまた、ある開区間を含む
だから、定理1.7が成り立つと、補集合R－Bfが稠密ではないという結論になる（補集合R－Bfが稠密なら、Bfは開区間を含みえない）
３．繰り返すが、定理1.7が成り立つ場合は、補集合R－Bfが稠密ではない（∵開区間が存在するため）という結論になる
つづく
218:現代数学の系譜 雑談 古典ガロア理論も読む
18/02/15 10:56:48.17 RGRVREaW.net
>>205 つづき
１．さて、もう一つの下記
a) lim sup y→x ｜（f(y) － f(x)）/（y － x）｜< +∞
↓
b) リプシッツ連続 （”任意の実数x,yに対し |f(x)-f(y)|<= k|x-y| を満たす0以上のkがとれる”>>199より）
を認めると、前記と併せて、a)とb)は同値ということになる
２．また、「仮定の集合Bfが、ある開区間を含む」場合
a)→b)を認めると、「仮定の集合Bfが、ある開区間を含む」→「その開区間でリプシッツ連続」が言える
以上
219:現代数学の系譜 雑談 古典ガロア理論も読む
18/02/15 11:07:20.49 RGRVREaW.net
補足
なにが、自明（トリビア）かは、人によると思うが
”ディニ微分を間に入れて
定理1.7の条件；lim sup y→x ｜（f(y) － f(x)）/（y － x）｜< +∞
↓↑
ディニ微分
↓↑
定理1.7の結論；リプシッツ連続 （”任意の実数x,yに対し |f(x)-f(y)|<= k|x-y| を満たす0以上のkがとれる”>>199より）
という関係を見”ると（>>204）
定理1.7の構造がよく見えるだろうと
以上
220:現代数学の系譜 雑談 古典ガロア理論も読む
18/02/15 11:13:48.63 RGRVREaW.net
>>197-198
この例は、諸刃の剣というやつでしょ(>>190)
>>204より
リプシッツ連続 （”任意の実数x,yに対し |f(x)-f(y)|<= k|x-y| を満たす0以上のkがとれる”>>199より）
↓↑
im sup y→x ｜（f(y) － f(x)）/（y － x）｜< +∞
が
221:言えるから、リプシッツ連続を否定する例を作ると、自分に跳ね返って、 ”im sup y→x ｜（f(y) － f(x)）/（y － x）｜< +∞”が、否定されるってことでしょ
222:現代数学の系譜 雑談 古典ガロア理論も読む
18/02/15 11:15:46.56 RGRVREaW.net
>>195-196
>>205をどうぞ
223:現代数学の系譜 雑談 古典ガロア理論も読む
18/02/15 11:18:26.71 RGRVREaW.net
>>181
>>204-207をどうぞ
224:現代数学の系譜 雑談 古典ガロア理論も読む
18/02/15 11:33:20.69 RGRVREaW.net
>>210 補足
定理1.7の証明を読んだが
（なお、定理1.7が分からない人は>>15-17ご参照）
１）
・f : R → R で Bf :={x ∈ R ｜ lim sup y→x ｜（f(y) － f(x)）/（y － x）｜< +∞ }
・Bf内のある点 x0 ∈ Bf の回りに、近傍（x0 - δ、x0 + δ）を取って
・近傍（x0 - δ、x0 + δ）内が、すべてBf :={x ∈ R ｜ lim sup y→x ｜（f(y) － f(x)）/（y － x）｜< +∞ }を満たす
↓
近傍（x0 - δ、x0 + δ）内に、リプシッツ連続な開区間 （x0 - δ’、x0 + δ’）が取れるという
証明のストーリーと読みました
２）が、それ、暗黙に、”近傍（x0 - δ、x0 + δ）内が、すべてBf :={x ∈ R ｜ lim sup y→x ｜（f(y) － f(x)）/（y － x）｜< +∞ }を満たす”を使っていますね？
３）その条件は、補集合R－BfがR中稠密な場合は、使えないでしょ
この点を補足しておきます。
なお、>>205も再度強調しておきます。
以上
225:１３２人目の素数さん
18/02/15 11:44:45.49 gCnkTTzV.net
>>206
> a) lim sup y→x ｜（f(y) － f(x)）/（y － x）｜< +∞
> ↓
> b) リプシッツ連続 （”任意の実数x,yに対し |f(x)-f(y)|<= k|x-y| を満たす0以上のkがとれる”>>199より）
まず
もう少し正確な表現で描き直した上で証明をしてください
（成り立たない例は件の証明を書いた人が挙げていますよ？）
226:１３２人目の素数さん
18/02/15 11:49:09.18 gCnkTTzV.net
>>211
>３）その条件は、補集合R－BfがR中稠密な場合は、使えないでしょ
ですので
R-BfがRで稠密な場合は定理の条件を満たすfは存在しないということになります
あなたが定理を``間違っている''と主張する場合
R-Bfが稠密でかつ可算個の疎な閉集合で被覆できるfの例を作れなければ
説得力は皆無ですよ
227:現代数学の系譜 雑談 古典ガロア理論も読む
18/02/15 13:11:16.38 RGRVREaW.net
>>212
ご苦労さまです
少々ご猶予を（＾＾
なにせ、私は、この板では証明を書かない主義です
といって、定理1.7のようにPDFをアップロードするつもりなく
まあ、分かりやすい証明を考えますよ（＾＾
228:現代数学の系譜 雑談 古典ガロア理論も読む
18/02/15 13:41:22.24 RGRVREaW.net
>>213
ご苦労さまです
（引用）
「> ３）その条件は、補集合R－BfがR中稠密な場合は、使えないでしょ
ですので
R-BfがRで稠密な場合は定理の条件を満たすfは存在しないということになります」
(引用終わり)
いやいや、流石にそれは強引な主張では？（下記ご参照）
>あなたが定理を``間違っている''と主張する場合
>R-Bfが稠密でかつ可算個の疎な閉集合で被覆できるfの例を作れなければ
>説得力は皆無ですよ
私の主張は逆で、
定理1.7で、補集合R－BfがR中稠密な場合は、
きちんと、条件設定”補集合R－BfがR中稠密”を付加した上で、そういう関数ｆが存在しないというなら、
それを筋道立てて、証明すべきであると。それをやらないと説得力なしです。
以前も書いたように
ケース１
f : R → R で、Rの部分集合Bfがfの連続な点の集合で、補集合R－Bfが不連続な点の集合の場合
ケース２（上記の逆で）
f : R → R で、Rの部分集合Bfがfの不連続な点の集合で、補集合R－Bfが連続な点の集合の場合
この２つの場合で
ケース１では、”R－Bf が内点を持たない閉集合の高々可算和で被覆でき、R中稠密” な関数ｆは存在します。例としては、トマエ関数です
ケース２では、”R－Bf が内点を持たない閉集合の高々可算和で被覆でき、R中稠密” な関数ｆは存在しせん。理由は、下記の”不連続性の分類”をご参照ください
なので、問題の定理1.7のR－BfがR中稠密な場合は、きちんとした別証明が必要と思いますよ（みそくそ一緒の定理1.7の証明でなく）
そして、
ケース１のように、そのような「関数ｆ」が存在するなら、系1.8へ定理1.7を適用して矛盾を導くことはできません
ケース２のように、そのような「関数ｆ」が存在しないなら、系1.8の証明は、開区間の存在を経由することはありません
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
不連続性の分類
(抜粋)
関数の不連続点の集合
函数の連続点の全体からなる集合は開集合の可算個の交わり（Gδ-集合）である。また不連続点の全体は閉集合の可算個の合併（Fσ-集合）である。
(引用終わり)
以上
229:現代数学の系譜 雑談 古典ガロア理論も読む
18/02/15 13:44:15.18 RGRVREaW.net
>>200 補足
この
URLﾘﾝｸ(www.amazon.co.jp)
URLﾘﾝｸ(books.google.co.jp)
Fundamentals of Real Analysis 著者: Sterling K. Berberian 出版社: Springer; Softcover reprint of the original 1st ed. 1999版 (1998/11/1)
は、定理1.7を書いた人から、教えてもらったテキストです
一言補足です
230:現代数学の系譜 雑談 古典ガロア理論も読む
18/02/15 14:22:07.26 RGRVREaW.net
再録
スレ48 ｽﾚﾘﾝｸ(math板:439番)
439 現代数学の系譜 雑談 古典ガロア理論も読む 2017/12/2
231:3(土) 10:37:20.53 http://www.artsci.kyushu-u.ac.jp/~ssaito/jpn/maths/real_analysis_2009_proceedings.pdf 典型的連続関数のDini微分 斎藤新悟 (Shingo SAITO) 九州大学大学院数理学研究院 (抜粋) 1 Dini微分とDenjoy-Young-Saksの定理 x = 0, 1 においては Dini 微分のうちいくつかが定義されないため，以下では (0, 1) の点における Dini 微分を主に考える． Dini 微分に関する最も重要な定理の 1 つが次の Denjoy-Young-Saks の定理である： 定理 1.2（Denjoy-Young-Saks の定理） f : [0, 1] → R とする．このとき，ほとんどすべての x ∈ (0, 1) に対して次のいずれかが成立する： (1) D^+f(x) = D+f(x) = D^-f(x) = D-f(x) ∈ R，すなわち f は x で微分可能． (2) D^+f(x) = D-f(x) ∈ R, D^-f(x) = ∞, D+f(x) = -∞． (3) D^-f(x) = D+f(x) ∈ R, D^+f(x) = ∞, D-f(x) = -∞． (4) D^±f(x) = ∞, D±f(x) = -∞． 注意 1.3 この定理では，f の連続性や可測性は仮定する必要がない．歴史的には最初にDenjoy, Young が独立に連続関数について示し，次に Young が可測関数にまで拡張し，最後に Saks が任意の関数について証明した．証明は例えば [2] の §3.5 を参照． Denjoy-Young-Saks の定理の威力を実感するため，この定理から直ちに従う 2 つの系を述べる． 系 1.5 任意の f : [0, 1] → R に対して集合 {x ∈ (0, 1) | f′(x) = ∞} は零集合である． 証明 f ′(x) = ∞ なる x ∈ (0, 1) では Denjoy-Young-Saks の定理の (1), (2), (3), (4) のいずれも成立しないことから系が従う． http://www.artsci.kyushu-u.ac.jp/~ssaito/jpn/maths/talks.html 研究集会での講演 斎藤新悟 九州大学基幹教育院准教授 (抜粋) 36．典型的連続関数の Dini 微分 (2009/10/23) ［日本語講演，60 分］ 実解析学シンポジウム 2009 ＠ 城西大学 坂戸キャンパス 関連文書：アブストラクト，報告集 (引用終り) （追加） https://en.wikipedia.org/wiki/Denjoy%E2%80%93Young%E2%80%93Saks_theorem Denjoy?Young?Saks theorem 以上
232:１３２人目の素数さん
18/02/15 15:58:12.59 0aAhb8Kl.net
おっちゃんです。
背理法のからくり。
基本的に、背理法で示せる命題は、有限回の推論で矛盾を導くことで示せるようになっている。
Pを仮定、Qを結論とする。P、Qが両方共に真或いは偽のどちらか一方になるのときの命題 P→Q を示すことを考える。
命題 P→Q を背理法で示すとする。Qを否定する。その上で元の仮定のPも仮定する。
そうすると、P、Qは両方共に真か偽のどちらか一方だから、命題 P∧ ￢Q を偽と仮定したことになる。
そして、偽の命題 P∧ ￢Q から始めて、有限回の推論で、背理法で示すべき命題 P→Q を示すことになる。
これを行うにあたり、Qの否定 ￢Q からいえることだけを適用して有限回の推論で矛盾を導けて P→Q を導けるとする。
そうすると、P、Qは両方共に真か偽のどちらか一方で、示すべき命題 P→Q は元々真だから、
仮定のPを任意の(Pとは異なる他の)仮定 P' で置き換えて P'→Q を背理法で示せることになる。
つまり、一般論として、結論Qが与えられた上で、任意の仮定 P' に対して、命題 P'→Q を背理法で示せることがいえる。
だが、これはあり得ない。有限回の推論の過程においてこのあり得ない事柄を導いて矛盾を得られた原因は、
背理法で命題 P→Q を示すにあたり、偽の命題 P∧ ￢Q から推論を始めて、
￢Q だけから行える有限回の推論に基づくことのみを適用して有限回の推論で矛盾を導けたことにある。
従って、背理法で命題 P→Q を有限回の推論で示すにあたり、命題 P∧ ￢Q を偽と仮定して、
￢Q だけから行える有限回の推論に基づくことのみを適用して有限回の推論で矛盾を導いて P→Q を導いてはならない。
だから、背理法で命題 P→Q を有限回の推論で示すには、単に ￢Q からいえることだけではなく、
元の仮定Pに含まれているすべての事柄から行える推論に基づくことも適用して有限回の推論で矛盾を導いて命題 P→Q を示さないといけない。
233:１３２人目の素数さん
18/02/15 16:00:23.82 0aAhb8Kl.net
(>>
234:218の続き) そうして背理法の枠組みの中で命題 P→Q を示すにあたり、偽の命題 P∧ ￢Q を仮定して、 有限回の推論で矛盾を導くと、矛盾を導けた原因は偽の命題 P∧ ￢Q を仮定したことにあるから、 命題 P→Q を示すにあたり仮定した偽の命題 P∧ ￢Q は否定されることになる。 そうすると、背理法の推論の過程では P∧ ￢Q を否定した命題 ￢(P∧ ￢Q)＝￢P ∨ ￢￢Q＝￢P ∨Q が得られることになる。 つまり、Pでない または Qである といえることになる。示すべき命題 P→Q を背理法で示すにあたり、 仮定のPは元から仮定されているから、Pであることがいえて、「Pでない」ということはあり得ない。 だから、「Qである」ことがいえる。つまり結論Qが得られる。 そのようにして、命題 P→Q を背理法で示すようになる。背理法の推論の仕組みとしては、そのようになっている。 スレ主は、今回の場合、仮定のPにあたる定理1.7の「R-Bfが可算個の疎な閉集合で被覆できる」を完全に適用していない。 それ故に、背理法を正しく適用出来ていないことになる。
235:１３２人目の素数さん
18/02/15 16:12:44.23 0aAhb8Kl.net
まあ、>>219の
>命題 ￢(P∧ ￢Q)＝￢P ∨ ￢￢Q＝￢P ∨Q
は正しくは
>命題 ￢(P∧ ￢Q)≡￢P ∨ ￢￢Q≡￢P ∨Q
である。スレ主に、今回の背理法による推論のからくりは教えた。
だが、定理1.7を背理法で示すにあたり、
「R-Bfが可算個の疎な閉集合で被覆できる」を完全に適用するには ε-δ だけでなく
最低でも位相空間は必要だな。
236:１３２人目の素数さん
18/02/15 17:10:00.99 VntZxPVK.net
>>215
＞定理1.7で、補集合R－BfがR中稠密な場合は、
＞きちんと、条件設定”補集合R－BfがR中稠密”を付加した上で、そういう関数ｆが存在しないというなら、
＞それを筋道立てて、証明すべきであると。それをやらないと説得力なしです。
＞
＞なので、問題の定理1.7のR－BfがR中稠密な場合は、きちんとした別証明が必要と思いますよ（みそくそ一緒の定理1.7の証明でなく）
その屁理屈は聞き飽きた。同じ屁理屈を 定理C に適用すると、次のようになる。
――――――――――――――――――
定理C で、「 f が原点で不連続」な場合は、きちんと条件設定 "f は原点で不連続" を
付加したうえで、そういう関数ｆが存在しないというなら、それを筋道立てて、証明すべきであると。
それをやらないと説得力なしです。 なので、問題の定理Cの「 f が原点で不連続な場合」は、
きちんとした別証明が必要と思いますよ（みそくそ一緒の 定理C の証明でなく）
――――――――――――――――――
ここでスレ主は、定理C のときだけは、次のような別の屁理屈を繰り出すのである。
―――――――――――――――
定理Cの場合は、f が原点で不連続という場合分けは存在しない。
なぜなら、f が微分可能なら f は原点で連続になるからだ。
なぜそうなるかって？定理Cにそう書いてあるじゃないか。
―――――――――――――――
だったら、同じ屁理屈を定理1.7にも適用すれば、次のようになる。
――――――――――――――――
定理1.7 の場合は、R－B_f が R の中で稠密という場合分けは存在しない。
なぜなら、R－B_f が第一類集合なら、f はある開区間の上でリプシッツ連続だからだ。
なぜそうなるかって？定理1.7 にそう書いてあるじゃないか。
――――――――――――――――
結局、スレ主とかいうゴミクズの屁理屈は、どちらに転んでも自爆に終わるのである。
237:１３２人目の素数さん
18/02/15 17:11:30.82 VntZxPVK.net
>>204
＞２．まず、「lim sup y→x ｜（f(y) － f(x)）/（y － x）｜< +∞」から、４つのディニ微分がいずれも有限値だと
＞ それは、即ちリプシッツ連続だということだ
息をするように間違えるゴミクズ。キチガイ。問題外。レベルが低すぎる。
お前の屁理屈を適用すると、
「 Af(x) が各点で有限値なら、f はどの区間の上でもリプシッツ連続だ 」
ということになる。しかし、既に見た
f(x)＝0 (x＝0), x^{3/2}sin(1/x) (x≠0)
という関数が反例であると何度も言っている。この f は原点の近傍でリプシッツ連続にならないのである。
任意の点で A_f(x) が有限値であるにも関わらずな。
>>206
＞１．さて、もう一つの下記
＞ a) lim sup y→x ｜（f(y) － f(x)）/（y － x）｜< +∞
＞ b) リプシッツ連続 （”任意の実数x,yに対し |f(x)-f(y)|<= k|x-y| を満たす0以上のkがとれる”>>199より）
＞ を認めると、前記と併せて、a)とb)は同値ということになる
(a)と(b)は同値にならない。理由は上に同じ。上で挙げた関数 f について、
A_f(x) は任意の点で有限値であるが、この f は原点の近傍でリプシッツ連続ではない。
238:１３２人目の素数さん
18/02/15 17:12:49.42 VntZxPVK.net
>>205
＞２．また、「仮定の集合Bfが、ある開区間を含む」場合
＞ a)→b)を認めると、「仮定の集合Bfが、ある開区間を含む」→「その開区間でリプシッツ連続」が言える
まさしく「息をするように間違えるゴミクズ」。
上記の関数 f について、B_f＝R が成り立つので、(a,b)⊂B_fなる開区間は取り放題である。
特に (－1, 1)⊂B_f という開区間を取ってみよう。すると、お前が言うところの
＞「仮定の集合Bfが、ある開区間を含む」→「その開区間でリプシッツ連続」が言える
を適用すれば、f は (－1, 1) 全体でリプシッツ連続ということになるが、
しかし f は (－1, 1) 上ではリプシッツ連続にならない。
239:１３２人目の素数さん
18/02/15 17:17:05.50 VntZxPVK.net
>>208
＞この例は、諸刃の剣というやつでしょ
原理的には諸刃の剣であることは俺も理解している。しかし、
「 >>110により、そのような関数は存在しない 」
と何度も添えているので、実際には俺の方は無傷なのである。一方で、お前はノーダメージとはいかない。
なぜなら、>>190のような関数が存在しないことを>>110を経由せずに自明に証明できなければ、
「 (a,b)⊂B_f なる開区間が存在するなら、f がある区間の上でリプシッツ連続になるのは自明だ」
というお前の直観が破壊されるからである。
というか、今までのお前の立場を考慮すると、お前の方から自発的に
>>190のような関数の有無に拘るべきなのである。にも関わらず、お前には
「 (a,b)⊂B_f なる開区間が存在するなら、f がある区間の上でリプシッツ連続になるのは自明だ」
というアホな "思い込み" があるので、お前は上記のような考察をせず、
なぜか俺の方から そのような考察をするという逆転した状況になっているのであるｗ
240:１３２人目の素数さん
18/02/15 17:19:31.83 VntZxPVK.net
>>211
＞・f : R → R で Bf :={x ∈ R ｜ lim sup y→x ｜（f(y) － f(x)）/（y － x）｜< +∞ }
＞・Bf内のある点 x0 ∈ Bf の回りに、近傍（x0 - δ、x0 + δ）を取って
＞・近傍（x0 - δ、x0 + δ）内が、すべてBf :={x ∈ R ｜ lim sup y→x ｜（f(y) － f(x)）/（y － x）｜< +∞ }を満たす
＞ 近傍（x0 - δ、x0 + δ）内に、リプシッツ連続な開区間 （x0 - δ’、x0 + δ’）が取れるという
＞ 証明のストーリーと読みました
微妙に間違っている。正確には、もっと強いことを言っている。
・ ある B_{N,M} に対して、(a,b) ⊂ B_{N,M} なる開区間が存在する
・ この開区間の中にリプシッツ連続な区間が取れる
このように、B_f ではなく B_{N,M} 内に開区間が取れると言っている。
これは、B_f の中に開区間が取れることよりも遥かに強い条件になっている。
なぜなら、既に述べたように、B_f の各点xでは A_f(x) がただ単に有限値であるにすぎないのに対して、
B_{N,M} 上では一様に A_f(x)≦N が成り立つからだ。
＞２）が、それ、暗黙に、”近傍（x0 - δ、x0 + δ）内が、
＞すべてBf :={x ∈ R ｜ lim sup y→x ｜（f(y) － f(x)）/（y － x）｜< +∞ }を満たす”を使っていますね？
微妙に間違っている。正確には、もっと強いことを使っている。上で述べたように、
「ある B_{N,M} が (a,b) ⊂ B_{N,M} なる開区間を含む」ということを使っている。
この場合、(a,b)内の各点 x に対して Af(x)≦N が成り立つことになる。
そのような強い条件を使っているのである。
[続く]
241:１３２人目の素数さん
18/02/15 17:24:24.67 VntZxPVK.net
[続き]
＞３）その条件は、補集合R－BfがR中稠密な場合は、使えないでしょ
使える。なぜなら、R－B_f が第一類集合なら、ベールのカテゴリ定理より、ある B_{N,M} に対して
(a,b) ⊂ B_{N,M} なる開区間が存在するからだ。すなわち、「 R－B_f が第一類集合 」という条件は
「 ある B_{N,M} に対して (a,b) ⊂ B_{N,M} なる開区間が存在する 」
という滅茶苦茶に強い条件を暗黙のうちに含意しているのである。
特に、R－B_f が第一類集合なら、R－B_f は R の中で稠密になりえないのである。
そういう「なりえない条件」を最初から付け加えたところで、仮定が偽になるだけである。
お前の屁理屈を使えば、
「そのような場合分けは存在しない」
のである。文句があるなら「ベールのカテゴリ定理」を批判したまえ。
242:１３２人目の素数さん
18/02/15 17:32:37.99 VntZxPVK.net
というか、何のための「第一類集合」だと思っているのだ。一般に、A ⊂ R が
「 R－A は第一類集合 」
という条件を満たすならば、A ⊂ ∪_k F_k なる可算無限個の閉集合 F_k を
任意に取るとき、ベールのカテゴリ定理により、ある F_k は内点を持つことになる。
すなわち、(a,b)⊂F_k なる開区間が取れることになる。大事なことなのでもう一度言う。
―――――――――――――――
R－A が第一類集合ならば、「 A 」の方については、
A ⊂ ∪_k F_k なる可算無限個の閉集合 F_k を任意に取るとき、
ある F_k は内点を持つ(ベールのカテゴリ定理より)。
―――――――――――――――
すなわち、R－A が第一類集合ならば、「 A 」の方は非常に強い性質を持っているのである。
にも関わらず、お前はこのことをずっと無視しつづけており、機械的に「第一類集合」という言葉を
振り回すだけで、第一類集合から導かれる上記の「強い」性質を全く視野に入れていない。
「 A 」が非常に強い性質を持つならば、その性質から暗黙のうちに含意される
様々な派生の性質があるはずで、それらの性質に矛盾するような条件は、お前から言わせれば
条件として追加できないはずであり、「場合分けとして存在しない」はずなのである。
しかし、お前は機械的に「第一類集合」という言葉を振り回すだけで、この条件から
何が言えるのか全く考慮してないために、お前が思いついた場合分けは何でも可能だと
思い込んでいる。いや、実際にはどんな場合分けも可能(おかしな場合分けは仮定が偽になるだけで、
場合分け自体は可能)なのだが、お前に言わせれば、「矛盾する場合分けは最初から
場合分けとして存在しない」はずである。にも関わらず、お前は追加した条件が
矛盾しているかどうかを全く考慮していないのである。やってることに一貫性がなくて滅茶苦茶。
243:１３２人目の素数さん
18/02/15 17:34:13.49 VntZxPVK.net
とりあえず、これだけは言っておこう。
R－B_f は第一類集合とする。このとき、「 B_f 」の方は次の性質を満たす。
――――――――――――――――
B_f ⊂ ∪_k F_k なる可算無限個の閉集合 F_k を任意に取るとき、
ある F_k は内点を持つ(ベールのカテゴリ定理より)。
――――――――――――――――
↑お前は今までずっとこの性質を無視し続けてきたので、これからはこの性質を使いたまえ。
244:１３２人目の素数さん
18/02/15 17:39:05.08 VntZxPVK.net
あと、定理1.7とは違う話になるが、練習問題も出しておく。
以下、f：R→R に対して、f の不連続点全体の集合を E_f と書くことにする。
連続点ではなく、「不連続点」の集合な。
このとき、次の定理が成り立つ。
――――――――――――――――
定理E：
R－E_f が第一類集合ならば、(a,b) ⊂ E_f を満たすa,bが存在する。
――――――――――――――――
↑この 定理E は正しい定理である。スレ主にはその理由が分かるかな？
245:１３２人目の素数さん
18/02/15 18:36:00.21 gCnkTTzV.net
>>215
>いやいや、流石にそれは強引な主張では？（下記ご参照）
強引ではありませんよ
P->Q
と
P∧￢Q->矛盾 （もしくはP∧￢Qは偽）
は同値だからです
この定理は
P:R-Bfが可算個の疎な閉集合で覆える
Q:fがリプシッツ連続となる開区間が存在する
というも
246:のであり ｆにリプシッツ連続となる開区間が存在するならR-BfがRで稠密にならないのは自明ですので ''R-Bfが可算個の疎な閉集合で覆える"∧"R-BfがRで稠密"->矛盾 となる訳です 件の証明を書いた人が再三指摘しているあなたの思考法の難点は 背理法を理解していないことにあるようですね
247:１３２人目の素数さん
18/02/15 18:39:00.33 gCnkTTzV.net
結局
>>131
にはお答えいただけないようですね
248:１３２人目の素数さん
18/02/15 18:58:35.81 Ng4AGrJW.net
>>231
お前だって質問に答えないだろうがw
人には厳しいのね ぷ
249:１３２人目の素数さん
18/02/15 18:59:39.71 TzXrTrkr.net
＞なにせ、私は、この板では証明を書かない主義です
と、教科書を読まない主義、勉強をしない主義のバカが申しております
250:１３２人目の素数さん
18/02/15 20:35:06.26 gCnkTTzV.net
>>232
ぷ
251:１３２人目の素数さん
18/02/15 20:48:23.16 gCnkTTzV.net
>>215
>きちんと、条件設定”補集合R－BfがR中稠密”を付加した上で、そういう関数ｆが存在しないというなら、
>それを筋道立てて、証明すべきであると。それをやらないと説得力なしです。
P->Q
が真である場合
A->￢Q
が真であっても（なくても）
P∧A->Q
も真ですよ
また
A->￢Q
が真である場合
P∧A->Q∧￢Q
も真となりますので
P∧Aは偽
ということです
ここで
P:R-Bfが可算個の疎な閉集合で覆える
Q:fがリプシッツ連続となる開区間が存在する
A:R-BfがRで稠密
を想定してください
252:１３２人目の素数さん
18/02/16 01:00:25.40 xXIgzvk8.net
>>215
>>あなたが定理を``間違っている''と主張する場合
>>R-Bfが稠密でかつ可算個の疎な閉集合で被覆できるfの例を作れなければ
>>説得力は皆無ですよ
>
>私の主張は逆で、
>定理1.7で、補集合R－BfがR中稠密な場合は、
>きちんと、条件設定”補集合R－BfがR中稠密”を付加した上で、そういう関数ｆが存在しないというなら、
>それを筋道立てて、証明すべきであると。それをやらないと説得力なしです。
背理法を理解していないことが納得がいかない元凶です
また
あなたの主張の1つは``件の定理は間違っている''というものですから
間違っていることを証明するか成立しない例を挙げるかその主張を取り下げるかしかありません
``間違っている''という主張を取り下げた上で``間違っていそうな気がする''程度であれば
数学的に間違ったことを主張しているということでの批判はされはしないでしょう
253:１３２人目の素数さん
18/02/16 01:17:30.91 eQJLjvN9.net
あなたの主張の1つは``時枝戦略は間違っている''というものですから
間違っていることを証明するか成立しない例を挙げるかその主張を取り下げるかしかありませんよ
254:１３２人目の素数さん
18/02/16 07:27:57.61 xXIgzvk8.net
>>236
``間違っていそうな気がする''
程度であってもバカにされることを気にするかも知れませんね
証明を読んで納得することが肝要ですよ
255:現代数学の系譜 雑談 古典ガロア理論も読む
18/02/16 11:58:45.29 wmUyW91w.net
>>236-238
>あなたの主張の1つは``件の定理は間違っている''というものですから
>間違っていることを証明するか成立しない例を挙げるかその主張を取り下げるかしかありません
えらく根源的なレベルまで、話が戻っていますかね？
私の主張は、数学の理論というのは、定理：P→Q で、
定理が成立するというのは、P真→Q真が成り立っていて、命題PからQがきちんと導かれる（＝証明がつけられる）
べし だと
そうして、定理の連鎖による数学の理論体系を構築する。定理：P→Q、定理：Q→R、・・・と続いて連鎖と理論体系を成すべし
その中に、「実は、P偽→Q偽で、命題自身は真なのですが・・」なんてのを、混ぜたら、みんなズッコケでしょう？
つづく
256:現代数学の系譜 雑談 古典ガロア理論も読む
18/02/16 12:01:16.66 wmUyW91w.net
>>239 つづき
これを定理1.7に見るに（>>13より）
命題P中 「R－Bf が内点を持たない閉集合の高々可算和で被覆できる」を、普通に場合分けすると
（>>23より）
１）R中稠密でない場合、
２）R中稠密な場合
に、二分でき
１）の場合について、
命題P’1：「R－Bf：RにおけるBfの補集合で、ベールの第一類集合で、R中稠密でない、とする。」
２）の場合について、
命題P’2：「R－Bf：RにおけるBfの補集合で、ベールの第一類集合で、R中稠密である、とする。」
となる
そこで
>>205より、「定理1.7が成り立つと、仮定の集合Bfもまた、ある開区間を含む
だから、定理1.7が成り立つと、補集合R－Bfが稠密ではないという結論になる（補集合R－Bfが稠密なら、Bfは開区間を含みえない）」
なので、命題P’2のい場合ついては、仮定P’2（稠密で開区間なし）と、 結論：ある開区間がリプシッツ連続 →この開区間は仮定のBfの条件を満たす
従って、仮定P’2と結論とが矛盾しているので、ここはきちんと場合分けをすべきだと
そして、「証明が正しいから、これで良いのだ」と仰るが、それはおかしい
繰り返すが、本来、定理の命題と証明は分離されるべきもので、例えば、定理が正しければ、元の証明以外の別証明もありうるわけだし
数学の定理の命題は、上記のように数学の理論体系の一部をなすべきものであるから、
命題の論理の連鎖がつながるように、最低限の体裁を整えないといけませんね
２）の場合について、
命題P’2：「R－Bf：RにおけるBfの補集合で、ベールの第一類集合で、R中稠密である、とする。」
↓
結論：この場合は、ｆは空集合（存在しない）
という定理を立てるなら、それはまっとうな数学の定理と言える
257:しかし、 「結論：ある開区間がリプシッツ連続」 で、この場合は空集合で、条件が偽です。 「それで良い。条件が偽で命題は正しいし、証明が正しいから」 では、まずいと思いますよ 以上
258:現代数学の系譜 雑談 古典ガロア理論も読む
18/02/16 12:05:22.34 wmUyW91w.net
>>237
時枝については、確率過程論や、ランダム現象の数理の中に、当てられない数列の例が、存在します
それが反例ですが、その理解が難しいんでしょうね
なお、ここらは、日本の伊藤清先生らの系譜で、日本数学の伝統の分野です
259:現代数学の系譜 雑談 古典ガロア理論も読む
18/02/16 12:22:51.16 wmUyW91w.net
>>240 補足
系1.8については、別の理論で証明されています。それは既述の通りです。多分、ここは合意でしょう。
そして、背理法は系1.8の部分です。
問題は、定理1.7です。
ここは、背理法以前です。
定理1.7で、上記>>240 ２）の場合について、
命題P’2：「R－Bf：RにおけるBfの補集合で、ベールの第一類集合で、R中稠密である、とする。」
が、本当に空集合になるのかどうか？ それは知りません
おそらく、空ではなく、反例として存在するのではないかと思っています
まあ、普通の連続・不連続で、R中の部分集合として連続がFσ、不連続がGδとして存在するの類似かな？と
つまり、「Bf :={x ∈ R ｜ lim sup y→x ｜（f(y) － f(x)）/（y － x）｜< +∞ }」が連続に相当しFσ
補集合 R－Bf が、不連続に相当しGδだろうと
残念ながら、そういう理論の論文は見つかりませんでした
そして、これも残念ながら、リプシッツ連続や上記のBfと R－Bf とについて
「Fσ vs Gδ」理論を構築するような”かしこい頭”は、私にはありません（＾＾
どなたか、これに関する文献などあれば、ご紹介ください
「そんなこと簡単にできるよ」と、どなたか実行して頂ければ、さらに幸甚です（＾＾
以上
追伸
命題の仮定と結論レベルで矛盾している定理を、「証明しました」というのは、普通は「？」ですよ
260:現代数学の系譜 雑談 古典ガロア理論も読む
18/02/16 15:04:53.67 wmUyW91w.net
>>218
おっちゃん、どうも、スレ主です。
ご苦労さまです
>有限回の推論に基づくことのみを適用して有限回の推論で矛盾を導いて
数学的帰納法や超限帰納法は、有限ですか無限ですか？
>>219
定理1.7は、背理法ではありませんよ
だから問題なんです
系1.8は、背理法です。
>>220
「完全に適用していない」とか、関係ないでしょ？ 一部だけの使用でも矛盾が導ければ同じと考えます
以上
261:現代数学の系譜 雑談 古典ガロア理論も読む
18/02/16 15:10:11.59 wmUyW91w.net
>>231
>>>131
>にはお答えいただけないようですね
なんども同じことを書いていますが
>>239-240 & >>242 をご参照ください
262:現代数学の系譜 雑談 古典ガロア理論も読む
18/02/16 15:33:04.70 wmUyW91w.net
>>244 補足
(>>240より)
仮定P’2：「R－Bf：RにおけるBfの補集合で、ベールの第一類集合で、R中稠密である、とする。」
↓
結論：この場合は、ｆは空集合（存在しない）
は、証明可能かもしれません。（定理1.7の証明で、「自動的に証明できている」という主張は無茶では？）
しかし
仮定P’2：「R－Bf：RにおけるBfの補集合で、ベールの第一類集合で、R中稠密である、とする。」
↓
f はある開区間の上でリプシッツ連続である
↓
結論： f はある開区間（＝リプシッツ連続な開区間）の上で ”lim sup y → x ｜（f(y) － f(x)）/（y － x）｜< +∞”である
が言える （つまり、リプシッツ連続→”lim sup y → x ｜（f(y) － f(x)）/（y － x）｜< +∞” が成立。つまり、Bf内に開区間ありと）
（>>205より）
ですから、繰り返しますが
仮定は、補集合がR中稠密で、Bfは開区間など持ち得ない
結論は、Bfは開区間を持つ
です
だから、仮定から結論は、導けない。
この証明は不可能でしょう
だから、
仮定：補集合がR中稠密で、Bfは開区間など持ち得ない
から出発して
結論(A)：そのようなｆは空集合（存在しない）
結論(B)：そのようなｆは存在し、反例になる
このように、結論(A)か結論(B)か、どちらかをきちんと証明すべきです
（繰り返すが、仮定：補集合がR中稠密で、Bfは開区間など持ち得ない だから、結論が、Bf内に開区間あり は、まずいよと）
以上
263:現代数学の系譜 雑談 古典ガロア理論も読む
18/02/16 15:46:35.35 wmUyW91w.net
>>235
>P->Q
>が真である場合
１）
P：「R－Bf：RにおけるBfの補集合で、ベールの第一類集合で、R中稠密である、とする。」（>>245）
Q：「f はある開区間の上でリプシッツ連続である」
↓
f はある開区間（＝リプシッツ連続な開区間）の上で ”lim sup y → x ｜（f(y) － f(x)）/（y － x）｜< +∞”である
が言える （つまり、リプシッツ連続→”lim sup y → x ｜（f(y) － f(x)）/（y － x）｜< +∞” が成立。つまり、Bf内に開区間ありと）
ですから、P→Q（”Bf内に開区間あり”）です
２）
一方で、”Bfの補集合が、R中稠密”ですから、Bf内に（Bfのみの）開区間なし（必ずBfの補集合R－Bfがその開区間に交じります）
ですから、P→￢Qです
３）
P→QとP→￢Qとは両立しません。どちらかを捨てるしかありません（排中律）
P→￢Qは”R中稠密”から自明ですので、P→Qを捨てることになります。
以上
264:現代数学の系譜 雑談 古典ガロア理論も読む
18/02/16 15:49:31.45 wmUyW91w.net
>>230
引用
「この定理は
P:R-Bfが可算個の疎な閉集合で覆える
Q:fがリプシッツ連続となる開区間が存在する
というものであり
ｆにリプシッツ連続となる開区間が存在するならR-BfがRで稠密にならないのは自明ですので
''R-Bfが可算個の疎な閉集合で覆える"∧"R-BfがRで稠密"->矛盾
となる訳です
件の証明を書いた人が再三指摘しているあなたの思考法の難点は
背理法を理解していないことにあるようですね」
(引用終わり)
ここは、>>246ご参照
”P→QとP→￢Qとは両立しません。どちらかを捨てるしかありません（排中律）
P→￢Qは”R中稠密”から自明に成立ですので、P→Qを捨てることになります。”ってことです
265:背理法とは、明白に異なっています 以上
266:現代数学の系譜 雑談 古典ガロア理論も読む
18/02/16 16:57:22.84 wmUyW91w.net
>>214 補足
>まあ、分かりやすい証明を考えますよ（＾＾
＜経過報告＞
（>>204より）
１）定理1.7の条件；lim sup y→x ｜（f(y) － f(x)）/（y － x）｜< +∞ （ lim supが有限）
↓↑
２）ディニ微分 （４つのDini微分が有限）
↓↑
３）定理1.7の結論；リプシッツ連続 （”任意の実数x,yに対し |f(x)-f(y)|<= k|x-y| を満たす0以上のkがとれる”>>199より）（k 有限）
まあ、命題３つとも全部”有限からみ”で、特に”２）ディニ微分 （４つのDini微分が有限）”を中心にして、１）２）３）が全て同値が言えるのえではというのがそもそもの発想です
１）と２）が同値であることは、>>200 テキスト Fundamentals of Real Analysis のP220 で終わっていると思う
３）が見かけ一番強い条件で、３）→１）を見るのは易しい（>>205に書いた）
だから、２）→３）又は１）→３）が言えれば良い
仮定は１）の”lim sup y→x ｜（f(y) － f(x)）/（y － x）｜< +∞ （ lim supが有限）”の開区間が存在するだから
この開区間が存在する仮定のもとで、→（この区間内で）”リプシッツ連続”が言えれば良い
まあ、この程度の話だから、すでにどこかのテキストに同じ命題か類似命題があるのでは・・、その方が説得力もあるので探しているところ
無ければ、それこそ背理法を使って
”lim sup y→x ｜（f(y) － f(x)）/（y － x）｜< +∞ （ lim supが有限）”の開区間が存在するにも拘わらず
この開区間内に、”リプシッツ不連続”な点（k 無限大発散）
として、矛盾を導く（例えば、”リプシッツ不連続”（k 無限大発散）な点では、４つのDini微分のどれかが無限大になる）
方針で、証明することになるだろう
（まあ、なにかテキストを見つけて読んだ方が勉強になるので、いま模索＆思案中です・・（＾＾ ）
以上
267:１３２人目の素数さん
18/02/16 17:33:03.22 oZfMkl2p.net
>>240
＞そこで
＞>>205より、「定理1.7が成り立つと、仮定の集合Bfもまた、ある開区間を含む
＞ だから、定理1.7が成り立つと、補集合R－Bfが稠密ではないという結論になる（補集合R－Bfが稠密なら、Bfは開区間を含みえない）」
＞なので、命題P’2のい場合ついては、仮定P’2（稠密で開区間なし）と、
＞結論：ある開区間がリプシッツ連続 →この開区間は仮定のBfの条件を満たす
＞従って、仮定P’2と結論とが矛盾しているので、ここはきちんと場合分けをすべきだと
同じ屁理屈を定理Cに適用すると、次のようになる。
―――――――――――――――――――
定理Cが成り立つと、f が原点で微分可能なら、f は原点で連続である。だから、
定理Cが成り立つと、f は原点で不連続になりえないという結論になる。なので、
(1) f が原点で連続である場合 (2) f が原点で不連続である場合
と場合分けしたときの (2) の場合については、仮定(2)と結論とが
矛盾しているので、ここはきちんと場合分けをすべきだと。
―――――――――――――――――――
↑このように、お前は定理Cについて「(1),(2)のケースに場合分けしなければならない」と
ほざいているのである。
268:１３２人目の素数さん
18/02/16 17:34:22.38 oZfMkl2p.net
>>240
＞２）の場合について、
＞命題P’2：「R－Bf：RにおけるBfの補集合で、ベールの第一類集合で、R中稠密である、とする。」
＞ ↓
＞結論：この場合は、ｆは空集合（存在しない）
＞という定理を立てるなら、それはまっとうな数学の定理と言える
＞しかし、
＞「結論：ある開区間がリプシッツ連続」
＞で、この場合は空集合で、条件が偽です。
＞「それで良い。条件が偽で命題は正しいし、証明が正しいから」
＞では、まずいと思いますよ
同じ屁理屈を定理Cに適用すると、次のようになる。
――――――――――――――――
「(2) f は原点で不連続」の場合について、
命題：f は原点で微分可能で、fは原点で不連続とする。
↓
結論：この場合は、f は空集合(存在しない)
という定理を立てるなら、それはまっとうな数学の定理と言える
しかし、
「結論：f は原点で連続」
で、この場合は空集合で、条件が偽です。
「それで良い。条件が偽で命題は正しいし、証明が正しいから」
では、まずいと思いますよ。
――――――――――――――――
↑このように、お前は定理Cについて「定理Cの記述のままでは まずいと思いますよ」と
ほざいているのである。
269:１３２人目の素数さん
18/02/16 17:35:23.51 oZfMkl2p.net
しかし、スレ主は定理Cに対しては次のような屁理屈を繰り出すのだった。
―――――――――――――――
定理Cの場合は、「(2) f が原点で不連続」という場合分けは存在しない。
なぜなら、f が微分可能なら f は原点で連続になるからだ。
なぜそうなるかって？定理Cにそう書いてあるじゃないか。
―――――――――――――――
だったら、同じ屁理屈を定理1.7にも適用すれば、次のようになる。
――――――――――――――――
定理1.7 の場合は、「 R－B_f が R の中で稠密」という場合分けは存在しない。
なぜなら、R－B_f が第一類集合なら、f はある開区間の上でリプシッツ連続だからだ。
なぜそうなるかって？定理1.7 にそう書いてあるじゃないか。
――――――――――――――――
結局、スレ主とかいうゴミクズの屁理屈は、どちらに転んでも自爆に終わるのである。
270:１３２人目の素数さん
18/02/16 17:46:51.60 oZfMkl2p.net
>>245
＞ですから、繰り返しますが
＞仮定は、補集合がR中稠密で、Bfは開区間など持ち得ない
＞結論は、Bfは開区間を持つ
＞です
＞
＞だから、仮定から結論は、導けない。
＞この証明は不可能でしょう
>>142-143で論破済み。示すべきは
・「P → Q 」が真であることを証明すること
なのであって、「 P という仮定のもとで絶対に Q を導かなければ証明にならない 」
というわけではない。P が偽であることが示せたなら、その時点で
「P → Q 」は真だと確定するので、もはや Q に言及する必要は
どこにもなく、証明は終わっている。
どうしても Q を導出したければ、>>143に書いたように、
「矛盾した命題からは何でも導出できるので～」という論法を使って
「 Q 」を導出すればよい。今回の場合は、仮定が矛盾していることを導いた後、
―――――――――――――
矛盾した命題からは任意の命題を導出してよいので、
特に「Bfは開区間を持つ」という命題を導出してよい。
よって、Bfは開区間を持つ。
―――――――――――――
と書けばよい。これできちんと結論が導出できている。
いずれにしても、お前がそこで書いていることは>>142-143で論破済み。
271:１３２人目の素数さん
18/02/16 17:48:29.17 oZfMkl2p.net
>>248
＞だから、２）→３）又は１）→３）が言えれば良い
言えないよ。もしそこが言えたら、
(★) (a,b)⊂B_f なる開区間が存在するなら、f は (a,b) 全体でリプシッツ連続である
ということが示せることになってしまうが、既に見たように
f(x)＝0 (x＝0), x^{3/2}sin(1/x) (x≠0)
が
272:(★)の反例になっている。この例では、(－1,1)⊂B_f が成り立つにも関わらず、 f は (－1,1) 上ではリプシッツ連続になってない。 つまり、お前の方針は自動的に失敗する。
273:１３２人目の素数さん
18/02/16 17:52:59.42 oZfMkl2p.net
>>242
＞つまり、「Bf :={x ∈ R ｜ lim sup y→x ｜（f(y) － f(x)）/（y － x）｜< +∞ }」が連続に相当しFσ
＞補集合 R－Bf が、不連続に相当しGδだろうと
バカだな。一般に、次の 定理F が成り立つことに注意せよ。
―――――――――――――――
定理F：
A ⊂ R は Fσ集合とする。このとき、もし R－A が第一類集合ならば、
(a,b)⊂A を満たす開区間 (a,b) が存在する。
―――――――――――――――
よって、もし Bf が Fσ 集合ならば、R－B_f が第一類集合のときには
(a,b)⊂B_f なる開区間が必ず取れることが即座に確定する。
このことは、定理1.7を経由することで既に確定しているが、
上記の 定理F により、さらに直接的に確定するのである。
つまり、Bf が Fσ 集合ならば、R－B_f が第一類集合のときに
「 R－B_f は R の中で稠密 」
なんてのは最初から起こりようが無いのである。
スレ主の屁理屈によれば、"R の中で稠密" なんていう場合分けは存在しないのである。
つまり、お前が「 Bf は Fσ 集合であろう」と予想するなら、お前は自分自身の手で
墓穴を掘っていることになるのだ。
ちなみに、Bf は実際に Fσ 集合である。例の pdf のままではそのことは証明できないが、
手元にはその証明がある。そして、そのことを使っても定理1.7が証明できる。
なんなら、うｐろだに上げてもよい。
274:１３２人目の素数さん
18/02/16 19:29:31.18 eQJLjvN9.net
>>241
＞時枝については、確率過程論や、ランダム現象の数理の中に、当てられない数列の例が、存在します
アホ丸出しｗ
275:DJ学術
18/02/16 20:00:20.87 yN3n4O8g.net
数学用語はリズムが合わないな。脚韻とかそっちの文学世界の方が楽しい。
276:１３２人目の素数さん
18/02/16 22:24:40.84 wpVIJgKd.net
時枝氏の議論はもう置いておこう。なんの話しか分からなくなる。
スレ主も「時枝」を議論したいなら専用スレ作ることを提案する。貴重な議論が「時枝」ですぐ乱れる。数学ネタをココから少々拾う身としては辛い。
専用スレ作っても意味無いかも知れぬが。
277:１３２人目の素数さん
18/02/16 23:05:50.96 ctIhm5VI.net
>>257
> 貴重な議論が「時枝」ですぐ乱れる。
貴重ですかねコレ
あまりに馬鹿馬鹿しい議論だと思いますが
証明読めば分かるのに難癖つけまくってるだけですよね
懇切丁寧に説明しても一向に分からないスレ主
時枝も同じですよ
問題を読み違えている人とか、まったく分かってない人とか
確率0とかねｗ
読み違えを指摘されても全く答えない ぷ氏
278:１３２人目の素数さん
18/02/17 07:32:25.44 oEbC5FQb.net
＞時枝については、確率過程論や、ランダム現象の数理の中に、当てられない数列の例が、存在します
そこまで言うなら、数列の実例を挙げて当てられないことを証明しては？
時枝解法のどこが破綻するのか具体的に示してね
279:１３２人目の素数さん
18/02/17 09:16:59.89 07PyDvE/.net
おっちゃんです。
>>243
＞>有限回の推論に基づくことのみを適用して有限回の推論で矛盾を導いて
＞
＞数学的帰納法や超限帰納法は、有限ですか無限ですか？
これも有限回の推論になる。
280:１３２人目の素数さん
18/02/17 09:19:22.23 07PyDvE/.net
>>243
＞>>219
＞定理1.7は、背理法ではありませんよ
＞だから問題なんです
>>218-219の補足だが、命題 P→Q を示すにあたり、背理法で
命題 P∧ ￢Q を偽と仮定したことは、Pであって かつ Qでない ことを仮定したことになる。
これは定理1.7でいうと、 「R－Bf が内点を持たない閉集合の高々可算和で被覆出来」て
かつ 「f ：R→R は如何なる開区間の上でもリプシッツ連続ではない」ことを仮定したことになる。
つまり、「R－Bf が内点を持たない閉集合の高々可算和で被覆出来」て かつ
「f ：R→R は如何なる開区間の上でも微分不可能 または fが或る開区間上微分可能だとしても導関数 f' は不連続である」
ことを仮定したことになる。これは、スレ主に従うと、そのままスレ主の主張に当てはまることになる。
そして、>>218-219の>>218で書いたことの一部と似たような内容になるが、定理1.7を偽として真の命題である系1.8を導く証明が正しいとする。
281:そうすると出だしの定理1.7が偽だから、定理1.7とは違う他の命題 P' で任意に置き換えて、命題 P' から系1.8が導けることになる。 だが、このようなことはあり得ない。だから、定理1.7を偽として真の命題である系1.8を導く証明は正しくない。 だから、定理1.7を真として真の命題である系1.8を導く証明をすることになる。 それ故、このように、スレ主の主張に対して>>218-219の内容に似たことが適用されることになる。
282:１３２人目の素数さん
18/02/17 09:26:32.56 07PyDvE/.net
>>243
＞>>220
＞「完全に適用していない」とか、関係ないでしょ？ 一部だけの使用でも矛盾が導ければ同じと考えます
一部の使用だけだと、使った部分のみを仮定とする命題を示したことになる。
理由はやはり>>218-219の>>218の一部の内容に似たことが適用されることになる。
>>261の「>>218で書いたことの一部」やこのレスでいう「>>218の一部」とは、具体的には
>これを行うにあたり、Qの否定 ￢Q からいえることだけを適用して有限回の推論で矛盾を導けて P→Q を導けるとする。
>そうすると、P、Qは両方共に真か偽のどちらか一方で、示すべき命題 P→Q は元々真だから、
>仮定のPを任意の(Pとは異なる他の)仮定 P' で置き換えて P'→Q を背理法で示せることになる。
>つまり、一般論として、結論Qが与えられた上で、任意の仮定 P' に対して、命題 P'→Q を背理法で示せることがいえる。
>だが、これはあり得ない。
の部分のこと。
283:現代数学の系譜 雑談 古典ガロア理論も読む
18/02/17 13:36:41.09 S4GQoKob.net
>>248 準備
＜リプシッツ連続まとめ＞
１）いろいろ調べているが、文献が多いのは、圧倒的に”リプシッツ連続”に関すること
２）次が、ディニ微分。ディニ微分に関する和文の文献は数えるほどだ。英文はかなりあるが、本格的な論文か、出版された実解析の教科書がほとんどだな
３）”定理1.7の条件；lim sup y→x ｜（f(y) － f(x)）/（y － x）｜< +∞ （ lim supが有限）”は、あまりなさそう。まあ、名前もついていないしね
４）で、”リプシッツ連続”が下記だが、「連続的微分可能 ⊆ リプシッツ連続 ⊆ α-ヘルダー連続 (0 < α <= 1) ⊆ 一様連続 ⊆ 連続函数」で
５）上記１）～３）は、どれも、「連続的微分可能以上、α-ヘルダー連続 (0 < α <= 1)以下」ってことなので、実関数の同じような性質（傾きがある有限値）を規定しているってことですな
URLﾘﾝｸ(ja.wikipedia.org)
リプシッツ連続
(抜粋)
直観的には、リプシッツ連続函数は変化の速さが制限される。即ち、適当な有限値の実数が存在して、その函数のグラフ上の任意の二点を結ぶ直線の傾きの絶対値はその実数を超えない。この上界をその函数の「リプシッツ定数」
（あるいは一様連続度（英語版））
URLﾘﾝｸ(en.wikipedia.org)
と呼ぶ。例えば一階微分が有界な任意の函数はリプシッツである[1]。
微分方程式論において、リプシッツ連続性は初期値問題の解の存在と一意性を保証するピカール-リンデレフの定理（英語版）
URLﾘﾝｸ(en.wikipedia.org)
の中心的な条件である。リプシッツ連続性の特別な場合で、縮小性はバナッハの不動点定理において用いられる。
実数直線の有界閉集合上で定義される函数に関して、以下のような包含関係の鎖が知られている[2]:
連続的微分可能 ⊆ リプシッツ連続 ⊆ α-ヘルダー連続 (0 < α <= 1) ⊆ 一様連続 ⊆ 連続函数.
また、
リプシッツ連続 ⊆ 絶対連続 ⊆ 有界変動 ⊆ 殆ど至る所微分可能
も成り立つ。
つづく
284:現代数学の系譜 雑談 古典ガロア理論も読む
18/02/17 13:37:13.79 S4GQoKob.net
>>263 つづき
例 （主にリプシッツ連続でない）
連続だが（大域的）リプシッツ連続でない
・閉区間 [0,?1] 上定義された函数 f(x) = √x はリプシッツ連続でない。この函数は x → 0 の極限で、導函数が無限大に発散するから、いくらでも傾きが急になる。にも拘らずこの函数は一様連続[3]であり、かつ α <= 1/2 に対して C0,α-級ヘルダー連続である。
可微分だが（大域）リプシッツ連続でない
・函数 f(x) = x^3/2sin(1/x) (x ≠ 0) かつ f(0) = 0 を閉区間 [0,?1] へ制限したものは、コンパクト集合上微分可能だが局所リプシッツでない函数の例を与える。実際、その導函数は有界でない。
解析的だが（大域）リプシッツでない
・指数函数は x → ∞ でいくらでも傾きがおおきくなるから、大域リプシッツ函数とはならないが、それにもかかわらず解析函数になる。
・実数全体で定義された函数 f(x) = x^2 はリプシッツでない（x → ∞ でいくらでも傾きが大きくなる）。しかしこれは局所リプシッツである。
つづく
285:現代数学の系譜 雑談 古典ガロア理論も読む
18/02/17 13:38:02.20 S4GQoKob.net
>>264 つづき
性質
・リプシッツ函数 g: R → R は絶対連続であり、したがって殆ど至る所微分可能（つまりルベーグ測度 0 の集合の外側の任意の点で微分可能）である。その導函数は絶対値がリプシッツ定数を本質的上界として本質的有界（英語版）である。また、a < b に対して、差分 g(b) ? g(a) は導函数 g' の区間 [a,?b] 上の積分に等しい。
・逆に、f: I → R が絶対連続、従って殆ど至る所微分可能であるとし、|f'(x)| ? K (a.a. x ∈ I) を満たすならば、f はリプシッツ定数が高々 K のリプシッツ連続である。
・共通のリプシッツ定数を持つリプシッツ連続函数の族 fα に対し、函数 supα ?fα および infα?fα は、それが少なくとも一点において有限な値をとるならば、また同じリプシッツ定数を持つリプシッツ連続函数となる。
(引用終り)
つづく
286:現代数学の系譜 雑談 古典ガロア理論も読む
18/02/17 13:38:25.49 S4GQoKob.net
>>265 つづき
URLﾘﾝｸ(ja.wikipedia.org)
アルツェラ?アスコリの定理
(引用終り)
つづく
287:現代数学の系譜 雑談 古典ガロア理論も読む
18/02/17 13:38:54.97 S4GQoKob.net
>>266 つづき
URLﾘﾝｸ(oshiete.goo.ne.jp)
微分方程式の一意性 質問者：foriver7質問日時：2010/07/27
(抜粋)
No.3 回答者： 178-tall 回答日時：2010/07/27 13:50
リプシッツ不連続でよく出される例みたいですね。
↓ 参考URL
>3.1.3 解の一意性
URLﾘﾝｸ(www.math.nagoya-u.ac.jp)
(引用終り)
（参考）
URLﾘﾝｸ(www.math.nagoya-u.ac.jp)
内藤 久資（ないとう ひさし） 名古屋大学 大学院多元数理科学研究科・理学部数理学科
URLﾘﾝｸ(www.math.nagoya-u.ac.jp)
２００２年度前期「微分方程式」 （理学部数理学科３年）
URLﾘﾝｸ(www.math.nagoya-u.ac.jp)
解の一意性とリプシッツ連続性 単独１階常微分方程式 (5) ６回目講義レジュメ 微分方程式 2002
(引用終り)
以上
288:現代数学の系譜 雑談 古典ガロア理論も読む
18/02/17 13:41:32.61 S4GQoKob.net
>>260-262
おっちゃん、どうも、スレ主です。
ご苦労さまです！（＾＾
289:現代数学の系譜 雑談 古典ガロア理論も読む
18/02/17 13:43:02.97 S4GQoKob.net
今日は、ダブル羽生でいそがしい日だな
藤井聡太－羽生戦は、藤井聡太勝ちで、朝日杯決勝進出だ
290:１３２人目の素数さん
18/02/17 14:03:23.32 axXh/K/2.net
>>269
書くなよ
291:１３２人目の素数さん
18/02/17 18:10:48.93 piKfhfZj.net
正直なところ数学は独学のほうが身につく
292:
18/02/17 18:13:37.71 9jRO7d0E.net
>>271
その言葉、日々の支えとさせてください
293:１３２人目の素数さん
18/02/18 00:36:42.63 v0+yxXMC.net
結局口先だけで何一つ証明できないスレ主
294:１３２人目の素数さん
18/02/18 09:11:32.87 WqE33pZi.net
URLﾘﾝｸ(twitter.com)
295:現代数学の系譜 雑談 古典ガロア理論も読む
18/02/18 10:40:59.11 Mo7Jg5gC.net
いろいろ忙しいので、まずは大きなところから
296:現代数学の系譜 雑談 古典ガロア理論も読む
18/02/18 10:42:03.62
297: ID:Mo7Jg5gC.net
298:現代数学の系譜 雑談 古典ガロア理論も読む
18/02/18 10:46:58.09 Mo7Jg5gC.net
>>276 つづき
１）
要は、第一類集合 → 疎集合 → nowhere dense set → 補集合が開区間を含む（例えば下記渕野「ポーランドとチェコへの数学の旅」”全疎”定義1b)ご参照）ってこと
で、日本語では”疎集合”の用法が混乱していて、使い方が”meagre set” と ”nowhere dense”と、二つの用法あるという（下記 wikipedia 疎集合 注釈 [* 1] ご参照）
そして、同じくwikipedia 疎集合より
「R の部分集合としての、有理数からなる集合は、その「内部の閉包が空である」という性質を持つが、疎集合ではなく、実際 R において稠密である。」とあります
wikipedia 疎集合より
「実数の全体 R に通常の位相を考えたものはベール空間であり、したがって自分自身において第二類である。有理数の全体 Q は R において第一類であり、無理数の全体 P は R において第二類である。」とあります
つまり、第一類集合は、”meagre set”です。なお、ベール空間wikipedia 歴史的定義ご参照
２）
定理1.7”R－Bf が内点を持たない閉集合の高々可算和で被覆できるならば”（>>13）だった。
「高々可算和」を場合分けすると（＾＾
１．有限
２．可算無限だが稠密でない（例 整数）
３．可算無限で稠密（例 有理数、代数的数）
の３つ分けられる
１．と２．とが、”nowhere dense”で、渕野流”全疎”、wikipedia流 ”疎集合”
３．が、ベール空間 歴史的定義の”第一類 (first category) または痩せている (meagre) ”であって、”nowhere dense”ではない。
（上記のように、有理数の全体 Q は R において第一類であり、補集合の無理数のみの開区間はとれない）
だから、定理F不成立と思うよ
以上
つづく
299:現代数学の系譜 雑談 古典ガロア理論も読む
18/02/18 10:47:49.78 Mo7Jg5gC.net
>>277 つづき
（参考）
URLﾘﾝｸ(fuchino.ddo.jp)
冬の旅 ? ポーランドとチェコへの数学の旅11 渕野昌 201712
(抜粋)
（以下の文章は，『数学セミナー』2016 年6 月号に掲載された同名の記事の拡張版です．）
P23
ポーランド学派の研究での一つの中心主題は実
数全体R の構造の研究であった． そして，彼らの研究では，測度とカテゴリーに関する
考察が重要な役割を果たしていた． (ただし，ここで言うカテゴリーとは，カテゴリー理
論のそれではなく，第１種(first category) および第２種(second category) の集合に関す
る議論のことである．) 測度とカテゴリーは，多くの場合，大変似た振舞をすることが知
られていて，連続体仮説，あるいは，もう少し一般的に，例えば，マルティンの公理の下
では，実際に，強い形の双対性が測度とカテゴリーの間に成り立っていることが知られて
いる(定理A.3 )．また，フビニの定理とウラム- クラトウスキーの定理，コルモゴロフの
０ - １則とそれに相当するベールの性質を持つ集合に関する定理など，連続体仮説などの
仮定なしに集合論の枠組みの中で既に証明できるもので，測度とカテゴリーに関して対に
なっている定理が多く見られる．これらのことは，例えば[3] に詳しい．
定義1
b) R の部分集合X は，任意の実数上の区間I に対し，I ＼ X が空でない開区間を含むと
き，全疎であるという．R の部分集合X は，全疎集合の可算和として表されるとき，
第１類の集合と呼ばれる．
(引用終り)
つづく
300:現代数学の系譜 雑談 古典ガロア理論も読む
18/02/18 10:48:25.56 Mo7Jg5gC.net
>>278 つづき
URLﾘﾝｸ(ja.wikipedia.org)
疎集合
(抜粋)
数学の分野における、位相空間内の疎集合（そしゅうごう、英語: nowhere dense set）[* 1]とは、閉包の内部が空であるような集合のことである。
この言葉の順番が大事で、例えば、R の部分集合としての、有理数からなる集合は、その「内部の閉包が空である」という性質を持つが、疎集合ではなく、実際 R において稠密である。
疎集合のすべての部分集合はまた疎集合であり、有限個の疎集合の合併もまた疎集合である。すなわち、疎集合は集合のイデアル（無視可能な集合（英語版）に関する適正な概念）を形成する。
可算個の疎集合の合併は、しかし、必ずしも疎集合ではない（したがって、疎集合は必ずしもσ-イデアル（英語版）を形成しない）。そのような合併はやせた集合（英語版）[* 1]あるいは第1類集合と呼ばれる。この概念は、ベールの範疇定理を考える上で重要である。
開と閉
・ある集合が疎集合であることと、その閉包が疎集合であることは必要十分である。
・閉疎集合の補集合は稠密な開集合であり、したがって、疎集合の補集合は稠密な内部を持つ集合である。
・開集合の境界は、閉疎集合である。
・すべての閉疎集合は、ある開集合の境界である。
注釈
[* 1]^ a b 「疎集合」という名称を meagre set のために用い、nowhere dense には「至る所疎」や「至る所非稠密」などの訳語を充てる流儀もある。例えば 渕野昌 (2002) (PDF), 実数の集合論の基礎の基礎
URLﾘﾝｸ(math.cs.kitami-it.ac.jp)
(引用終り)
つづく
301:現代数学の系譜 雑談 古典ガロア理論も読む
18/02/18 10:49:15.02 Mo7Jg5gC.net
>>279 つづき
URLﾘﾝｸ(ja.wikipedia.org)
ベール空間
(抜粋)
歴史的定義
詳細は「第一類集合」を参照
ベールのオリジナルの定義では、範疇の概念が以下のように定義された。
位相空間 X の部分集合が、
・X において疎あるいは至る所疎 (nowhere dense) であるとは、その閉包の内部が空であることを言う。
・X において第一類 (first category) または痩せている (meagre) とは、それが可算個の疎集合の和になっていることを言う。
・X において第二類 (second category) または痩せていない (nonmeagre) とは、それが X において第一類でないことを言う。
これらの言葉でベール空間の定義を述べると次のようになる：「位相空間 X がベール空間となるのは、任意の空でない開集合が X において第二類であるときである」。この定義は先述の現代的定義と同値である。
X の部分集合 A が残留的 (residual, comeagre) であるとは、その補集合 X ＼ A が痩せていることを言う。位相空間 X がベール空間であるための必要十分条件は、X の任意の残留的部分空間が稠密になることである。
例
・実数の全体 R に通常の位相を考えたものはベール空間であり、したがって自分自身において第二類である。有理数の全体 Q は R において第一類であり、無理数の全体 P は R において第二類である。
・有理数の全体 Q に R からくる通常の位相を入れた空間はベール空間でない。これは Q が可算個ある各点 q に対応する一元集合 {q}（これは内点を持たない閉集合になっている）の合併として書けることによる。
ベールの範疇定理
詳細は「ベールの範疇定理」URLﾘﾝｸ(ja.wikipedia.org) を参照
(引用終り)
以上
追記
「無理数の全体 P」とあるね（＾＾
302:現代数学の系譜 雑談 古典ガロア理論も読む
18/02/18 10:49:48.00 Mo7Jg5gC.net
>>253
(引用開始)
「>>248
＞だから、２）→３）又は１）→３）が言えれば良い
言えないよ。もしそこが言えたら、
(★) (a,b)⊂B_f なる開区間が存在するなら、f は (a,b) 全体でリプシッツ連続である
ということが示せることになってしまうが、既に見たように
f(x)＝0 (x＝0), x^{3/2}sin(1/x) (x≠0)
が(★)の反例になっている。この例では、(－1,1)⊂B_f が成り立つにも関わらず、
f は (－1,1) 上ではリプシッツ連続になってない。
つまり、お前の方針は自動的に失敗する。」
(引用終り)
えーと
（>>13）
定理1.7 (422 に書いた定理)
f : R → R とする．
Bf :={x ∈ R ｜ lim sup y→x ｜（f(y) － f(x)）/（y － x）｜< +∞ }
(引用終り)
いいかな
１）Bfの条件は、下記の４つの Dini微分 (D^+ g)(c),(D + g)(c),(D^- g)(c),(D - g)(c)が有限値で収まることを意味している。（下記a)）
２）ディニ微分は、もし f が t において微分可能ならば、その t における各ディニ微分は通常の意味での微分に等しい。（下記b)）
３）函数 f(x) = x^3/2sin(1/x) (x ≠ 0) かつ f(0) = 0 を閉区間 [0,1] へ制限したものは、コンパクト集合上微分可能だが局所リプシッツでない函数の例を与える。実際、その導函数は有界でない。（下記c)）
４）従って、この例は、lim sup y→x ｜（f(y) － f(x)）/（y － x）｜も、有界でない
５）要するに、 lim sup y→x ｜（f(y) － f(x)）/（y － x）｜< +∞と、リプシッツ連続（＝有限なリプシッツ定数を持つ）は、同じことを言っていると思うよ
つづく
303:現代数学の系譜 雑談 古典ガロア理論も読む
18/02/18 10:50:25.47 Mo7Jg5gC.net
>>281 つづき
a)
（>>200）
「lim sup y→x ｜（f(y) － f(x)）/（y － x）｜< +∞」は、
下記の４つの Dini微分 (D^+ g)(c),(D + g)(c),(D^- g)(c),(D - g)(c)が
有限値で収まることを意味している。
URLﾘﾝｸ(www.amazon.co.jp)
URLﾘﾝｸ(books.google.co.jp)
Fundamentals of Real Analysis 著者: Sterling K. Berberian 出版社: Springer; Softcover reprint of the original 1st ed. 1999版 (1998/11/1)
P220のパラグラフ5.3.6に４つの Dini微分 (D^+ g)(c),(D + g)(c),(D^- g)(c),(D - g)(c)
と、lim sup, lim inf との関係が載っている
(引用終り)
b)
URLﾘﾝｸ(ja.wikipedia.org)
ディニ微分
(抜粋)
注意
もし f が t において微分可能ならば、その t における各ディニ微分は通常の意味での微分に等しい。
(引用終り)
c)
URLﾘﾝｸ(ja.wikipedia.org)
リプシッツ連続
(抜粋)
例
可微分だが（大域）リプシッツ連続でない
・函数 f(x) = x^3/2sin(1/x) (x ≠ 0) かつ f(0) = 0 を閉区間 [0,1] へ制限したものは、コンパクト集合上微分可能だが局所リプシッツでない函数の例を与える。実際、その導函数は有界でない。
(引用終り)
以上
304:１３２人目の素数さん
18/02/18 11:02:20.61 +IRfF0OB.net
書き込みテスト
305:１３２人目の素数さん
18/02/18 11:04:32.44 +IRfF0OB.net
>>277
＞だから、定理F不成立と思うよ
定理F：
A ⊂ R は Fσ集合とする。このとき、もし R－A が第一類集合ならば、
(a,b)⊂A を満たす開区間 (a,b) が存在する。
証明：
STEP1：
A は Fσ 集合だから、高々可算無限個の閉集合 A_k が存在して A_f ＝ ∪_k A_k と書ける。
一方で、R－A は第一類集合だから、高々可算無限個の、内点を持たない閉集合 F_k が存在して
R－E_f ⊂ ∪_k F_k と書ける。結局、R ⊂ (∪_k A_k ) ∪ (∪_k F_k ) ということになる。
続く
306:１３２人目の素数さん
18/02/18 11:05:30.39 +IRfF0OB.net
続き
STEP2：
A_k, F_k はどれも閉集合だから、これと R ⊂ (∪_k A_k ) ∪ (∪_k F_k ) から、
ベールのカテゴリ定理が使えて、ある A_k もしくはある F_k は内点を持つ。
F_k は内点を持たないのだから、ある A_k が内点を持つしかない。
そのような A_k に対して、(a,b)⊂A_k なる開区間が取れるので、
A ＝ ∪_k A_k に注意して、(a,b) ⊂ A となる。従って、定理F が成り立つ。
上記の証明により、定理F は確実に正しい。
掲示板だと読みにくいとか文句をつけず、この程度の証明は今すぐ読んで理解してくれ。
307:１３２人目の素数さん
18/02/18 11:15:46.22 +IRfF0OB.net
補足：
Fσ集合の補集合はGδ集合であり、逆も然りであるから、定理Fは次のようにも書ける。
定理F1：
A ⊂ R は、R－A がGδ集合とする。このとき、もし R－A が第一類集合ならば、
(a,b)⊂A を満たす開区間 (a,b) が存在する。
実は、より強く次の定理も証明できる。
定理F2：
A ⊂ R は、R－A がGδ集合とする。このとき、もし R－A が第一類集合ならば、
R－A は nowhere dense である。
ここまで来ると、「 R－A 」を1つの塊で1文字にした方がキレイなので、そのように書くと、次のようになる。
定理F3：
A ⊂ R は、A がGδ集合とする。このとき、もし A が第一類集合ならば、A は nowhere dense である。
このことに関しては、"Gδ set of first category" で検索すると、
1件だけだが上記の 定理F3 を使っていると思しき pdf が見つかる。
URLﾘﾝｸ(fm.math.uni.lodz.pl)
＞ Observe that ∩[m＝1～∞] ∪[n≧m] A_n as Gδ set of first category is
＞ easily seen to be nowhere dense.
このことからも、定理F, F1,F2,F3 は全て正しいと分かる。
308:１３２人目の素数さん
18/02/18 11:18:47.13 +IRfF0OB.net
>>281
＞４）従って、この例は、lim sup y→x ｜（f(y) － f(x)）/（y － x）｜も、有界でない
＞５）要するに、 lim sup y→x ｜（f(y) － f(x)）/（y － x）｜< +∞と、
＞リプシッツ連続（＝有限なリプシッツ定数を持つ）は、同じことを言っていると思うよ
間違っている。A_f(x)＜＋∞ という条件は、あくまでも
「その点 x において Af(x) は有限値である」
ということを言っているに過ぎない。一方で、お前が言っている「有界でない」とは、
「ある開区間 (a,b) を取ったときに、max_{x∈(a,b)} Af(x) もしくは sup_{x∈(a,b)} Af(x) が有限値に収まらない」
ということである。明らかに、両者は全く意味が違う。そして、お前は両者を混同している。
f(x)＝0 (x＝0), x^{3/2}sin(1/x) (x≠0)
という関数の場合、各点 x で Af(x) は有限値である。実際、x≠0 のときは、
Af(x) は x ごとに明らかに有限値である。また、x＝0 のときは
Af(0)＝0
であることが計算できる。従って、Af(x) は x＝0 のときも やはり有限値である。
しかし、max_{x∈(-1,1)} Af(x) や sup_{x∈(-1,1)} Af(x) は有限値では存在しない。
309:現代数学の系譜 雑談 古典ガロア理論も読む
18/02/18 11:22:13.15 Mo7Jg5gC.net
>>254
>お前が「 Bf は Fσ 集合であろう」と予想するなら、お前は自分自身の手で
>墓穴を掘っていることになるのだ。
>ちなみに、Bf は実際に Fσ 集合である。
下記、Gδ集合wikipediaで
”実数直線の任意の Gδ-
310:部分集合 A に対し、適当な函数 f: R → R が存在して、f は A に属する点のみにおいて連続となるようにすることができる。 このことから、無理数全体の成す集合が連続点集合であるような函数は存在する（トマエの函数（英語版）などを参照）が、有理数の上でのみ連続な函数というのは構成不可能であることが帰結される。” とあるでしょ？ 開集合が取れる？ 無理だろ ここ f は A に属する点のみにおいて連続となるようにすることができる。 ↓ f は A に属する点のみにおいてリプシッツ連続となるようにすることができる。 にできるかどうかだ なお、また、”基本的な性質 Gδ-集合の補集合はFσ-集合である。”も指摘しておく なので墓穴でもなんでもないだろ つづく
311:現代数学の系譜 雑談 古典ガロア理論も読む
18/02/18 11:23:13.81 Mo7Jg5gC.net
>>288 つづき
URLﾘﾝｸ(ja.wikipedia.org)
Gδ集合
(抜粋)
数学の一分野、位相空間論における Gδ-集合あるいは内極限集合 (inner limiting set) とは、位相空間の部分集合で開集合の可算交叉となっているものを言う。
由来については、G というのが開集合を意味するドイツ語の Gebiet から、δ というのが交わりを意味するドイツ語の Durchschnitt からそれぞれとられたものである。
Gδ-集合（およびその双対であるFσ-集合）は、ボレル階層（英語版）において二階 (second level) の集合であり、より正確には Gδ-集合の全体はちょうど Π^0_2-階集合である。
例と反例
・任意の開集合は明らかに Gδ-集合である。
・無理数の全体 P は実数直線 R の Gδ-集合である。実際 P は、q が任意の有理数を亙るときの一点集合 {q} の R における補集合すべての交わりとして表せる。
・有理数の全体 Q は実数直線 R の Gδ-集合ではない。
実際、Q が開集合列 An の交わりに書けるとすると、各 An は（Q が R において稠密ゆえ）何れも R において稠密でなければならないが、上でやったように無理数全体の集合 P は稠密開集合の可算交叉として書けるから、P と Q との交わりをとれば R の稠密開集合の可算交叉が空集合となるものが存在することとなり、ベールの範疇定理に反する。
つづく
312:現代数学の系譜 雑談 古典ガロア理論も読む
18/02/18 11:24:47.42 Mo7Jg5gC.net
>>289 つづき
性質
距離空間（および位相空間）における Gδ-集合の概念は、ベールの範疇定理と同様に距離空間の完備性の概念と強く関係する。このことは、マズルキェヴィチの定理として述べられる。
定理 (Mazurkiewicz)
(X, ρ) を完備距離空間とするとき、部分集合 A ⊂ X について次は同値である。
１．A が X の Gδ-集合であること
２．A 上の距離函数 σ で ρ|A（X の距離函数 ρ の A への制限）と（位相に関する意味で）同値であるようなものが存在して、(A, σ) がふたたび完備距離空間となること
Gδ-集合の重要な性質は、位相空間から距離空間への連続写像がその上で定義され得るということにある。厳密に言えば、そのような写像 f が連続となるような点全体の成す集合は {\displaystyle G_{\delta }} G_{\delta }-集合を成すということである。これは、点 p における連続性というのが Π^0_2-式で定義されることによる。
実数直線の任意の Gδ-部分集合 A に対し、適当な函数 f: R → R が存在して、f は A に属する点のみにおいて連続となるようにすることができる。
このことから、無理数全体の成す集合が連続点集合であるような函数は存在する（トマエの函数（英語版）などを参照）が、有理数の上でのみ連続な函数というのは構成不可能であることが帰結される。
基本的な性質
・Gδ-集合の補集合はFσ-集合である。
・可算個の Gδ-集合の交わりはやはり Gδ-集合である。また、有限個の Gδ-集合の合併はふたたび Gδ-集合となる（可算個の Gδ-集合の合併は Gδσ-集合と呼ばれる）。
・距離化可能空間において、任意の閉集合は Gδ-集合であり、双対的に任意の開集合は Fσ-集合になる。
・稠密開集合の可算族の交わりを含むような集合は残留的 (comeagre, residual) であるという。残留的集合は函数の成す位相空間の生成的性質（英語版）を定義するのに用いられる。
(引用終り)
以上
313:１３２人目の素数さん
18/02/18 11:25:45.14 +IRfF0OB.net
つまり、
f(x)＝0 (x＝0), x^{3/2}sin(1/x) (x≠0)
という関数について、次のような性質が成り立っているわけである。
・ 各点 x で Af(x)＜＋∞ である。すなわち、各点 x で Af(x) は有限値である( Af(0)＝0 に注意せよ)。
・ max_{x∈(-1,1)} Af(x) や sup_{x∈(-1,1)} Af(x) は有限値では存在しない。
・ f は (－1, 1) 上ではリプシッツ連続ではない。
これらのことから、お前が言っている
＞５）要するに、 lim sup y→x ｜（f(y) － f(x)）/（y － x）｜< +∞と、
＞リプシッツ連続（＝有限なリプシッツ定数を持つ）は、同じことを言っていると思うよ
という主張は自動的に間違いだと分かるし、お前の稚拙な方針は自動的に失敗に終わる。
314:現代数学の系譜 雑談 古典ガロア理論も読む
18/02/18 11:26:25.72 Mo7Jg5gC.net
>>274
おつです
それ面白いね
ゆとり世代の
さらにゆとりで、超ゆとり？
315:現代数学の系譜 雑談 古典ガロア理論も読む
18/02/18 11:30:14.82 Mo7Jg5gC.net
>>272
C++さん、あんまりマネしないように
理想は、良�
316:｢仲間や指導者が身近にいること 独学というより、自分の努力と言い換えた方が良い それと、楽しめること 独学というのは、良い仲間や指導者が身近にいないときの代案だろう １．努力、２．良い仲間や指導者 の順だろう
317:１３２人目の素数さん
18/02/18 11:31:38.51 +IRfF0OB.net
>>288
＞下記、Gδ集合wikipediaで
＞”実数直線の任意の Gδ-部分集合 A に対し、適当な函数 f: R → R が存在して、
＞f は A に属する点のみにおいて連続となるようにすることができる。
＞このことから、無理数全体の成す集合が連続点集合であるような函数は存在する
＞（トマエの函数（英語版）などを参照）が、有理数の上でのみ連続な函数というのは構成不可能であることが帰結される。”
＞とあるでしょ？ 開集合が取れる？ 無理だろ
論理が滅茶苦茶。
トマエ関数は R－B_f が第一類集合になってないので、開集合が取れなくても何の不思議もない。
お前が墓穴を掘っているのは、次のような意味においてである。
―――――――――――――――――
B_f が Fσ 集合であることを認めるなら、R－B_f が第一類集合であるときには
定理F によって (a,b)⊂B_f なる開区間が取れてしまうので、R－B_f は
R の中で稠密に分布できないことが即座に確定する。
すなわち、R－B_f が第一類集合であるとしつつも「Rの中で稠密」なんていう
アホな場合分けをしたがっているお前にとって、「 Bf は Fσ集合である」
という性質はむしろ邪魔な性質なのである。にも関わらず、お前は
「 Bf は Fσ集合である」と予想しているのである(そして、実際に Bf は Fσ 集合である)。
―――――――――――――――――
↑このような意味において、お前は墓穴を掘っているのである。
そして、トマエ関数は R－B_f が第一類集合になってないので、
上記の話題の出発点に立っておらず、何の意味も成さない。問題外。
318:１３２人目の素数さん
18/02/18 12:43:20.45 8UexphmN.net
女子高校生に
e^iπ＋1＝0
と
i^i＝1/√(e^π)
を説明したら感動してもらえて数学は芸術の一部だと気づいてもらえた
319:１３２人目の素数さん
18/02/18 13:34:29.53 WqE33pZi.net
>>292
URLﾘﾝｸ(twitter.com)
320:現代数学の系譜 雑談 古典ガロア理論も読む
18/02/18 21:58:15.29 Mo7Jg5gC.net
>>282 追加参考
「微分不可能関数への招待」LipschitzとDini方向微係数、ご参照
これは、普通のDini微分の変形版のようだ
URLﾘﾝｸ(www.jstage.jst.go.jp) - char/ja
URLﾘﾝｸ(www.jstage.jst.go.jp) - char/ja
微分不可能関数への招待 石塚 陽（上智大学） 計測と制御 1998
(抜粋)
4. Lipschitz関数の一般方向微係数と一般勾配
ここでは簡単のために,関数fは注目している点xの近傍でLipschitzであるとする.
すなわち,以下をみたすx の近傍N(x)と正の数Kが存在するものとする.
｜f(x1) - f(x2)|≦K｜x1 - x2｜for all x1,x2∈N(x)
このとき,fはxの近くでは連続かつほとんどすべての点
で微分可能であり,関数値の変化率は有限で(Kを超えることはない),
以下の2つの値が必ず存在する.
D^+ f(x~;u)=lim t→0 sup{f(x~+tu) - f(x)}/t
D - f(x~;u)=lim t→0 inf{f(x~+tu) - f(x)}/t
これらをそれぞれ,
上方Dini方向微係数(upper Dini directional derivative),
下方Dini方向微係数(lower Dini directional derivative)
という.
これらの定義式中で,
lim t→0+ sup(lim t→0 - inf)は,正の方からtをゼロに近づけていっ
た時の差商{f(x~+tu) - f(x~)}/tの極限は一般にtのゼロ
への近づき方によっていろいろな値をとりうるので,それ
らの中で最大(最小)のものをとることを意味している.
(引用終り)
石塚陽先生は、亡くなられているようです。合掌
URLﾘﾝｸ(sikyo.net) - /1086773
(抜粋)
石塚陽
いしづか よう
1958 - 2003
上智大教授 システム最適化理論 新潟県
亡くなってから14年233日過ぎました。
45歳で亡くなりました。もし現在も生きていたら60歳です。
1958年に誕生、2003年06月30日に亡くなりました。
(引用終り)
321:現代数学の系譜 雑談 古典ガロア理論も読む
18/02/18 23:11:0
322:0.39 ID:Mo7Jg5gC.net
323:現代数学の系譜 雑談 古典ガロア理論も読む
18/02/18 23:13:38.35 Mo7Jg5gC.net
>>295
乙です
桜陰トップか（＾＾
324:現代数学の系譜 雑談 古典ガロア理論も読む
18/02/18 23:18:54.08 Mo7Jg5gC.net
小平奈緒さん、「金」おめでとうございます！（＾＾
URLﾘﾝｸ(mainichi.jp)
スピードスケート【詳報】小平が「金」日本女子では初 ５００ｍ
恩師から自立、強く 小平奈緒「金」
毎日新聞2018年2月18日
(抜粋)
小平が世界最速女王になるまでの道のりは、恩師からの自立の軌跡とも言える。
母校・信州大の教授で、現在も指導を受ける結城匡啓（まさひろ）コーチ（５２）との「出会い」は、１１歳の時にさかのぼる。
１９９８年長野五輪。長野県茅野市に生まれ、３歳からスケート靴を履いていた小平は男子５００メートル金メダルの清水宏保、女子５００メートル銅メダルの岡崎朋美の姿にあこがれ、競技者を志した。長野五輪で清水を日本スケート連盟のスタッフとして支え、その後に指導者になった結城コーチの存在も程なくして知った。
信州大に進学したのは、滑走中の動作解析を研究する結城コーチがいたからだ。就職活動でも結城コーチの指導を引き続き受けられることを条件に挙げた。ともすれば依存に思える関係が変化したのは、５００メートル５位、１０００メートル１３位に終わった２０１４年ソチ五輪後。強豪国オランダへ練習拠点を移した頃だった。
(引用終り)