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

2018/10/28(日) 08:56:13.27

このスレは、皆さまのご尽力で、伝統あるガロアすれは、
過去、数学板での勢いランキングで、常に上位です。

このスレは、現代数学のもとになった物理・工学の雑談スレとします。たまに、“古典ガロア理論も読む”とします。
それで宜しければ、どうぞ。
後でも触れますが、基本は私スレ主のコピペ・・、まあ、言い換えれば、スクラップ帳ですな～（＾＾
最近、AIと数学の関係が気になって、その関係の記事を集めています～（＾＾
いま、大学数学科卒でコンピュータサイエンスもできる人が、求められていると思うんですよね。

スレ主の趣味で上記以外にも脱線しています。ネタにスレ主も理解できていないページのURLも貼ります。関連のアーカイブの役も期待して。
話題は、散らしながらです。時枝記事は、気が向いたら、たまに触れますが、それは私スレ主の気ままです。

スレ46から始まった、病的関数のリプシッツ連続の話は、なかなか面白かったです。
興味のある方は、過去ログを（＾＾

なお、
小学レベルとバカプロ固定
サイコパスのピエロ（不遇な「一石」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金（禁）よろしくね！（＾＾

（旧スレが512KBオーバー（又は間近）で、新スレ立てた）

2018/10/28(日) 09:01:22.60

過去スレ（そのままクリックで過去ログが読める。また、ネット検索でも過去ログ結構読めます）
（数学セミナー時枝記事は、過去スレ39 で終わりました。
39は、別名「数学セミナー時枝記事の墓」と名付けます。
High level people は自分達で勝手に立てたスレ28へどうぞ！sage進行推奨（＾＾；
また、スレ43は、私が立てたスレではないので、私は行きません。そこでは、私はスレ主では無くなりますからね。このスレに不満な人は、そちらへ。 http://rio2016.2ch.net/test/read.cgi/math/1506152332/
“時枝記事成立”を支持する立場からのカキコや質問は、基本はスルーします。それはコピペで流します。気が向いたら、忘れたころに取り上げます。）

過去スレリンク集
53 https://rio2016.5ch.net/test/read.cgi/math/1537363981/
52 https://rio2016.5ch.net/test/read.cgi/math/1526384086/
51 https://rio2016.5ch.net/test/read.cgi/math/1518094687/
50 https://rio2016.5ch.net/test/read.cgi/math/1516499937/
49 https://rio2016.5ch.net/test/read.cgi/math/1514376850/
48 https://rio2016.5ch.net/test/read.cgi/math/1513201859/
47 https://rio2016.5ch.net/test/read.cgi/math/1512046472/
46 https://rio2016.5ch.net/test/read.cgi/math/1510442940/
45 https://rio2016.5ch.net/test/read.cgi/math/1508931882/
44 http://rio2016.2ch.net/test/read.cgi/math/1506848694/
43 http://rio2016.2ch.net/test/read.cgi/math/1506152332/ （だれかが立ててスレ。私は行きません。このスレに不満な人は、そちらへ）
42 http://rio2016.2ch.net/test/read.cgi/math/1505609511/
41 http://rio2016.2ch.net/test/read.cgi/math/1504332595/
40 http://rio2016.2ch.net/test/read.cgi/math/1503706544/
（40以降現代数学の系譜工学物理雑談古典ガロア理論も読む)
（39以前現代数学の系譜古典ガロア理論を読む)

以下次へ

2018/10/28(日) 09:02:18.33

2018/10/28(日) 09:03:12.72

2018/10/28(日) 09:03:44.09

以下、暫くテンプレ貼りを続けます。

2018/10/28(日) 09:04:16.40

大学新入生もいると思うが、間違っても５ＣＨ（旧２ＣＨ）で数学の勉強なんて思わないことだ
このスレは、趣味と遊びのスレと思ってくれ（＾＾；

