現代数学の系譜工学物理雑談古典ガロア理論も読む49

2017/12/27(水) 21:14:10.23

“現代数学の系譜物理工学雑談古典ガロア理論も読む”

数学セミナー時枝記事は、過去スレ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も貼ります。関連のアーカイブの役も期待して。）

**１３２人目の素数さん** · 2018/01/04(木) 10:13:05.80

>>145
そのサイトをクリックすると、
>2分以内にダウンロードしてください
とか、注意喚起として
>コンピュータウイルスによる被害が発生しています．必ずセキュリティソフトウェアを有効にし，
>信頼の出来ないファイルの実行は避けるよう十分注意頂きますようお願い致します．
と書いてあって、何やらウイルスによるセキュリティー上の問題が発生しているサイトのようだが。

**１３２人目の素数さん** · 2018/01/04(木) 10:36:22.02

>>148
>リプシッツ連続な開区間（a, b）が取れると？
これはリウビル数の集合が持つ性質であるルベーグ測度が0の非可算稠密集合に反する。
a、b はどっちもリウビル数としているのだろう。通常のRの位相で考える。
リウビル数の全体に対して開区間（a, b）が取れたら、リウビル数はRで稠密だから
（a, b）に対して a＜c＜d＜b なるリウビル数 c, dを取ると（a, b）の中に開区間 (c, d) が取れる。
同様な操作を行うことは無限回出来る。なので、リウビル数の全体のルベーグ測度は0より大きくなって、矛盾が生じる。

**１３２人目の素数さん** · 2018/01/04(木) 10:39:42.08

>>148
>>150においても、やはり、リウビル数の数論的な性質は全く用いていない。

2018/01/04(木) 10:50:21.17

>>145 補足

１．私は、このスレに書かれた証明は読まない主義。読みにくくてしようがないし、PDFなど公開資料があれば、それを読みたいのでね
２．今回も、PDFにしてもらってよかった。このスレに直書きでは、何スレにもわたって読めたものじゃない
３．素人証明に、うっかり乗らないというのも、私の主義でね
４．この定理1.7 (422 に書いた定理)の証明を書いた人の実力は認めるけれども
　　「無理数で可微分有理数でリプシッツ不連続な関数は存在しないという結論を導けます」と
　　定理1.7 の系として
　　そして、この命題は、ネット検索ではまだ見つからないので、初出かもしれない
　　（系1.8の「無理数で可微分、有理数で不連続な関数は存在しない」は、既出だが）
　　ならば、ますます、うっかり乗れないと（すらーと読んで正しいと言ったとたんに、うっちゃりになりかねない）
５．なので、パブリックコメントを募集します。特に、大学教員レベルの情報（成立・不成立）があれば、ありがたい（＾＾

2018/01/04(木) 10:52:16.39

>>149
PDFをダウンロードするだけなら、問題なし。他の操作は、しないこと。他の操作は保証の限りではない

2018/01/04(木) 10:54:00.03

>>150-151
PDF（>>145の）を見ずに、論じているのか？（＾＾

**１３２人目の素数さん** · 2018/01/04(木) 10:56:19.95

>>148
>>150の訂正：
(a, b) の中に開区間 (c, d) が取れる。 → （a, b）の中に閉区間 [c, d] が取れる。

2018/01/04(木) 10:56:35.67

>>152 補足

証明についてでなくとも
「無理数で可微分、有理数でリプシッツ不連続な関数は存在しないという結論」について
正しいかどうかと、既出か初出か
そういう情報を、希望します（＾＾

**１３２人目の素数さん** · 2018/01/04(木) 11:02:40.25

>>154
ああ、何か危なっかしいサイトのようだから、ダウンロードは止めている。

>１．私は、このスレに書かれた証明は読まない主義。
あと、>>150(や>>155)位の証明は読めな。pdf の証明に比べたら相当短い証明だろう。

**１３２人目の素数さん** · 2018/01/04(木) 11:20:40.00

>>156
多分既出だよ。
どこかの大学の数学科のテストやレポートの問題として出てもおかしくない命題の証明だろうし、
pdf の証明全体を大学一年レベルの数学による証明に置き換えた証明も出来るしな。

2018/01/04(木) 11:27:42.15

>>157
>ああ、何か危なっかしいサイトのようだから、ダウンロードは止めている。

じゃ、抜粋下記な

前スレ 489より
”定理1.7 (422 に書いた定理)
f : R → R とする．
Bf :={x ∈ R ｜ lim sup y→x ｜（f(y) － f(x)）/（y － x）｜< +∞ }
と置く: もしR－Bf が内点を持たない閉集合の高々可算和で被覆できるならば、 f はある開区間の
上でリプシッツ連続である．
（以下証明の文言から）
f は(a, b) 上でリプシッツ連続である．”

”系1.8 有理数の点で不連続; 無理数の点で微分可能となるf : R → R は存在しない.”
(引用終わり)

2018/01/04(木) 11:28:24.60

>>157
>あと、>>150(や>>155)位の証明は読めな。pdf の証明に比べたら相当短い証明だろう。

その程度は、証明というより、説明だろう。それ拒否したら、会話にならん
読まないのは、コテコテ証明だよ（＾＾
特に、本来なら、上付き添え字、下付き添え字になるところを、むりむりアスキーとか
分数で３行以上に書き分けるところを、むりむりアスキー１行とか
視認性が悪いから、下記ても十分チェックできず、あちこちにバグがある。なので、読む方はバグ取りしながら読むことになる
なんで、証明のバグ取りをしながら読む？　公開PDFでバグ取り終わったテキストの証明を出せ！（＾＾

2018/01/04(木) 11:31:13.26

>>158
>多分既出だよ。
>どこかの大学の数学科のテストやレポートの問題として出てもおかしくない命題の証明だろうし、
>pdf の証明全体を大学一年レベルの数学による証明に置き換えた証明も出来るしな。

そういうのは、基本命題とか基本定理とかでね
かならず、教科書にあるべきなんだよ
あるいは、論文とかで
かつ、応用範囲が広ければ、いろんなところで使われているはず

で、そうでないなら、
あやしい定理ってことだろ？

**１３２人目の素数さん** · 2018/01/04(木) 12:01:53.31

>>159
系1.8 有理数の点で不連続; 無理数の点で微分可能となるf : R → R は存在しない
を否定したら、つまりいい換えれば
有理数の点で不連続; 無理数の点で微分可能となるf : R → R は存在する
としたら、定理の証明の中身はともかく、定理1.7 (422 に書いた定理)が否定されることになる。
だが、このように系1.8 を否定したら矛盾が導かれる。だから、背理法により系1.8 の否定は出来ない。
だから、命題の証明の中身はともかく、対偶を取って論理的に考えると、流れとしては
定理1.7 (422 に書いた定理)が肯定されて系1.8 も肯定されることになる。

リプシッツ連続は杉浦　解析入門に書かれているようだから、大学1年で習うことがあるようだな。

**１３２人目の素数さん** · 2018/01/04(木) 12:18:31.63

＞３．素人証明に、うっかり乗らないというのも、私の主義でね
一年生向け教科書にも乗らない主義？

**１３２人目の素数さん** · 2018/01/04(木) 12:20:11.47

何をかっこつけてるのか？
お前は　勉　強　し　な　い　主　義　だろうが

**１３２人目の素数さん** · 2018/01/04(木) 12:21:02.90

>かならず、教科書にあるべきなんだよ
そういう結論を全部書いてある教科書はない。
全部書こうとしても、数冊だけではそれらの中には書き切れない。

**１３２人目の素数さん** · 2018/01/04(木) 12:23:58.52

バカは黙って勉強しろ
２ちゃんでかっこつけても全く進歩しないことはお前の4年間が証明しているではないか
教科書に普通に書いてることがわからないのにコピペも数学談義も無用と気付け

**１３２人目の素数さん** · 2018/01/04(木) 12:29:55.45

教科書を勉強して「ここはこう思うがどうか？」とか「この問題が解けないので教えて欲しい」
とかなら意味がある。だが全く教科書を読んでもいないお前がコピペと数学談義しても何の意味も無い。
いつになったらそれに気付くのか？4年間も進歩ゼロなんだからそろそろ気付け。

**１３２人目の素数さん** · 2018/01/04(木) 12:33:59.05

834名無しさん＠お腹いっぱい。2018/01/03(水) 23:27:05.00ID:OwRfM25O

https://www.youtube.com/watch?v=TZE7hl4FzDY

お母様。ぼくは高校の時そう1年か2年の始め宇宙が無から始まったと思っていました。

中学の時、あるところに行く道が幾通りかある時自分が選んだ道筋は後から見たら当然実現したことになってる。

と思った。で、宇宙が無から出来たらこの宇宙の法則では当然この宇宙が生まれこうなった。という理屈があるだろう。

と言う事で、これを解明する理論が万有理論である●●論なのだ。そしてその研究をやって来たのだ。で、これは

集合論では無限が実現出来れはその結果からさらに無限が生まれさらに・・・と続く。これは不完全性理論が成り立つ

理由であるが、宇宙膨張の理由だろう。集合論ではその要素である元はまず数えられる存在であり、まず 0 がある。

その集合である｛０｝とする。これを1と数える。それらの集合を｛０、｛０｝｝を2と数え又｛０、｛０｝｛０、｛０｝｝を3と数え・・・・。

