17/12/06 21:54:41.40 UdOecrrZ.net
>>397 つづき
URLﾘﾝｸ(en.wikipedia.org)
Lottery mathematics
(抜粋)
Contents [hide]
1 Choosing 6 from 49
2 Odds of getting other possibilities in choosing 6 from 49
3 Pick8-32 odds and calculations
4 Powerballs And Bonus Balls
5 Minimum number of tickets for a match
6 References
7 External links
Minimum number of tickets for a match
It is a hard (and often open) problem to calculate the minimum number of tickets one needs to purchase to guarantee that at least one of these tickets matches at least 2 numbers. In the 5-from-90 lotto, the minimum number of tickets that can guarantee a ticket with at least 2 matches is 100.[3]
References
１． Zabrocki, Mike (2003-03-01). "Calculating the Probabilities of Winning Lotto 6/49,Version 3" (PDF). Retrieved 2016-08-14.
URLﾘﾝｸ(garsia.math.yorku.ca)
URLﾘﾝｸ(garsia.math.yorku.ca)
Math 5020
Fundamentals of Mathematics for Teachers
Professor Mike Zabrocki
(March 1, 2004) I revised the draft of the explanation of Lottery 6/49 to produce version 3. At this point I don't have much momentum on this project, but please offer your comments on the forum (I got none this last week except for one negative one). See my remarks on the forum. I will bring this up in class tonight.
External links
・Euler's Analysis of the Genoese Lottery at Convergence Mathematical Association of America
URLﾘﾝｸ(www.maa.org)
（オイラー先生の解析もなんかすごいね）
・Lottery Mathematics
URLﾘﾝｸ(probability.infarom.ro)
（このサイトは結構詳しいね）
(引用終り)
以上
434:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/06 22:01:10.78 UdOecrrZ.net
>>395
・悪いが、訳分からん
・来るところを間違えている。「人生相談板」にでも行けば～？（＾＾
・「これだけ数学してるのに給料はない」って、当たり前
・数学だけやって給料貰えるのは、ほんの一握りだけ。それ、昔からの証明済み定理だろうよ！
・いまどき、数学＋（プラス）なにかもう一芸ほしいよね（＾＾
以上
435:１３２人目の素数さん
17/12/06 22:31:25.57 Eo8eW1BK.net
＞いまどき、数学＋（プラス）なにかもう一芸ほしいよね（＾＾
と、大学一年生に嘲笑されながら申しております
436:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/06 23:18:38.70 UdOecrrZ.net
>>376
山崎和夫先生の記事に、”フィールツ の恒等式”というのが出てくるので、検索した結果を貼る（＾＾
URLﾘﾝｸ(detail.chiebukuro.yahoo.co.jp)
スーパースペース（超空間）とは何ですか？ yahoo 2008/8/31
(抜粋)
ベストアンサー以外の回答1?3件/3件中
pistis_sophia_00さん 2008/9/4
超対称理論は、過去いくつか提案されてきましたが、多くの人が正しいと思っているのはWess-Zumino理論（とその発展）です。
A→A＋δA、B→B+δB、ψ→ψ＋δψ、F→F＋δF、G→G＋δGという変換を施してもラグランジアンが不変であることがわかります。
（計算はかなり大変。フィールツ恒等式をつかう）
(引用終り)
URLﾘﾝｸ(en.wikipedia.org)
Fierz identity
(抜粋)
In theoretical physics, a Fierz identity is an identity that allows one to rewrite bilinears of the product of two spinors as a linear combination of
437:products of the bilinears of the individual spinors. It is named after Swiss physicist Markus Fierz. There is a version of the Fierz identities for Dirac spinors and there is another version for Weyl spinors. And there are versions for other dimensions besides 3+1 dimensions. Spinor bilinears can be thought of as elements of a Clifford Algebra. Then the Fierz identity is the concrete realization of the relation to the exterior algebra. The identities for a generic scalar written as the contraction of two Dirac bilinears of the same type can be written with coefficients according to the following table. (引用終り) https://en.wikipedia.org/wiki/Markus_Fierz Markus Fierz https://ejje.weblio.jp/content/identity identity 主な意味 同一であること、同一性、一致、同一人であること、本人であること、正体、身元、独自性、主体性、本性 研究社 新英和中辞典での「identity」の意味 ３ 可算名詞 【数学】 恒等(式); 恒等関数. (引用終り)
438:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/06 23:19:44.00 UdOecrrZ.net
>>400
おまえ１年生かい？（＾＾
439:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/06 23:37:31.14 UdOecrrZ.net
東大京大の数オリメダル級で、大学１年にして、私らを遙かに凌駕する人いるだろうね・・（例えば下記荒木 不二洋先生みたいな・・）
スレ39 ｽﾚﾘﾝｸ(math板:185番)
185 名前：￥氏 ◆2VB8wsVUoo [sage] 投稿日：2017/08/20(日) 07:12:24.91 ID:vRIJh8/a [3/16]
(抜粋)
今思い出したが、かつてこんな事があった。私は阪大の学部学生の時に「Schiffの量子力学
の教科書」を必死で勉強してたが、その中身がどうも気持ちが悪い。なので質問に行った。
数理研の荒木教授：
その教科書なら僕は高校生の時に読みました。ソコがちゃんと書いてないのは確かに良くな
いと僕も思うんですがね、それでキミはどう考えるんですか。ちゃんと正確に述べて下さい。
という様な事でしたね。
スレ39 ｽﾚﾘﾝｸ(math板:190番)
190 自分：現代数学の系譜 古典ガロア理論を読む[sage] 投稿日：2017/08/20(日) 07:58:37.73 ID:pWaRphaP [4/39]
(抜粋)
￥さんの話は、いつも興味深いですね
”数理研の荒木教授：その教科書なら僕は高校生の時に読みました。”ねー
うーんと、検索すると下記”父は元京大教授荒木源太郎”で、”湯川秀樹先生に相談の上、理論物理学者である荒木源太郎先生［3］を招聘されたそうです［1］。将 来の化学を担う人材の育成には量子力学も必要だと”・・
まあ、お父さんの書棚の本を読んだのですね？
多分、その調子だと、読んだのは、Schiffの量子力学だけではないでしょうね（お父さんの書棚の本を読みまくったのかな？）
Schiffの量子力学は、荒木 不二洋のころだと、当然原書でしょうね。数学だけじゃなく、原書の英語も読めたんだ（＾＾
荒木 不二洋先生は、高校生ですでに、並みの大学教授を上回る、量子力学の力があったということでしょう
URLﾘﾝｸ(ja.wikipedia.org)
(抜粋)
荒木 不二洋（あらき ふじひろ、1932年7月28日 - ）は、日本の数学者。数理物理学者。京都大学名誉教授。京都大学数理解析研究所元所長。専門は場の量子論・量子統計力学の代数的構造論、作用素環論。父は元京大教授荒木源太郎。
(引用終り)
440:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/06 23:45:54.49 UdOecrrZ.net
BLACKXさん、分からない問題はここに書いてね438
ｽﾚﾘﾝｸ(math板:186番)
186 名前：BLACKX ◆jPpg5.obl6 [sage] 投稿日：2017/11/28(火) 23:16:24.46 ID:FNaKctJX
URLﾘﾝｸ(imgur.com)
整数の分割と言う参考書の
6.10の式の代数操作後の式の代数操作の詳細がわかりません。
どのような操作を行うと操作後の式になりますか。ご教授お願いします。
(引用終り)
これがレスつかないから、私が、>>201（2017/12/02(土) ）でレスを付けたのをお忘れなく
別に自慢するわけではないが、”えっへん”・・（＾＾
（東大京大）大学一年生に嘲笑されるレベルのスレ主だろうし、否定はしないが
この数学板のレベルも、そんなものよ！（＾＾
441:BLACKX
17/12/07 02:09:53.83 KvBQXGSb.net
ぼく、しょうがく４ねんせいだからその問題わからなかったー
442:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/07 08:18:33.30 jVxSMgKf.net
>>405
BLACKXさん、どうも。スレ主です。
メッシュ屋って、こんな絡みの話かい？
URLﾘﾝｸ(www.businessinsider.jp)
「匠の技」頼みの日本自動車メーカーの危機?? VRでの新車開発でドイツに完敗 井上久男 BUSINESS INSIDER JAPAN 20171207
自動車産業界ではいま、大きなパラダイムシフトが起きている。その動きは「CASE」というキーワードで端的に象徴される。Connected（つながるクルマ）、Autonomous（自動運転車）、Shared（配車サービスなど）、Eelectric（電気自動車）の頭文字を取ったものだ。
日本の自動車メーカーはVRを使った開発がドイツに比べて遅れている。その理由は端的に言えば、「匠の技万能主義」と過剰なほどの現場主義がハイテク技術の導入を妨げているからだ。
ドイツではVRの技術を駆使して、実物での試作を減らし、机上で開発試作の仕様作りを完了する流れが強まっている。こちらの方が開発のスピードが圧倒的に早いうえ、開発の上流で、下流の製造まで意識した設計にすることから、品質トラブルも減少するという。
バーチャル・シミュレーションを使った手法は「モデルベース開発（MBD）」とも呼ばれる。実物で確認しづらい宇宙探査機やソフトウエアの開発で生まれた手法だ。仕様の「数値モデル」を実物での試験なしに机上で作り上げてしまうことからその名が付いた。
これが自動車の世界にも応用され始めているのだ。電子制御化が進む現在のクルマはソフトウェアの塊だ。高級車だと、ソフトウェアの分量を示す「行数」は1000万行を超え、ボーイングの最新鋭機「787」の約800万行よりも多い。これが前述した「CASE」によってさらに増えると見られる。
つづく
443:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/07 08:19:48.37 jVxSMgKf.net
>>406 つづき
マツダのノウハウを求めたトヨタ
日本でMBDを使って短期間で開発に成功した例としては、マツダの「スカイアクティブエンジン」が業界では有名だ。開発にあたってマツダはドイツのツールを使っている。これに対して、昔ながら
444:の現場主義にこだわるトヨタはMBDの全社的な導入が遅れていると言われる。トヨタとマツダが提携したのも実は、こうしたマツダのノウハウをトヨタが求めたからだ。 ドイツに限らず、欧州ではバーチャル・シミュレーションの導入が進んでいる。1980年代、フォルクスワーゲンが日本車に駆逐されて北米市場から撤退したように、大衆車ではドイツ車の品質は日本車にかなわなかった。こうした教訓から、「メイド・イン・ジャパン」打倒のために欧州を挙げて開発手法の刷新と効率化を進めてきた。 現在は第8世代のプロジェクト「ホライズン2020」が始まっている。 こうした問題提起をすると、日本でもCAD（コンピューターによる開発支援）やCAM（コンピュータによる製造支援）が進んでいるとの反論を受けるかもしれない。しかし、敢えて言いたい。 CADやCAMは単に設計図をデジタル化した業務の効率化に過ぎない。これに対してVRを使って試作を減らす手法は開発哲学の抜本的な変更で、イノベーションを起こすツールとも言えるだろう。 日本の自動車産業にいま、バーチャル・エンジニアリングの脅威が迫っている。 井上久男 (いのうえ・ひさお)：ジャーナリスト。1964年生まれ。1988年九州大学卒業後にNECに入社。1992年朝日新聞社に転職して主に名古屋、東京、大阪の経済部でトヨタ自動車や日産自動車、パナソニック、シャープなどを担当。2004年、朝日新聞を退社、フリージャーナリストに。最新刊に『自動車会社が消える日』。 (引用終り)
445:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/07 08:28:59.37 jVxSMgKf.net
>>405
BLACKXさん、どうも。スレ主です。
分っていると思うが、老婆心ながら・・
１．高校生が、オイラーやガウスやガロアの研究した定理を独自に再発見すれば、称賛されるだろう
２．まあ、大学学部でも同じかも
３．修士だとどうだろう。博士課程だと、先行研究の調査が甘いと言われるだろう
４．社会人なら？ 他人の先行研究を知らずに、発表しても評価は低いだろう。場合によれば、盗作を疑われる
５．ビジネスなら、他者の特許や著作権、知的財産の権利侵害で問題になる可能性もある
で、先行研究の調査抜きでやっているような感じがするんだよね
まあ、遊びなら良いけど。でも、遊びにしても、先行研究の調査はやって良いんじゃ無いかな？ 社会人なんだから・・
446:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/07 08:38:58.06 jVxSMgKf.net
BLACKXさん、どうも。スレ主です。
知らないことがあることは、別に、だれにでもあることで、そのための掲示板でもある
ソクラテスの無知の知だろう
数学界でも、共同研究が増えている
一人でやる場合もあるだろうが、複数の人でやることも普通でしょ
まあ、>>404は、冪級数展開が閃くかどうかだけの話なんだよね
447:ｽﾏﾎBLACKX
17/12/07 12:36:49.44 51hbZHFD.net
>>408
言われるね
メッシュ屋だと特にデータ走らせる前に数値選定してカットするから
カットが甘いとメッシュもきれいに分かれないからね
例えば定数の中に無理数とかがあるとうまく切れずに全てデータの意味無しだから無理数に置き換わる何かか寸法が無理数に対応できる切り方をしないといけない
私は今回やるにあたって2年ぐらいかけて友愛数や桁の多い倍数判定法など学んできたけどAir値から分割するっていうのは整数で切れるように構築して％とか無理数は無い状況にしたつも
448:りだったけど甘かったよ当然。 自分の知識が先行して素数や展開式を疎かにして数学において行かれた気がするよ でも構築の仕方が条件付きの7数展開の整数論だから無理数は無いと考えます 後は私が数学をもっと勉強するだけですね
449:ｽﾏﾎBLACKX
17/12/07 12:42:41.20 51hbZHFD.net
>>406
車メーカーじゃないよ
でもメーカーの設計部門の解析上流部署だね
要するに、どういう風に材料の場を分けて5力のデータを取るかの部署
450:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/07 14:08:22.19 jEF0wwAo.net
>>409 補足
>まあ、>>404は、冪級数展開が閃くかどうかだけの話なんだよね
山崎和夫先生が、「～後編：W.ハイゼンベルク先生～ 」数理科学 2017年12月号の記事に
に書いていることで
ハイゼンベルク先生がパウリ先生と共同研究のラグランジアンLについて
山崎和夫先生一生で最高の閃きが、”フィールツ の恒等式”だという
たまたま、京都の基礎研の助手時代に、ゼミで縁遠い、宇宙線か原子核の話で、弱い相互作用のディラック方程式に関するものを聞いたことをうっすらと覚えていた
その式の具体的な形を殆ど知らなかったが、それがドンピシャはまったらしい
山崎和夫先生は、「パウリもそれについて十分詳しいはずで、なぜ気づかないのか不思議だ」という
ということで、気づくかどうかは、そのとき次第。ハイゼンベルク先生やパウリ先生も同じなんだ
だから、他人に相談することは、悪いことではないよ
451:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/07 14:09:11.48 jEF0wwAo.net
>>410
BLACKXさん、どうもスレ主です。
細部は、あまり立ち入る気は無いのだが・・
１．スレ立てしているのをざっと読んだけど、先攻調査のサーベイがない。まあ、良いんだけれど、それだと、他人（特に初心者）は参加し難いだろう
２．「友愛数や桁の多い倍数判定法」はロトの周辺でしょ。ロトそのもの、あるいはロトの数学を直接扱った文献があるはずと思ったのだが
３．で、「先攻研究はここまでで、こういう欠陥・問題点があるから、だからAir値使う」みたいなストーリーが見えてこない気がしたので、>>408を書いた
452:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/07 14:09:57.23 jEF0wwAo.net
>>409
BLACKXさん、どうも。スレ主です。
>要するに、どういう風に材料の場を分けて5力のデータを取るかの部署
そこ、昔はみんな苦労していたね（今でもか）
計算機パワーも無かったし、メモリーも少なかったし
特に、応力集中になる部分とか、力の流れ（断面積）が変わるところなどね
453:ｽﾏﾎBLACKX
17/12/07 18:53:06.66 51hbZHFD.net
>>413
サーベイを始めたのはスレの中旬ぐらいなので計算協力してもらってからで1年前ぐらいからですね
本当にこの方針でいいのか？との疑問から。
そしたら同じでは無いけど海外ので選抜数字の和で表して計算してたのを見つけた。(どの記事かはエビデンスも取っておいてないし、忘れた)
そこでは同じ和の中の、選抜数字の重複度を計算してたけど非友愛の関係から数字がまとまって行くから最低コレだけは重複するまでしか求まっていなかった。
だから何が何個の尺度で計算するならAir値を使い括った方が最適だと再認識したからこれを本腰を入れて始めた。
454:BLACKX
17/12/07 20:08:51.56 KvBQXGSb.net
>>414
まだまだ周り見ると苦しそうだよ
エントロピーが絡むから私の所は本当に5力に細心の注意を払う
営業さんが容量どれくらいっていうふんわりしたところから始まるからいろいろやり様はあるけどこれかこれみたいに数字で初めにうちの部署から提示しなきゃいけないから圧損メッシュで苦しむ
455:人もちらほら(笑)
456:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/07 22:18:29.60 jVxSMgKf.net
>>415
BLACKXさん、どうも。スレ主です。
>サーベイを始めたのはスレの中旬ぐらいなので計算協力してもらってからで1年前ぐらいからですね
ああ、これ2015/12/27からか。そろそろ丸2年だね・・
ちょっと長いように思うね・・
（参考）数学的にLOTO7 ｽﾚﾘﾝｸ(math板:1番)
1 名前：１３２人目の素数さん[] 投稿日：2015/12/27(日) 14:43:45.63 ID:+tVmadtz [1/3]
ロト７について
(引用終り)
>そしたら同じでは無いけど海外ので選抜数字の和で表して計算してたのを見つけた。(どの記事かはエビデンスも取っておいてないし、忘れた)
それ、検索したらきっと何かヒットするよ。全く同じ物でなくとも良いでしょ。海外文献を一つ見つけておけば、そこから英文キーワードを採るとか、引用文献を見るとかできるし
ちょっと検索をやってみると、キーワード下記
PDF Lottery mathematics Odds of getting other possibilities summation
78 件 （0.55 秒） の中からご推奨５件＋余録３件をピックアップ（下記）
（”PDF”で、これ（PDF）をメインに絞っている。だから78 件になったのだろう）
これ１番目。一押しで、面白そう
URLﾘﾝｸ(www.maa.org)
Finding Good Bets in the Lottery, and Why You Shouldn't Take Them A Abrams 著 - ?被引用数: 11 - ?関連記事 2010/01/31
これ２番目で新しい
URLﾘﾝｸ(www.wsb.edu.pl)
PATTERNS IN THE LOTTERY GAME N Becser 著
これ、２番目でgeometryとかパターンが詳しい
URLﾘﾝｸ(jaguar.fcav.unesp.br)
the geometry of chance:lotto numbers follow a predicted pattern R GIANELLA 著 - ?2013
これ、３番目
URLﾘﾝｸ(www.maa.org)
Finding Good Bets in the Lottery, and Why You Shouldn't Take Them A Abrams 著 - ?被引用数: 11 - ?関連記事 2010/01/31
つづく
457:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/07 22:19:56.35 jVxSMgKf.net
>>417 つづき
これ、４番目（PDFが直接落ちるのでURL取れず。下記で代用）
a mathematical model for the lottery - RACO
www.raco.cat/index.php/Questiio/article/download/26594/26428
このページを訳す
MS Nikulin 著 - ?1992 - ?関連記事
the prize winners, being those holding the tickets with those corres- ponding numbers.” From “Educated Guessing” Samuel Kotz (1983, Marcel Dekker):.
“A lottery is a game of chance with low stakes and potentially high winnings, which account for the widespread appeal of this type of gambling. In its simplests form, a player bets on a number and wins if the state also selects that number. While we usually view a lottery as a game, many applications exist in the real world. For example,.
つづく
458:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/07 22:20:53.97 jVxSMgKf.net
>>418 つづき
これ、５番目（PDFではないが、Lottery Software が詳しそうだ）
URLﾘﾝｸ(saliu.com)
Basics of a Lotto Strategy Based on: Sums (Sum-Totals); Odd Even; Low High Numbers
By Ion Saliu, Founder of Lottery Mathematics
(抜粋)
I. Introduction to Lottery Strategies, Filtering, Number Grouping
II. Pick-3 Lottery Software for Low or High, Odd or Even Digit Grouping
III. Lotto Software for Low / High, Odd / Even Numbers, Plus Lotto Skipping
IV. True Lottery Filters, Filtering to Create the Best Lotto, Lottery Strategies, Systems
V. Essential Resources in Lotto, Lottery Strategy, Systems, Software
Resources, links to the best in lotto software, lottery strategies.
つづく
459:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/07 22:23:23.82 jVxSMgKf.net
>>419 つづき
5. Resources in Lottery Software, Systems, Strategies, Lotto Wheeling
Introduction to Lottery Mathematics: Probabilities, Appearance, Repeat, Affinity or Number Affiliation, Wheels, Systems, Strategies.
The Starting Strategy Page: Lottery Software, Strategy, Systems.
Presenting software to create free winning lotto, lottery strategies, systems based on mathematics. Get your lotto systems or wheels, the best lottery, lotto software, combinations, winning numbers.
Lotto, Lottery Software, Excel Spreadsheets: Programming, Strategies.
Read a genuine analysis of Excel spreadsheets applied to lottery and lotto developing of software, systems, and strategies. Combining Excel analysis with powerful lottery and lotto software programmed by this author, Parpaluck.
MDIEditor Lotto WE: Lottery Software Manual, Book, ebook, Help.
~ Also applicable to LotWon lottery, lotto software; plus Powerball, Mega Millions, Euromillions.
Visual Tutorial, Book, Manual: Lottery Software, Lotto Apps, Programs.
Basic Manual for Lotto Software, Lottery Software.
Sum-Totals for Lottery, Lotto Games ? Pick 3 4 Lotteries, Lotto 5, 6, Powerball, Mega Millions, Euromillions.
Lotto Software for Groups of Numbers: Odd, Even, Low, High, Sums, Frequencies, User's Groups.
Lottery Software Sum-Totals, Sums: Lotto, Powerball, Mega Millions, Euromillions.
Lottery Skip Systems: Lotto, Powerball, Mega Millions, Euromillions.
Lotto, Lottery Strategy in Reverse: Not-to-Win Leads to Not-to-Lose or WIN.
Lottery Utility Software: Pick-3, 4 Lottery, Lotto-5, 6, Powerball, Mega Millions, Euromillions.
Theory, Analysis of Deltas in Lotto, Lottery Software, Strategy, Systems.
The Best Strategy for Lottery, Gambling, Sports Betting, Horse Racing, Blackjack, Roulette.
Lotto Software for Groups of Numbers.
"The Start Is the Hardest Part":Play a Lotto Strategy, Lottery Strategies
Download lottery software, lotto software
つづく
460:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/07 22:27:03.74 jVxSMgKf.net
sage
461:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/07 22:28:11.68 jVxSMgKf.net
>>420 つづき
（上記の原文にはURLのリンクが貼ってあるよ）
余録１：これは、いまどきソフトのRの話かも（これは中は見ていないが）
[PDF]Introduction to Probability and Statistics Using R - cran.r - The R ...
URLﾘﾝｸ(cran.r-project.org)
GJ Kerns 著 - ?被引用数: 22 - ?関連記事
2010/08/07
余録２：これは、すばらしく良くて、全部で200ページ超えだが、72ページのみのサンプルなんだよ
URLﾘﾝｸ(probability.infarom.ro)
THE MATHEMATICS OF LOTTERY Odds ... - Probability Theory C B?rboianu 著 - ?2009
つづく
462:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/07 22:34:00.35 jVxSMgKf.net
>>422 つづき
余録３：
URLﾘﾝｸ(mathworld.wolfram.com)
Hypergeometric Distribution -- from Wolfram MathWorld
(抜粋)
It therefore also describes the probability of obtaining exactly i correct balls in a pick-N lottery from a reservoir of r balls
(引用終り)
以上
463:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/07 22:35:42.55 jVxSMgKf.net
>>423
これ、なんかキーワードがNGらしく、引っかかって書けなかったので、削ってようやく書けた（＾＾
464:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/07 22:39:27.90 jVxSMgKf.net
>>416
BLACKXさん、どうも。スレ主です。
>エントロピーが絡むから私の所は本当に5力に細心の注意を払う
あまり突っ込んだ話になると、ビジネスに差し支えると思うけど
その感じだと、熱伝導からみか、熱流体関係かな？
465:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/07 22:42:58.49 jVxSMgKf.net
>>417
あ�
466:黶H ２番目が二つあるな～ まあ、ご愛敬ということで、ひとつ、よろしくｍ（＿ ＿）ｍ
467:BLACKX
17/12/08 06:51:59.43 G+sbkRWq.net
>>417
そのイチオシの内容ちゃんと読んだ？
内容がポートフォリオなんだけどほんとにそれが一押しなの？
468:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/08 07:21:37.38 pI4TAlAF.net
>>427
BLACKX さん、どうも。スレ主です。
>内容がポートフォリオなんだけどほんとにそれが一押しなの？
ああ、そうなの？ わるいわるい（＾＾
当然、内容は数分間の流し読みですよ（＾＾
ロトには興味ないのでね
それに、あなたのレベルも分らないし
Ａｉｒ値なるものの効用もいまいち分らないし
だから、本当は
”余録２：これは、すばらしく良くて、全部で200ページ超えだが、72ページのみのサンプルなんだよ
URLﾘﾝｸ(probability.infarom.ro)
THE MATHEMATICS OF LOTTERY Odds ... - Probability Theory C B?rboianu 著 - ?2009”
をお金を出して買いなさいってことかも知れない
また、２年成果無しがいやならってことかもね
（有料という問題を除けば、一番纏まってる気がする）
あと、数学公式としては
”余録３：
URLﾘﾝｸ(mathworld.wolfram.com)
Hypergeometric Distribution -- from Wolfram MathWorld
(抜粋)
It therefore also describes the probability of obtaining exactly i correct balls in a pick-N lottery from a reservoir of r balls”
で尽きているような気がしてきたね
469:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/08 07:31:01.17 pI4TAlAF.net
>>428 補足
>当然、内容は数分間の流し読みですよ（＾＾
キーワード下記
PDF Lottery mathematics Odds of getting other possibilities summation
78 件 （0.55 秒）
のgoogleが付けたアブストを読んで、脈のありそうなＰＤＦなどを開いて、ダウンロードして・・という作業を繰返すこと数時間
それで、上記のご推奨を上げたわけ
まあ、自分で78 件
見ればいいでしょう（＾＾
470:ｽﾏﾎBLACKX
17/12/08 07:46:33.56 y00krcnS.net
>>429
サンクス
471:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/08 08:25:03.36 pI4TAlAF.net
>>430
BLACKXさん、どうも。スレ主です。
よろしくね（＾＾
あと、思いつきで恐縮だが
例のロトすれに、検索したキーワードや、調べためぼしい文献（ＰＤＦ）やサイトについてのメモをアップしておけば良い
それが、スレの推進にもなるし
自分にとっても、備忘録になるし・・（＾＾
472:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/08 13:23:01.12 G0teFJGI.net
>>416
BLACKXさん、どうも。スレ主です。
>エントロピーが絡むから私の所は本当に5力に細心の注意を払う
ここ、スルーしてたけど”5力”とは？ なんですか？
473:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/08 21:08:20.63 pI4TAlAF.net
>>317 戻る
>> （∵リプシッツ連続は微分可能と直結しないから）
>背理法の証明を読めないアホさんはいってよし
これ（下記）面白いわ（＾＾
URLﾘﾝｸ(www.ma.kagu.tus.ac.jp)
脱背理法教育、脱背理法依存教育 東京理科大学理学部第一部数学科 教授 安部直人 2013年07月10日
(抜粋)
「数学における全ての主張の数学的意味を
理解することが望まれる」
のに、背理法の証明に慣れるためには、
(2) を自動的に封じる(つまり、証明中の中間結果の数学的意味を考えない)習慣が付いてしまいます。そのうち背理法を使わない証明でも (1) が成り立つと思い込んでしまいます。こうなると、
「例え背理法証明でも、証明さえできれば、
自分はその数学的内容を全て理解している。」
という自己満足に陥ります。このような人が数学教員になると、 (2) という背理法中の主張に対する問題意識を持つ学生がいることさえ思いつきもしなくなります。
特に、他の理系学科より証明を重視する数学科では、多くの背理法証明に慣れざるを得ないので、数学科出身の教員には陥りがちな錯覚です。学生諸氏と教員自身にとっても、大変な損をしています。
(他の方のことは定かではありませんが、私は十数年前までそう思い込んでいました。現在リハビリ中で、自分が中学の頃から大学院まで学んだすべての
474:背理法証明を非背理法証明に直しつつあります。) 教える側も、背理法証明中、一時的であれ 「自分も理解できない誤ったこと」 (世間ではこれを嘘という) を教えなければならない。私には耐えられない。 殆どの数学者がこれらのことを認識していないようです。私も、研究レベルに達するまでに(大量の)背理法証明に遭遇していたので、中間結果の数学的意味を (考えても無駄と無意識に悟り)考えない癖がついていました。また、「自分が解っていない」と解ること(無知の知)は大変に難しいことです。 「私自身が、背理法のおかげで頭が腐った被害者であると実感しています。十数年前から現在もリハビリ中です。」(背理法被害者の会) (引用終り) つづく
475:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/08 21:08:47.82 pI4TAlAF.net
>>433 つづき
URLﾘﾝｸ(www.ma.kagu.tus.ac.jp)
背理法と対偶 - 背理法被害者の会 東京理科大学理学部第一部数学科 教授 安部直人 2012/11/16
(抜粋)
「背理法」と「対偶法(対偶を利用する証明)」は共に間接証明とよばれますが、
証明法としては完全に異なるものです。
対偶法に直しても証明の中間部分は変わらないことが多いが、背理法の場合には、A の仮定を付けたままであると、その中間結果も正しくない主張で理解納得できなくなる。対偶法の場合、仮定の下中間結果はすべて正しい主張で理解納得できます。
大量の背理法証明にに慣れて、中間結果の数学的意味を (考えても無駄と無意識に悟り)考えない習慣がついている人(研究者に多い)の中には、背理法と対偶法の区別がつかなくなっている場合があります。
背理法は、正しくない中間結果(他へ使えず、理解納得できない)も覚えることになり、丸暗記すると大変危険です。また、背理法に慣れてしまうと、中間結果の数学的意味を (考えても無駄と無意識に悟り)考えない習慣がついて、誤った数学的主張に対して鈍感になります。
例えば、外国の紙幣で偽札を見分ける訓練をするのに、
「真札を百枚、偽札１を百枚、偽札２を百枚、・・・、偽札９を百枚計千枚みせる」
という訓練をしても、偽札の種類(真札でないものすべて)は無数にあるので、
「真札のみを千枚みせる」
という訓練の方が実践には有効でしょう。
実際、私は背理法を使わなくなってから、数学専門書・啓蒙書等で今まで気付かなかったいろいろな習慣的誤り(特に意味論的な)が見えてきました。特に、線形代数と微積分に関係するものについて別ページで挙げていきたいと思います。
(引用終り)
つづく
476:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/08 21:09:21.64 pI4TAlAF.net
>>434 つづき
URLﾘﾝｸ(www.ma.kagu.tus.ac.jp)
背理法と矛盾 - 背理法被害者の会 東京理科大学理学部第一部数学科 教授 安部直人 2012年11月22日
(抜粋)
「大学の教科書(特に、微積分学)に背理法の証明が多くある」
(実質：背理法でしか証明できない教員が多く、バカな背理法証明をそのまま教えている)
ので、その準備のために
「背理法の証明を練習しておく」
(実質：背理法に練習は不要ですから、単にバカな背理法証明に慣れさせておく)
ことが必要と思っている大学・高校の教員が多いのではないか。
つまり、教員自身は自覚していないかもしれませんが、実質は：
自分がバカな背理法でしか証明できない怠慢な教員が、若く批判力もないうちに違和感を与えないようにバカな背理法に慣れさせ、次世代にその怠慢のツケを払わせるという負の文化遺産継承の構図が浮かびます。
高校数学教科書にある背理法証明は、生徒をバカにする以上に、教師は「自分はバカだ」と喧伝するようなことを薦めているのです。検定教科書が国策の一部とすれば「愚民政策」です。
(引用終り)
以上
477:１３２人目の素数さん
17/12/09 09:37:16.39 GGujx+gf.net
定理
自然数n≧2は√nの整数部分以下の全ての素数で割り切れなければ素数である．
証明
nの素因数が高々2個の場合, 自然数 p, q が存在して両
方とも素数かどちらかが1
478:であり n＝pq である. ここ で p≧q とできるから n≧q^2 ゆえ √n≧q である． もし素数q＜pがnを割り切るならnは素数ではない. ま た素数q＝pならnは平方数でやはり素数ではない. ゆえ にnが√nの整数部分以下の素数qで割り切れなければq ＝1であるからn＝pは素数である. 素因数が高々3個になればn＝pqrとなる素数または1に 等しいp≧q≧rが存在してn≧r^3となるがnの3乗根は√n 以下だから√n≧rとなり素数rがnを割り切らなければr ＝1ゆえに√n≧qとなり素数qがnを割り切らなければq ＝1ゆえにn＝pは素数となる. 素因数が4個以上の場合 も同様. 証明終了
479:１３２人目の素数さん
17/12/09 11:37:13.52 sw2G4nud.net
>>436
素因数分解できることの証明がいるよ
480:１３２人目の素数さん
17/12/09 13:00:49.21 R+I6O04U.net
ZはEuclid ⇒ EuclidはPID ⇒ PIDはUFD ⇒ UFD上の素元分解は一意
の順で証明すればいいと思う
481:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/09 14:29:09.33 OrUOLzdR.net
>>436-438
どうも。スレ主です。
レスありがとう
”背理法無用：「√2 が無理数」の直接証明”は、安部直人先生にもあるね
URLﾘﾝｸ(www.ma.kagu.tus.ac.jp)
脱背理法教育、脱背理法依存教育 東京理科大学理学部第一部数学科 教授 安部直人 2013年07月10日
(抜粋)
背理法無用：「√2 が無理数」の直接証明：
「自然数 a,b につき、
aa と 2bb の素因数の個数は偶数と奇数
で異なるから aa≠2bb、よって √2≠a/b。」
(不要かもしれませんが少し説明を加えます。
a と b を素数の積で表したとき、その素数(素因数)の個数をそれぞれ s と t とすれば、aa と 2bb の素因数の個数は s+s=2s と 1+t+t=2t+1 です。)
482:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/09 14:33:28.72 OrUOLzdR.net
>>436-439 補足
背理法で、頭腐ると、間違いに気付かない
その典型が、>>317かなと思う今日この頃
483:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/09 15:19:23.60 OrUOLzdR.net
>>440 つづき
手短に要点を書くと、証明すべきことは・・・
＜前振りで数学的な構造＞
（>>284-285より）
URLﾘﾝｸ(mathforum.org)
Topic: Differentiability of the Ruler Function Dave L. Renfro Posted: Dec 13, 2006 Replies: 3 Last Post: Jan 10, 2007
(抜粋)
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.
** For r = 2, f^r is nowhere differentiable and
satisfies a pointwise Lipschitz condition on
a set that is dense in the reals. Heuer [15]
** For r > 2, f^r is differentiable on a set whose
intersection with every open interval has Hausdorff
dimension 1 - 2/r. Frantz [20]
Using ruler-like functions that "damp-out" quicker
than any power of f gives behavior that one would
expect from the above.
Let w:Z+ --> Z+ be an increasing function that
eventually majorizes every power function. Define
f_w(x) = 0 for x irrational, f_w(0) = 1, and
f_w(p/q) = 1/w(q) where p and q are relatively
prime integers.
** f_w is differentiable on a set whose complement
has Hausdorff dimension zero. Jurek [4] (pp. 24-25)
(引用終り)
つづく
484:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/09 15:20:00.81 OrUOLzdR.net
>>441 つづき
趣旨を日本語にすると
ruler functionとか、改良トマエ関数で、
f(x) = 1/q if x = p/q
↓
f^r = 1/q^r
となって
１）指数r=2なら：nowhere differentiable and satisfies a pointwise Lipschitz condition on a set that is dense in the reals.
２）指数r > 2なら：differentiable on a set whose intersection with every open interval has Hausdorff dimension 1 - 2/r.
３）指数1/q^rより早く減衰する関数1/w(q) ：differentiable on a set whose complement has Hausdorff dimension zero.
（前振り終り）
で、「証明すべきこと」は、1/q^rで、Hausdorff dimension 1 - 2/rで、rが大きくなると、どんどんHausdorff dimensionが１に近づく。つまり、differentiableな範囲が大きくなる
指数1/q^rより早く減衰する関数1/w(q)では、”a set whose complement has Hausdorff dimension zero”ですよ
しかし、指数1/q^rより早く減衰する関数1/w(q)でも、微分不可の部分が残って、Hausdorff dimension zeroにもかかわらず、
”Interesting, each of the sets of points where these
functions fail to be differentiable is large in the
sense of Baire category.”（>>285より）
だと。つまり、証明すべきは、ここで、”指数1/q^rより早く減衰する関数1/w(q)でも、微分不可の部分が残って、Hausdorff dimension zeroにもかかわらず、「fail to be differentiable is large」なのだ”ということなのだ
え？ 趣旨など日本語になってないところ多すぎ？ ま、そういう突っ込みはなしね（＾＾
485:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/09 15:27:35.83 OrUOLzdR.net
>>442 追加
重複を厭わず、下記追加引用
（下記より）
”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.”
ここで、”Let g be continuous and discontinuous on sets of points that are each dense in the reals.”
とあるでしょ。この”each dense in the reals”を覚えておいてね。あとで使う（＾＾
（>>285より）
URLﾘﾝｸ(mathforum.org)
Topic: Differentiability of the Ruler Function Dave L. Renfro Posted: Dec 13, 2006 Replies: 3 Last Post: Jan 10, 2007
(抜粋)
** f_w is differentiable on a set whose complement
has Hausdorff dimension zero. Jurek [4] (pp. 24-25)
Interesting, each of the sets of points where these
functions fail to be differentiable is large in the
sense of Baire category.
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.)
There are 22 items below. I found 4 of them on the internet,
I provide the complete text for 9 of them, and I give
some idea of what the remaining 9 items involve.
On the internet -- [2], [4], [11], [22].
Text provided below -- [1], [3], [5], [6], [12], [13],
[14], [19], [21].
(引用終り)
486:１３２人目の素数さん
17/12/09 15:36:30.24 ouZ3K1Ln.net
「数学の問題」の どこが問題かいまいちわからない 今日この頃
487:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/09 15:55:37.13 OrUOLzdR.net
>>443 つづき
（>>282は一部引用なので、下記に全文引用するね）
スレ46 ｽﾚﾘﾝｸ(math板:422番)
422 名前：１３２人目の素数さん[sage] 投稿日：2017/11/20(月) 16:45:28.40 ID:sVbA75bK [2/4]
>>421のリンク先の証明は個人的には すんなり頭に入ってこないので、
微分可能な点の方から攻める方針でやってみたら、次の定理が得られた。
定理：f：R → R に対して、B_f＝{ x∈R｜limsup[y→x]｜(f(y)－f(x))/(y－x)｜＜＋∞ } と置く。
もし R－B_f が高々可算無限個の疎な閉集合の和で被覆できるならば、f はある開区間の上で
リプシッツ連続である。
この定理を使うと、f：R → R であって、「xが有理数のとき不連続、xが無理数のとき微分可能」
となるものは存在しないことが即座に分かる。一応やってみると、そのような関数 f が存在したとすると、
R－Q ＝ 無理数全体 ＝ (fの微分可能点全体) ⊂ B_f
となるので、
R－B_f ⊂ Q ＝ ∪[p∈Q] { p } …(1)
となる。(1)の右辺は疎な閉集合の可算和だから、上の定理が使えて、f はある開区間(a,b)の上で
リプシッツ連続になる。特に、(a,b)の上で連続になる。Qは
488:R上で稠密だから、x∈(a,b)∩Qが取れる。 仮定から、fは点xで不連続であるが、しかしx∈(a,b)より、fは点xで連続であり、矛盾する。 (引用終り) つづく
489:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/09 15:58:52.34 OrUOLzdR.net
>>445 つづき
で、おかしいと思うところ、下記
１．「定理」というけど、証明がないじゃん！！（＾＾
２．”高々可算無限個の疎な閉集合の和で被覆”の意味わからん（疎とか被覆の定義も曖昧だし）が
単に、”集合の被覆”（下記）と解すると
その主張は、”B_f＝{ x∈R｜limsup[y→x]｜(f(y)－f(x))/(y－x)｜＜＋∞ } ”の部分が、下記リプシッツ連続の式と対応するとして
「f：R → Rで、リプシッツ連続な部分の集合をB_fとして、その補集合 R－B_f が高々可算無限個の”稠密でない”閉集合の和になるならば、f はある開区間の上でリプシッツ連続である」
と言い換えられる。
（ここで、”疎”の意味を、”not dense”(稠密でない)とした。）
３．さらに、平たく言えば、高々可算無限個の”稠密でない”閉集合の和を、R上で整列させると、（自明に）隙間があると。当然その隙間は、ある開区間だろ？
４．だったら、その定理の主張の”f はある開区間の上でリプシッツ連続である”は、トリビア（自明）じゃないのか？
（だから、その定理の証明をきちんと書かないから・・、トリビア～ンになったのか、はたまた、証明できないトンデモ定理もどきなのか、どちらかではないかと思う今日この頃（＾＾ ）
＜所感＞
こんな、定理もどきで、果たしてなにが証明できるのか？
それは、後述（＾＾
URLﾘﾝｸ(ja.wikipedia.org)
被覆
数学
(抜粋)
・集合の被覆、和集合が集合全体となるような部分集合の集合
・良い被覆 (代数的位相幾何学)、開被覆であって、被覆のすべての開集合や有限個の開集合のすべての交叉が可縮
・被覆 (代数学)、代数的構造の、構造を保つように別の構造の上へと写る概念
(引用終り)
URLﾘﾝｸ(ja.wikipedia.org)
リプシッツ連続
(抜粋)
写像がリプシッツ連続であることの同値な別定義として、定数 K ? 0 が存在して、
d_{Y}(f(x_{1}),f(x_{2}))}/{d_{X}(x_{1},x_{2})}} =< K (∀ x_{1},x_{2}∈ X)
を満たすこととすることもできる。実多変数の実数値函数に対して、これが成り立つのは、任意の割線の傾きの絶対値が K で抑えられるときであり、かつそのときに限る。
(引用終り)
490:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/09 16:13:56.89 OrUOLzdR.net
>>446 つづき
１．で、(>>443)英文では”each dense in the reals”
”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.”
２．一方、（>>445-446）定理もどき「f：R → Rで、リプシッツ連続な部分の集合をB_fとして、その補集合 R－B_f が高々可算無限個の”稠密でない”閉集合の和になるならば、f はある開区間の上でリプシッツ連続である」って、
（定理もどき）”疎”（”not dense”(稠密でない)）だと、自分で書いたように、Q（有理数）が稠密だから、その”定理もどき”はつかえね～
３．だから、適用すべき定理を根本的に間違えているんじゃないかな？
３．で、思うに、背理法に持っていったから、バカやっていることに気付かなかった気がするんだよね
４．背理法じゃなく、上記英文みたく、f：R → Rで、”g fails to satisfy a pointwise Lipschitz condition”を、きちんと証明する方針にすれば、まだバカに気付いたように思う今日この頃（＾＾
まあ、「”背理法でなんか証明できた”と思い込みしなさんな！！」という、安部直人先生の教訓そのものかも・・
以上
491:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/09 16:28:01.44 OrUOLzdR.net
>>444
>どこが問題かいまいちわからない 今日この頃
無知の知だな
URLﾘﾝｸ(kotobank.jp)
無知の知 コトバンク ブリタニカ国際大百科事典 小項目事典の解説
(抜粋)
ソクラテス哲学を特徴づける有名な言葉。
哲学者 (愛知者) という意味でのギリシア語
492:philosophosは，ピタゴラス，ソクラテス的意味では，神だけが知者 sophosであるとの立場から，知者でないがゆえに知 sophiaを愛求する有限的存在としての人間の本質規定であった。 したがって philosophiaは，いわゆる賢者や知恵の本性が神と比すれば無にも等しいものであることを明らかに自覚することに始る。
493:１３２人目の素数さん
17/12/09 16:28:36.16 RxYPxmlZ.net
おっちゃんです。
一般に、Pを前提、Qを示すべき結論として、命題 P⇒Q が成り立つことを背理法で示すこととは、
前提Pが成り立つことと示すべき結論Qが成り立たないこととを
同時に仮定して、矛盾に導く証明法のことです。
大事なことなので覚えておきましょう。
以上、おっちゃんの講義でした。
494:１３２人目の素数さん
17/12/09 16:53:13.46 hkjBmfmg.net
>>447
> （定理もどき）”疎”（”not dense”(稠密でない)）だと、自分で書いたように、Q（有理数）が稠密だから、その”定理もどき”はつかえね～
ワロタ
495:１３２人目の素数さん
17/12/09 17:13:43.14 hkjBmfmg.net
ｽﾚﾘﾝｸ(math板:422番)
> R－B_f ⊂ Q ＝ ∪[p∈Q] { p } …(1)
>
> となる。(1)の右辺は疎な閉集合の可算和だから、
ここまで丁寧に書いてくれてるのに
>>447
> （定理もどき）”疎”（”not dense”(稠密でない)）だと、自分で書いたように、Q（有理数）が稠密だから、その”定理もどき”はつかえね～
はないだろ。他人を煽ってけなす前に自分を省みろよ
496:孤高の数学者 俊太郎
17/12/09 17:51:57.70 c+TYoduG.net
ひたすらがんばってきたのに結局誰も俺を理解したつ
もりで理解してくれないし誤解される。何のために社
会復帰のリハビリをしたり男女に関する本や脳に関す
る本や新聞を読んだのか。何のために体を鍛えて考え
て我慢して正直に話してきたのか。完全な理解は無理
だろうけどなぜここまで誤解される。
俺が人のために誰かのために何かしたいと思うのは愛
ではなかったのか。疲れやすく不器用な俺が異性の愛
に支えられたいと思うことがなぜ承認欲求なのか。俺
が人のために誰かのために何かしてきたのは愛ではな
かったのか。自分の都合だけ考えて生きているなら何
のために自殺しないで数学をしているのか。スタッフ
３人に誤解されている感と女子とうまくいってないこ
とから行く気が失せてしまった。
497:孤高の数学者 俊太郎
17/12/09 17:53:18.15 c+TYoduG.net
女子とうまくいってないのは俺が下手なことをやらか
したから誰のせいでもないのだがスタッフ３人に誤解
されているのはものすごく納得いかない。本当はいつ
も通り話していたいし昨日の証明の自慢話をしたいの
に。
両思いだったことが2回あった。何回も告白された。
しかし好みじゃないというか関わりたくないからフっ
た。何回も告白した。とりあえず友達にはなってくれ
たがたいていその後恋心で失敗した。両思いになりか
けたことが3回あった。同年代の連絡とれる女友達0で
も結婚はしたい。せめて遅くとも14年後には。
498:孤高の数学者 俊太郎
17/12/09 17:54:26.29 c+TYoduG.net
俺自身誰かにとって関わりたくないと思われているだ
ろう。そういえば久々に中退した高校で会ったとき目
を丸くして背伸びしてずっと手を振ってくれたあの子
は今どこにいるんだろう。彼氏を選ばす俺を選ぼうと
したけど俺が彼氏を選ぶように言った仲良かったあの
人は今は彼氏と幸せになっているだろうか。
人のために何かしたいという気持ちが愛でないなら愛
とは何なのか。異性に支えてもらいたいという気持ち
が承認欲求なら何がそれに当たるのか。体が壊れても
生きようともがいたのは笑い話なのか。自分の都合し
か考えていないなら俺が今までやってきたことは自己
満足と自慢のためにすぎなかったと言うのか。
499: 俺はただいつも通り。おしゃべりを楽しんでいたいだ けなのに。
500:孤高の数学者 俊太郎
17/12/09 17:55:44.73 c+TYoduG.net
朝からここまで孤独感に呑まれた日が23歳の時にあっ
ただろうか。
青春をいじめに破壊され高校に逃げたら母に破壊され
以来なぜか狂ったままの人生。誰も保障も保証もしな
いしできない。真に信じられるのは自分しかいないの
は或る意味当然かもしれないがいくらなんでも無責任
な人や誤解している人がなぜ毎回いるのか。俺は傷つ
きすぎた。俺は無くされすぎ。
傷つきすぎた。
それでも数学だけは絶対にやりつづけるつもり。
しかしやはり無限に悲しいものは無限に悲しい。
501:孤高の数学者 俊太郎
17/12/09 17:59:27.00 c+TYoduG.net
また旅に出たい。今からでも行きたい。急な用事は全
て済ませたからしばらく何人かとは距離を置きたいか
ら。行った先に待っている人がいるなら。話ができる
なら。列車に乗って悲しいことを考える隙も無くなる
なら。
母が勝手に貯金を管理して小遣い制にされたので旅に
出たいがお金もカードもない。
502:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/09 19:55:24.65 OrUOLzdR.net
>>451
それ、まさに、安部直人先生が批判していることそのものだよ（下記）
”研究レベルに達するまでに(大量の)背理法証明に遭遇していたので、中間結果の数学的意味を (考えても無駄と無意識に悟り)考えない癖がついていました。また、「自分が解っていない」と解ること(無知の知)は大変に難しいことです。
「私自身が、背理法のおかげで頭が腐った被害者であると実感しています。十数年前から現在もリハビリ中です。」(背理法被害者の会)”（>>433）
> R－B_f ⊂ Q ＝ ∪[p∈Q] { p } …(1)
>
> となる。(1)の右辺は疎な閉集合の可算和
１）
（>>445より）
"f：R → R であって、「xが有理数のとき不連続、xが無理数のとき微分可能」
そのような関数 f が存在したとする"
２）
で
無理数のとき微分可能→リプシッツ連続 ∴無理数＝B_f
xが有理数のとき不連続→リプシッツ連続でない ∴有理数Q＝R－B_f
３）
で
”QはR上で「稠密」だから”（>>445）と書いておきながら、
そのすぐ上の行で、”R－B_f ⊂ Q ＝ ∪[p∈Q] { p } …(1) (1)の右辺は「疎」な閉集合の可算和”と書いている
４）
一体全体、Qは「稠密」なのか「疎」なのか？
５）
背理法を使うと、”中間結果の数学的意味を (考えても無駄と無意識に悟り)考えない癖がついていました”という警句そのものずばりだろ？
503:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/09 19:56:10.31 OrUOLzdR.net
>>449
おっちゃん、どうも、スレ主です。
レスありがとう
論文がんばってな（＾＾
504:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/09 20:58:58.23 OrUOLzdR.net
>>350 戻る
>質問に答えて貰えないのって自分に何か欠陥が有るのよね
ああ、これ（ID:9C5EK/9h）「ぷふ」さんだったかな～（＾＾
High level people が、「質問に答えないのって自分に何か欠陥が有るのよね」と、逆に読んでたよ～（＾＾
バカだね、おれは（＾＾
505:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/09 21:18:37.44 OrUOLzdR.net
>>442 関連参考
URLﾘﾝｸ(ja.wikipedia.org)
ハウスドルフ次元
フラクタル幾何学におけるハウスドルフ次元（ハウスドルフじげん、英: Hausdroff dimension）は、1918年に数学者フェリックス・ハウスドルフが導入した、ハウスドルフ測度（英語版）が有限な値をとり消えていないという条件に適合する次元の概念の非整数値をとる一般化である。
すなわち、きちんとした数学的定式化のもと、点のハウスドルフ次元は 0、線分のハウスドルフ次元は 1、正方形のハウスドルフ次元は 2、立方体のハウスドルフ次元は 3 である。
つまり、旧来の幾何学で扱われるような、滑らかあるいは有限個の頂点を持つ点集合として定義される図形のハウスドルフ次元は、その位相的な次元に一致する整数である。
しかし同じ定式化のもとで、フラクタルを含めたやや単純さの少ない図形に対してもハウスドルフ次元を計算することが許されるが、その次元は非整数値を取りうる。
大幅な技術的進展がエイブラム・サモイロヴィッチ・ベシコヴィッチ（英語版）によりもたらされて高度に不規則な集合に対する次元の計算が可能となったことか�
506:轣Aこの次元の概念はハウスドルフ?ベシコヴィッチ次元としても広く知られている。 目次 [非表示] 1 直観 2 定義 2.1 ハウスドルフ容積 2.2 ハウスドルフ次元 3 例 4 ハウスドルフ次元の性質 4.1 ハウスドルフ次元と帰納次元 4.2 ハウスドルフ次元とミンコフスキー次元 4.3 ハウスドルフ次元とフロストマン測度 4.4 合併および直積に対する振る舞い 4.5 ハウスドルフ次元定理 5 自己相似集合 5.1 開集合条件 https://en.wikipedia.org/wiki/Hausdorff_dimension Hausdorff dimension
507:１３２人目の素数さん
17/12/09 21:46:09.30 hlJ+uBXM.net
スレ46 ｽﾚﾘﾝｸ(math板:422番)
を書いたものだが、スレ主がヘンな躓き方をしているようなので、
以下で補足しておく。
疎な集合について：
位相空間 X において、A⊂X が疎であるとは、A の閉包が内点を持たないことを言う。
疎な集合は、英語では「 nowhere dense set 」と呼ばれる。
単なる「 not dense (稠密でない)」よりも強く、
「どの近傍においても稠密でない」というニュアンスである。
疎な集合は、ベールのカテゴリ定理でよく使われる。
疎な集合の性質：
A⊂X がもともと閉集合のときは、A が疎であることと、A が内点を持たないことは同値である。従って、
B⊂X が「疎な閉集合」であることと、「Bは閉集合で、Bは内点を持たない」が成り立つことは同値である。
高々可算無限個の疎な閉集合の和で被覆できる、について：
M⊂X は、ある高々可算無限個の A_i⊂X が存在して、
「各 A_i は疎な閉集合」かつ「 M ⊂ ∪_i A_i 」が成り立つとする。
このとき、「 M は高々可算無限個の疎な閉集合の和で被覆できる」と言う。
ほとんど言葉の通りの意味である。
508:１３２人目の素数さん
17/12/09 21:47:44.06 hkjBmfmg.net
>>457
> ３）
> で
> ”QはR上で「稠密」だから”（>>445）と書いておきながら、
> そのすぐ上の行で、”R－B_f ⊂ Q ＝ ∪[p∈Q] { p } …(1) (1)の右辺は「疎」な閉集合の可算和”と書いている
>
> ４）
> 一体全体、Qは「稠密」なのか「疎」なのか？
{ p } は疎な閉集合であり、∪[p∈Q] { p }はその可算和である
QはＲ上稠密である
何も矛盾していない。スレ主が馬鹿なだけ。
509:１３２人目の素数さん
17/12/09 21:55:57.54 hlJ+uBXM.net
以下、実数全体の集合を R とし、R に通常の位相を入れて位相空間とする。
このとき、任意の p∈R に対して、1点集合 { p } は疎な閉集合である。
次に、有理数全体の集合を Q とする。このとき、
Q ＝ ∪[p∈Q] { p }
が成り立つ。各 { p } は疎な閉集合であることに注意する。
また、p∈Q を動かすとき、集合 { p } は全て異なる集合になるが、
その集合たちは全部で可算無限個しか無いので、>>461 に書いた定義により、
Q は可算無限個の疎な閉集合の和で被覆できる、ということになる。
Q 自体は稠密だし閉集合でもないので、Q 自体は疎な閉集合では無いが、しかし
「 Q は可算無限個の疎な閉集合の和で被覆できる」・・・ (*)
のである。そして、上記の(*)そのものは
スレ46 ｽﾚﾘﾝｸ(math板:422番)
の「定理」とは無関係であり、単なる位相空間論の簡単な演習問題である。
ちなみに、「定理」の証明は、スレ46の>>422を書いた時点で
既に証明を書ききってある(投稿してないだけで)。
しかし、今はここには書かない。
まずスレ主が(*)について理解するのが先決である。
510:１３２人目の素数さん
17/12/09 22:15:03.64 hlJ+uBXM.net
ついでなので >>446 にも返答しておく(気になった部分があるので)。
＞３．さらに、平たく言えば、高々可算無限個の”稠密でない”閉集合の和を、R上で整列させると、（自明に）隙間があると。当然その隙間は、ある開区間だろ？
そのイメージの仕方は間違っている。まず、そのイメージの仕方は、
∪[n≧1] { 1/n }
のような例なら通用「する」。なぜなら、R － ∪[n≧1] { 1/n } には
開区間がいくつも存在するからだ。しかし、既に見た
∪[p∈Q] { p }
という例の場合は、R － ∪[p∈Q] { p } には開区間が全く存在しない。
だから、そのイメージの仕方は間違っている。
511:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/09 22:18:51.30 OrUOLzdR.net
哀れな素人さんのために
Philosophy本だが、検索ヒットしたので貼る（＾＾
URLﾘﾝｸ(publish.uwo.ca)
The Continuous Infinitesimal Mathematics Philosophy JL Bell 著 - ?2005
Preface
This book has a double purpose.
First, to trace the historical development of the concepts of the continuous and the infinitesimal; and second, to describe the ways in which these two concepts are treated in contemporary mathematics.
So the first part of the book is largely philosophical, while the second is almost exclusively mathematical.
In writing the book I have found it necessary to thread my way through a wealth of sources, both philosophical and mathematical;
and it is inevitable that a number of topics have not received the attention they deserve. Still, the thread itself, if tangled in places, has been luminous.
“Only connect ... Live in fragments no longer,” says E. M. Forster, and that is what I have tried to do here.
512:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/09 22:22:06.34 OrUOLzdR.net
>>461-463
解説ありがとう
半分理解した
証明は、要らない
投稿不要
その証明の載っていそうな分野を挙げてくれ
自分で探す
探せなければ、その証明は信用しないことにするので悪しからず
513:１３２人目の素数さん
17/12/09 22:30:05.79 hkjBmfmg.net
>>466
> 探せなければ、その証明は信用しないことにするので悪しからず
「論文がなければ間違っている論法」が発動しました
514:１３２人目の素数さん
17/12/09 22:30:33.64 hlJ+uBXM.net
>>466
この「定理」は自力で証明した定理なので、
明示的にこの定理が書いてある文献は俺にも提示できない。
ただ、証明そのものはベールのカテゴリ定理を利用する「よくある方法」であり、
しかもベールのカテゴリ定理に帰着させるためのテクニックもかなり素直なので、
全く同じ定理が誰かしらの手によって既に発見済みだと思われる。
分野としては「関数解析」であり、より詳しくは「ベールのカテゴリ定理」である。
515:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/09 23:16:35.15 OrUOLzdR.net
>>467-468
ありがとう
１．万に一つ、その定理と少なくとも証明が新しく、価値あるものなら、こんなところに書くのはもったいないよ（＾＾
知り合いの数学科教官にでも見て貰って、投稿した方が良いぞ。
ここを見ている数学徒にしても、定理を引用しようとしたら、２CH（元５CH）では恰好悪いよ（＾＾
２．見ていると思うが、無理数全体で微分可能な関数が出来ないことだけなら、解決済みだよ
>>443に有るとおり
”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, ・・・ on a co-meager set.”
いままで読んだ範囲では、あなたのような定理は、使われいないようだ。
その定理が成立するなら、面白いと思うよ
３．ただ、面白い定理で価値あるなら、だれかがすでに書いている可能性もある
（一方、少なくとも、自分はそれにはお目に掛かっていないので、新定理かも知れない）
516:１３２人目の素数さん
17/12/09 23:19:30.90 B62Hdudt.net
阿呆スレ主があっという間に降参してワロタ
440 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE sage 2017/12/09(土) 14:33:28.72 ID:OrUOLzdR
>>436-439 補足
背理法で、頭腐ると、間違いに気付かない
その典型が、>>317かなと思う今日この頃
517:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/09 23:22:36.42 OrUOLzdR.net
>>469 訂正
定理を引用しようとしたら、２CH（元５CH）では恰好悪いよ（＾＾
↓
定理を引用しようとしたら、２CH（現５CH）では恰好悪いよ（＾＾
518:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/09 23:24:03.24 OrUOLzdR.net
>>470
"万に一つ、その定理と少なくとも証明が新しく、価値あるものなら、こんなところに書くのはもったいないよ（＾＾ ”（>>469）
519:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/09 23:25:02.02 OrUOLzdR.net
その定理が正しい確率を直観で表わしたんだが？（＾＾
520:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/09 23:32:59.79 OrUOLzdR.net
>>443に有る（英文）定理では
”Let g be continuous and discontinuous on sets of points that are each dense in the reals. ”とある
まあ、仮に、これ現時点（2017）でベストの定理としよう
>>445の新定理で、”each dense”の制約を外して、定理が成り立つなら、こちらの方が適用範囲はより広いだろ？
521:（＾＾ 正直、もし成り立てば面白いと思う
522:１３２人目の素数さん
17/12/10 09:58:37.83 V/MgOo68.net
スレ主の勘違い読み違いが明らかになりましたな
523:１３２人目の素数さん
17/12/10 09:59:49.47 V/MgOo68.net
スレ主は数学を全然理解してないんですよ
時枝にして解析にしてもそう
そろそろ懲りてください
524:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/10 10:49:35.97 IMWeAd+d.net
オハヨー、朝です。
(^o^)
525:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/10 10:50:30.04 IMWeAd+d.net
>>474 補足
新定理(>>445)が成り立つとする。その定理が、いまの問題（Ruler Function>>284）に適用可能とする。ならば、背理法でなく、直接証明が可能だろう？
ちょっと>>445に倣って書いて見ると
１．Ruler Function f_w(p/q) = 1/w(q) where p and q are relatively prime integers.（>>285より）
w(q) an increasing function that eventually majorizes every power function. (いかなるq^rよりも急増加関数)
無理数で0。ついでに、f_w(0) = 1 （>>285より。＊）
（「無理数で、リプシッツ連続」は>>284以下の既出文献でさんざん証明＊＊）済みで略す）
２．f_w(p/q) = 1/w(q)＞0と出来るとして、p/q（有理数）では、不連続になる。（自明だが念のために書いた）
３．このRuler Function に、新定理が適用可能とする。
４．R－B_f ⊂ Q ＝ ∪[p∈Q] { p } …(1) (1)の右辺は疎な閉集合の可算和だから、上の新定理が使えて、f はある開区間(a,b)の上でリプシッツ連続になる。
？ この後、そのままで良いのか？
特に、(a,b)の上で連続になる。QはR上で稠密だから、x∈(a,b)∩Qが取れる。
fは点xで不連続であるが、しかし(a,b)の上で連続に、矛盾する。
QED
ａ）なので、”このRuler Function に、新定理が適用可能”がおかしいか
ｂ）新定理がおかしいか
二択じゃないかな？
なお、個人的には、”each dense”の制約は、このRuler Function問題では本質じゃないかなと思う
なのでａ）で、新定理成立だが、Ruler Function問題には適用不可ってことになる可能性
これが一番数学的には面白いと思うよ
つづく
526:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/10 10:51:31.21 IMWeAd+d.net
>>478 つづき
ああ、
ｃ）このRuler Functionのリプシッツ連続ではない点の濃度は、非可算で”高々可算無限個の疎な閉集合の和で被覆”は出来ない
ということかも
新定理→Ruler Functionのリプシッツ連続ではない点の濃度は、非可算 が簡単に言えれば、それはそれで面白いね（＾＾
あれ？ 「不連続点の全体は閉集合の可算個の合併（Fσ-集合）である」（by 下記wikipedia 不連続性の分類 ）だって・・
注
＊）f_w(0) = 1を書く意味は、0は無理数でもなく、p/qとも表せないということかな
＊＊）（>>285より抜粋）
** For r = 2, f^r is nowhere differentiable and
satisfies a pointwise Lipschitz condition on
a set that is dense in the reals. Heuer [15]
** For r > 2, f^r is differentiable on a set whose
intersection with every open interval has Hausdorff
dimension 1 - 2/r. Frantz [20]
** f_w is differentiable on a set whose complement
has Hausdorff dimension zero. Jurek [4] (pp. 24-25)
(引用終り)
以上
527:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/10 10:52:35.24 IMWeAd+d.net
>>461-463
なんか、その定理あやしくないか？
URLﾘﾝｸ(ja.wikipedia.org)
疎集合
(抜粋)
数学の分野における、位相空間内の疎集合（そしゅうごう、英語: nowhere dense set）[* 1]とは、閉包の内部が空であるような集合のことである。この言葉の順番が大事で、例えば、R の部分集合としての、有理数からなる集合は、その「内部の閉包が空である」という性質を持つが、疎集合ではなく、実際 R において稠密である。
集合を扱う空間が問題となる。すなわち、ある集合 A はある位相空間 X の部分空間として考えられた場合には疎集合であるが、別の位相空間 Y の部分空間として考えられた場合にはそうはならない、ということが起こりうる。疎集合は、それ自身においては常に稠密である。
疎集合のすべての部分集合はまた疎集合であり、有限個の疎集合の合併もまた疎集合である。すなわち、疎集合は集合のイデアル（無視可能な集合（英語版）に関する適正な概念）を形成する。可算個の疎集合の合併は、しかし、必ずしも疎集合ではない（したがって、疎集合は必ずしもσ-イデアル（英語版）を形成しない）。
そのような合併はやせた集合（英語版）[* 1]あるいは第1類集合と呼ばれる。この概念は、ベールの範疇定理を考える上で重要である。
目次 [非表示]
1 開と閉
2 正測度を持つ疎集合
3 関連項目
(引用終り)
528:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/10 10:53:11.15 IMWeAd+d.net
>>480 つづき
URLﾘﾝｸ(ja.wikipedia.org)
不連続性の分類
(抜粋)
連続関数は数学およびその応用において非常に重要である。しかし、関数が全て連続というわけではない。ある関数がその定義域内のある点で連続でないとき、その関数は不連続性 (discontinuity) を有する。関数の不連続点全体の成す集合は離散集合の場合もあるし、稠密集合の場合もある。場合によっては定義域全体と同じとなるかもしれない。
本項目では、最も単純な実一変数で実数を値にとる函数の場合における不連続性の分類を述べる。
目次 [非表示]
1 不連続性の分類
2 例
3 関数の不連続点の集合
4 関連項目
関数の不連続点の集合
函数の連続点の全体からなる集合は開集合の可算個の交わり（Gδ-集合）である。また不連続点の全体は閉集合の可算個の合併（Fσ-集合）である。
単調関数の不連続点は高々可算である。これをフローダの定理（英語版）という。
トマエ函数は、全ての有理数の点で不連続だが、全ての無理数の点で連続である。
ディリクレ函数として知られる、有理数全体の集合の指示函数は至る所不連続である。
(引用終り)
つづく
529:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/10 10:53:40.19 IMWeAd+d.net
>>481 つづき
URLﾘﾝｸ(ja.wikipedia.org)
Fσ集合
数学の一分野、位相空間論における Fσ-集合とは、位相空間の部分集合で、閉集合の可算和に書けるようなものを言う。由来としては、F が閉（集合）を意味するフランス語の ferme から、σ が合併を意味するフランス語の somme からそれぞれとられている。
目次
1 性質
2 例と反例
3 参考文献
4 関連項目
性質
Fσ-集合の補集合は Gδ-集合である。
可算個の Fσ-集合の合併はまた Fσ-集合であり、有限個の Fσ-集合の交わりはふたたび Fσ-集合を成す（Fσ-集合の可算交叉は Fσδ-集合という）。
例と反例
・任意の閉集合は明らかに Fσ-集合である。
・有理数全体の成す集合 Q は実数全体の成す集合 R の Fσ-集合である。無理数全体の成す集合 P = R ? Q は R の Fσ-集合ではない。
・チホノフ空間において、一点集合 {x} は閉集合となるから、任意の高々可算な集合は Fσ-集合になる。
・距離化可能空間においては、任意の開集合が Fσ-集合になり、また任意の閉集合が Gδ-集合になる。
座標平面 R2 上の点 (x, y) で x/y が有理数となるようなもの全体の成す集合 A は Fσ-集合である。これは A が原点を通り、傾きが有理数であるような直線の和
A=∪ _{r∈ {Q} }{(ry,y)｜ y∈ {R} }
として書けることによる。ここで有理数全体の成す集合 Q が可算集合であることに注意。
(引用終り)
つづく
530:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/10 10:54:14.06 IMWeAd+d.net
>>482 つづき
URLﾘﾝｸ(ja.wikipedia.org)
Gδ集合
(抜粋)
数学の一分野、位相空間論における Gδ-集合あるいは内極限集合 (inner limiting set) とは、位相空間の部分集合で開集合の可算交叉となっているものを言う。
由来については、G というのが開集合を意味するドイツ語の Gebiet から、δ というのが交わりを意味するドイツ語の Durchschnitt からそれぞれとられたものである。
Gδ-集合（およびその双対であるFσ-集合）は、ボレル階層（英語版）において二階 (second level) の集合であり、より正確には Gδ-集合の全体はちょうど Π^0_
2-階集合である。
(引用終り)
以上
531:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/10 10:56:57.90 IMWeAd+d.net
>>481 つづき
https：//ja.wikipedia.org/wiki/F%CF%83%E9%9B%86%E5%90%88
Fσ集合
数学の一分野、位相空間論における Fσ-集合とは、位相空間の部分集合で、閉集合の可算和に書けるようなものを言う。由来としては、F が閉（集合）を意味するフランス語の ferme から、σ が合併を意味するフランス語の somme からそれぞれとられている。
目次
1 性質
2 例と反例
3 参考文献
4 関連項目
性質
Fσ-集合の補集合は Gδ-集合である。
可算個の Fσ-集合の合併はまた Fσ-集合であり、有限個の Fσ-集合の交わりはふたたび Fσ-集合を成す（Fσ-集合の可算交叉は Fσδ-集合という）。
例と反例
・任意の閉集合は明らかに Fσ-集合である。
・有理数全体の成す集合 Q は実数全体の成す集合 R の Fσ-集合である。無理数全体の成す集合 P = R ? Q は R の Fσ-集合ではない。
・チホノフ空間において、一点集合 {x} は閉集合となるから、任意の高々可算な集合は Fσ-集合になる。
・距離化可能空間においては、任意の開集合が Fσ-集合になり、また任意の閉集合が Gδ-集合になる。
座標平面 R2 上の点 (x, y) で x/y が有理数となるようなもの全体の成す集合 A は Fσ-集合である。これは A が原点を通り、傾きが有理数であるような直線の和
A=∪ _{r∈ {Q} }{(ry,y)｜ y∈ {R} }
として書けることによる。ここで有理数全体の成す集合 Q が可算集合であることに注意。
(引用終り)
つづく
532:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/10 10:57:46.96 IMWeAd+d.net
>>484 誤爆スマン（＾＾
>>284-285 補足
http：//mathforum.org/kb/message.jspa?messageID=5432910 Topic： Differentiability of the Ruler Function Dave L. Renfro Posted： Dec 13, 2006 Replies： 3 Last Post： Jan 10, 2007
これを読んでいて、疑問に思ったことが２点ある
１．
”[20] Marc Frantz, "Two functions whose powers make fractals",
American Mathematical Monthly 105 #7 (Aug./Sept. 1998),
609-617. [MR 99g：28018； Zbl 952.28006]
Following up on Darst/Taylor [18] abov
533:e, Frantz investigates the Hausdorff dimension of the graphs of f^r. THEOREM 1： If r > 2, then the Hausdorff dimension of the non-differentiability set for f^r is 2/r.” 一方、 ”[18] Richard Brian Darst and Gerald D. Taylor, "Differentiating Powers of an Old Friend", American Mathematical Monthly 103 #5 (May 1996), 415-416. [MR1400724； Zbl 861.26002] Define f：R --> R by f(x) = 0 if x is irrational or zero, and f(p/q) = 1/q for p,q relatively prime with q > 0. They note that the set of points at which f is not continuous is the set of nonzero rational numbers. THEOREM： If 1 < r <= 2, then f^r is differentiable only at zero. If r > 2, then f^r is differentiable almost everywhere (Lebesgue measure).” だから、[18] からすると、If r > 2, then f^r is differentiable almost everywhere (Lebesgue measure).→Hausdorff dimension =1 で、"1 - 2/r（>>285）"ではないのでは？ つづく
534:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/10 10:58:19.86 IMWeAd+d.net
>>485 つづき
２．
”Let g be continuous and discontinuous on sets of points that are each dense in the reals.”
とは、continuous, discontinuous, 両者とも、Hausdorff dimension =1/2 見たいな形で、お互いが混じり合っているイメージなんだけど、おかしいかな？
で、無理数と有理数だと、前者がHausdorff dimension =1、後者がHausdorff dimension =0 なんだけど・・・
「函数の連続点の全体からなる集合は開集合の可算個の交わり（Gδ-集合）である。また不連続点の全体は閉集合の可算個の合併（Fσ-集合）である。」（by 上記wikipedia 不連続性の分類 ）
だから、それで良いのか・・な（＾＾
以上
535:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/10 11:01:23.29 IMWeAd+d.net
>>475-476
ピエロ、オハヨー、(^o^)
なんか、えらく密かに潜行してたじゃない？（＾＾
元気になったか？
しっかり、作文書きな～よ。こちらは、スレが進んで助かるんだ（＾＾
536:１３２人目の素数さん
17/12/10 11:03:58.52 RAUkudhJ.net
>>476
まったく
εN論法すら理解せずして数学も糞もありませんな
537:１３２人目の素数さん
17/12/10 11:09:50.57 dC87nXPd.net
数学力の前に国語力がすこぶる怪しいスレ主に数学なんて無理
コテンパンにやっつけられてる（>>461-464）んだからとっとと観念して消えてほしい
457 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE sage 2017/12/09(土) 19:55:24.65 ID:OrUOLzdR
>>451
それ、まさに、安部直人先生が批判していることそのものだよ（下記）
”研究レベルに達するまでに(大量の)背理法証明に遭遇していたので、中間結果の数学的意味を (考えても無駄と無意識に悟り)考えない癖がついていました。また、「自分が解っていない」と解ること(無知の知)は大変に難しいことです。
「私自身が、背理法のおかげで頭が腐った被害者であると実感しています。十数年前から現在もリハビリ中です。」(背理法被害者の会)”（>>433）
> R－B_f ⊂ Q ＝ ∪[p∈Q] { p } …(1)
>
> となる。(1)の右辺は疎な閉集合の可算和
１）
（>>445より）
"f：R → R であって、「xが有理数のとき不連続、xが無理数のとき微分可能」
そのような関数 f が存在したとする"
２）
で
無理数のとき微分可能→リプシッツ連続 ∴無理数＝B_f
xが有理数のとき不連続→リプシッツ連続でない ∴有理数Q＝R－B_f
３）
で
”QはR上で「稠密」だから”（>>445）と書いておきながら、
そのすぐ上の行で、”R－B_f ⊂ Q ＝ ∪[p∈Q] { p } …(1) (1)の右辺は「疎」な閉集合の可算和”と書いている
４）
一体全体、Qは「稠密」なのか「疎」なのか？
５）
背理法を使うと、”中間結果の数学的意味を (考えても無駄と無意識に悟り)考えない癖がついていました”という警句そのものずばりだろ？
538:１３２人目の素数さん
17/12/10 11:11:54.54 dC87nXPd.net
勘違いで分かった気になって偉そうに喋る人間は最悪だよ
スレ主は数学板の汚点だからいなくなってほしい
539:１３２人目の素数さん
17/12/10 11:38:26.68 GqH3lJYA.net
解析学のここがおもしろい
・計算で数列の極限値または関数方程式の解が表示できなくても一意的な存在が分かる
・ルベーグ積分があらゆる積分の計算にも他分野の概念の定式化にも役に立つ
・物理学と不思議な整合性がある
・微分積分程度でも論理的に深い結果がある上に位相空間論にもつながる
解析学をやると無限次元空間に住める
540:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/10 12:33:39.21 IMWeAd+d.net
>>488-490
どうも。スレ主です。
思うに、>>489-490 ID:dC87nXPd がピエロの別IDだろうな（＾＾
ピエロ、どうぞ、どんどん、作文を頼むよ
また、いままでのように、コテンパンに叩くからね（＾＾
まあ、サイコパス性格は、自分のウソに自分が騙されるから
ロジックが甘くってね。「数学的に、そこおかしいぞ！」というところがすぐ分るんだよね～（＾＾
541:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/10 12:36:15.54 IMWeAd+d.net
>>488-490
どうも。スレ主です。
まあ、この２CH（現５CH）に、素人定理（含む素人証明）が投下されたとする
１．それは、自分が研究した、今まで知られていない、新定理だという
２．普通、常識
542:では、”まゆつば”ものの素人定理でしょ？（＾＾ ３．可能性としては、下記３つ １）新定理だというが、実は不成立の勘違い ２）新定理だというが、実は従来の定理の別表現かそれの簡単な系 上記の場合、証明だけは、新規性のある別証明かも（これも確率は極めて低いだろうね） ４）万に一つ、本当に値打ちのある新定理だと 結論としては、いまのピエロの新定理は、上記の３－１）だと思うよ おっと、もし自分が、その新定理を正しいと思うなら、こんなところに証明を書くな！ もったいない それ、本当に新定理なら、論文になると思うよ（＾＾
543:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/10 12:37:35.12 IMWeAd+d.net
>>493 訂正
４）万に一つ、本当に値打ちのある新定理だと
↓
３）万に一つ、本当に値打ちのある新定理だと
544:１３２人目の素数さん
17/12/10 12:50:11.76 dC87nXPd.net
何を言おうがスレ主が勘違いしていた事実は動かない
545:１３２人目の素数さん
17/12/10 13:35:48.33 GqH3lJYA.net
微分積分と複素解析は物理学と解析的整数論の理解に役立つ
微分積分は幾何学の基礎である多様体論にもつながる
ε-論法により無限を有限で定義できるから人間が無限を操れる
解析学の応用分野において概念の正確性の数学的保証は重要
546:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/10 13:42:59.57 IMWeAd+d.net
>>495
ピエロご苦労
正直、>>478の
Ruler Function f_w(p/q) = 1/w(q) where p and q are relatively prime integers.（>>285より）
w(q) an increasing function that eventually majorizes every power function. (いかなるq^rよりも急増加関数)
は、おまえの新定理の反例になってないか？
１．（>>481 wikipediaより）「不連続点の全体は閉集合の可算個の合併（Fσ-集合）である」を認めるとする
２．”** f_w is differentiable on a set whose complement has Hausdorff dimension zero. Jurek [4] (pp. 24-25)”（>>285より）
Hausdorff dimension zero → 個々の不連続点の閉集合は、R上長さを持たない、つまり、”内点を持たない”が言えると思う（未証明だが）
３．とすると、その定理の”R－B_f が高々可算無限個の疎な閉集合の和で被覆できる”が言えるだろ？
４．で、R－B_f は疎な閉集合の可算和だから、新定理が使えて、f はある開区間(a,b)の上でリプシッツ連続になる。
５．で、特に、(a,b)の上で連続になる。QはR上で稠密だから、x∈(a,b)∩Qが取れる。fは点xで不連続であるが、しかし(a,b)の上で連続に、矛盾する。
まあ、要するに、この”Ruler Function f_w(p/q) = 1/w(q) where p and q are relatively prime integers.”（>>285より）というのは
” be continuous and discontinuous on sets of points that are each dense in the reals.”（>>285より）が、実現された関数なわけだ
そんな関数に、「f はある開区間(a,b)の上でリプシッツ連続になる」という結論を導く新定理って、それなに様定理だねと（＾＾
キーは、”R－B_f が高々可算無限個の疎な閉集合の和で被覆できる”が言えるかどうかだな。
上記のRuler Function f_w(p/q) = 1/w(q) に対して
Hausdorff dimension zero → 個々の不連続点の閉集合は、R上長さを持たない、つまり、”内点を持たない”が言えれば、反例成立だと思うよ
（この証明はすぐに思いつかないが、だれか考えてみて（＾＾ ）
547:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/10 13:46:30.35 IMWeAd+d.net
>>497 追記
このRuler Function f_w(p/q) = 1/w(q) （有理数で。無理数では0）という関数で
至ところ微分可能で、Hausdorff dimension １になり
一方
”Interesting, each of the sets of points where these
functions fail to be differentiable is large in the
sense of Baire category.”（>>285より）
という状況は、自分の頭ではすんなり想像できないが、実に実に面白いね（＾＾
548:１３２人目の素数さん
17/12/10 14:10:31.17 dC87nXPd.net
>>497
相変わらず論理が錯綜してるなw
549:１３２人目の素数さん
17/12/10 14:19:04.35 RAUkudhJ.net
用語を並べて頭がいいふりをしたいだけだからね
550:１３２人目の素数さん
17/12/10 14:20:22.75 dC87nXPd.net
>>497
こいつは反例の意味が分かってないw
> そんな関数に、「f はある開区間(a,b)の上でリプシッツ連続になる」という結論を導く新定理って、それなに様定理だねと（＾＾
> キーは、”R－B_f が高々可算無限個の疎な閉集合の和で被覆できる”が言えるかどうかだな。
551:１３２人目の素数さん
17/12/10 14:24:22.68 dC87nXPd.net
反例ってたしか中学の範囲だよな？
552:１３２人目の素数さん
17/12/10 14:46:29.01 tA8YjSJJM
こいつなんなの？
順序間違えたらバツに決まってるでしょ
頭も悪いし失礼極まりない
URLﾘﾝｸ(twitter.com)
553:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/10 14:54:28.94 IMWeAd+d.net
>>499-502(除く500)
ピエロ、新定理の学術誌かarXiv への投稿まってるよ（＾＾
頑張ってくれ～（＾＾
投稿できたら、教えてくれよ～（＾＾
554:１３２人目の素数さん
17/12/10 15:57:47.28 dC87nXPd.net
何を食ったらこんなに論理を飛躍できるのか教えてほしい
>>497
> ３．とすると、その定理の”R－B_f が高々可算無限個の疎な閉集合の和で被覆できる”が言えるだろ？
555:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/10 16:09:18.56 IMWeAd+d.net
>>505
はいはい
ピエロ、その腐った新定理の学術誌かarXiv への投稿まってるよ（＾＾
投稿できたら、教えてくれよ～（＾＾
556:１３２人目の素数さん
17/12/10 16:32:01.85 RAUkudhJ.net
論文、学術誌コンプレックスか
557:１３２人目の素数さん
17/12/10 16:41:54.55 le9ArTbO.net
よく分からんけど、その「定理」を書いたのは俺であり、
スレ主とケンカしているピエロ君とやらと俺は別人である。
(ちなみに、今日はこの書き込みが初めてである。)
例の定理の証明は、スレ主が必要ないと言うので書いていない。
書いても読まないというので書く意味もない。
しかし、証明の必要がなく、書いても読まず、合っているか否かを
自力で判断できる力量も無いのであれば、この定理の話は
そこで終わるべきである。「腐った定理」だの何だのと
イチャモンし続けるのはマナー違反である。数学以前の問題である。
これ以上イチャモンをつけるなら、俺は証明を書く。
また、スレ主には強制的にその証明を読んで理解してもらう。
それを拒否するならば、この「定理」の話はここで終わりにすべきである。
558:１３２人目の素数さん
17/12/10 16:45:05.00 le9ArTbO.net
ついでなのでこれにもレスしておく。
＞１．（>>481 wikipediaより）「不連続点の全体は閉集合の可算個の合併（Fσ-集合）である」を認めるとする
＞２．”** f_w is differentiable on a set whose complement has Hausdorff dimension zero. Jurek [4] (pp. 24-25)”（>>285より）
＞ Hausdorff dimension zero → 個々の不連続点の閉集合は、R上長さを持たない、つまり、”内点を持たない”が言えると思う（未証明だが）
＞３．とすると、その定理の”R－B_f が高々可算無限個の疎な閉集合の和で被覆できる”が言えるだろ？
一見すると言えそうに見えるが、実際には言えない。まず、スレ主が言おうとしていることを以下で丁寧に書いてみよう。
――――――――――――――――――――――――――――
f_w が微分可能な点全体の集合を B とする。このとき、「2」により、R－B のハウスドルフ次元はゼロである。
一方で、例の「定理」における B_{f_w} について、明らかに B ⊂ B_{f_w} であるから、R－B_{f_w} ⊂ R－B となり、
R－B_{f_w} のハウスドルフ次元もゼロとなる。
もし R－B が可算無限個の閉集合の和になっているならば、R－B＝∪_i K_i (各K_iは閉集合)とイコールで表せる。
特に、各 i に対して R－B ⊃ K_i という包含が成り立つので、K_i のハウスドルフ次元もゼロということになる。
よって、K_i は内点を持たないことになる。よって、K_i は疎な閉集合となる。R－B_{f_w} ⊂ R－B だったから、
R－B_{f_w} ⊂ ∪_i K_i となる。よって、R－B_{f_w} は疎な閉集合の可算和で被覆できるので、例の定理により、
f_w はある開区間の上でリプシッツ連続である。しかし、f_w の不連続点は R の中に稠密に存在しているので矛盾する。
よって、例の「定理」は間違っている。
――――――――――――――――――――――――――――
[続く]
559:１３２人目の素数さん
17/12/10 16:47:07.25 le9ArTbO.net
[続き]
これが、スレ主が「1」「2」「3」で言おうとしていることだと思われるが、この論法には落とし穴がある。
「もし R－B が可算無限個の閉集合の和になっているならば」… (*)
のところは「もし」で終わってしまい、実際には証明できないのである。スレ主はこの(*)を「1」によって
導こうとしているが、「1」は不連続点に関する話であり、R－B には適用できないのである。
よく考えてみよう。B は微分可能な点の全体だったから、R－B は微分不可能な点の全体となる。
微分不可能な点であっても、その点で「連続」である可能性はある。スレ主はおそらく
R－B ＝ (微分不可能な点の全体) ⊂ (不連続な点の全体) ＝ 「1」により可算無限個の閉集合の和
と考えているのだろうが、「(微分不可能な点の全体) ⊂ (不連続な点の全体)」という包含が成り立たないので、
スレ主の論法はここで破綻するのである。
560:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/10 17:21:53.20 IMWeAd+d.net
>>508-510
じゃ、終りにしよう。
もし、その定理の正当性を主張するなら
１）新定理なら、どこかに投稿してくれ。ベストはレフェリーのいる学術誌。arXivでも可。
２）もし、既出なら、出典を示してくれ。
の二択にしてくれ。
それ以外の議論は不要だ。
ここ、２CH（現５CH）に、素人定理（含む素人証明）が投下されたときの私の判断基準は、
>>493-494の通りだよ
こんな視認性の悪い板で、素人のどこに間違いがあるか分らん新定理の証明（間違いはきっとあると思っているが）を読まされる身になれと
それは、テンプレ>>5に
561:書いてある通り。 ここで、学会ごっこをやりたければ、自分で新スレ立てな おれは、学会ごっこお断りだよ。それもテンプレ>>6とか>>8に書いてある通りだ
562:１３２人目の素数さん
17/12/10 17:24:30.92 RAUkudhJ.net
学術誌の威を借るスレ主ｗ
563:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/10 17:31:03.04 IMWeAd+d.net
おれの方針がいやなら、このスレに来なくて良い
人っ子一人いなくなっても、良い
おれは、こまらん
すっきりする
おれ一人で、このスレは進むよ
訳の分らん素人衆相手に、学会ごっこをするつもるは、さらさらないよ
564:１３２人目の素数さん
17/12/10 17:42:00.66 le9ArTbO.net
>>511
終わりにすると言っておきながら
＞（間違いはきっとあると思っているが）
と未だにイチャモンをつけているのはフェアではない。
マナー違反である。数学以前の問題である。
しかも、スレ主が漠然と「反例だ」と思っていた例については、
俺が >>509-510 で既に論破している。すなわち、スレ主は
「間違っている」と思うための根拠を失った状態なのである。
そして、証明を読まずに終わりにするフェアな方法は１つしかない。
「合っているか間違っているかは、このスレでは判断しない。
私自身があなたの定理についてどう思っているかも公言しない。
とにかくここで終わりにする。もうこの話に触れることもない」
とスレ主が宣言することである。
565:１３２人目の素数さん
17/12/10 17:58:38.07 RAUkudhJ.net
数学以前のスレ主
566:１３２人目の素数さん
17/12/10 18:15:34.41 V/MgOo68.net
>>511
> こんな視認性の悪い板で、素人のどこに間違いがあるか分らん新定理の証明（間違いはきっとあると思っているが）を読まされる身になれと
> それは、テンプレ>>5に書いてある通り。
お前数学やる気ないなら数学板から出てけよ
証明のない数学なんてねえだろ
567:１３２人目の素数さん
17/12/10 18:27:19.18 j1mt1ELn.net
>>513
> おれの方針がいやなら、このスレに来なくて良い
> 人っ子一人いなくなっても、良い
>
> おれは、こまらん
> すっきりする
>
> おれ一人で、このスレは進むよ
> 訳の分らん素人衆相手に、学会ごっこをするつもるは、さらさらないよ
こいつ2chを自分の所有物だと思ってるらしい
デタラメだらけのスレを放置するわけにはいかんでしょう
スレ主は駆逐対象です
568:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/10 18:31:41.92 IMWeAd+d.net
>>514-515
笑える
おまいら、素人衆がなにをいうかと（＾＾
569:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/10 18:34:13.12 IMWeAd+d.net
>>515-517
笑える（＾＾
570:１３２人目の素数さん
17/12/10 18:37:54.04 le9ArTbO.net
>>518
同じことの繰り返しになるが、もう一度書く。
俺が言っているのは、「きっと間違っていると思う」などと
イチャモンをつけたままで終わらせるのはフェアではないということである。
証明は読まず、間違っていると思う根拠(すなわち反例)も失っているなら、
この話をフェアに終わらせる方法は１つしかないのである。それは、
「きっと間違っていると思う」というスレ主の発言を撤回し、かわりに
「私自身があなたの定理についてどう思っているかは、ここでは言わない。
とにかくここで終わりにする。もうこの話に触れることもない」
と宣言することである。
別にスレ主のプライドが傷つくような宣言でも無いだろうに、何をゴネているのだ。
「きっと間違っていると思う」という発言を撤回することがそんなに気に食わないのか？
だが、証明を読まない以上、フェアに終わらせるにはそれしか無いだろうに。
571:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/10 18:45:48.76 IMWeAd+d.net
>>520
笑える
どっかいけよ
自分でスレ立ててやれよ
572:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/10 18:50:23.92 IMWeAd+d.net
あんた、自分が、新しい定理を証明しましたと言っているんだよ？
それを、この５CHに書きましたと、言っているんだよ？
で、おれは「気は確かか」と
573:１３２人目の素数さん
17/12/10 18:52:49.75 le9ArTbO.net
>>521
スレ主の行為を、もっと分かりやすく解説してみよう。
ある定理が証明できたと見せびらかしていて、
しかしその証明をここに書く気は無いと言っているのなら、
「どうせお前の証明は間違っているぞ」
と挑発するのは納得が行く。その挑発の目的は、
「この煽りが気に食わないなら、ここに証明を書いてみろや」
というものだからだ。しかし、今回の話はそうではないのだ。ある定理が証明できたと発言し、
その証明を「ここに書いてもよい」と言っているのである。にも関わらず、スレ主は
「どうせお前の証明は間違っているぞ。あ、証明を書いても読まないので必要ないです」
と言っているのである。これでは ただの誹謗中傷である。ま�
574:ﾁたくフェアではないし、数学ですらない。 また、このような誹謗中傷が何を目的としているのかも分からない。単に興味が無いだけならば、 「その定理が正しいか否かは、このスレでは判断しない。私自身がその定理について どう思っているかも、ここでは言わない。新しくスレを立てて、そっちでやってください。」 とでも言って、無関心を貫けばいいのである。この目的のもとでは、 「どうせお前の証明は間違っているぞ」という誹謗中傷は全く必要ないのである。 にも関わらず、そのような誹謗中傷を行い、しかもその発言を「撤回しようとしない」のはなぜか？ おそらく、合理的な理由は別になくて、単純に、最初から他人を誹謗中傷したいだけであろう。 まさに数学以前の問題である。
575:１３２人目の素数さん
17/12/10 18:58:38.87 RAUkudhJ.net
素直に学力が足らず分かりませんって言えよスレ主
男らしくないぞ？
576:１３２人目の素数さん
17/12/10 19:02:04.28 le9ArTbO.net
>>522
＞あんた、自分が、新しい定理を証明しましたと言っているんだよ？
以下のレスは、俺が書いたレスである。
――――――――――――――――――――
468１３２人目の素数さん2017/12/09(土) 22:30:33.64ID:hlJ+uBXM
>>466
この「定理」は自力で証明した定理なので、
明示的にこの定理が書いてある文献は俺にも提示できない。
ただ、証明そのものはベールのカテゴリ定理を利用する「よくある方法」であり、
しかもベールのカテゴリ定理に帰着させるためのテクニックもかなり素直なので、
全く同じ定理が誰かしらの手によって既に発見済みだと思われる。
分野としては「関数解析」であり、より詳しくは「ベールのカテゴリ定理」である。
――――――――――――――――――――
自力で証明した定理である、とは書いたが、それが新しい定理であるとは一言も書いてないし、
逆に「既に発見済みだと思われる」とすら書いてある。このことに一体何の文句があるのだね？
＞で、おれは「気は確かか」と
スレ主がそうやって懐疑的な反応を表に出す以上、こちらとしても「証明を書いてもよい」
と言っているのである。にも関わらず、スレ主は証明を読まないという。
となれば、スレ主がやっていることは結局のところ、
「どうせお前の証明は間違っているぞ。あ、証明を書いても読まないので必要ないです」
という誹謗中傷である。
分かるかね？証明を読む気が無いのならば、「気は確かか」のような懐疑的な反応を
表に出すことすら許されないのである。無関心を貫き、別スレでやってくださいと「だけ」
言えばよいのである。それがマナーというものだろうに。
577:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/10 19:14:45.62 IMWeAd+d.net
あんた、自分が、新しい定理を証明しましたと言っているんだよ？
それを、この５CHに書きましたと、言っているんだよ？
その定理に自信があるなら、学会誌へ投稿しろよ
それが、普通でしょ？
笑えるよ
578:１３２人目の素数さん
17/12/10 19:23:40.40 le9ArTbO.net
>>526
＞あんた、自分が、新しい定理を証明しましたと言っているんだよ？
>>525 に書いたとおりである。
自力で証明した定理である、とは書いたが、それが新しい定理であるとは一言も書いてないし、
逆に「既に発見済みだと思われる」とすら書いてある。このことに一体何の文句があるのだね？
＞その定理に自信があるなら、学会誌へ投稿しろよ
＞それが、普通でしょ？
話題逸らしである。俺が言っているのは、「俺の定理が正しいことを認めろ」ということではない。
スレ主の言動は誹謗中傷にしかなってないので、「きっと間違っていると思う」という
スレ主の発言を撤回しろ、と言っているのである。その上で、
「その定理が正しいか否かは、このスレでは判断しない。新しくスレを立てて、そっちでやってください」
とでも宣言すればいいと言っているのである。
別にスレ主のプライドが傷つくような内容でも無いだろうに、何をゴネているのだ。
「きっと間違っていると思う」という発言を撤回することがそんなに気に食わないのか？
この発言を撤回することは、俺の定理が正しいことを認めることには「ならない」のに、何をゴネているのだ？
579:１３２人目の素数さん
17/12/10 19:24:26.66 j1mt1ELn.net
>>526
スレ主はボットか？
全然話を聞いてないな
580:１３２人目の素数さん
17/12/10 19:47:11.71 j1mt1ELn.net
>>527
> 「きっと間違っていると思う」という発言を撤回することがそんなに気に食わないのか？
論文になってない主張を認めたらスレ主は拠り所を失いますからね
時枝記事然り