以下過去スレより再掲
http://rio2016.2ch.net/test/read.cgi/math/1492606081/7
7 自分：現代数学の系譜11 ガロア理論を読む[sage] 投稿日：2017/04/19(水) 22:07:49.66 ID:gLi5Ebjw
まあ、過去何年かにわたって、猫さん、別名、￥ ◆2VB8wsVUooさんが、数学板を焼いていたからね
ガロアスレは別として、数学板は焼け跡かな

再生は無理だろう
そもそも、５ＣＨ（旧２ＣＨ）は、数学に向かない

アスキー字に制限され、本格的な数学記号が使えない
複数行に渡る記法ができない

複数行に渡る矢印や、図が描けない（ＡＡ（アスキーアート）で数学はできない）
大学数学用の掲示板を、大学数学科が主体となって、英語圏のような数学掲示板を作った方がいいだろうな、実名かせめてハンドルネーム必須でね、プロないしセミプロ用のを

2018/10/28(日) 09:04:52.76

個人的には、下記のように、”知恵袋の人>>> ５ＣＨ（旧２ＣＨ）の人”と思う（＾＾

http://rio2016.2ch.net/test/read.cgi/math/1484442695/494
494 現代数学の系譜11 ガロア理論を読む 2017/04/17
前にも紹介したが、新入生もいるだろうから、下記再掲しておく。なお、信用できないに、私スレ主も含めること。定義から当然の帰結だが（＾＾；
https://note.chiebukuro.yahoo.co.jp/detail/n98014
Yahoo 知恵袋
数学の勉強法　学部～修士
ライター：amane_ruriさん最終更新日時:2012/8/6
ナイス！：5閲覧数：11594
(抜粋)
私は修士1年生ですので、正直に言いますとこの部分はあまり書いているのが正しいとは思えません。趣味で書いているものだと認識していただければ良いのではないかと思っております。
大学3、4年に入ってまず怖いのが数学の本の氾濫でしょう。まず何を読んで何をすればいいのか分からなくなります。
そして、自分のやっていることがいかにちっぽけな存在なのかというのを実感させられます。（多分皆がそうでしょう。）そして、結果が問われてきます。
ここで、数学科は「入るのは易しいけどプロになるのは難しい」ということが実感させられてきます。
2012年8月3日現在、書泉グランデで有名数学者の薦める本がありました。森重文先生を初めとして本の多さに圧倒されました。（足立恒雄先生は信頼と安心のブレなさ）

2. 2ｃｈ*)の内容は信用できるか？
基本的に信用できません。先生＞周りの人＞＞＞ 2ｃｈ*)や知恵袋の人です。何故かというといつも同じことしか言っていないから。多分きちんと検証していないで想像で議論しているだけではないのかと私は思っています。
（まあ、自分もあんまり信用できないけど）
数学をする場合は、問題が解けることも重要なのですが問題設定を作ることが大切です。そういう時に、どういう風に学んできたのかとか、正確な知識がどういう部分でどれだけ持っているのか、調和性や、生まれて来た環境っていうのが重要になってきます。
ただ、それがどうも2ｃｈ*)の人は見られない（し、そもそも偉そうなことを言っている人が本当にできるかどうか分からない。）。こういう類のものは勉強不足ですとか、分かっていませんでしたで済まされるものではないと個人的には思うのですが。
(引用終り) (注*)：2ｃｈは、現5ｃｈ)

2018/10/28(日) 09:05:20.95

過去スレより
http://rio2016.2ch.net/test/read.cgi/math/1484442695/338
338 現代数学の系譜11 ガロア理論を読む[sage] 投稿日：2017/04/09(日) 23:46:26.46 ID:Rh9CzQs6
スレ主は、皆さんの言う通り、馬鹿であほですから、基本的に信用しないようにお願いします
大体、私は、自分では、数学的な内容は、筆を起こさない主義です

じゃ、どうするかと言えば、出典明示とそこからの(抜粋)コピペです
まあ、自分なりに、正しそうと思ったものを、(抜粋)コピペしてます