こうして何も無いと言う概念の 0　から数の概念を生み出していく。これは集合論の数の創造だが。

数学をやった者なら酔っ払ってもわかるよな。

835名無しさん＠お腹いっぱい。2018/01/04(木) 00:07:18.97ID:nZUhCplw

しかし思うと確かゲーデルの不完全定理ではその体系が正しいとはその体系の内部では決定できない。

とか言うのもあって、バイトする暇もないくらいなんだが、酒は飲みたいのう。

**１３２人目の素数さん** · 2018/01/04(木) 14:44:31.89

＞そうなると、スレ主は ε-δ や ε-N から始めろとなってしまう。
だから以前から繰り返し言ってきた
それは解析の根幹であり、それがわからないということは解析が全滅であるに等しいと

2018/01/04(木) 21:10:34.51

>>162-169
おまいら、なにを言っているのか、支離滅裂だな～（＾＾

2018/01/04(木) 21:22:21.76

>>165
>>かならず、教科書にあるべきなんだよ
>そういう結論を全部書いてある教科書はない。
>全部書こうとしても、数冊だけではそれらの中には書き切れない。

数学は体系を成しているものだから、大体基礎的な話（定理）などは、大定理の簡単な系として導かれるはず
定理1.7 (422 に書いた定理)も、本来そうあるべきだと思うよ
木に竹を接いだような話には、本来ならんだろうと言っているのだ

2018/01/04(木) 21:25:46.43

学生：先生、こんな定理があります
教官：ほう、どうしたんだ？
学生：証明を読みました。正しいです
教官：それは、どの本に載っているのだ？
学生：５CHにありました
教官：・・・。・・・５CHでは引用文献として使えないよ（＾＾

**１３２人目の素数さん** · 2018/01/04(木) 21:26:34.39

>>170
支離滅裂に読めるのはお前の国語力が足りないからだ
数学の前に国語を勉強せよ

**１３２人目の素数さん** · 2018/01/04(木) 21:28:28.54

＞教官：・・・。・・・５CHでは引用文献として使えないよ（＾＾
誰が２ｃｈを引用すると？
お前は国語から

**１３２人目の素数さん** · 2018/01/04(木) 21:29:12.67

スレ主　国語　国語

**１３２人目の素数さん** · 2018/01/04(木) 21:32:02.30

＞教官：・・・。・・・５CHでは引用文献として使えないよ（＾＾

生徒　嘘を嘘と見抜ける人たちですから

2018/01/04(木) 21:41:34.99

>>162
不連続と、各点でリプシッツ連続でないことと
この二つの区別ついているかい

ついているとして、「系1.8 有理数の点で不連続、無理数の点で微分可能となるf : R → R は存在しない」は、既存の論文ですでにある
が、系1.8の”リプシッツ連続でない版”で「有理数の点でリプシッツ連続でなく、無理数の点で微分可能となるf : R → R は存在しない」は、見つからない

見つからない理由は、１）不成立だから、２）成立するがいままで知られていなかった
の２択しかないだろ？　（まあ、探し方が悪いというのもあるかも知れないが）

あんたら、完璧に証明したから２）だと。そう単純に、言って委員会？
この定理は、成り立つなら面白いと思うし、また、成り立つなら将来教科書に載ってもおかしくないと思うけどね～・・・？

おれは、もっと、この線を調べるよ
その過程で、成否もはっきりしてくるだろう

2018/01/05(金) 00:05:05.01

>>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)]が成り立つ.

つづく

2018/01/05(金) 00:05:36.46

>>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 から出る). よって, 題意が成
り立つ.

つづく

2018/01/05(金) 00:06:03.45

>>179 つづき

補題1.6 x ∈ R とxi ∈ R (i >= 1) はxi → x (i → +∞) を満たすとする. このとき, 次が成り立つ.
・ ∀y > x, ∃i0 >= 1, ∀i >= i0 [ y > xi ] .
・ ∀y < x, ∃i0 >= 1, ∀i >= i0 [ y < xi ] .
証明は単なる"-δ論法なので省略する.

定理1.7 (422 に書いた定理)
f : R → R とする．
Bf :={x ∈ R ｜ lim sup y→x ｜（f(y) － f(x)）/（y － x）｜< +∞ }
と置く: もしR－Bf が内点を持たない閉集合の高々可算和で被覆できるならば、 f はある開区間の
上でリプシッツ連続である．

つづく

2018/01/05(金) 00:07:24.95

>>180 つづき

証明
仮定から, 高々可算無限個の閉集合Ai ⊆ Rが存在して, 各Aiは内点を持たず, しかもR－Bf ⊆∪i Aiが成り立つ (1) 次に, 天下り的だが, N,M >= 1 に対して
BN,M :={x ∈ R ｜ ∀y, z ∈ R [x － 1/M < y < x < z < x +1/M) ｜f(z) － f(y)｜ <= N(z － y)] }
と置く. このとき, Bf ⊆ ∪N ,M>=1BN,M が成り立つことを示す. x ∈ Bf を任意に取る. このと
き, 補題1.5 を満たすN,M >= 1 が存在するので, 明らかにx ∈ BN,M である. よって, 確か
にBf ⊆ ∪N ,M>=1BN,M である. (1) と合わせて, R = Bf [ (R－Bf ) ⊆ (∪N ,M>=1BN,M ) [ (∪i Ai) と
なる. すなわち,
R ⊆ (∪N ,M>=1BN,M ) [ (∪i Ai) ・・・ (2)
となる. 次に, 各BN,M は閉集合であることを示す. x ∈ R とxi ∈ BN,M (i >= 1) はxi → x (i →
+∞) を満たすとする. このとき, x ∈ BN,M が成り立つことを示せばよい. そのためには,
∀y, z ∈ R[x － 1/M < y < x < z < x +1/M ) ｜f(z) － f(y)｜ <= N(z － y)]
を示せばよい. さて,
x － 1/M < y < x < z < x +1/M
が成り立つようなy, z ∈ R を任意に取る. xi → x と補題1.6 により, i が十分大きければ
xi － 1/M < y < xi < z < xi +1/M

つづく

2018/01/05(金) 00:07:51.43

>>181 つづき

が成り立つ. そのようなi を何でもいいから1 つ取ると, xi ∈ BN,M に注意して, BN,M の定義か
ら｜f(z) － f(y)｜ <= N(z － y) が成り立つ. よって, 確かに
∀y, z ∈ R[x － 1/M< y < x < z < x +1/M) ｜f(z) － f(y)｜ <= N(z － y)]
が言えた. よって, x ∈ BN,M である. よって, BN,M は閉集合である. すると, (2) の右辺は可算無
限個の閉集合の和ということになるので, 系1.4 により, あるi に対してAiは内点を持つか, もし
くは, あるN,M >= 1 に対してBN,M は内点を持つかのいずれかである. 各Aiは内点を持たないの
だったから, あるN,M >= 1 に対してBN,M が内点を持つことになる. 特に, (a, b) ⊆ BN,M なる開
区間(a, b) が取れる. f は(a, b) 上でリプシッツ連続であることを示す. x, y ∈ (a, b) を任意に取る.
｜f(y) － f(x)｜ <= N｜y － x｜が成り立つことを示す. 対称性から, x <= y としてよい. よって, 示すべ
きは｜f(y) － f(x)｜ <= N(y － x) である. もしx = y ならば, 明らかに成り立つ. 以下では, x < y と
してよい. M(y －x)/2 < L を満たす正整数L を何でもいいから1 つ取る. [x, y] をL 等分に分割し
て, 等分点をx からy に向かってx = z0 < z1 < < zL = y とする. より詳しくは,
zi＝ x ＋(y － x)i/L (0 <= i <= L)
である. 各i ∈ [0,L － 1] に対してci = (zi + zi+1)/2 と置くと, 各i ∈ [0,L － 1] に対して
ci － 1/M < zi < ci < zi+1 < ci +1/M ・・・(3)

つづく

2018/01/05(金) 00:08:18.88

>>182 つづき

が成り立つことが簡単に確認できる(L の取り方に注意する). ここで,
ci ∈ [zi, zi+1] ⊆ [x, y] ⊆ (a, b) ⊆ BN,M
すなわちci ∈ BN,M であるから, これと(3) 及びBN,M の定義から,
｜f(zi+1) － f(zi)｜ <= N(zi+1 － zi)
が成り立つ. よって,
｜f(y) － f(x)｜ = ｜f(zL) － f(z0)｜ =｜Σi=0～L－1 (f(zi+1) － f(zi))｜
<= Σi=0～L－1 ｜f(zi+1) － f(zi)｜ <= Σi=0～L－1 N(zi+1 － zi) = N(y － x)
となる. よって、 f は(a, b) 上でリプシッツ連続である．

つづく

2018/01/05(金) 00:08:43.66

>>183 つづき

系1.8 有理数の点で不連続, 無理数の点で微分可能となるf : R → R は存在しない.

証明
存在すると仮定する. 定理1.7 のBf について,
R － Q = (無理数全体) = (f の微分可能点全体) ⊆ Bf
が成り立つので,
R － Bf ⊆ Q = ∪p ∈Q ｛p｝・・・(1)
である. ここで, 1 点集合｛p｝ (p ∈ Q) は全部で可算無限個あり, 各｛p｝は内点を持たない閉集合であ
るから, (1) の右辺は内点を持たない閉集合の可算和である. よって, 定理1.7 が使えて, f はある開
区間(a, b) の上でリプシッツ連続である. 特に, f は(a, b) の上で連続である (2) さて, Q はR 上
で稠密だから, (a, b) ∩ Q ≠ Φ である. そこで, x ∈ (a, b) ∩ Q を何でもいいから1 つ取る. (2) より,
f は点x で連続であるが, 一方で, x ∈ Q とf の仮定により, f は点x で不連続である. これは矛
盾. よって, 題意が成り立つ.

つづく

2018/01/05(金) 00:09:56.38

>>184 つづき

補足定理1.7 の証明のポイントはもちろん, BN,M の作り方にある. x ∈ Bf を任意に取る. このと
き, 補題1.5 の途中計算により, ある正整数N,M >= 1 が存在して
∀y ∈ R [ ｜y － x｜ < 1/M → ｜f(y) － f(x)｜ <= N｜y － x｜]
が成り立つのだった. よって,
BN,M := {x ∈ R ｜ ∀y ∈ R [｜y － x｜ < 1/M → ｜f(y) － f(x)｜ <= N｜y － x｜] }
と置いても, Bf ⊆ ∪N ,M>=1BN,M は成立する. ただし, これだとBN,M が閉集合になるとは限らな
くなる. 以下でこのことを見る. BN,M が閉集合になることを示したい. x ∈ R とxi ∈ BN,M (i >=
1) はxi → x を満たすとする. このとき, x ∈ BN,M が成り立つことを示せばよい. そのためには,
∀y ∈ R[｜y － x｜ <1/M → ｜f(y) － f(x)｜ <= N｜y － x｜]
を示せばよい. さて,
｜y － x｜ <1/M
が成り立つようなy ∈ R を任意に取る. xi → x に注意して, i が十分大きければ
｜y － xi｜ <1/M
である. そのようなi を任意に取ると, xi ∈ BN,M に注意して, BN,M の定義から｜f(y) － f(xi)｜ <=
N｜y －xi｜が成り立つ. i → +∞とすると, もしf が点x で連続ならば, f(xi) → f(x) となるので,
｜f(y)－f(x)｜ <= N｜y －x｜となる. しかし, f が点x で連続でない場合は, f(xi) → f(x) が成り立つ
とは限らないので, ｜f(y) － f(x)｜ <= N｜y － x｜が出て来ない(工夫すれば出るかもしれないが, 自分
は出せなかった). この時点で, BN,M が閉であることの証明に失敗する. ではどうするかというと,
f(xi) が出現しないようにすればよい. そのためには, そもそもf(x) が出現しないようにすればよ
い. そのためには,
x － 1/M < y < x < z < x +1/M

つづく

2018/01/05(金) 00:10:46.45

>>185 つづき

が成り立つようなy, z ∈ R に対して
｜f(z) － f(y)｜ <= ｜f(z) － f(x)｜ + ｜f(x) － f(y)｜ <= N｜z － x｜ + N｜x － y｜ = N(z － y) (＊)
という計算を行えばよい. これはつまり, 補題1.5 そのものである. これでf(x) が出現しなくなる
ので,
BN,M :={x ∈ R ｜ ∀y, z ∈ R[x － 1/M < y < x < z < x +1/M → ｜f(z) － f(y)｜ <= N(z － y)] }
と置けば希望が見えてくる. そして, これで実際に上手く行くのだった. ちなみに, 自分が(＊) の計
算に辿り着いたのは元ネタがある. それは, 次のような補題である.

補題(straddle lemma)
f : R → R は点x ∈ R で微分可能とする. このとき, 次が成り立つ.
∀ε > 0, ∃δ > 0, ∀y, z ∈ R
[ x － δ <= y <= x <= z <= x + δ)→ ｜f(z) － f(y) － f’(x)(z － y)｜ <= ε(z － y) ] .
この補題がstraddle (またぐ・またがる) と呼ばれているのは, y とz を「x をまたぐように取る」
からである. そして, (＊) の計算は, この補題の証明と同じ考え方を適用したに過ぎない.
結局, 全体としては, 極めてオーソドックスかつ簡単な議論で定理1.7 が証明できたことになる.
QED
以上

