[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む49 (658ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
337: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2018/01/10(水)08:31 ID:xixJS48Q(2/11) AAS
まあ、おれと彼との違いは、例の”定理1.7 (422 に書いた定理)”が成立しているかどうかってところでね
それ以外の点では、いろいろ教えて貰っているんだ（＾＾
338: 2018/01/10(水)09:10 ID:9NYY/5Sm(3/4) AAS
答えて貰えないのは自分がどこかおかしいと思うのが普通ですね
339: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2018/01/10(水)11:49 ID:vsfEZQC9(1/17) AAS
>>336
ああ、このスレだと、
>>96-124のID:okX91MtSとID:fOPEnBccとが、彼だな
340: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2018/01/10(水)11:53 ID:vsfEZQC9(2/17) AAS
>>323
>定義しなければいけないのは飽くまでＸだよ。
うーんと、相対位相（下記）みたいな話かな？
外部ﾘﾝｸ:ja.wikipedia.org
境界 (位相空間論)
(抜粋)
例
有理数全体の集合に通常の位相（R の部分位相空間としての位相）を考えた位相空間の中では、a が無理数であるときの区間 (−∞, a) の境界は空集合である。
集合の境界というのは位相的な概念であり、集合に入れる位相を変えれば（同じ集合であっても）何が境界であるかが変わってくる。
(引用終わり)
外部ﾘﾝｸ:ja.wikipedia.org
相対位相
(抜粋)
そのような位相は、部分空間位相 (subspace topology), 相対位相 (relative topology) あるいは誘導位相 (induced topology) やトレース位相 (trace topology) などと呼ばれる。
例
以下、R は実数全体の集合に通常の位相をいれたものとする。
・R の部分空間としての自然数全体の成す集合の位相は離散位相である。
・R の部分空間としての有理数全体の成す集合の位相は離散位相ではない（例えば、点 0 のみから成る部分集合は Q の開集合ではない）。
a, b が有理数ならば、開区間 (a, b) および閉区間 [a, b] はそれぞれ Q の開および閉集合であるが、a, b がともに無理数のとき、a < x < b を満たす有理数 x の全体の成す部分集合は Q の開かつ閉集合となる。
・R の部分空間としての閉区間 [0, 1] は開かつ閉である（R の部分集合としては閉でしかないが）。
・R の部分空間としての互いに素な区間和 [0, 1] ∪ [2, 3] は二つの互いに素な開集合（もちろん閉集合でもある）の和であり、従ってこれは非連結空間となっている。
・R の部分空間としての S = [0, 1) について、[0, ?) は S の開集合だが R では開でない。同様に [?, 1) は S において閉だが、R の閉集合でない。S は自身の部分集合として開かつ閉だが、R の部分集合としては開でも閉でもない。
(引用終わり)
以上
341(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2018/01/10(水)11:54 ID:vsfEZQC9(3/17) AA×
>>312>>128
外部ﾘﾝｸ:detail.chiebukuro.yahoo.co.jp
342(3): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2018/01/10(水)11:59 ID:vsfEZQC9(4/17) AAS
>>341 つづき
（>>180より）
”定理1.7 (422 に書いた定理)
f : R → R とする．
Bf :={x ∈ R ｜ lim sup y→x ｜（f(y) − f(x)）/（y − x）｜< +∞ }
と置く: もしR−Bf が内点を持たない閉集合の高々可算和で被覆できるならば、 f はある開区間の
上でリプシッツ連続である．”
上記との対応は、Q：R−Bf 、R ＼ Q：Bf だ
（余談だが、ついでに言うと、>>178の通り (X,O) → (X,d) → (R,d)ってことでしょう ）
で、ある開区間（a, b）があって
いまR−BfがQのように、R中に稠密分散しているとする
（a, b）内のQ：R−Bfと 、R ＼ Q：Bf（無理数）とも、両者”内部も外部もΦ（空）で、境界と閉包はRそのものになる”
R ＼ Q：Bf（無理数）の部分集合であるリュービル数も、同様に”内部も外部もΦ（空）で、境界と閉包はRそのものになる”（まあ、リュービル数自信R中で稠密で、ルベーグ測度０は知られている）
で、集合としてのリュービル数も、開集合でも閉集合でもないし
非可算集合になるから、１点からなる閉集合では被覆できないことになる
なので、>>313のような”Modifications of Thomae’s function”で、特に急速減少関数では、Qとリュービル数の集合とのみが、” not differentiable”になる
が、ある開区間（a, b）が生じるわけでは、決してない
以上
343: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2018/01/10(水)12:03 ID:vsfEZQC9(5/17) AAS
>>342 訂正
非可算集合になるから、１点からなる閉集合では被覆できないことになる
↓
非可算集合になるから、高々加算の１点からなる閉集合では被覆できないことになる
344(2): 2018/01/10(水)12:07 ID:Dmr1OLA6(1/3) AAS
おっちゃんです。
コピペより ε-N を。
345: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2018/01/10(水)12:56 ID:vsfEZQC9(6/17) AAS
>>253 補足追加
">一次式の係数を無理数にとったら値が有理数にならないことがある、ということのどこが面白いの？
数理女子(>>217)にならって言えば
"有理点が無い場合
実平面の中には有理点がびっしりと詰まっているので、有理点を避けて通る直線なんて無いような気がしてしまうかもしれません。しかし、有理点を持たない直線（１次関数）も、実はいっぱい存在するのです。"
ってこと"
まあ、代数的に考えたら、なにも面白くないかもしれないが
幾何的に考えたら、無限長の平面直線が、平面上に無数に稠密分散する有理点（p,q）と全く交わらない
そういう直線が存在する
逆は不成立。
無理数点を避けることはできない
そういう幾何学的イメージを持つことが、Qの稠密性を理解する上で、面白いと思った次第
346(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2018/01/10(水)13:01 ID:vsfEZQC9(7/17) AAS
>>344
おっちゃん、どうも、スレ主です。
よほど、ε-Nコンプレックスなんだね（＾＾
347(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2018/01/10(水)13:03 ID:vsfEZQC9(8/17) AAS
まあ、わかるよ
おっちゃんみてたら
348(1): 2018/01/10(水)13:07 ID:Dmr1OLA6(2/3) AAS
>>346-347
>>344は「ローマよりアテネを」というセリフにかけてスレ主へ向けて書いたんだが。
349: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2018/01/10(水)13:11 ID:vsfEZQC9(9/17) AAS
>>342 訂正
（a, b）内のQ：R−Bfと 、R ＼ Q：Bf（無理数）とも、両者”内部も外部もΦ（空）で、境界と閉包はRそのものになる”
↓
（a, b）内のQ：R−Bfと 、R ＼ Q：Bf（無理数）とも、両者”内部も外部もΦ（空）で、境界と閉包は閉区間[a, b]になる”
かな
（参考）
外部ﾘﾝｸ:ja.wikipedia.org
境界 (位相空間論)
(抜粋)
内点を持たない稠密集合の境界はその集合の閉包に一致するという一般的な事実を説明するものになっている。
(引用終わり)
外部ﾘﾝｸ:ja.wikipedia.org
閉包
(抜粋)
・位相空間において部分集合の閉包はその部分集合を含む最小の閉集合。クラトフスキの閉包公理（英語版） も参照。
(引用終わり)
350(2): 2018/01/10(水)13:17 ID:Dmr1OLA6(3/3) AAS
>>346-347
古代、ローマでは実用性が重視されていて数学が発展したことはなく、ギリシアで数学が発展した。
一方、ギリシアでは数学が発展した。「ローマよりアテネを」というのは大体そういう意味のセリフ。
それと同様に、コピペばかりしても何の発展もありませんと。そういう意味で書いた。
351: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2018/01/10(水)13:18 ID:vsfEZQC9(10/17) AAS
>>348
google先生は、「"ローマよりアテネを"との一致はありません。」だって（＾＾
さすれば、おっちゃんの数学新定理と同じく、新格言か
おっちゃん、数学だけではなく
格言でも才能を発揮したんだね〜（＾＾
352: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2018/01/10(水)13:20 ID:vsfEZQC9(11/17) AAS
>>350
おっちゃん、どうも、スレ主です。
ご高説は結構だから
早く論文書いて、実力を証明してくれ〜！（＾＾
353(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2018/01/10(水)13:53 ID:vsfEZQC9(12/17) AAS
>>350
＜参考＞
外部ﾘﾝｸ:detail.chiebukuro.yahoo.co.jp
ローマ帝国がキリスト教化しなかったら、人類の科学技術は1000年くらい早く今のレベルに到達していたというのは本当ですか？ rmcgkfさん yahoo 2011/5/13
(抜粋)
ベストアンサーに選ばれた回答 xiaomaoさん 2011/5/14
古代ローマ人の頭が良かったというより、キリスト教が「疑うこと」を悪と見なしたため、古代ローマ時代に獲得した技術が失われ、中世の時代の技術発展が停滞したからです。
例えて言うなら、古代ローマ時代までの人たちが順調に積み重ねていた積み木が崩れて、またゼロからやり直しになったんです。
積み木が崩れることが無く、そのまま順調に積み重ねていたらきっと1000年くらいは早くなっただろう・・・という意味です。
科学技術というのは「あの太陽とはいったい何なのだろう？」と疑うところから出発します。しかし、キリスト教では世界というのは聖書に書いてある通り神が作ったものであり、それを疑い実験しようものなら神を試す行為として糾弾されました。
そのため、技術の発展が止まってしまったんです。
それに加えて、ローマ時代の文献はラテン語で書かれていたのですが、聖職者はラテン語を神学を学ぶ為だけのものとして独占してしまったんです。そのため、古代ローマ人が培った技術を読めるものがいなくなって失われてしまいました。ちなみに、後にそれはおかしいということで、ラテン語で文献を読む人たちが出てきて技術を復興します。それがルネサンスです。
失われてしまった技術の例としては、都市に完備された上下水道網、各都市をつなぐ舗装された幹線道路、
コンスタンティノポリスのような巨大かつ堅固な城壁を築く築城技術、それを破ることが出来るような精度の高い投石器や様々な力学を駆使した攻城兵器、
「アンティキティラ島の機械」を作ることが出来るほどの天文知識と機械技術、現代にも見劣りしない「ミロのヴィーナス」のような美術・・・などなどキリがありません。
なんかこう書くとキリスト教が悪いように見えてしまいますが、この中世の時代を当のキリスト教徒である西洋人たち自身が「暗黒の時代」と呼び、現代では戒めとしています。そういう反省し教訓とする姿勢は見習うべきものであるでしょう。
(引用終わり)
つづく
354(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2018/01/10(水)13:54 ID:vsfEZQC9(13/17) AAS
>>353 つづき
外部ﾘﾝｸ:ja.wikipedia.org
数学史
(抜粋)
3.5 ギリシアおよびヘレニズム数学（紀元前550年?西暦300年頃）
4 中世以降のヨーロッパ数学の発展
4.1 中世初期（西暦500?1100年頃）
4.2 ヨーロッパ数学の復活（西暦1,100?1,400年頃）
5 近代ヨーロッパ数学（西暦1400?1600年頃）
ピタゴラス学派は無理数の存在を発見した。エウドクソス（紀元前408?355年頃）は、現在の積分法の先駆である、取り尽くし法を開発した。アリストテレス（紀元前384?233年頃）は最初に論理学の法を書いた。
エウクレイデスは今日の数学でも使用される形式である、定義、原理、定理、証明の最も初期の例である。
彼はまた円錐曲線の研究も行った。彼の本、『ユークリッド原論』は、20世紀の中頃まで、西洋で教育を受けたものすべてに知られていた[31]。
ピタゴラスの定理などの幾何学のよく知られた定理に加えて、『ユークリッド原論』には2の平方根が無理数であることや素数が無限に存在することの証明が記述されている。素数の発見にはエラトステネスの篩（紀元前230年頃）が使用された。
ギリシア数学の、あるいは全時代の最も偉大な数学者は、シラクサのアルキメデス（紀元前287?212年）であると言われている。
プルタルコスによると、75歳のとき、地面に数式を書いている最中にローマの軍人に槍で刺されたとされている。古代ローマは純粋数学への関心の証拠をほとんど残していない。
中世以降のヨーロッパ数学の発展
中世ヨーロッパの数学への関心は、現代の数学者と全く異なる動機にもよっていた。
その1つは、数学による自然の記述を通じて宗教的な理解が促進されるという信念であり、プラトンの『ティマイオス』および聖書の『知恵の書』11章20節[33]によって幾度も正当化された。
(引用終わり)
つづく
355: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2018/01/10(水)13:55 ID:vsfEZQC9(14/17) AAS
>>354 つづき
外部ﾘﾝｸ:ja.wikipedia.org
Category:古代ローマの数学者
(抜粋)
・アレクサンドリアのディオファントス
・パップス
・アレクサンドリアのヘロン
(引用終わり)
以上
356(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2018/01/10(水)15:45 ID:vsfEZQC9(15/17) AAS
これ（下記）がちょっと面白かったな〜（＾＾
外部ﾘﾝｸ:www.nikkei.com
ＡＩ的間違い電話 村田沙耶香 プロムナード 日本経済新聞 2018/1/10
(抜粋)
だいぶ前のことだが、アルバイトをその少し前に辞めたエミちゃん（仮名）から突然電話がかかってきたことがあった。
「さやかー！ 久しぶりー！」
「わあー！ エミちゃん、久しぶり！」
私は明るく返事をした。
話の内容は、彼女が今している恋愛の話と、新しいバイト先の愚痴だった。私は、「そっか、そっか」「大変だね」と頷きながら話を聞いていた。
明るく話し続けるエミちゃんに「そっか」「そうだね」と適当に相槌（あいづち）を打ちながら、私はまさか、と思い始めていた。
エミちゃんの話が途切れたときに、私は勇気を出して、「あの……あなたはどなたですか？」と聞いてみた。
エミちゃんは驚いたようで、一瞬無言になった。
「……は？ 何？ え？ 何言ってるの、さやか？」
「いえ、あの……あなたの苗字（みょうじ）は何ですか？ 私は村田というんですが……」
「え？ 村田？ は？」
しばらく話し合った結果、この電話は間違い電話だということがわかった。三十分以上お喋（しゃべ）りをしてしまった手前、いきなり切るのも憚（はばか）られ、気まずい時間が流れた。
つづく
357: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2018/01/10(水)15:46 ID:vsfEZQC9(16/17) AAS
>>356 つづき
「……あの、じゃあ、あなたは、○○学校のさやかさんじゃないってことですよね」
「はい、そうです。エミちゃんという友達がいたので、その子からかと思って……」
「え、あなたもエミちゃんって友達がいるんですね……すごい偶然ですね……」
「そうですね、えへへ……」
さっきまであんなに親しく話していたのに、赤の他人と分かった瞬間に敬語でおそるおそる話している自分たちが不思議だった。
私はこの奇妙な間違い電話のことを、なかなか忘れることができなかった。なぜ、赤の他人である私とエミちゃんは、三十分以上も仲良く会話することができたのだろうと何度も思い返した。
先日、ＡＩの番組に出演させていただく機会があった。テーマは「会話」だった。そのとき、ふと思った。私はあのとき、ＡＩだったのではないか。エミちゃんの発した言葉に、いかにもそれらしい相槌を打つ。ただそれだけで、私たちは三十分も親しい友達のように会話をした。
実は私たちも、ＡＩと同じような仕組みで会話をしている瞬間があるのではないか。
観（み）ていない映画を、勘違いして観たかのように話をしていた時、顔はわかるがどこで会ったのかよく覚えていない人と談笑している時、私はきっとＡＩ的に会話をしているのだ。
それは必ずしも不誠実というわけではなく、人間の面白い一部分なのではないか。そう思うと、自分という生きものの新しい一面を発見している気持ちになれる。自分の中の「ＡＩ的部分」を、もっともっと見つけてみたくなるのだ。
（作家）
(引用終わり)
358: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2018/01/10(水)17:24 ID:vsfEZQC9(17/17) AAS
この”カレンダー印刷PDF無料ダウンロード | アラクネ”なかなか良いんだよね（＾＾
今年もお世話になります（＾＾
外部ﾘﾝｸ:www.arachne.jp
2018年カレンダー印刷PDF無料ダウンロード | アラクネ
(抜粋)
シンプルなデザインのPDFカレンダーが無料でダウンロードできます！サイズはA4・卓上の2種類。日曜と月曜はじまり。六曜・二十四節気・祝日・文字サイズ等各種カスタマイズ可。
こんにちは、ウェブスタジオアラクネと申します。弊社では毎年、オリジナルのカレンダーPDFを制作して公開しています。
市販のカレンダーで使いたいと思うデザインのものがなかったので、シンプルで機能的、使いやすいデザインのものを自分でつくりました。
いくつかのサイズバリエーションと、月曜はじまり・日曜はじまり・年間カレンダーなどの種類があります。また、PDFのレイヤー機能により、表示する要素を自由にカスタマイズ印刷することができます。ご自由にダウンロードしてご利用ください。
ダウンロード
EXCELカレンダー
全部入り！オンラインカレンダー
アラクネノート
大学ノート・原稿用紙・方眼紙など、さまざまなノートのPDF集ページです。
制作者について
ウェブスタジオアラクネという名前で、フリーランスでウェブ制作業をしております、笹井智之と申します。2004年から仕事をスタートして、このカレンダーは2006年から作り始めました。
こちらがウェブスタジオアラクネのサイトです。制作実績などございますので、ご興味ございましたらご覧ください。
(引用終わり)
359(2): 2018/01/10(水)19:03 ID:N+Cjs8Xm(4/6) AAS
＞前スレでのNo.531以下の幾つかが、彼の数学的発言だな
＞主要なやりとりは、No.531〜609辺りかな
＞それ以外にもあるかも知れないが・・
さすがに８０ものレス追う気せんわ
そんだけ紛糾するってことはその程度の内容なんだろう。
ぷよ 反論があるなら指摘されたことを踏まえて改めてうｐしてみ？ それともまた逃げる？
360(1): 2018/01/10(水)19:29 ID:oaWP3F32(1) AAS
>>359
ぷ
その程度の人だって白状したのは褒めてあげましょう
361(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2018/01/10(水)19:35 ID:xixJS48Q(3/11) AAS
>>359
どうも。スレ主です。
>さすがに８０ものレス追う気せんわ
まあ、そうだろうね。論争当事者でなければ、レス追う気せんだろう
で、まあ、下記辺りが、彼の主張の中核だろうね
（前スレ）
「564 名前：１３２人目の素数さん[] 投稿日：2017/12/26(火) 12:39:46.63 ID:bh2BICch [2/4]
もともと取れないからこそ背理法が効くわけです
可算集合の補集合で微分可能→ある開区間で連続→矛盾→可算集合の補集合で微分可能ではない
という流れですよ
ある開区間で連続以降の論証に持ち込むのに
可算集合の補集合で微分可能→ある開区間で連続
の論証が最も重要です
565 返信：１３２人目の素数さん[] 投稿日：2017/12/26(火) 12:55:35.93 ID:bh2BICch [3/4]
>>562
> 例えば、>>554に示したように、”無理数で可微分、dense（稠密）な有理点のみ微分不可の函数は構成あり”（>>506）で、
> この背理法の論法が正しいならば、「微分可能なある区間(a, b)が取れないから（取れるとすると矛盾するから）、このような関数は存在しない」という結論が、導かれてしまう（本来有理点は稠密であるから、この背理法の論法自身がおかしい）
その関数は連続関数なのでは？それに微分可能な区間が取れないということからはそのような関数の存在も許されるということしか言えませんよ
566 名前：１３２人目の素数さん[] 投稿日：2017/12/26(火) 12:57:59.52 ID:bh2BICch [4/4]
許されるは変でした
許されないとは言えない
ですか」
(引用終り)
以上
362: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2018/01/10(水)19:44 ID:xixJS48Q(4/11) AAS
>>361 補足
で、私の主張は、下記
（前スレより）
「607 自分：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 投稿日：2017/12/27(水) 07:13:19.94 ID:JqNELMW3 [2/8]
>>604
>で？そのあとの最終的な結論は？
単純に場合分けをしただけだよ（>>561を 微修正）
１）補集合R−Bfが、R中で稠密で無い場合：この場合は、どこかにBfを満たす区間(a, b)が取れる（べき）。そして、条件Bfが成り立つならば、(a, b)で連続である
２）補集合R−Bfが、R中で稠密である場合：この場合は、どこにもBfを満たす区間(a, b)は、取れない。
それだけ
608 自分返信：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 投稿日：2017/12/27(水) 07:20:51.76 ID:JqNELMW3 [3/8]
>>607
（補足）
１）の場合
lim sup y→x ｜（f(y) − f(x)）/（y − x）｜< +∞ が、区間(a, b)で成り立っているとする
区間(a, b)での、lim sup y→x ｜（f(y) − f(x)）/（y − x）｜の最大値を、Mとする
lim sup y→x ｜（f(y) − f(x)）/（y − x）｜<= Mと書ける
区間(a, b)で、リプシッツ連続である
以上
614 返信：１３２人目の素数さん[sage] 投稿日：2017/12/27(水) 20:28:08.95 ID:hLkm2n+q [1/4]
>>607
「場合分けしただけ」というのが最終的な結論なのであれば、
「例の定理(もしくは "弱い定理")は自明な定理であって、証明の必要がない」
という当初の主張は撤回するということだな？
だったらそれでいい。場合分けすること自体には別に間違いもクソもないからな。
621 自分：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 投稿日：2017/12/27(水) 23:17:07.10 ID:JqNELMW3 [7/8]
>>614
場合分けは、普通は、証明のためだよ
自得するのを、待ったんだが・・（＾＾
貴方の証明を斜め読みしたが、稠密で無い場合、つまり、どこかにBfを満たす区間(a, b)が取れる前提でしか、
証明していないように見えるが、どう？」
(引用終り)
以上
363(2): 2018/01/10(水)19:57 ID:N+Cjs8Xm(5/6) AAS
>>360
やはり逃げの一手か
かかる見苦しい醜態晒すなら、いっそ消え去れば良いものを
364(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2018/01/10(水)20:36 ID:xixJS48Q(5/11) AAS
>>363
いやいや、彼「ぷふ」さんも、例の「定理1.7 (422 に書いた定理)」（>>178）の証明を書いた方も、明らかに私スレ主より、レベル上だわ（＾＾
私ら、不勉強の、単なるアホバカですからね
但し、この「定理1.7 (422 に書いた定理)」については、Ruler FunctionとかModifications of Thomae’s functionとかの論文を、曲がりなりにも読み込んでいたので、”定理の結論と読み込んだ論文の結論とが合わない”ということが分った
そこが大きな違いです
365(1): 2018/01/10(水)21:00 ID:9NYY/5Sm(4/4) AAS
>>363
おやまあ
自分を棚に上げるのがお上手ですね
366(4): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2018/01/10(水)21:42 ID:xixJS48Q(6/11) AAS
>>364 追加
ちょっと思いついたので、悪いが、忘れないうちに下記を書いておく
（>>40より）
外部ﾘﾝｸ[jspa]:mathforum.org （>>35より）
Topic: Differentiability of the Ruler Function Dave L. Renfro Posted: Dec 13, 2006 Replies: 3 Last Post: Jan 10, 2007
より
The modefied ruler function f is defined by
f(x) = 0 if x is irrational,
f(0) = 1, and
f(x) = 1/w(q) if x = p/q ∈Q
where p and q are relatively prime integers with q > 0.
ここに
w(q)：an increasing function that eventually majorizes every power function.
（w(q)は、どんなｐの冪より早く増大する関数
外部ﾘﾝｸ[pdf]:kbeanland.files.wordpress.com
Modifications of Thomae’s function and differentiability, (with James Roberts and Craig Stevenson) Amer. Math. Monthly, 116 (2009), no. 6, 531-535.
などではP532で、” (e.g., ai = 1/i^(i^i) )”などと記されている。qで書けば、= 1/q^(q^q)だ）
簡単のために、区間[0, 1]を考える。（同じことを、区間[n, n+1] (ｎは整数)で考えれば、実数R全体に展開できる）
このような、場合、上記数学者のRenfroさんや、Robertsさんたちは、”Qで不連続、リュービル数（超越数）で微分不可（リプシッツ連続でもない）だが、それ以外の無理数では、微分可だ”という
つづく
上下前次1-新書関写板覧索設栞歴
あと 292 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.047s