が、それも基本、信用しないように
数学という学問は特に、自分以外は信用しないというのが基本ですし

”証明”とかいうらしいですね、数学では
その”証明”がしばしば、間違っていることがあるとか、うんぬんとか

有名な話で、有限単純群の分類
”出来た！”と宣言した大先生が居て、みんな信用していたら、何年も後になって、”実は証明に大穴が空いていた”とか

おいおい、競馬じゃないんだよ（＾＾；

https://ja.wikipedia.org/wiki/%E5%8D%98%E7%B4%94%E7%BE%A4
単純群
1981年にモンスター群が構成されてからすぐに、群論の研究者たちがすべての有限単純群を分類したという、合計10,000ページにも及ぶ証明が作られ、1983年にダニエル・ゴレンスタインが勝利を宣言した。
これは時期尚早だった、というのはいくつかのギャップが、特に準薄群（英語版）の分類野中で発見されたからである。このギャップは2004年に1300ページに及ぶ準薄群の分類によって埋められており、これは現在は完璧であると一般に受け入れられている。

2018/10/28(日) 09:06:33.78

>>8補足
http://rio2016.2ch.net/test/read.cgi/math/1492606081/352
352 自分：現代数学の系譜11 ガロア理論を読む[sage] 投稿日：2017/04/29(土)
みんな、何に価値をおいているか、それぞれだろうが・・
個人的には、数学板で一番価値を置いているのは、確かな情報つまり根拠の明確な情報つまりコピペ

わけのわからん名無しさん（素数さん）のカキコを真に受けるとか、価値をおく人は少ないだろう
きちんと、大学教員レベルの証明があればともかく、匿名板でそれはない（名無しカキコは基本価値なし）

2018/10/28(日) 09:07:08.64

>>9 補足
＜数学ディベート＞について
過去スレより
http://rio2016.2ch.net/test/read.cgi/math/1494038985/50
50 自分：現代数学の系譜11 ガロア理論を読む[sage] 投稿日：2017/05/06
どこの馬の骨ともしれん連中との、数学ディベートもどきより
URLとコピペやPDFの方によほど価値を見いだすスレ主です（＾＾；
http://rio2016.2ch.net/test/read.cgi/math/1494038985/189-190
189 自分：現代数学の系譜11 ガロア理論を読む[sage] 投稿日：2017/05/09

いやはや、（文系） High level people たち（ ID:jEMrGWmk さん含め）の、数学ディベートもどきは面白いですね（＾＾；
”手強い？”とは・・、まさに、ディベートですね

私ら、理系の出典（URL)とコピペベース、ロジック（論証）＆証明重視のスタンスと、ディベートもどきスタイル（２ＣＨスタイル？）とは、明白に違いますね
私ら、（文系） High level people たちとの議論は、時間とスペースの無駄。レベルが高すぎてついていけませんね。典拠もなしによく議論しますね。よく分かりましたよ（＾＾；

190 自分返信：現代数学の系譜11 ガロア理論を読む[sage] 投稿日：2017/05/09
私ら、理系は、一応従来の議論は調べて、その上でしか議論はしません
そうしないと、大概二番煎じですし、車輪の再発明ですから

典拠もなしによく議論しますね～。よく分かりましたよ（＾＾；
私とは、議論がかみ合わないわけだ・・

”他サイトからのコピペでスレを埋め尽くす行為” なんて非難されましたけどね～（＾＾；
ディベートに勝ちたいからそういう発言なんですね～。典拠もなしで、出した典拠も読まない議論か・・。よく分かりましたよ（＾＾；

2018/10/28(日) 09:09:25.28

過去スレより
(おっちゃん、他のスレで苛められて、逃げて戻ってこないが（＾＾ )
http://rio2016.2ch.net/test/read.cgi/math/1497848835/638
638 名前：現代数学の系譜古典ガロア理論を読む[sage] 投稿日：2017/07/11(火) 08:40:28.58 ID:+FRiTcES
>>630
おっちゃん、どうも、スレ主です。