2018/01/05(金) 00:11:37.09

まあ、読みにくいこと、このうえない
はるかにPDFの方が視認性がよい

**１３２人目の素数さん** · 2018/01/05(金) 11:40:11.25

おっちゃんです。
>>177
スレ主がコピペした、pdfの証明に則って話を進める。
実際は出来ないが、仮に系1.8 を否定して
有理数の点で不連続, 無理数の点で微分可能となるf : R → R が存在する
とすると、
(1)：f はある開区間(a, b) の上でリプシッツ連続である.
か
(2)：一方で, x ∈ Q とf の仮定により, f は点x で不連続である.
のどちらか1つは否定されることになる。
勿論、実際には系1.8 の否定は出来ず、論理的には(1)も(2)も正しい。
話は元に戻し、(2)を否定したとする。すると、xは有理点であって、かつfがxで連続となる。
これはfについての元の仮定に反し矛盾する。よって、(2)を否定することは不可能。
従って、(1)に限り否定される。その結果、
(1)：f は開区間(a, b) の上でリプシッツ連続ではない.
となる。ここに、この開区間(a, b) とfはどちらも定理1.7 (422 に書いた定理) の証明で用いられる開区間(a, b) とf : R → R 同じである。
定理1.7 (422 に書いた定理) の証明と、その中で使っている補題1.5、補題1.6、系1.4の各証明では背理法は全く用いてなく、直接的に証明をしている。
そして、定理1.7 (422 に書いた定理) の証明の中では直接的にfが開区間(a, b) 上でリプシッツ連続なことを導いている。
この証明の中では開区間(a, b) は適当に選んで取っている。もし定理1.7 (422 に書いた定理) を否定すると、
他にも準備が必要になるが、その証明は大体結論から仮定へと順々に否定されて行き、
やがてfは開区間(a, b) 上でリプシッツ連続ではないことが示される。この結果は(1)に反することになる。
だから、定理1.7 (422 に書いた定理) の否定は出来ない。

2018/01/05(金) 20:13:29.17

>>188
おっちゃん、どうも、スレ主です。
レスありがとう（＾＾

（>>180より）
”定理1.7 (422 に書いた定理)
f : R → R とする．
Bf :={x ∈ R ｜ lim sup y→x ｜（f(y) － f(x)）/（y － x）｜< +∞ }
と置く: もしR－Bf が内点を持たない閉集合の高々可算和で被覆できるならば、 f はある開区間(a, b) の
上でリプシッツ連続である．”

この定理1.7の面白さは
”系1.8 有理数の点で不連続, 無理数の点で微分可能となるf : R → R は存在しない.”（>>184）
を著しく拡張しているところだ

つまり、系1.8において、
１）不連続→リプシッツ連続でない
２）微分可能→リプシッツ連続
３）稠密：有理数と無理の稠密性→もっと一般な稠密性（但し、片方は可算無限濃度限定）

の３つの特性で、系1.8を拡張したものが定理1.7になっているってこと

