[過去ﾛｸﾞ] Inter-universal geometryとABC予想(シン応援スレ) 89 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
45: 03/29(日)05:01 ID:3z293icX(4/7) AAS
１は現代数学の最先端用語を並べて「面白い」という癖があるが
正直中身が全然分かってないから何がどう面白いか分かってない
面白いと思えないことを面白いというくらいバカなことはない
46(3): 03/29(日)08:27 ID:RfCgZKky(1/7) AAS
>>39-41
どうでもいいが、3月26日に前スレで書いた
オイラーの定数γの証明には
いまだ誰からも赤ペン添削は入ってはいないけどな
ニコ君(^^) がただ一言、オイラーの定数γは難しいですねってレスしただけ
47: 03/29(日)08:33 ID:RfCgZKky(2/7) AAS
>>39-41
>>46について：
オイラーの定数γの証明には → オイラーの定数γの有理性の証明には
48(2): 03/29(日)08:40 ID:RfCgZKky(3/7) AAS
何が基準でそうなるのかよく分からないが、
誰のことにも触れず誹謗中傷した覚えはいないのに、
昨日レスしようとしたら
書き込み確認云々とか時々見る画面に遭遇した
49(1): 03/29(日)08:45 ID:AigKJD+E(1/3) AAS
>>46
どうせ間違っているでしょうから読む気にならないのでは？
50: 03/29(日)08:49 ID:RfCgZKky(4/7) AAS
>>49
丁寧に書いていない部分もあるが、それについては知らない
51(1): 03/29(日)09:00 ID:AigKJD+E(2/3) AAS
丁寧であってもなくても読む気にならないのでは？
52: 03/29(日)09:04 ID:AigKJD+E(3/3) AAS
>>43
ですね
53: 03/29(日)09:05 ID:RfCgZKky(5/7) AAS
>>51
それについては知らない
54(1): 03/29(日)10:43 ID:3z293icX(5/7) AAS
>>48
誹謗中傷すると、書き込み確認の画面が出る が正しいとしても
誹謗中傷しなければ、書き込み確認の画面が出ない とはいえない
高校数学レベルの命題論理
高校数学からやり直してな おっとっと君
55(1): 03/29(日)12:21 ID:KTtxIIQF(1) AAS
>>48
それは履歴が消えると出るのかもしれません。
新規のユーザーに周知するためのものかと思います。
56(1): 03/29(日)12:46 ID:pc+BV8FG(1) AAS
>誹謗中傷しなければ、書き込み確認の画面が出ない とはいえない
実際、誹謗中傷しなくても、書き込み確認の画面はしょっちゅう出る
57(1): 03/29(日)12:49 ID:sIDeI9Vf(1) AAS
自動で履歴が削除された直後に出てるとか？
まあ中傷していないのなら、堂々と書き込めば良いですよ。
58(1): 03/29(日)13:32 ID:RfCgZKky(6/7) AAS
>>54
>誹謗中傷すると、書き込み確認の画面が出る が正しいとしても
>誹謗中傷しなければ、書き込み確認の画面が出ない とはいえない
>
>高校数学レベルの命題論理
それは当たり前のことで、指摘されなくても分かっている
書くのであれば、>>55-57のように有益なことを書いてほしい
59(1): 03/29(日)14:25 ID:3z293icX(6/7) AAS
>>58 君こそ●違い書き込みするな 迷惑
60(1): 03/29(日)14:47 ID:3z293icX(7/7) AAS
AIによる最も有益な指摘
ーーーーーーーーーーーーーーーーーーーーーーーーー
>>40
＞ロスの定理により、任意の ε＞0 に対して、
＞高々有限個の有理数 q/p (p,q)＝1 p≧1 が存在して
＞|γ−(q/p)|＜1/p^{2+ε} が成り立つ
→ ここが根本的な誤りです。
正しいロスの定理は 下界（|γ − q/p| > c / p^{2+ε}）を主張しており、
上界（＜）を直接主張しているわけではありません。
「任意の ε > 0 に対して、指数 2+ε の非常に良い近似は有限個しか存在しない」
省17
61: 03/29(日)18:53 ID:RfCgZKky(7/7) AAS
>>59-60
そのAIによる指摘は誰かが既にしている筈だから、
わざわざAIによる指摘はしなくていい
62: 03/29(日)21:10 ID:J8vQyByK(7/7) AAS
>>42
>>1の言っていることと真逆(w)ですね
63: 03/31(火)11:53 ID:xAkiVgdL(1/5) AAS
前スレより 位相空間の院試つづき
2chｽﾚ:math に戻る
(引用開始)
東北大 過去問
外部ﾘﾝｸ[pdf]:www.math.tohoku.ac.jp
2023(令和5)年度 数学共通問題
問２
Rの部分集合族O1を
O1={(a,∞)}a∈R} ∪ {R,Φ} （Φは空集合）
と定める。O1がR上の位相(開集合系）となることば認めてよい．以下の問いに答えよ．
省34
64(1): 03/31(火)11:53 ID:xAkiVgdL(2/5) AAS
つづき
(参考)（有限個を除くところが面白いね。箱入り無数目に類似だなｗ）
外部ﾘﾝｸ:ja.wikipedia.org
直積空間（英: product space）とは位相空間の族の直積に直積位相 (product topology) と呼ばれる自然な位相（英語版）を入れた空間のことである。この位相は他の、もしかするとより明らかな、箱位相（英語版）と呼ばれる位相とは異なる。箱位相も直積空間に与えることができ、有限個の空間の直積では直積位相と一致する。しかしながら、直積位相は位相空間の圏における圏論的積であるという意味で「正しい」位相である。（一方箱位相は細かすぎる。）これが直積位相が「自然」であるという意味である。
定義
各 i ∈ I に対して、pi を X から Xi への射影とする。そのとき、射影の族 ( pi ) i∈I によって ( ( Xi , Oi ) ) i∈I から誘導される位相（英語版） O を X の直積位相（またはチコノフ位相）といい、位相空間 ( X , O ) を ( ( Xi , Oi ) ) i∈I の直積空間という。定義より、直積位相 O は、任意の i ∈ I に対して pi が X から Xi への連続写像となるような X 上の位相の一つであり、そのような位相の中で最も弱い（英語版）[1]。
直積位相での開集合は
∏i∈I Ui の形の集合の（有限個または無限個の）合併である。ここで各 Ui は Xi の開集合で、有限個の i に対してのみ Ui ≠ Xi である
(引用終り)
以上
65(1): 03/31(火)15:13 ID:UKM/9n9X(1) AAS
外部ﾘﾝｸ:news.yahoo.co.jp
66: 03/31(火)16:39 ID:zsJJmk5L(1/2) AAS
>>65
＞IUT理論の根幹を支える定理
例のThm3.11とCor3.12でしょうね
＞理解者は世界で20人ほどとされ、
ホントに理解してるのか
界隈の忖度でなかったか
ようやくハッキリしそう
＞20年に論文の正しさが認められ、数学誌「PRIMS（ピーリムス）」に翌年掲載された。
万が一にもギャップを指摘される結果となれば
PRIMSの信用失墜甚だしいですね
省5
67(3): 03/31(火)16:43 ID:CUprkd+U(1) AAS
>>64
箱位相だとチコノフの定理が怪しくなると見たことがある。
68: 03/31(火)16:56 ID:xAkiVgdL(3/5) AAS
前スレより
2chｽﾚ:math
東北大 過去問
外部ﾘﾝｸ[pdf]:www.math.tohoku.ac.jp
2023(令和5)年度 数学共通問題
問２
Rの部分集合族O1を
O1={(a,∞)}a∈R} ∪ {R,Φ} （Φは空集合）
と定める。O1がR上の位相(開集合系）となることば認めてよい．以下の問いに答えよ．
(1)位相空間(R,O1)はハウスドルフか.連結か,それぞれ答えよ 根拠も述べること
省18
69(1): 03/31(火)16:56 ID:xAkiVgdL(4/5) AAS
つづき
外部ﾘﾝｸ:manabitimes.jp
高校数学の美しい物語
コンパクト空間・点列コンパクト空間の意味
コンパクト・点列コンパクトの意味と性質を整理しました。
コンパクトとは
コンパクトとは，ざっくり言うと「開集合で全体を覆うと，実は有限個で十分」となるような空間・集合のことです。
なんとなく「コンパクト」っぽい気はしますね。
正確な定義は下記です：
省45
70(1): 03/31(火)16:57 ID:zsJJmk5L(2/2) AAS
各Xiがコンパクトでも可算無限個の直積取って
各Xiを覆う2つの開集合の無限直積の族から
有限個選んで覆い尽くせないでしょ
71(1): 03/31(火)17:00 ID:xAkiVgdL(5/5) AAS
>>67
>箱位相だとチコノフの定理が怪しくなると見たことがある。
コメントありがとうございます。
門前の小僧ですが 覚えておきます （＾＾
72(1): 03/31(火)17:14 ID:Lgft3ydz(1) AAS
>>71
(^^)
>>69
通常の位相なら有界閉集合性からコンパクトって言えるんですかね。
ただ、この問いの位相ではどう対処しますかね。
73: 03/31(火)19:04 ID:6EhuCNie(1/2) AAS
>>72
>通常の位相なら有界閉集合性からコンパクトって言えるんですかね。
これを証明するのも手
通常位相でコンパクトならこの位相でコンパクト
74: 03/31(火)19:10 ID:6EhuCNie(2/2) AAS
>>70
X={0,1}に離散位相入れるとコンパクト
X^Nは>>67の位相で離散
離散無限集合だからコンパクトではない
75(3): 04/01(水)10:41 ID:Mspno7St(1/6) AAS
>>67
>残るは、”(3)Bは(R^2,O)のコンパクト集合であるか答えよ、根拠も述べること”だけだが
>答えは Yes なのだが 方針が立たないので カンニングすると ”有限部分被覆”が使えそうだが
>まともにやると 下記の新國先生の『閉区間 [a,b] はコンパクト』みたく 大変になりそうだが・・ はて？
どうも、こちら（解く側）のコンパクトの基礎知識が不足しているようだ
なので、保留にして 先に進もう
下記 2024(令和6)年度 ここの(4)もコンパクト問題
コンパクト問題は、狙い目らしい
(参考)
外部ﾘﾝｸ[html]:www.math.tohoku.ac.jp
省15
76: 04/01(水)10:44 ID:Mspno7St(2/6) AAS
(1)〜(3) は、どこかで見たような
教科書そのまま かもね （＾＾
77(1): 04/01(水)11:30 ID:Mspno7St(3/6) AAS
将棋 増田康宏さん、負けた orz
名人戦は 4月8日 糸谷哲郎さんとか・・
外部ﾘﾝｸ[html]:kishibetsu.com
将棋 棋士別成績一覧
藤井聡太 名人・竜王・王位・棋聖・王将・棋王
2025 年度 レーティング
55 戦 42 勝 13 敗 (0.764）
58 3月29日 2078 3 2081 ○ 先 増田康宏 1840 1837 第51期棋王戦 タイトル戦 第5局 対戦 ○●○○○
59 4月8日 2081 81% 糸谷哲郎 1832 第84期名人戦 タイトル戦 第1局 sim 対戦 ○○○●○
78(1): 04/01(水)12:54 ID:DM+kXlGs(1) AAS
>>77
結局タイトル保持のまま、流石藤井さんw
院試の相対位相は私も慣れてはいませんが、頑張って下さいね。
79(1): 04/01(水)13:53 ID:Mspno7St(4/6) AAS
>>78
>院試の相対位相は私も慣れてはいませんが、頑張って下さいね。
ありがとう
私は、まったく慣れていませんが
がんばります
まあ なんとかなりそうな・・（＾＾
(google検索)
位相空間の相対位相とは？
AI による概要
位相空間の相対位相（Subspace Topology）とは、ある位相空間 X
省32
80(1): 04/01(水)16:31 ID:Mspno7St(5/6) AAS
>>75 戻る
(引用開始)
(参考)
外部ﾘﾝｸ[html]:www.math.tohoku.ac.jp
東北大
過去の大学院入試問題
外部ﾘﾝｸ[pdf]:www.math.tohoku.ac.jp
2024(令和6)年度
数学共通問題
問２
省32
81(1): 04/01(水)16:42 ID:Mspno7St(6/6) AAS
>>80 自己赤ペン
”Uc=（-√2,0)'∪（1,√2)' と書ける”？
ちょっと 滑っているかも （＾＾
82(1): 04/01(水)17:35 ID:JVi9Lyrx(1) AAS
前スレの3つの事象が独立になる条件は、為になる話だったと記憶しています。
83(1): 04/01(水)18:21 ID:G8T7XMd5(1/4) AAS
>>82
>前スレの3つの事象が独立になる条件は
全く無意味
84: 04/01(水)18:25 ID:2mkKEju6(1/3) AAS
>>83
そう？
3つの事象それぞれが独立であるための必要十分条件を考えることって、あまり意味を成さないのですかね。
とりあえず話題提供のために、書いたまでですが…。
85: 04/01(水)18:27 ID:2mkKEju6(2/3) AAS
まあ、手数が増えると質も落ちてくるんで、ある程度ご容赦願いたい。
86(1): 04/01(水)18:39 ID:2mkKEju6(3/3) AAS
なんか言葉足らずでしたが、私が見たやつはAとBから生成されたものがCと独立する条件を考察していましたね。
単純な独立よりも深い話なのかと思います。
87: 04/01(水)20:17 ID:am29onfM(1/2) AAS
>>81 もとい
下記の数学の景色
”2.(a,1](0≤a<1) は開集合である
(a,1]=(a,2)∩(0,1] とかけ，(a,2) は R における開集合のため，正しい”
これを採用すると
＜解答＞の後半書き直し
次に、Uの補集合Ucを考える
同様に記号の濫用で
Uc=[-√2,0)'∪（1,√2]' と書ける
R中の開集合（-√2-1,0)と（1,√2+1)とって
省34
88(1): 04/01(水)21:52 ID:G8T7XMd5(2/4) AAS
>>86
中味ゼロ
もう書くな
89: 04/01(水)21:53 ID:G8T7XMd5(3/4) AAS
よくもまあ中身ゼロの話を延々と語れるものだ
90: 04/01(水)21:54 ID:G8T7XMd5(4/4) AAS
実に腹立たしい
バカが利口ぶるな
91: 04/01(水)22:07 ID:/gMDGPZE(1/3) AAS
口を開けば誰かと口論している人とはマシw
92: 04/01(水)22:11 ID:/gMDGPZE(2/3) AAS
正直そろそろ本当にやる意味無いと思ってきた。
プライベートの欲求不満をここに存分ぶつけておけば良い。
俺はさすがにおいとまする。
書く意味がゼロだ。
93(1): 04/01(水)22:23 ID:/gMDGPZE(3/3) AAS
>>88
お望み通り消えてやるさ。
数学的に正しいことを言っていても、過激すぎる人とは共存できない。
基本的に私は、御大の立ち位置に賛同する。
言いたいことはこれだけ。
94(1): 04/01(水)23:25 ID:am29onfM(2/2) AAS
>>75
東北大
過去の大学院入試問題
外部ﾘﾝｸ[pdf]:www.math.tohoku.ac.jp
2024(令和6)年度
数学共通問題
問２
(R, Ｏ)をR上の通常のユークリッド距離から定まる位相Ｏをもつ位相空間とする.
またX= {x∈R ｜x ∉ Q, x^2 <=2 }とし，ＯxをＯから定まるx上の相対位相とする．
以下の問いに答えよ．
省11
95(1): 04/02(木)05:24 ID:pn8p10QI(1) AAS
>そして、その証明をチョコと変えると良さそうに思うが・・
その問題をチョコと変えて
X= {x∈R ｜x ∉ Q, x^2 =2 }
にしても院入試として良さそうに思うが・・
96(1): 04/02(木)05:50 ID:cMw/ftdd(1/7) AAS
>>93
OTの権威に媚び諂う小物どもは皆失せろ
97: 04/02(木)05:55 ID:iK6D+Y5D(1) AAS
>>96
OK
98: 04/02(木)06:31 ID:cMw/ftdd(2/7) AAS
皆黙れ
99: 04/02(木)06:31 ID:cMw/ftdd(3/7) AAS
南無阿弥陀仏
100(1): 04/02(木)06:31 ID:cMw/ftdd(4/7) AAS
このスレッドは終了いたしました
101(1): 04/02(木)11:06 ID:w/JPlK87(1/11) AAS
>>94
>ユークリッド距離から誘導される相対位相Ｏxを使って
>「空でない連結な部分集合は一点からなる集合であることを示せ」ね
>ユークリッド位相でもそうなるだろうし
>その証明がどこかに落ちていそうだ
>そして、その証明をチョコと変えると良さそうに思うが・・
”証明をチョコと変える”を 考えていたら
どうも 相対位相を使うのが本質らしいね
ということは、私が 相対位相の本質が分かっていないってことなのだが （＾＾
ともかく、下記に google AIの文を貼るよ。細かい点がすべっているが
省41
102: 04/02(木)11:21 ID:w/JPlK87(2/11) AAS
>>101
では、 google AIに赤ペン
A1 と A2 は、それぞれ A における開集合（相対位相）であることを示す。
1.A1=A∩(-∞,q) であり、(-∞,q)はRの開集合
2.A2=A∩(q,∞) であり、(q,∞) はRの開集合
↓
1.A1=A∩(-∞,q) であり、A1はAの開集合（相対位相）
2.A2=A∩(q,∞) であり、A2はAの開集合（相対位相）
と書くべき
これらは互いに素な空でない開集合の和として A を分割しているため、
省8
103: 04/02(木)11:29 ID:w/JPlK87(3/11) AAS
>>95
(引用開始)
>そして、その証明をチョコと変えると良さそうに思うが・・
その問題をチョコと変えて
X= {x∈R ｜x ∉ Q, x^2 =2 }
にしても院入試として良さそうに思うが・・
(引用終り)
御大か
スレ主です
巡回ありがとうございます
省10
104(1): 04/02(木)13:59 ID:w/JPlK87(4/11) AAS
(参考)>>75
外部ﾘﾝｸ[html]:www.math.tohoku.ac.jp
東北大
過去の大学院入試問題
外部ﾘﾝｸ[pdf]:www.math.tohoku.ac.jp
2024(令和6)年度
数学共通問題
問２
(R, Ｏ)をR上の通常のユークリッド距離から定まる位相Ｏをもつ位相空間とする.
またX= {x∈R ｜x ∉ Q, x^2 <=2 }とし，ＯxをＯから定まるx上の相対位相とする．
省21
105(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 04/02(木)14:52 ID:w/JPlK87(5/11) AAS
ここは、”Inter-universal geometryとABC予想(シン応援スレ) ”なので、一応下記をば 投稿します
＜要点＞
１）朝日 石倉徹也氏 ”証明に暗雲？”とか さすが新聞記者
だが 板倉龍（科学雑誌Newton編集部長）”私にとってはむしろ，長く停滞していた雲が晴れていく（かもしれない）兆しが感じられた記事でした”のコメント
２）ZEN 大学の公式発表も添付
(参考)
外部ﾘﾝｸ[html]:www.asahi.com
数学・ABC予想、証明に暗雲？ 国際チーム検証中、望月氏と議論へ
2026年3月31日 13時00分
有料記事 石倉徹也 朝日
省18
106(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 04/02(木)14:54 ID:w/JPlK87(6/11) AAS
つづき
Johan Commelin(Utrecht)
加藤教授からお話がありました通り、アダム・トパーズ氏と私は「Liquid Tensor Experiment」を主導して参りました。このプロジェクトが成功裏に完了した後、多くの人たちから「Leanを用いてIUT理論を検証すべきではないか」という問いを投げかけられました。
その際の私の答えは一貫して、「日本の数学コミュニティの人たち、すなわちIUT理論の専門知識を持つ人たちが関与してくれる場合に限る」というものでした。ですから、加藤教授からLANAプロジェクト立ち上げの提案をもらったときの私の興奮は、皆様にも想像していただけるかと思います
Adam Topaz(Alberta)
私は数学者の中でも、少し特殊な立場にあります。私の研究は、本プロジェクトの両側面—すなわち「遠アーベル幾何学」と、Leanを用いた「形式検証」—の両方にまたがっているからです。この双方に真摯に取り組んできた者として、形式化がいかに数学的思考のあり方を変容させるかを、身をもって経験してきました。これこそが、本プロジェクトが存在する意義の核心であると私は信じています
数学は何千年も同じ手法で行われてきました。私たちは議論を自然言語で記述し、同僚と共有し、それが正しいかどうかを判断してきました。しかし、形式化は私たちにそれ以上のことを求めます。完全な明示性と正確性を強いるだけでなく、私たちが用いる数学的概念を根本から再考し、最適化することも求めてくるのです。形式化のプロセスには、依然として人間の努力と創造性が不可欠です。証明支援系が担うのは、論理的整合性のチェックです。定義や主張が正しく形式化されているかどうかを判断できるのは、依然として人間の数学者だけなのです
Kiran Kedlaya(USCD)
私は数学の形式化に関しては新参者ですが、IUT理論への関心はLANAプロジェクトの前からの長い歴史があります。2015年、オックスフォード大学で開催されたワークショップにおいて、IUT理論に馴染みのなかった多くの数論幾何学者が、望月教授による初期の論文の読解・発表を通じ、この主題を消化しようと一致団結したことがありました。そのワークショップでは、IUT理論に対するコミュニティの理解における突破口を開くには至りませんでしたが、多くの啓示を得る結果となりました
星裕一郎：数理研
省4
107: 04/02(木)15:27 ID:w/JPlK87(7/11) AAS
>>105
追加
外部ﾘﾝｸ:zen.ac.jp
zen.ac
2026/03/31
プレスリリース
IUT（宇宙際タイヒミューラー）理論のコンピューターによる検証を目指すZEN数学センターの新プロジェクト「LANA」を発表
――世界3大学による国際共同研究として始動――
発表会のアーカイブについて
3月31日に東京都内で開催された本件の発表会のアーカイブは以下の配信サイトにてご覧いただけます。また、LANAプロジェクト中心メンバーから寄せられたコメントは、発表会アーカイブのほかZMCホームページにてご覧いただけます。
省4
108: 現代数学の系譜 雑談 ◆yH25M02vWFhP 04/02(木)15:35 ID:w/JPlK87(8/11) AAS
>>105
抜粋追加
Johan Commelin（Utrecht）
”私は、数学とは「インフォーマルな直観」と「フォーマルな厳密性」との間の対話であると信じています”
この言葉を噛みしめよう！ （＾＾
直観を捨ててはいけない
厳密性と対話して 両立させる >>22-31
外部ﾘﾝｸ:zen.ac.jp
LANA プロジェクト発表にあたって 2026.03.31
2026年3月31日に行われたLANAプロジェクト発表に際しての各員のコメントを掲載いたします。
省2
109(1): 04/02(木)16:42 ID:WYszVHCf(1/4) AAS
LANAのチームによる「形式化」がどのようなものになるにせよ
現在まで1年間議論してきたことも含めて
そこに至る過程は全部検証可能な形で公開して欲しいですね
「形式化」が望月さんのIUTの実体を表しているかどうか
もしかしたら「形式化」の過程で
そもそも含んでいたかも知れない「GAP」が埋められることもあるかも知れません
その場合「新生」IUTはLANAプロジェクトに参画した学者すべての成果になるのかもしれません
110: 04/02(木)16:53 ID:98U5x6hF(1/3) AAS
>定理3.11から系3.12を導く論理について、LANAプロジェクトのメンバーの多くが、その中に何か超えられない壁があると感じている
ってまさにショルツェの指摘が当たってるってことじゃないの？
望月はショルツェの指摘をIUTを理解していないだけって切り捨ててたから、IUTの最大の理解者である星がIUTを理解していないってことになるけど、望月がこの事態をどう思ってるのか聞いてみたい
111(1): 04/02(木)17:05 ID:98U5x6hF(2/3) AAS
>「形式化」の過程で
>そもそも含んでいたかも知れない「GAP」が埋められることもあるかも知れません
形式化でGAPが見つかることはあっても埋まることは無いだろう
112: 04/02(木)17:08 ID:Hx3S6NCB(1/5) AAS
チョンカスドワンゴはleanのギャップを人力で解いちゃってもいいんすよw
理解者なんだろワラヒw
113(1): 04/02(木)17:11 ID:w/JPlK87(9/11) AAS
>>109
コメントありがとう
スレ主です
このえらく真面目なコメントは （ニコ） (^^)君か？
思うに、>>106 星さんコメント
「先に述べた定理3.11から系3.12を導く論理について、LANAプロジェクトのメンバーの多くが、その中に何か超えられない壁があると感じていること、その事実を私は重く受け止めなければいけません。そして、そのような状況に対して、自分自身の至らなさも強く感じています」
ここから ３つのケースに分けられると思う
ケース１）定理3.11から系3.12を導く論理について、LANAプロジェクトのメンバーの合意が得られて 補足説明つきで検証が無事終了
ケース２）何かギャップが見つかり、それを修正できて 検証が無事終了
ケース３）何かギャップが見つかり、それを修正できず 検証が終了。正しいのは途中まで
省6
114: 04/02(木)17:14 ID:Hx3S6NCB(2/5) AAS
>>113
元からゴミってだけだろ
低学歴朝鮮人
115: 04/02(木)17:14 ID:Hx3S6NCB(3/5) AAS
場合分けもできない低学歴在日朝鮮人ww
ID:w/JPlK87
116: 04/02(木)17:25 ID:98U5x6hF(3/3) AAS
>超えられない壁
はちょっとやそっとじゃどうにもならんってことを表現したいのだろう。IUTの根幹のアイデアがゴミになることもあり得る。そうなったら「途中までの正しさ」は完全に無意味。
117: 04/02(木)17:37 ID:Hx3S6NCB(4/5) AAS
IUT捨てて別のことやりゃいいだけ
じゃーすまねえよなw
税金抜いてきてさあ
118(1): 04/02(木)17:45 ID:w/JPlK87(10/11) AAS
>>104
考えが うまくまとまらないので AIカンニング 下記 （＾＾；
(google検索)
位相空間において 値域が実数Rで定義域が無理数への連続写像hがあるとき hは定値写像であることを証明せよ
AI による概要
位相空間において、定義域が無理数全体（I=R ∖ Q）で、
値域が実数全体（R）である連続写像 h：I→R
が定値写像であることの証明は、以下の通りです。
無理数全体 I は、通常の位相空間において全不連結（total disconnected）ではなく、
連結成分は点集合（1点のみからなる集合）となりますが、
省27
119(1): 04/02(木)17:58 ID:w/JPlK87(11/11) AAS
>>118 補足
いまどきのAIは 結構賢いね〜！ｗ
ぼんやり 1/3 くらいは 似たことは考えたが 、なるほどね
無理数全体 I は、通常の位相空間において全不連結（total disconnected）ではなく、
↓
無理数全体 I は、一般の位相空間においては 全不連結（total disconnected）ではなく、
かな
あと 定値写像なら 連続の言及がないが
無理数全体 I の1点aの逆像が R全体であり
1点aを含むIの開集合Uの逆像も またR全体で Rは開集合
省5
120(2): 04/02(木)18:11 ID:IUHb/STf(1/3) AAS
>>119
私はもう疲れてしまったのですよ…。
スルーは別にできますけど、パフォーマンスにさえ感じられなくなってきたから、書く意味を感じないですね。
3つの事象の独立の話は、私が思っていたことを質問者さんが見事に表現してくれました。アレが全然無意味だと思えるのなら、どうぞご自由に。
せっかく最近は1さんが適当なコピペで済ませずに、真摯に解答して下さる感じなってきましたが、こんな感じになりとても残念です。
121(1): 04/02(木)18:12 ID:IUHb/STf(2/3) AAS
質問者さんとは、大学数学の質問スレの方のことです。
122(1): 04/02(木)18:32 ID:cMw/ftdd(5/7) AAS
>>120
ただ３つの場合としか書かないから
いつまでもバカ扱いされる
日本語の文章も書けないのか？
123: 04/02(木)18:35 ID:cMw/ftdd(6/7) AAS
１と話すと大学数学が理解できない馬鹿になるよ
124(1): 04/02(木)18:37 ID:IUHb/STf(3/3) AAS
>>122
それで伝わらないのなら、書く意味がないよ。
1さんも、もう私の名前を挙げなくて良いですよ。
昨夜本当にもうやりたくないと思ったので、せっかく連れ戻して頂きましたが、自分の意思で辞めさせて下さい。
今までありがとうございました。
125(1): 04/02(木)20:12 ID:WYszVHCf(2/4) AAS
>>111
>形式化でGAPが見つかることはあっても埋まることは無いだろう
いや
その過程でLANA参加者がアイデア出して埋めちゃうかもってこと
126(1): 04/02(木)20:15 ID:WYszVHCf(3/4) AAS
>>121
質問するにも自分の考えをまとめて伝えなくてはね
127: 04/02(木)20:16 ID:WYszVHCf(4/4) AAS
>>125
>その過程でLANA参加者がアイデア出して埋めちゃうかもってこと
で
こっそり埋められても困るので完全公開して欲しいってことさね
128(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 04/02(木)20:32 ID:nA2Oz6b0(1/4) AAS
>>120 >>124
（ニコ） (^^)君どうもです
スレ主です
君のすきにしたらいい
去るのも自由
戻るのも自由
ROMも自由
書くのも自由
君のおかげで おサル>>32 の超不得意科目が分ったよ
”位相空間論”だ
省22
129(3): 04/02(木)20:42 ID:fV+6IQPZ(1/2) AAS
>>126
行間を埋める訓練をされているからと、頼った部分があることは認めます。
最近は無数目の話で、古株の方同士も結構揉めていらっしゃるので、それも気になります。
そもそも私にこの趣味は合っていないと思います。別に皆さんが悪いというつもりはありません、私の個人的なニーズの問題なので、気にしないで下さい。
半年前は私も居なかったですから、その状態に戻るだけなので、何も問題は無いですよ。私が居なくなったら院試を続けるのか分かりませんが、良い感じで進むことを期待しています。
130: 04/02(木)20:44 ID:fV+6IQPZ(2/2) AAS
>>128
タフネスは仕事で発揮します。
プライベートは自由にしますよw
色々ありがとうございました。
131: 04/02(木)20:52 ID:nA2Oz6b0(2/4) AAS
さて、メモ貼る
外部ﾘﾝｸ[html]:blog.livedoor.jp
第九研究室だより
伊勢幸一の公式ブログ
位相空間
2010年12月27日
11 - コンパクト性
【定義 2】
集合 X がコンパクトであるということは以下が成り立つ事である。
略
省13
132(1): 04/02(木)20:53 ID:nA2Oz6b0(3/4) AAS
つづき
橋本義武という方が開集合、閉集合、有界閉集合、コンパクトを冬のソナタになぞらえて物語を書いていますが、それを読むと「あ〜、なる」と思います。たぶんどこかの大学の授業で使った資料のようだけど、一通り位相空間の知識があると可笑しくて笑いますwww
以下、前書きの抜粋、
「ユークリッド空間で暮らす開集合は明るい女子高生．幼なじみの閉集合とは家族ぐるみの付き合いで，まるで
双子のよう．そんなある日，開集合はソウル解析学高校からの転校生，有界閉集合と恋に落ちた．点列の収束部分列の存在，連続関数の最大・最小の存在，連続関数の一様連続性，有界閉集合と一緒にいると，つぎつぎ不思議な出来事が起こるのだった．
しかし，突然の悲劇が2人の初恋に終止符を打つ．故郷のユークリッド空間を離れて位相空間へと旅立ったら，もう有界という概念などなくなってしまう……
10 年後，位相空間の基本概念として活躍する開集合の前に，有界閉集合と瓜二つのコンパクト空間が現れて……」
省4
133: 現代数学の系譜 雑談 ◆yH25M02vWFhP 04/02(木)21:01 ID:nA2Oz6b0(4/4) AAS
>>132 補足
>橋本義武という方が開集合、閉集合、有界閉集合、コンパクトを冬のソナタになぞらえて物語を書いていますが、それを読むと「あ〜、なる」と思います。たぶんどこかの大学の授業で使った資料のようだけど、一通り位相空間の知識があると可笑しくて笑いますwww
橋本 義武先生について
外部ﾘﾝｸ:researchmap.jp
橋本 義武
ハシモト ヨシタケ (Yoshitake Hashimoto)
基本情報
所属東京都市大学 理工学部 教授
学位
理学博士
省18
134: 04/02(木)21:27 ID:cMw/ftdd(7/7) AAS
>>128
位相でも初歩から間違う馬鹿１
今日も恥しらずに間違いつづける
135(1): 04/02(木)21:45 ID:WpCxm1lf(1) AAS
>>129
>最近は無数目の話で、古株の方同士も結構揉めていらっしゃるので、それも気になります。
最近って
前はもめていなかったような書き様ね
136(2): 04/02(木)22:29 ID:KLIcJqXe(1) AAS
>>135
そのスレは最近挙がってきたから、昔のことは知らないです。
数学科対非数学科の構図がそこで崩れているように見えるので、非常にややこしいです。
私の趣味は基本的に癒されるものが中心なので、ややこしいものは無理ですね（汗）
頑張って色々答えを出していって下さい。
ROMりながら応援しています。（数学板には居るかもしれません。）
137(1): 04/02(木)23:13 ID:Hx3S6NCB(5/5) AAS
理解者誰もいませんでしたってオチ？w
138: 04/03(金)01:40 ID:DAh4CO4w(1/39) AAS
ショルツェたちがいる
正しくないことの理解者ｗ
139(2): 04/03(金)05:54 ID:jZhLAmNL(1/16) AAS
>>129 >無数目の話で、古株の方同士も結構揉めていらっしゃる
>>136 >数学科対非数学科の構図がそこで崩れているように見える
「箱入り無数目」は「箱の中身は確率変数の筈」というトラップにひっかかると玄人でも間違う
モンティホール問題で間違った、ポール・エルデシュみたいなもの
実際、温帯氏は誤解した
実は、記事では、箱には勝手な数を入れていい、としかいってない
箱の中身の確率分布については一切言及はない
また全ての箱が独立同分布ともいってない
いってないこと（箱の中身がランダム分布で箱同士は独立同分布）を読み取るのは幻聴
いってないことを前提して「非可測だから確率が定義できない」とかいうのは妄想
省7
140(2): 04/03(金)06:46 ID:jZhLAmNL(2/16) AAS
100本のくじ中に1本だけ当たりくじがある、という条件で
100本のくじから1本をランダムで選ぶ場合、当たる確率は1/100
このとき、もしくじに番号がついているとして
例えば46番のくじが当たりの確率が1/100
ということではない
あくまで当たりくじは46番に決まっていて
46番を選ぶ確率が1/100だというだけのこと
141(2): 04/03(金)08:00 ID:Qyhi2Z5O(1/4) AAS
>>140
(引用開始)
100本のくじ中に1本だけ当たりくじがある、という条件で
100本のくじから1本をランダムで選ぶ場合、当たる確率は1/100
このとき、もしくじに番号がついているとして
例えば46番のくじが当たりの確率が1/100
ということではない
あくまで当たりくじは46番に決まっていて
46番を選ぶ確率が1/100だというだけのこと
(引用終り)
省10
142(2): 04/03(金)09:56 ID:iDSbvOD/(1) AAS
>>139
>コミック「数字であそぼ」でも「箱入り無数目」を取り上げてるがやっぱりトラップにひっかかってる
『数字であそぼ。』は、「巻数 既刊15巻（2026年1月9日現在）」とあるけど
”「箱入り無数目」を取り上げてる”のは 何巻？
(参考)
外部ﾘﾝｸ:ja.wikipedia.org
数字であそぼ。
『数字であそぼ。』（すうじであそぼ。）は絹田村子による日本の漫画作品。
『月刊フラワーズ』（小学館）にて2018年8月号から連載中[1]。
出版社 小学館
省1
143(1): 04/03(金)10:09 ID:DAh4CO4w(2/39) AAS
>実際、温帯氏は誤解した
誤解というより記事を読んですらいない お爺ちゃんは新しいことにチャレンジできない
144(1): 04/03(金)10:12 ID:DAh4CO4w(3/39) AAS
>数学者が箱入り無数目は間違ってるというのは
間違ってると公式に表明してる数学者はいないけどね
お爺ちゃんも５ちゃんでごにょごにょ言ってるだけ 公式なら途端に叩かれるから
上下前次1-新書関写板覧索設栞歴
あと 858 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.071s