>>まあ、おっちゃんが、上記を理解したら、時枝は終わりにしよう
>マジメに時枝問題のことでスレ主に付き合う気はなく、
>もはやそういうことをする価値もない。
>スレ主自身の主張や考え方が大きく間違っていることを私のせいにするべきではない。

いやいや、おっちゃんよりレベルの低い人と議論するつもりはないんだよ～（＾＾
がまあ、おっちゃんのいう「価値もない」にも一理ある
ということで、皆さん悪いが、時枝は、一時棚上げだ。時々やろう

下記のパロディーで言えば、「数学雑談&ガロア理論～おっちゃんとボクと、時々、（時枝＆￥さん）～」かな（＾＾
まあ、話題を散らしながら、ゆっくりやりましょう（＾＾
おっちゃん！いま気になっていることを、好きに書いてくれ！（＾＾
https://ja.wikipedia.org/wiki/%E6%9D%B1%E4%BA%AC%E3%82%BF%E3%83%AF%E3%83%BC_%E3%80%9C%E3%82%AA%E3%82%AB%E3%83%B3%E3%81%A8%E3%83%9C%E3%82%AF%E3%81%A8%E3%80%81%E6%99%82%E3%80%85%E3%80%81%E3%82%AA%E3%83%88%E3%83%B3%E3%80%9C
東京タワー～オカンとボクと、時々、オトン～ - Wikipedia
(抜粋)
『東京タワー～オカンとボクと、時々、オトン～』（とうきょうタワーオカンとボクと、ときどき、オトン）は、リリー・フランキーの実体験を基にした長編小説である。
2006年と2007年にテレビドラマ化（単発ドラマと連続ドラマ）、2007年に映画化、舞台化されている。

2005年6月29日、扶桑社より発売された[1]。装丁もリリー本人。初版は3万部だった。2006年1月には100万部を突破。2006年10月31日には200万部（扶桑社発表）を越すベストセラーとなった。

久世光彦が「泣いてしまった…。これは、ひらかなで書かれた聖書である」と評価した。
(引用終り)

2018/10/28(日) 09:10:10.45

「現代数学のもとになった物理・工学」の解題：
言わずもがなですが、数学の発展の大きな原動力は、物理です。数学の発展の大きな原動力は、工学です。

別に説明するほどのこともないですが。
古代の幾何学の背景に、実際の土地測量や巨大建築からの要請が原動力にあったことは間違いないでしょう。

ニュートン以来の解析や数論も同様。
で、物理学の背景に、工学に直結する日常のいろいろな事象がある。戦争というのも、大きな要因ではあります。仏エコールポリテクニークなども、ナポレオン戦争遂行のための工学校です。
（https://ja.wikipedia.org/wiki/%E3%82%A8%E3%82%B3%E3%83%BC%E3%83%AB%E3%83%BB%E3%83%9D%E3%83%AA%E3%83%86%E3%82%AF%E3%83%8B%E3%83%BC%E3%82%AF エコール・ポリテクニーク 1804年にナポレオン・ボナパルトによって軍学校とされる）

工学が物理の進展を促した面は多々あります。有名なプランクの熱と光の放射の理論を研究した背景に、当時の工学的課題であった、高温物体を光学測定により正確な温度を知るため（今の光温度計）であったと言われています。
つまり、工学的課題「高温物体を光学測定により正確な温度を知るための光温度計」→物理的課題「高温物体の光放射理論構築」→プランクの量子仮説→量子力学の誕生→作用素環→非可換幾何（現代数学）ということなのです。

コンヌ先生もおっしゃっているそうですが、物理や工学の課題は、いままでもそうですが、現代数学のエネルギー源なのです。
京大数学科がだめになったのは、「20世紀の古い数学に閉じこもってしまった」というようなことがあるのではないでしょうか？新しい数学へのチャレンジが無い？
（参考過去スレ39 http://rio2016.2ch.net/test/read.cgi/math/1503063850/476 (抜粋)「自己顕示欲だけが目的で人生を送り、ほんで他人の邪魔ばっかししてるから筑波とか京大みたいになってアカン様になんのや。」）