これに匹敵する結果は、>>41-42に書いたが
”Let f:R --> R be such that the sets of points at which f is continuous and discontinuous are each dense in R.
Let E be the set of points at which f is continuous and where at least one of the four Dini derivates of f is infinite.
Then E is co-meager in R (i.e. the complement of a first category set).
This was proved in H. M. Sengupta and B. K. Lahiri, "A note on derivatives of a function",
Bulletin of the Calcutta Mathematical Society 49 (1957), 189-191 [MR 20 #5257; Zbl 85.04502]. ”

つまり、一般な稠密性（但し、H. M. Sengupta and B. K. Lahiriは、可算非可算に関係なく）
”the sets of points at which f is continuous and discontinuous are each dense in R.”なのだが
しかし、この discontinuous →リプシッツ連続でないという、上記１）の特性で、定理1.7は拡張されているのだ

そこが、この定理1.7の面白さであり、斬新さだ
成り立てばだがね（＾＾

2018/01/05(金) 21:56:29.85

>>189 補足
>３）稠密：有理数と無理の稠密性→もっと一般な稠密性

で、この定理1.7で首肯できないものの一つが、この拡張です
下記にあるようにP532
T(ai)(x) = 0 if x 無理数, a_n if x = m/n 互いに素な有理数

で、a_n =n^k として、kを大きくする
すると、k＞２で、どんどん微分可能な領域が増える。最後は、Liouville numbersのみが微分不可で残るという

この結果と、定理1.7の一般な稠密性とが、果たして整合するのかどうか？

現実のQと無理数（R ＼ Q）とでは、具体的なQと無理数との相性のような絡み合いがあって
Liouville numbersのように、有理数でよく近似できる数（それは微分不可）で
一方、”Diophantine approximation of algebraic irrationals, called Roth’s Theorem”のように、近似限界のある数（代数的数の性質）（それは微分可能）で
無理数にも個性があるんです（下記「Modifications of Thomae’s function」）

だが、そういうことを全部抽象化した結果が、定理1.7なんですよね
まあ、定理1.7はものすごい強い結果だと・・・本当に成立しているのか？
（（>>189）H. M. Sengupta and B. K. Lahiriも、そういう結果なんですけどね（＾＾）

（>>90より）
https://kbeanland.files.wordpress.com/2010/01/beanlandrobstevensonmonthly.pdf
Modifications of Thomae’s function and differentiability, (with James Roberts and Craig Stevenson) Amer. Math. Monthly, 116 (2009), no. 6, 531-535.
(抜粋)
P534
We finish by remarking on some obvious consequences of the previous propositions.
First, for k <= 2, T(1/n^k ) is nowhere differentiable. By Roth’s Theorem, if
α(an) > 2, T(ai ) is differentiable on the set of algebraic irrational numbers. T(1/n^9) is
differentiable at all the algebraic irrationals, e, π, π^2, ln(2), and ζ(3), and not differentiable
on the set of Liouville numbers. Finally, if α(ai ) = ∞, T(ai ) is differentiable on
the set of all non-Liouville numbers. Since the set of Liouville numbers has measure
zero, T(ai ) is differentiable almost everywhere.
(引用終り)

**１３２人目の素数さん** · 2018/01/05(金) 23:50:30.62

時枝を分からない男は定理1.7も分からないという分かりやすい結果でした

**１３２人目の素数さん** · 2018/01/06(土) 07:02:33.16

おっちゃんからもらったスレ主への連絡がある。>>188の
>従って、(1)に限り否定される。その結果、
>(1)：f は開区間(a, b) の上でリプシッツ連続ではない.
>となる。ここに、この開区間(a, b) とfはどちらも定理1.7 (422 に書いた定理) の証明で用いられる開区間(a, b) とf : R → R 同じである。
の部分は
>従って、(1)に限り否定される。その結果、
>「(3)」：f は開区間(a, b) の上でリプシッツ連続ではない.
>となる。ここに、この開区間(a, b) とfは「それぞれ」定理1.7 (422 に書いた定理) の証明で用いられる開区間(a, b) とf : R → R 「に一致させることが出来る」。
と訂正して読んでほしいとのことである。
これは>>188で分からなかったスレ主の読解力を考慮した訂正とのことである。

by　魔人プー

2018/01/06(土) 12:18:28.10

>>192
どうも。スレ主です。レスありがとう。訂正を適用すると
（>>188 訂正し引用）
スレ主がコピペした、pdfの証明に則って話を進める。
実際は出来ないが、仮に系1.8 を否定して
有理数の点で不連続, 無理数の点で微分可能となるf : R → R が存在する

とすると、
(1)：f はある開区間(a, b) の上でリプシッツ連続である.
か
(2)：一方で, x ∈ Q とf の仮定により, f は点x で不連続である.
のどちらか1つは否定されることになる。

勿論、実際には系1.8 の否定は出来ず、論理的には(1)も(2)も正しい。
話は元に戻し、(2)を否定したとする。すると、xは有理点であって、かつfがxで連続となる。
これはfについての元の仮定に反し矛盾する。よって、(2)を否定することは不可能。

従って、(1)に限り否定される。その結果、
「(3)」：f は開区間(a, b) の上でリプシッツ連続ではない.
となる。ここに、この開区間(a, b) とfは「それぞれ」定理1.7 (422 に書いた定理) の証明で用いられる開区間(a, b) とf : R → R 「に一致させることが出来る」。

定理1.7 (422 に書いた定理) の証明と、その中で使っている補題1.5、補題1.6、系1.4の各証明では背理法は全く用いてなく、直接的に証明をしている。
そして、定理1.7 (422 に書いた定理) の証明の中では直接的にfが開区間(a, b) 上でリプシッツ連続なことを導いている。
この証明の中では開区間(a, b) は適当に選んで取っている。もし定理1.7 (422 に書いた定理) を否定すると、
他にも準備が必要になるが、その証明は大体結論から仮定へと順々に否定されて行き、
やがてfは開区間(a, b) 上でリプシッツ連続ではないことが示される。この結果は(1)に反することになる。
だから、定理1.7 (422 に書いた定理) の否定は出来ない。
(引用終り)

つづく

2018/01/06(土) 12:24:44.27

>>193 つづき

１）（>>190 PDFより）”有理数の点で不連続, 無理数の点で、the set of all non-Liouville numbersで微分可能、the set of Liouville numbersで微分不可（勿論リプシッツ連続ではないが連続）となるf : R → R が存在する”は正しい
２）これは”系1.8 有理数の点で不連続, 無理数の点で微分可能となるf : R → R は存在しない.”の別証明になっている
３）ところで、スレ主は頭が悪いので、定理1.7を場合分けして、”R－Bf が内点を持たない閉集合の高々可算和で被覆できる”けれども、R－Bf がR中で稠密な場合を考える。
４）これはQを想定した場合。この場合は、「f : R → R は存在しない！」が、定理1.7の直接の帰結である。

５）R－Bf がR中で稠密な場合を更に、４つに細分する
　ａ）R－Bfが不連続、Bfが可微分（これが系1.8に当たる）
　ｂ）R－Bfが不連続、Bfが一般のリプシッツ連続（除く可微分）＊）
　ｃ）R－Bfが一般の不リプシッツ連続（除く不連続）＊）、Bfが可微分
　ｄ）R－Bfが一般の不リプシッツ連続（除く不連続）＊）、Bfが一般のリプシッツ連続（除く可微分）＊）
（注＊）一般のリプシッツ連続とはlim sup y→x ｜（f(y) － f(x)）/（y － x）｜< +∞を満たすこと、一般の不リプシッツ連続とはlim sup y→x ｜（f(y) － f(x)）/（y － x）｜＝ +∞を満たすこと）

６）系1.8は、定理1.7中の上記ａ）のみ。ａ）のみが、既存の別証明がある。しかし、ｂ）からｄ）の３ケースは、既存の証明は見つかっていない
７）で、系1.8が正しいからといって、定理1.7が正しいことの証明の代用にはならない。だから、系1.8を出発点に論じるのは如何なものかという気がするよ

以上

2018/01/06(土) 12:48:01.93

>>194 訂正

６）系1.8は、定理1.7中の上記ａ）のみ。ａ）のみが、既存の別証明がある。しかし、ｂ）からｄ）の３ケースは、既存の証明は見つかっていない
　↓
６）系1.8は、定理1.7中の上記ａ）のみ。ａ）ｂ）のみが、既存の別証明がある＊）。しかし、ｃ）ｄ）の２ケースは、既存の証明は見つかっていない
＊）ｂ）は、（>>189）H. M. Sengupta and B. K. Lahiriの結果より
”Let E be the set of points at which f is continuous and where at least one of the four Dini derivates of f is infinite.
Then E is co-meager in R (i.e. the complement of a first category set).”

**１３２人目の素数さん** · 2018/01/06(土) 13:00:05.31

おっちゃんです。
先は魔人プーが私の代わりに書いてくれた。
私からスレ主へ。
何でもいいから大学の微分積分の本を読んで ε-N や ε-δ を身に付けること。
あと、何でもかんでも文献引用してその結果を鵜呑みにする考え方を改めること。
取り敢えず、その2点を遂行しないことには、幾らやっても話にならん。

2018/01/06(土) 13:36:46.05

>>195 補足

R－Bfを拡張して、Ｑ＋the set of Liouville numbers（これは、非可算だが、内点を持たない閉集合の和）を含むように、可算→非可算まで考える
すると、（>>189）H. M. Sengupta and B. K. Lahiriの結果より
”Let E be the set of points at which f is continuous and where at least one of the four Dini derivates of f is infinite.
Then E is co-meager in R (i.e. the complement of a first category set).”
だから

　ｃ）R－Bfが一般の不リプシッツ連続（除く不連続）＊）、Bfが可微分
　ｄ）R－Bfが一般の不リプシッツ連続（除く不連続）＊）、Bfが一般のリプシッツ連続（除く可微分）＊）

の２ケースとも、そのような「f : R → R は存在する！」（ｃ）の具体例が>>190の PDF
"α(ai ) = ∞, T(ai ) is differentiable on the set of all non-Liouville numbers. "だ）

だから、R－Bfを縮小して、非可算→可算に落としたときに、
「f : R → R は存在しない！」になる数学的な背景があるや否やだが

2018/01/06(土) 13:38:39.55

>>196
おっちゃん、どうも、スレ主です。
レスありがとうよ

だが、おっちゃん
おれの挙げたＰＤＦの専門論文からっきし読めないのか？

2018/01/06(土) 13:56:46.24

>>196
>あと、何でもかんでも文献引用してその結果を鵜呑みにする考え方を改めること。

話は逆で、数学のその道の専門家が、投稿論文にして、それを他の人が、引用して・・
その引用のPDFも、まったくゼロから成り立つわけではなく、それ以前の結果を発展させたものになっている。投稿論文で年月が経ったものは、折り紙付きだよ

例えば、（>>90より）
https://kbeanland.files.wordpress.com/2010/01/beanlandrobstevensonmonthly.pdf
Ｐ535
5. CONCLUDING REMARKS.で
”After the submission of the current manuscript,
the authors were informed that a slightly less general version of Proposition 4.2 can be
found in [9, p. 232].”

とあるよ
つまり、これが逆で、”that a slightly more general version of Proposition 4.2”だったら、この論文は掲載拒否もあったろうし、
掲載されても、将来引用されるべきは、[9, p. 232]の方。つまり、”Kevin Beanland, JamesW. Roberts, and Craig Stevenson”の価値は、圧倒的に低い

でな、定理1.7なども同じで
本来、成立するなら類似の定理があるだろうと思う（>>197などに書いた通りだ）

学生までは、自分の独自証明の定理が、先行する論文の再証明であっても褒められるだろう
だが、院から上は、他者からの評価は、不勉強と言われるだろう

それでも、再証明なり別証明は、証明の当人としては無価値ではないけどね
だが、証明できたと思った定理が成立していないとしたら？

そのためにも、先行研究の調査はしっかり行うべきだと思うぞ
そこは、よく考えた方がいいぜ（＾＾

**１３２人目の素数さん** · 2018/01/06(土) 13:58:57.32

εδさえ理解してないお前が読んでも分かった気になるだけ　実際は全く理解できてない

2018/01/06(土) 14:27:20.90

>>199 補足
>>あと、何でもかんでも文献引用してその結果を鵜呑みにする考え方を改めること。
>
>話は逆で、数学のその道の専門家が、投稿論文にして、それを他の人が、引用して・・
>その引用のPDFも、まったくゼロから成り立つわけではなく、それ以前の結果を発展させたものになっている。投稿論文で年月が経ったものは、折り紙付きだよ

おっちゃんの論法だと
投稿論文で、定理1.7に反する結果が見つかっても、「定理1.7は証明されているから正しい」とか言いそうだな（＾＾

おれは逆だがね
もちろん、定理1.7を支持する結果が見つかれば、「定理1.7は正しい」（だろう）と言って、証明を読むけどね

2018/01/06(土) 14:28:49.08

>>200
それは多分正しいが、論文の結論は読めるよ
現段階では、それで十分だろ？（＾＾

**１３２人目の素数さん** · 2018/01/06(土) 14:39:39.18

>>202
開集合閉集合内点孤立点
正しく理解しないままに読んでも
無駄ですよ

2018/01/06(土) 15:05:21.45

>>202 補足

おれがいまいち、定理1.7の証明で理解できないのは

（引用）
”仮定から, 高々可算無限個の閉集合Ai⊆Rが存在して, 各Aiは内点を持たず,
しかもR－Bf ⊆ ∪iAiが成り立つ・・・ (1)”

”Bf ⊆ ∪_N,M>=1 BN,M が成り立つ”

”BN,M は閉集合である. すると, (2) の右辺は可算無限個の閉集合の和ということになるので,
系1.4 により, あるi に対してAiは内点を持つか, もしくは, あるN,M >= 1 に対して
BN,M は内点を持つかのいずれかである. 各Aiは内点を持たないの
だったから, あるN,M >= 1 に対してBN,M が内点を持つことになる. 特に, (a, b)⊆BN,M なる開
区間(a, b) が取れる. f は(a, b) 上でリプシッツ連続であることを示す.”
(引用終り)

で、「特に, (a, b)⊆BN,M なる開区間(a, b) が取れる」の部分
開区間(a, b) が取れるのは、被覆する側の集合のBN,Mだろ？
で、R－BfがQのようにR中に稠密に分散している場合を考えると、Bf自身は内点を持たないし、区間(a, b) も取れないことは自明（参考>>128より）

で、被覆する方の集合のBN,Mにおいて、それが内点を持ち、そこに区間(a, b) が取れるとしても、
”それにより被覆される側のBfが同じ性質を持ち、区間(a, b) が取れる”とする証明がね～、いまいち納得できないんだ（＾＾

被覆する方の集合のBN,Mは、もともと内点を持つ閉集合。それは、ベールのカテゴリ定理からすぐ出る
だが、それと、被覆される側の集合の性質とは無関係

但し、「S は内点を持たない閉集合の高々可算和で被覆できる」の場合に限っては
S側も、「内点を持たない閉集合の高々可算和」でなければならないという強い縛りができる

が、”内点を持つ閉集合閉集合の高々可算和で被覆できる”と緩和するならば、
被覆されるS側は、なんの制約も受けないように思えてきたが（第一可算的空間などから（>>122））・・、どう？

**１３２人目の素数さん** · 2018/01/06(土) 15:05:32.73

内点がわかってないとかどんなバカだよｗ　一年生に教われｗ

2018/01/06(土) 15:11:49.48

>>204 訂正

が、”内点を持つ閉集合閉集合の高々可算和で被覆できる”と緩和するならば、
　↓
が、”内点を持つ閉集合の高々可算和で被覆できる”と緩和するならば、

2018/01/06(土) 15:37:58.41

>>205
いやー、おっしゃる通り
おれスレ主は、そうとうバカで不勉強だな（＾＾

（>>128より）
”Qについての、(^i：内部、^e：外部、^f：境界、^a：閉包)は
Q^i = Φ, Q^e = Φ, Q^f = R, Q^a = R.

R ＼ Qについての、(^i：内部、^e：外部、^f：境界、^a：閉包)は
(R ＼ Q)^i = Φ, (R ＼ Q)^e =Φ, (R ＼ Q)^f = R, (R ＼ Q)^a = R.

つまりは、R内に稠密分散するQは、内部も外部もΦ（空）で、境界と閉包はRそのものになる
同様に、RからQを除いたR ＼ Qも、内部も外部もΦ（空）で、境界と閉包はRそのものになる”

（>>130より）
”内点を持たない稠密集合の境界はその集合の閉包に一致する”

（>>131より）
”p が集合の境界点となる必要十分条件は、p の任意の近傍が少なくとも一つその集合の点を含みかつ少なくとも一つその集合の補集合の点を含むことである。”
(引用終り)

外しているかも知れないが、これを、日常の例えで言えば
光学顕微鏡の分解能では、原子レベルの入り組んだ構造は、見えないってことかな

ε近傍という内点を持つ分解能で、内点を持たない稠密集合の境界を探しても、
ε近傍の分解能ではある集合Sの点とその補集合S￣の点と、常に両方が見える

そういう理解で当たらずとも遠からずかな？（＾＾

**１３２人目の素数さん** · 2018/01/06(土) 16:43:52.75

ま、やっぱりスレ主は引用ばかりするが内容は全然理解していないな。
考える力が全くないようだ。

**１３２人目の素数さん** · 2018/01/06(土) 17:39:28.78

目を覆いたくなるスレ主の惨状

2018/01/07(日) 10:14:00.91

>>204

被覆（ひふく）か・・
https://ja.wikipedia.org/wiki/%E8%A2%AB%E8%A6%86
被覆
被覆（ひふく）

数学
・集合の被覆、和集合が集合全体となるような部分集合の集合
・良い被覆 (代数的位相幾何学)（英語版）、開被覆であって、被覆のすべての開集合や有限個の開集合のすべての交叉が可縮
・被覆 (代数学)（英語版）、代数的構造の、構造を保つように別の構造の上へと写る概念
・半順序集合の被覆関係（英語版）の対、あるいはそのような対の大きい方の元
・被覆空間、リーマン面と位相幾何学の理論
・（普遍／二重）被覆群（英語版）、群構造を持った被覆空間、理論物理学でも
・Cover, an equivalent set of constraints（英語版） in database theory（英語版）

2018/01/07(日) 10:39:04.12

>>210 つづき

「正確性に疑問」とあるが、和文では、冒頭説明と図が不一致（文「位相空間 C から X への連続全射 p」だが、図はP：Y→X）。この点、英文はしっかりしている
https://ja.wikipedia.org/wiki/%E8%A2%AB%E8%A6%86%E7%A9%BA%E9%96%93
被覆空間
(抜粋)
？原文と比べた結果、この記事には多数（少なくとも 5 個以上）の誤訳があることが判明しています。情報の利用には注意してください。正確な語句に改訳できる方を求めています。

数学、特に代数トポロジーにおいて、被覆写像(covering map)あるいは被覆射影(covering projection)とは、位相空間 C から X への連続全射 p のうち、 X の各点が p により「均一に被覆される」開近傍をもつものをいう。厳密な定義は追って与える。このとき C を被覆空間(covering space)、X を底空間(base space)と呼ぶ。この定義は、すべての被覆写像は局所同相であることを意味する。

被覆空間はホモトピー論、調和解析、リーマン幾何学、微分幾何学で重要な役割を果たす。たとえば、リーマン幾何学では、分岐は、被覆写像の考え方の一般化である。また、被覆写像はホモトピー群、特に基本群の研究とも深く関係する： X が十分によい位相空間であれば、X の被覆の同値類の集合と基本群 π1(X) の共役な部分群の類全体との間に全単射が存在する（被覆の分類定理）[1]。

目次
1 定義
1.1 他の定義
2 具体例
3 性質
3.1 共通な局所的性質
3.2 ファイバーの準同型
3.3 持ち上げ
3.4 同値性
3.5 多様体の被覆
4 普遍被覆
5 G-被覆
6 被覆変換
7 モノドロミー作用
8 分類空間や群コホモロジーとの関係
9 一般化

定義
位相空間 C から X への連続全射 p : C → X が被覆写像であるとは、すべての点 x ∈ X に対し x の開近傍 U が存在し、逆像 p^?1(U) が共通部分をもたない C の開集合の和集合で表され、各開集合が p の制限写像により U と同相であることをいう[2]。このとき C を被覆空間、 X を底空間という。被覆写像や被覆空間のことを単に被覆と呼ぶこともある。
(引用終り)

英 https://en.wikipedia.org/wiki/Covering_space Covering space

2018/01/07(日) 10:45:35.23

>>210-211 つづき

代数トポロジーでの被覆には、被覆する空間と被覆される側の空間との間に、連続全射 p : C → X の存在を条件としている（>>211）
しかし、単に「集合の被覆」では、”和集合が集合全体となるような部分集合の集合”というだけで、被覆する集合と被覆される側の集合との間には、連続全射は要求されていない

そこが大きな違いだろうね

2018/01/07(日) 11:59:51.84

>>207 参考補足
>つまりは、R内に稠密分散するQは、内部も外部もΦ（空）で、境界と閉包はRそのものになる
>同様に、RからQを除いたR ＼ Qも、内部も外部もΦ（空）で、境界と閉包はRそのものになる”
>
>外しているかも知れないが、これを、日常の例えで言えば
>光学顕微鏡の分解能では、原子レベルの入り組んだ構造は、見えないってことかな
>
>ε近傍という内点を持つ分解能で、内点を持たない稠密集合の境界を探しても、
>ε近傍の分解能ではある集合Sの点とその補集合S￣の点と、常に両方が見える

この見方（内部、外部、と境界）では、Qも無理数（R ＼ Q）も、区別がつかない
そこで、ハウスドルフ次元などの、別の見方が必要になる（下記）

http://www.geocities.jp/ikuro_kotaro/koramu13.htm
http://www.geocities.jp/ikuro_kotaro/koramu/3269_t8.htm
６０３．実数のハウスドルフ次元 ikuro_kotaro (13/05/24)
(抜粋)
【１】実数のｍ進展開の分布とハウスドルフ次元

０と１の間の数のうち，ほとんどの実数はｍ進展開したとき，各桁に現れる数字の出現確率が均等であることが知られています（正規数）．

　また，Ｆ（ｐ0，ｐ1，・・・，ｐm-1）を［０，１）上の実数で，各桁に現れる数字（０～ｍー１）の出現確率がｐ0，ｐ1，・・・，ｐm-1であるような実数の集合とすると，Ｆのハウスドルフ次元ｄｉｍＦは

　　ｄｉｍＦ＝ーΣｐkｌｏｇｐk／ｌｏｇｍ

で定義されます．正規数の集合Ｆ（１／ｍ，・・・，１／ｍ）のルベーグ測度１であり，したがって，その次元も１となります．

３分割カントル集合は最も有名なフラクタル集合の１例です．３分割カントル集合は３進展開の各桁に１の現れない数の集合Ｆ（１／２，０，１／２）ですが，そのハウスドルフ次元は

　　ｌｏｇ２／ｌｏｇ３＝０．６３０９・・・

となります．

つづく

2018/01/07(日) 12:00:31.61

>>213 つづき

【２】連分数展開

一般に，２次の無理数（整数係数の２次方程式の解）は周期的な連分数展開をもちます（ラグランジュの定理）．

正の実数が無限連分数展開され，そのすべての部分商が１または２であるような実数の集合のハウスドルフ次元は０．５３１２８０５０６・・・であることが計算されています．

３次以上の方程式の解，たとえば3√２の連分数展開を求めると，

　　3√２＝［１：３，１，５，１，１，４，１，１，８，１，１４，１，１０，２，１，４，・・・］

の一般項は求めることができません．この展開に現れる整数に最大値があることも示すこともできないのです．

　なお，ヒンチンは，一般の連分数

　　［ａ0：ａ1，ａ2，ａ3，・・・，ａn，・・・］

の大多数についてあてはまる法則を発見しています．ヒンチンの定理とは，幾何平均（ａ1ａ2・・・ａn）^1/nの値がｎ→∞のとき，ある無限乗積から定まる定数

　　（ａ1ａ2・・・ａn）^1/n→Π(1+1/k(k+2))^logk/log2=2.685452001･･･

に収束するというものです．ただし，分母に明確なパターンのある代数的数やｅをはじめとするいくつかの超越数は例外になります．

つづく

2018/01/07(日) 12:00:56.62

>>214 つづき

【３】ディオファントス近似と位数

実数ｘが無限に多くのｑに対して

　　||ｑｘ||＜ｑ^(1-α)

となるとき，位数αまで近似可能といいます．そして，α＞２となる実数は存在し，そのような実数全体のハウスドルフ次元は２／αであることが証明されています（Jarnikの定理）．

(引用終り)

つづく

2018/01/07(日) 12:04:53.46

>>215 つづき

https://ja.wikipedia.org/wiki/%E3%83%8F%E3%82%A6%E3%82%B9%E3%83%89%E3%83%AB%E3%83%95%E6%AC%A1%E5%85%83
(抜粋)
ハウスドルフ次元
フラクタル幾何学におけるハウスドルフ次元は、1918年に数学者フェリックス・ハウスドルフが導入した、ハウスドルフ測度が有限な値をとり消えていないという条件に適合する次元の概念の非整数値をとる一般化である。
すなわち、きちんとした数学的定式化のもと、点のハウスドルフ次元は 0、線分のハウスドルフ次元は 1、正方形のハウスドルフ次元は 2、立方体のハウスドルフ次元は 3 である。
つまり、旧来の幾何学で扱われるような、滑らかあるいは有限個の頂点を持つ点集合として定義される図形のハウスドルフ次元は、その位相的な次元に一致する整数である。
しかし同じ定式化のもとで、フラクタルを含めたやや単純さの少ない図形に対してもハウスドルフ次元を計算することが許されるが、その次元は非整数値を取りうる。
大幅な技術的進展がエイブラム・サモイロヴィッチ・ベシコヴィッチによりもたらされて高度に不規則な集合に対する次元の計算が可能となったことから、この次元の概念はハウスドルフ?ベシコヴィッチ次元としても広く知られている。

例
・可算集合のハウスドルフ次元は 0
・ユークリッド空間 Rn のハウスドルフ次元は n、円 S1 のハウスドルフ次元は1
・フラクタル図形はルベーグ被覆次元を超える。例えば、カントール集合のルベーグ被覆次元は 0 であるが、ハウスドルフ次元は log(2)/log(3) ? 0.63[4]
・シェルピンスキーのギャスケットのハウスドルフ次元は log(3)/log(2) ? 1.58
・ペアノ曲線のような空間充填曲線やシェルピンスキー曲線は充填される空間と同じハウスドルフ次元を持つ
・2次元以上の空間におけるブラウン運動のハウスドルフ次元はほとんど確実に（つまり確率 1 で）2 である[5]

関連項目
・ハウスドルフ次元別フラクタルの一覧: 決定論的フラクタル、確率フラクタル、自然フラクタル…
・アスワド次元: ハウスドルフ次元同様に（球体被覆を用いて）定義されたフラクタル次元
・内在次元
・パッキング次元: ハウスドルフ次元と双対的に、球体充填の定める内測度から定義されたフラクタル次元
・フラクタル次元

(引用終り)
以上

2018/01/07(日) 12:08:57.61

>>214 ついでに

http://www.suri-joshi.jp/enjoy/rational_point_of_the_quadratic_curve/
（数理女子さん、日付入れた方が良いと思う）
２次曲線の有理点数理女子（多分2017）
(抜粋)
有理点が無い場合
実平面の中には有理点がびっしりと詰まっているので、有理点を避けて通る曲線なんて無いような気がしてしまうかもしれません。しかし、有理点を持たない２次曲線も、実はいっぱい存在するのです。例えば、次の結果が知られています。

命題　
x^2+y^2=3 をみたす有理数 x,y∈Qは存在しない。
【証明】背理法で証明します。有理数解 x,y が存在すると仮定します。
(引用終り)

参考 http://www.suri-joshi.jp/ 数理女子のページへようこそ！

**１３２人目の素数さん** · 2018/01/07(日) 13:35:03.37

理解していないものをコピペしても何の意味も無いと何度言えば

2018/01/07(日) 14:08:43.48

>>204 戻る
>で、「特に, (a, b)⊆BN,M なる開区間(a, b) が取れる」の部分
>開区間(a, b) が取れるのは、被覆する側の集合のBN,Mだろ？
>で、R－BfがQのようにR中に稠密に分散している場合を考えると、Bf自身は内点を持たないし、区間(a, b) も取れないことは自明（参考>>128より）
>
>で、被覆する方の集合のBN,Mにおいて、それが内点を持ち、そこに区間(a, b) が取れるとしても、
>”それにより被覆される側のBfが同じ性質を持ち、区間(a, b) が取れる”とする証明がね～、いまいち納得できないんだ（＾＾

(>>212より)"代数トポロジーでの被覆には、被覆する空間と被覆される側の空間との間に、連続全射 p : C → X の存在を条件としている（>>211）
しかし、単に「集合の被覆」では、”和集合が集合全体となるような部分集合の集合”というだけで、被覆する集合と被覆される側の集合との間には、連続全射は要求されていない
そこが大きな違いだろうね"

この意識がすっかり抜けているように思う
被覆する方の集合BN,Mで証明されれば、即被覆される側の集合Bfでの証明が終わっていると勘違いしているのでは？

それと、被覆について、”稠密（dense）”の意識が希薄だと思う

例えば、定理1.7の証明中で
「補題1:5 を満たすN,M >= 1 が存在するので, 明らかにx ∈ BN,M である.
よって, 確かに
Bf ⊆ ∪N,M>=1 BN,M である.
(1) と合わせて, R = Bf ∪ (R－Bf ) ⊆ (∪N,M>=1 BN,M ) ∪ (∪iAi) と
なる. すなわち,
R ⊆ (∪N,M>=1 BN,M ) ∪ (∪iAi) ・・・(2)
となる.」

としているけれども、Bfを無理数（R＼Q）、R－Bfを有理数（Q）と考えて
Bf 無理数を、（内点を持つ）閉集合で被覆できているならば
R ⊆ (∪N,M>=1 BN,M ) (2’)
だけで終わっている。 ”∪ (∪iAi) ”の部分は、蛇足では？

つづく

2018/01/07(日) 14:09:26.26

>>219 つづき

・・？　えーと・・・
R－Bfが、”稠密（dense）”でなくとも、
「高々可算無限個の閉集合Ai ⊆ Rが存在して, 各Aiは内点を持たず, しかもR－Bf ⊆∪iAiが成り立つ・・・ (1)」

だから、”稠密（dense）”かどうかにも無関係（常に、R ⊆ (∪N,M>=1 BN,M ) ・・・(2’)成立）かな？
とすると、「集合の被覆」についても、ちょっと不可解な記述があるね。そこから、勘違いが始まっているのかも・・

・・・？ BN,Mが閉区間であることを認めるとして、それを[c,d]と書くと、c,d ∈ R－Bf を想定しているのかな？
にしても、次の閉区間は、[d,e]であるべきだからな～、[c,d]∪[d,e]＝[c,e]になるよ・・

以上

2018/01/07(日) 14:49:13.52

>>196

”ε-δ論法”にコンプレックスのある方へ（＾＾
http://www.math.kanagawa-u.ac.jp/mine/ep_del/
http://www.math.kanagawa-u.ac.jp/mine/ep_del/ep_del_2017_10_02.pdf
実数の連続性とε-δ論法嶺幸太郎神奈川大 2017/10/02版

目次
第１部：数列の極限と実数の連続性
　第１章　集合概念の基礎
　第２章　実数における大小関係
　第３章　数列の極限とその性質
　第４章　数列の極限と実数の連続性

第２部：写像の基礎とε-δ論法
　第５章　写像概念の基礎
　第６章　実数値関数
　第７章　関数の極限
　第８章　連続関数
　第９章　指数法則

第３部：距離空間の幾何学
　第１０章　点列と写像の極限
　第１１章　位相
　第１２章　距離空間に関する諸概念
　第１３章　連結空間と中間値の定理
　第１４章　点列コンパクト空間

第４部：付録
　第１５章　より厳密な微分積分法へ
　第１６章　命題と論理式

予告：近いうちに、もう一度更新する予定です。

つづく

2018/01/07(日) 14:49:54.35

>>221 つづき

新バージョン（2017/10/02版）についての指摘および誤植（最終更新日：2017/10/16）
３章
・p.30 1行目：　「定義を与える」の後にピリオドが抜けている（ピリオドがなくても奇跡的に正しい文として成立しているが）
・p.35 1行目：　命題3.4.8「の」証明は

５章
・p.55 2行目：　それらの違い「を」通して判断する

７章
・p.81 -8行目：　f2(x)= を f2(x):= にしたほうが適切か。
・p.81 -2行目：　「点列」を「数列」にしたほうが適切か。
・p.85 練習7.5.2：　「点列」を「数列」にしたほうが適切か。
・p.85 練習7.5.3 証明 3行目：二つ目のδは1/nにしたほうが適切か。
・p.85 練習7.5.4 証明 1行目：　誤：M　正：ε
・p.86 2行目：　誤：M　正：n
・p.86 練習7.5.5 証明 3行目：　誤：M　正：n

８章
・p.91 8.4節 6行目：　誤：|b-f(x)|　正：|f(a)-f(x)|

１０章
・p.114 -5行目：　f,g はそれぞれ　f1, f2 の間違い（２ヵ所あり）

１５章
・p.175 -1行目：　f(x)=x^2 は f(x):=x^2 のほうが親切ではないか.
・p.178 ４つめの中央揃えの式：　誤：(1/b)　正：(1/b)^h
・p,178 命題15.4.2：　(3)が抜けている
・p.179 命題15.4.3：　(3)が抜けている　cosとtanに ^-1 が抜けている
・p.181 定理15.6.3証明 -3行目：　右辺の第1項の分母はg(x)
・p.182 -5行目：　g(x)= は g(x):= のほうが親切ではないか.
・p.182 -1行目：　誤：b　正：a
・p.183 例15.7.4 cos x の冪級数展開の「…」の間はーではなく＋
・p.183 -2行目：　誤：(0,1)^3　正：(0.1)^3
・p.184 ３つめの中央揃えの式：　6!の分母のiは左側に移動させたほうがよいのではないか
・p.185 2行目：　誤：A=　正：Ai=
・p.185 6行目：　s(f,⊿) 「と」しよう
・p.185 -7行目：　差「し」つえない
・p.186 3, 4行目：　それぞ「れ」
・p.186 命題15.9.4証明：　備考2.6.3は用いない（関係ない）。
・p.187 1行目：　誤：x　正：z

つづく

2018/01/07(日) 14:50:33.11

>>222 つづき

http://www.math.kanagawa-u.ac.jp/mine/
嶺幸太郎 (みねこうたろう)
所属：神奈川大学工学部数学教室

略歴：
2008年4月～2011年3月　筑波大学数理物質科学研究科準研究員
2011年4月～2012年3月　筑波大学数理物質科学研究科非常勤研究員
2011年4月～　　　　　横浜国立大学理工学部非常勤講師
2012年4月～2014年3月　高崎経済大学経済学部非常勤講師
2012年7月～2016年3月　東京大学数理科学研究科特任研究員
2015年4月～　　　　　早稲田大学基幹理工学部非常勤講師
2016年4月～　　　　　神奈川大学工学部数学教室特任助教

以上

2018/01/07(日) 15:03:48.24

>>216 追加

http://www.math.shimane-u.ac.jp/~tosihiro/agora.pdf
図形の大きさや複雑さを測る公開講座数学アゴラ中西敏浩島根大 2001年12月
(抜粋)
ハウスドルフ(Hausdorff)次元というのは図形の複雑さを測る一つの量です。

マンデルブロート集合の境
界はすごく複雑な形状を呈しているので、そのハウスドルフ次元は2 ではないかと予想され、それを証明す
ることが長年の懸案だったのですが、1998年に宍倉光広氏(現・広島大学)によってついに解かれました。
定理. マンデルブロート集合の境界のハウスドルフ次元は2 である。
さらに宍倉氏は、マンデルブロート集合の境界上にあるほとんどの点c についてfc(z) = z^2 + c の
ジュリア集合のハウスドルフ次元が2 であることも示しています。
　面積を測るという問題に戻ると、マンデルブロート集合の境界の面積が0 であるかどうかはまだわ
かっていないようです。また特別な場合を除いて有理関数のジュリア集合の面積が(もしそれがリーマン球
面と一致していなければ）0 であるかどうかという問題も未解決のままです。

数値計算で入力されるのはその近似値1.7320508... です。そ
して反復合成の際に入力するデータも実際の値の近似値に過ぎません。だから反復合成列が、初期値や途中
で入力されるデータについて非安定的ならば、数値実験の結果への信頼度は低くなります。非安定的な点の
存在は避けられないとしても、それらがなす集合はほとんど無視できるぐらい非常に小さいものであってほ
しいという希望があります。なぜなら、もしそうなら数多くの初期条件の下での実験を繰り返せば、それら
の結果のほとんどのものはある程度信頼できるものとなるからです。ジュリア集合の面積が0 であること
をしめすことに意義がこうした点にあります。
複素関数の反復合成の性質を研究する分野を「複素力学系」と呼ぶということでしたが、ここでは有理
関数の場合しか扱いませんでした。現在ではもっと広いクラスの関数（（多変数も含めて）超越整関数や有
理形関数）の複素力学系が研究されています。本格的に勉強したい方のために[9] をあげておきます。

(引用終り)

つづく

2018/01/07(日) 15:04:36.22

>>224 つづき

http://www.math.shimane-u.ac.jp/~tosihiro/
中西敏浩のホームページへ
2015年12月28日お笑い日記追記
目次

● 自己紹介
名前　中西敏浩(なかにしとしひろ)
職種　島根大学大学院総合理工学研究科・数理科学領域・教授
専門　数学・複素解析学（とくにタイヒミュラー空間論)
● 研究業績（科学研究費補助金申請用）と履歴
● 講義ノートの案内
● 読書記録
● 写真集
● リンク
お便りは　tosihiro@の後に math.shimane-u.ac.jp　まで

(引用終り)
以上

**１３２人目の素数さん** · 2018/01/07(日) 15:45:06.32

＞”ε-δ論法”にコンプレックスのある方へ（＾＾
おまえやんｗ

2018/01/07(日) 16:42:46.93

わたしら、”ε-δ論法”なんか、超越してまんがな～（＾＾
”ε-δ論法”が、わたしを、超越しているかもしらんが～（＾＾

2018/01/07(日) 16:46:40.06

前スレより再録
376 現代数学の系譜雑談古典ガロア理論も読む ◆e.a0E5TtKE [sage] 投稿日：2017/12/21(木) 10:22:00.72 ID:xTe57EH6 [2/4]
>>371
>例の定理にスレ主がイチャモンをつけているから、

(>>303より)
”定理1.7 (422 に書いた定理)
f : R → R とする．
Bf :={x ∈ R ｜ lim sup y→x ｜（f(y) － f(x)）/（y － x）｜< +∞ }
と置く: もしR－Bf が内点を持たない閉集合の高々可算和で被覆できるならば、 f はある開区間の
上でリプシッツ連続である．
（以下証明の文言から）
よって、 f は(a, b) 上でリプシッツ連続である．”

これを踏まえて

１．いままでの流れを見て分かるように、イチャモンでも何でもない。
２．５CHに見慣れぬ定理と証明が投下された。まず、その定理が自分の知識体系の中でどこに位置するのかを見極めることは、数学をする態度として、正道だろう
３．数学において、その定理が、新規かそれとも、既知・既存の定理かを見極めることは、極めて大事なことだ。
　　既知・既存の定理であれば、既存の理論体系の中のどこに位置するのかの確認をすべき
４．新規であったとしても、基本、数学の定理というものは、独立ばらばらに存在するものではなく、理論体系を成すべきもの。
　　であれば、新規であったとしても、それは理論体系の中のどこに位置すべきか。また、類似の定理との比較も必要だろう。
５．それ無くしては、数学の勉強にもならない。
　　それ無くしては、その定理の応用もできまい。
　　また、その探索の過程で、定理が、既存の理論と矛盾していないかどうかも判明する。
　（もし、既存の理論と矛盾したとしても、修正可能かどうかを見ることも容易だろう）
(引用終り)

2018/01/07(日) 16:57:25.98

>>217 補足
>有理点が無い場合
>実平面の中には有理点がびっしりと詰まっているので、有理点を避けて通る曲線なんて無いような気がしてしまうかもしれません。しかし、有理点を持たない２次曲線も、実はいっぱい存在するのです。

トリビアだが、係数を無理数まで許せば、有理点を持たない直線（１次曲線）も、実はいっぱい存在する
例えば、y=ax で、aを無理数にすれば、良い！
（有理数p,qに対し、常にq≠ap （∵ aは無理数なので、a≠q/p ）（＾＾　）

**１３２人目の素数さん** · 2018/01/07(日) 17:03:21.48

>>229

トリビアだがy=axは原点(0, 0)を通る

**１３２人目の素数さん** · 2018/01/07(日) 17:10:04.00

おっちゃんです。
数学の定理はプロやシロート関係なく、発見されていること位認識せい。

**１３２人目の素数さん** · 2018/01/07(日) 17:36:22.02

>>230
笑

**１３２人目の素数さん** · 2018/01/07(日) 17:38:25.30

どうしてこうも簡単に間違えるんですかね
しかも自信満々に

**１３２人目の素数さん** · 2018/01/07(日) 17:54:49.47

バカ自慢したいんでしょう

2018/01/07(日) 18:14:22.19

>>230 >>232-234
まあ、有理数点 p、q ≠ 0 とでもしますかね？（＾＾

2018/01/07(日) 18:15:25.68

>>231
おっちゃん、どうも、スレ主です。
ああ、おっちゃん、シロートの新定理発見者やったね（＾＾
論文まっているよ～（＾＾

**１３２人目の素数さん** · 2018/01/07(日) 18:22:11.66

>>235
係数を無理数に拡大した時点で元の話題から完全に逸れてる
さらには小学生でも分かる自明な間違いを冒しているにも関わらず
自信満々にドヤ顔で！マークまで付けちゃってるところにスレ主の「どうしようもなさ」がヒシヒシと伝わってくる

**１３２人目の素数さん** · 2018/01/07(日) 18:24:19.00

>>236
いっておくけど、系 1.8 の結果は
有理数の点で不連続, 無理数の点で一様連続となるf : R → R は存在しない
まで拡張出来る。

**１３２人目の素数さん** · 2018/01/07(日) 18:32:13.19

>>236
しかし、
>有理数の点で不連続, 無理数の点で一様連続となるf : R → R は存在しない
のfの定義域を閉区間にすると成り立たない。
ま、つまり、fの定義域がRであれば、
>有理数の点で不連続, 無理数の点でリプシッツ連続となるf : R → R は存在しない
どころか
>有理数の点で不連続, 無理数の点で一様連続となるf : R → R は存在しない
までいえる。

**１３２人目の素数さん** · 2018/01/07(日) 18:44:29.65

じゃ、おっちゃん寝る。

2018/01/07(日) 19:30:16.25

>>237
>係数を無理数に拡大した時点で元の話題から完全に逸れてる

原点を通らない直線なら、トリビアだが、例えば、y=ax+b で、aを有理数,bを無理数にすれば、良い！ドヤ！（＾＾

**１３２人目の素数さん** · 2018/01/07(日) 19:46:58.28

>>241
日本語通じないのか？

**１３２人目の素数さん** · 2018/01/07(日) 19:49:43.98

キミ、定数項bは係数ではないと思ってる？

2018/01/07(日) 20:34:30.47

>>242-243
係数が有理数の一次関数で、有理点を通らない関数は存在しない！！
それが大前提・・・だよ？だろ？当然、係数の範囲を拡張しないと

2018/01/07(日) 20:46:08.89

>>238
おっちゃん、どうも、スレ主です。

>いっておくけど、系 1.8 の結果は
>有理数の点で不連続, 無理数の点で一様連続となるf : R → R は存在しない
>まで拡張出来る。

ああ、下記だな”g fails to satisfy・・even any specified pointwise modulus of continuity condition on a co-meager set.”＆
”Let E be the set of points at which f is continuous and where at least one of the four Dini derivates of f is infinite.
Then E is co-meager in R (i.e. the complement of a first category set).”

繰返すが、
”any specified pointwise modulus of continuity condition” ＆ ”at least one of the four Dini derivates of f is infinite”
だから（特に後者Dini微分）、どこかの無理数の点で一様連続も破綻するだろうな

（>>40より）http://mathforum.org/kb/message.jspa?messageID=5432910
THEOREM: Let g be continuous and discontinuous on sets of points that are each dense in the reals.
Then g fails to have a derivative on a co-meager (residual) set of points.
In fact, g fails to satisfy a pointwise Lipschitz condition, a pointwise Holder condition, or even any specified pointwise modulus of continuity condition on a co-meager set.

(Each co-meager set has c points in every interval.)

（>>41より）
REMARK BY RENFRO:
The last theorem follows from the following stronger and more general result.
Let f:R --> R be such that the sets of points at which f is continuous and discontinuous are each dense in R.
Let E be the set of points at which f is continuous and where at least one of the four Dini derivates of f is infinite.
Then E is co-meager in R (i.e. the complement of a first category set).
This was proved in H. M. Sengupta and B. K. Lahiri, "A note on derivatives of a function",
Bulletin of the Calcutta Mathematical Society 49 (1957), 189-191 [MR 20 #5257; Zbl 85.04502]. See also my note in item [15] below.
(引用終り)

**１３２人目の素数さん** · 2018/01/07(日) 20:55:58.03

>>229
> トリビアだが、係数を無理数まで許せば、有理点を持たない直線（１次曲線）も、実はいっぱい存在する
> 例えば、y=ax で、aを無理数にすれば、良い！
（有理数p,qに対し、常にq≠ap （∵ aは無理数なので、a≠q/p ）（＾＾　）

君の>>229の「実はいっぱい存在する」というドヤ発言に対して

>>237
>係数を無理数に拡大した時点で元の話題から完全に逸れてる

とコメントしているのであって

>>241
> 原点を通らない直線なら、トリビアだが、例えば、y=ax+b で、aを有理数,bを無理数にすれば、良い！ドヤ！（＾＾

>>247
> 係数が有理数の一次関数で、有理点を通らない関数は存在しない！！
> それが大前提・・・だよ？だろ？当然、係数の範囲を拡張しないと

では支離滅裂だろうがよ

「実はいっぱい存在する」が全員の大前提ならば
「実は」なんて勿体ぶった言い方にはならんだろうが。
大丈夫かキミは

**１３２人目の素数さん** · 2018/01/07(日) 20:56:58.68

頭イカれてるぞここのスレ主は
みんな分かってここにいるのか？

2018/01/07(日) 21:06:35.79

>>239
>しかし、
>>有理数の点で不連続, 無理数の点で一様連続となるf : R → R は存在しない
>のfの定義域を閉区間にすると成り立たない。

そんなことはないだろう
the Ruler Functionとかトマエ関数の変形版は

The ruler function f is defined by f(x) = 0 if x is
irrational, f(0) = 1, and f(x) = 1/q if x = p/q
where p and q are relatively prime integers with q > 0.

で、閉区間[0,1]で論じれば、あとは各整数区間[n,n+1](nは整数)
で同じ繰り返しだよ（例えば下記）

https://www.desmos.com/calculator/jp4cbjfjpe
トマエ関数 - Desmos

現代数学の系譜 工学物理雑談 古典ガロア理論も読む49

現代数学の系譜工学物理雑談古典ガロア理論も読む49