2018/10/28(日) 09:10:55.16

時枝問題（数学セミナー201511月号の記事）まとめについては
スレ47 https://rio2016.5ch.net/test/read.cgi/math/1512046472/11-67 ご参照！
ほぼほぼ、時枝は、「ぷふ」さんのおかげで完全終了です！＼（＾＾）／

2018/10/28(日) 09:12:48.59

それで、いま前スレ53で議論していたのが、下記の定理1.7と関連の系1.8だ
（前スレ53で一段落ですが）
定理1.7 (スレ26のNo.422 に書いた定理)
f : R → R とする．
Bf :={x ∈ R ｜ lim sup y→x ｜（f(y) － f(x)）/（y － x）｜< +∞ }
と置く: もしR－Bf が内点を持たない閉集合の高々可算和で被覆できるならば、
f はある開区間の上でリプシッツ連続である．
証明
このとき, 補題1.5 を満たすN,M >= 1 が存在するので, 明らかにx ∈ BN,M である.

系1.8 有理数の点で不連続, 無理数の点で微分可能となるf : R → R は存在しない.
証明
定理1.7 が使えて, f はある開区間(a, b) の上でリプシッツ連続である.
一方で, x ∈ Q とf の仮定により, f は点x で不連続である. これは矛盾. よって, 題意が成り立つ.
(引用終り)
つづく

2018/10/28(日) 09:14:07.05

>>14 つづき
話の始まりは、https://rio2016.5ch.net/test/read.cgi/math/1510442940/422-423
（現代数学の系譜工学物理雑談古典ガロア理論も読む46）
定理の詳細の始まりは下記から。定理1.7と関連の系1.8の証明のPDF（今はリンク切れ）が、下記リンクからダウンロードできる
（引用開始）
スレ47 https://rio2016.5ch.net/test/read.cgi/math/1512046472/594
＜スレ46の422に書いた定理＞
594 名前：１３２人目の素数さん[sage] 投稿日：2017/12/12(火) 17:31:09.14 ID:14lo33mI
以下の pdf に証明を書いた。

ttps://www.axfc.net/u/3870548?key=Lipschitz （注：残念ながら、2018年10月時点では削除されているので、下記アスキー文ご参照。手元にはPDFは残っているのだが）

なるべく行間が無いように、丁寧に証明を書いたつもりである。
なお、「疎な閉集合」は「内点を持たない閉集合」と同じことであるから、
pdf の中では「疎な閉集合」という概念を導入せず、必要な個所ではその都度
「内点を持たない閉集合」
という言葉に置き換えた。
(引用終り)

2018/10/28(日) 09:15:24.27

>>15 つづき

スレ49において、PDFから、証明をアスキー化して、その全文を貼った
（文字化けと誤記はご容赦。読みにくいだろうが、そう思ったら右のURLのPDFを嫁め（・・と書いたが、削除されてしまった）。（＾＾ https://www.axfc.net/u/3870548?key=Lipschitz 「定理1.7 (422 に書いた定理)」の証明）
スレ49 https://rio2016.5ch.net/test/read.cgi/math/1514376850/178-186

つづく

2018/10/28(日) 09:16:22.72

>>16つづき
この話を理解するためには、ディリクレ関数、トマエ関数、The modified ruler function などの病的関数の知識が必要だ
そのための参考が下記

（参考）
http://nygsuken.webcrow.jp/article/8.html
病的な関数とは? 西大和学園数学研究部 2016-04-10

＜The modified ruler function のまとめサイト下記＞
http://mathforum.org/kb/message.jspa?messageID=5432910 （>>35より）
Topic: Differentiability of the Ruler Function Dave L. Renfro Posted: Dec 13, 2006 Replies: 3 Last Post: Jan 10, 2007

あと、これ（下記２つのPDF）くらいは、読まないと
スレ49 https://rio2016.5ch.net/test/read.cgi/math/1514376850/81 より
http://www.unirioja.es/cu/jvarona/downloads/Differentiability-DA-Roth.pdf
DIFFERENTIABILITY OF A PATHOLOGICAL FUNCTION, DIOPHANTINE APPROXIMATION, AND A REFORMULATION OF THE THUE-SIEGEL-ROTH THEOREM JUAN LUIS VARONA 2009
This paper has been published in Gazette of the Australian Mathematical Society, Volume 36, Number 5, November 2009, pp. 353{361.

スレ49 https://rio2016.5ch.net/test/read.cgi/math/1514376850/366 より
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.

2018/10/28(日) 09:16:48.68

テンプレは、以上です。（＾＾

2018/10/28(日) 10:59:27.80

ちょっと調べたのでメモ

https://ja.wikipedia.org/wiki/%E5%8F%AF%E7%AE%97%E9%9B%86%E5%90%88
可算集合

可算個の可算集合の和集合や、有限個の可算集合の直積集合はまた可算である。これより、代数的数全体の集合 Q は可算であることが従う。しかし、可算個の可算集合の直積集合や、可算集合の冪集合は非可算であり、その濃度は連続体濃度である。

可算個の可算集合の直積集合の濃度は、この濃度不等式

2^No <= No^No <= (2^No )^No = 2^No
( Noは、アレフゼロを表わす)
によって、 N 　と等しいことが示される。
( N は、アレフを表わす)

https://detail.chiebukuro.yahoo.co.jp/qa/question_detail/q1388503163
ID非公開さん2012/6/403:36:36 Yahoo
可算集合の可算個の和集合も可算集合になることを示せ

ベストアンサーに選ばれた回答
nbr********さん 2012/6/406:20:08
[takeru5hSI]

A_m = {a_mn ，A=∪A_mとする．a_mnをm+nが小さい順に，m+nが等しいものはmが小さいほうを先に並べると(同一のものが重複して出てきたときは飛ばす），この順番ですべてのa_mnの番号付ができるから，Aは可算．

**１３２人目の素数さん** · 2018/10/28(日) 14:46:44.72

補題1.5の証明もなんか怪しいんだが

2018/10/28(日) 17:24:14.03

下記、以前も紹介したが、「最新版 2018/04/09 更新」がヒットしたので貼る（＾＾
http://www.math.kanagawa-u.ac.jp/mine/
嶺幸太郎神奈川大学工学部数学教室
http://www.math.kanagawa-u.ac.jp/mine/ep_del/
http://www.math.kanagawa-u.ac.jp/mine/ep_del/ep_del_2018_04_09.pdf
(抜粋)
実数の連続性とε-δ論法最新版 2018/04/09 更新

・ボリュームがありすぎたため１割程度カットしました。
　削除された部分は、2018/02/27バージョンに残っています。
更新内容：
・ボリュームがありすぎたため１割程度カットしました。
　削除された部分は、2018/02/27バージョンに残っています。
・削除後の整合性を取るために、色々と書き加えました。
・前書きと索引を加えました。
実数の連続性とε-δ論法（2018/02/27）
http://www.math.kanagawa-u.ac.jp/mine/ep_del/ep_del_2018_02_27.pdf

目次
第１部：数列の極限と実数の連続性
　第１章　集合概念の基礎
　第２章　実数の性質
　第３章　数列の極限とその性質
　第４章　数列の極限と実数の連続性
第２部：写像の基礎とε-δ論法
　第５章　写像概念の基礎
　第６章　実数値関数
　第７章　関数の極限
　第８章　連続関数
　第９章　指数法則
第３部：距離空間の幾何学
　第１０章　点列の収束と写像の連続性
　第１１章　位相
　第１２章　距離空間に関する諸概念
　第１３章　連結空間と中間値の定理
　第１４章　点列コンパクト空間
第４部：付録
　第１５章　より厳密な微分積分法へ
　第１６章　命題と論理式
(引用終り)

2018/10/28(日) 17:29:20.12

>>21
これ、キーワード”現代数学の系譜ガロア理論嶺幸太郎”google検索すると
下記がヒットした（＾＾；

スレ49 https://rio2016.5ch.net/test/read.cgi/math/1514376850/221
221 ：現代数学の系譜雑談古典ガロア理論も読む：2018/01/07(日)
(抜粋)
”ε-δ論法”にコンプレックスのある方へ（＾＾
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/10/28(日) 17:34:02.79

(前スレの最後の方の>617-618方に書いたがまとめて再掲)
久し振りに見に来たおっちゃんです。
pdf の定理 1.7 の証明は読んでいないが、有理数か無理数とかはどうでもよくて、
背理法での証明で大事なのは、実数直線R上で G_δ集合と F_δ集合を考えていて、
G_δ集合が F_δ集合の補集合になっていることだと思われる。
(前)スレを見ると激しい論争になったようだが、背理法も全体集合を直線Rとして
R上で G_δ集合と F_δ集合を意識して使っていると思われる。

スレ主は一致の定理が成り立つことを否定したのか。

それじゃ、ここ最近一日中計算して手が疲れているから、おっちゃんもう寝る。

**１３２人目の素数さん** · 2018/10/28(日) 17:38:41.43

前スレを見て、スレ主には唖然とした。
じゃ、おっちゃんもう寝る。

2018/10/28(日) 17:41:12.54

>>20
>補題1.5の証明もなんか怪しいんだが

えーと、補題1.5は下記だが、これは元PDFから、文字コピーして、
それをアスキーでない部分を手でアスキーにしたんだが

それで確認だが、補題1.5自身は成立と思っているのだが、それで良いかな？
証明はともかくとして
スレ49 https://rio2016.5ch.net/test/read.cgi/math/1514376850/178-179
(抜粋)
178 投稿日：2018/01/05
(抜粋)
補題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)]が成り立つ.

証明
仮定により,
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/10/28(日) 17:46:25.47

>>25
補足

１．もし、スレ49のNo.178のアスキー文を読んだとしたら、私のタイプミスもありうるのでね
２．なので、補題1.5の成否と、その証明の成否は、分けて考えたいのだが

2018/10/28(日) 18:02:03.65

>>23-24
おっちゃん、どうも、スレ主です。
生きていたんですね（＾＾
お元気そうでなによりです

>スレ主は一致の定理が成り立つことを否定したのか。

そんなことはしていないよ
例の定理の主が、我田引水で強引な主張をしているだけのこと

例の定理の主が、言いたいことは、
例の定理1.7と系1.8との関係で背理法を使っているのだが
そのアナロジーとして、一致の定理の背理法証明を持ち出して、自分の背理法証明を守ろうとしているってことですよ

それに対して、私は、系1.8は、補集合が稠密で開区間が取れない場合にも関わらず
定理1.7は明らかに、開区間が取れる場合、即ち、補集合が稠密でない場合の定理だから、それを適用することは誤りだと主張している

で、一致の定理の背理法証明と、彼の定理1.7→系1.8の背理法証明とは、きっと微妙に違うんだわ（面倒だからスルーしたけど）
で、彼の定理1.7は、補集合が有理数Qのような稠密な場合は、当然、開区間が取れないので不成立

つまり、彼の定理1.7は、「補集合が有理数Qのような稠密な場合ではない」というのが、隠れ条件になっていると思う
（それは本来明示すべきと思う。そして、「補集合が有理数Qのような稠密」な場合は、別に定理を立てるべき。そういう主張です）

**１３２人目の素数さん** · 2018/10/28(日) 19:16:38.24

アホが主張するなコピペだけしてろと何度言えば理解できるのか？
いやそれが理解できないことがアホたる所以なのか

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

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