[過去ﾛｸﾞ] ガロア第一論文と乗数イデアル他関連資料スレ12 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
284: 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/15(水)14:46 ID:ZCTGHyhi(1/11) AAS
>>270
>Choice principles in elementary topology and analysis Horst Herrlich
Horst Herrlichは、下記か
大物ですな （＾＾
(参考)
en.wikipedia.org/wiki/Horst_Herrlich
Horst Herrlich (11 September 1937, in Berlin – 13 March 2015, in Bremen) was a German mathematician, known as a pioneer of categorical topology.
Education and career
From 1971 to 2002 Herrlich was a professor of mathematics with a focus on general topology and category theory at the University of Bremen.
He was an Invited Speaker of the International Congress of Mathematicians in 1974 in Vancouver.[4]
省11
285(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/15(水)14:57 ID:ZCTGHyhi(2/11) AAS
>>281 ID:cDKFP1/O
>嫌味な問題
>>283 ID:zEkLeAcw
>>>281
>君は認知機能に問題がありそうだな
>数学は諦めたら？ 無理だから
あららのらｗ ；ｐ）
ID:cDKFP1/O は、プロ数学者のOTK 世界的な多変数関数論の大家でしょ？
囲碁のプロ棋士に対して 「囲碁は諦めたら？ 無理だから」って
倒錯もここまで来たら滑稽もいいところだｗｗｗ
省2
293(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/15(水)15:42 ID:ZCTGHyhi(3/11) AAS
>>283
しゃれを解説するのも ”やぼ”だが
世に JFKというのがありまして
OTK は、アルファベット３文字で、最後のKが印を踏んでいるんだ （＾＾
で、”数学は諦めたら”じゃなく
私がやっていることは、おサルたち 二人の公開処刑です！ｗ
つまり >>15 の
>つまり(ZFCではなく)ZF上で実数は定義不可能と言いたいのですか？
について
『ZF上で実数が、どこまで定義可能なのか？』
省7
294(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/15(水)15:53 ID:ZCTGHyhi(4/11) AAS
>>292
だから 前スレ
rio2016.5ch.net/test/read.cgi/math/1724969804/970
”{}∈{{}}∈{{{}}}∈{{{{}}}}∈・・・”という整列順序を 整列可能定理で 作ったと解釈してくださいね。整列可能定理でね
それで、議論は終りです
”{}∈{{}}∈{{{}}}∈{{{{}}}}∈・・・”という整列順序を 整列可能定理で 作ったと解釈すると
∈ → ≦ （>>292の定義の通り）と書き直して
”{}≦{{}}≦{{{}}}≦{{{{}}}}≦・・・”
となる
この ≦の定義で
省7
295: 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/15(水)15:55 ID:ZCTGHyhi(5/11) AAS
>>294 タイポ訂正
主学生には、難しいわな！！ ｗｗｗ ；ｐ）
↓
小学生には、難しいわな！！ ｗｗｗ ；ｐ）
302(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/15(水)17:44 ID:ZCTGHyhi(6/11) AAS
公開処刑 火刑の燃料投下！ ；ｐ）
下記”The axiom of choice in metric measure spaces and maximal δ-separated sets”
”可算選択公理は、擬距離空間上のボレル測度の存在が、開球の測度が正で有限であることから、その空間の可分性を意味することを証明するのに必要かつ十分であることを示す”
ボレル測度や、ルベーグ測度を作るのに、ZFCが必要か
はたまた ZF＋DC(従属選択)でよいのか？ それが問題だ by ハムレット ；ｐ）
調査中
(参考)
link.springer.com/article/10.1007/s00153-023-00868-4
Archive for Mathematical Logic
The axiom of choice in metric measure spaces and maximal δ-separated sets
省21
303(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/15(水)17:46 ID:ZCTGHyhi(7/11) AAS
つづき(森田の定理:有名な森田 紀一先生らしい)
ja.wikipedia.org/wiki/%E5%8F%AF%E5%88%86%E7%A9%BA%E9%96%93
可分空間（英: separable space）とは、可算な稠密部分集合を持つような位相空間をいう。
つまり、空間の点列 {xn}n=1-∞ で、その空間の空でない任意の開集合が少なくとも一つその点列の項を含むものが存在する。
他の可算公理と同様に、可分性は空間の「大きさの制限」を与えるものである。これは必ずしも濃度に関するものではなく、より微妙な位相的な意味での「大きさ」である。（ただしハウスドルフ空間の場合は濃度に関する制限にもなっている。下記参照。）特に、可分空間上の連続写像でその像がハウスドルフ空間の部分集合であるようなものは全て、その可算稠密部分集合上の値によって決定される。
一般に、可分性は極めて有用で（幾何学や古典的な解析学で研究されるような空間のクラスに対しては）きわめて緩やかなものと一般に考えられる、空間への技術的仮定である。
可分性とそれに関連のある第二可算性の概念の比較は重要である（第二可算のほうが一般には強い条件だが、距離化可能な空間のクラスでは同値になる。
簡単な例
位相空間が、それ自身有限または可算無限集合となるようなものは、全体集合がそれ自体可算稠密集合となるから、全て可分である。非可算な可分空間の重要な例として、実数直線が挙げられる（この場合、有理数全体の成す部分集合が可算稠密部部分集合を与える）。同様に、Rn の全ての成分が有理数であるようなベクトル (r1, …, rn) 全体の成す集合は Rn の可算稠密部分集合となるから、任意の n に対する n-次元ユークリッド空間は可分である。
可分でない空間の単純な例は、非可算濃度を持つ離散空間である。
省11
304(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/15(水)17:46 ID:ZCTGHyhi(8/11) AAS
つづき
ja.wikipedia.org/wiki/%E6%A3%AE%E7%94%B0%E7%B4%80%E4%B8%80
森田 紀一（1915年2月11日 – 1995年8月4日 ）は日本の数学者。専門は代数学、位相空間論。
静岡県浜松生まれ。1939年、東京文理科大学の助手に就任。1950年、大阪大学で学位を取得。以後、東京教育大学、筑波大学、上智大学で教授を務める。代数学においては、森田双対性や、森田同値の概念を導入。一般位相空間論においては正規空間の研究、次元論、shape理論に関する業績がある。
関連文献
Hoshina, T.; Nagata, J.; Okuyama, A.; Watanabe, T. (1998), “Kiiti Morita 1915–1995”, Topology Appl. 82: 3–14, doi:10.1016/S0166-8641(97)00040-0, MR1602411, Zbl 0887.01024
www.sciencedirect.com/science/article/pii/S0166864197000400?via%3Dihub
Topology and its Applications
Volume 82, Issues 1–3, 23 January 1998, Pages 3-14
T. Hoshina 、J. Nagata ∗ 、A. Okuyama ,T. Watanabe
省6
305(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/15(水)17:47 ID:ZCTGHyhi(9/11) AAS
つづき
ja.wikipedia.org/wiki/%E7%AC%AC%E4%B8%80%E5%8F%AF%E7%AE%97%E7%9A%84%E7%A9%BA%E9%96%93
第一可算空間（英: first-countable space）とは、"第一可算公理"を満たす位相空間のこと。位相空間 X が第一可算公理を満たすとは「各点 x が高々可算な近傍からなる基本近傍系（局所基）をもつこと」を指す。
すなわちx の可算個の開近傍 U1, U2, …で以下の性質を満たすものが存在するということである：
x の任意の近傍 V に対しある
i∈N が存在し、Vは Uiを部分集合として含む。
例と反例
普通に使われる空間のほとんどは第一可算的である。特に、距離空間はすべて第一可算的である。
というのは、各点 x に対し、それを中心とする半径 1/n (n は正の整数) の開球の系列は x の可算な基本近傍系となっている。
第一可算的でない空間の例として、補有限位相を入れた (実数直線などの) 非可算集合がある。
省9
306(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/15(水)17:57 ID:ZCTGHyhi(10/11) AAS
>>301
>>>292
>その証明、正しい？
>どこにそれ載ってる？
ID:l2ptd/jY さんか
レスありがとうございます。
スレ主です （＾＾
私は、主義として 素人が ここ５ｃｈ（便所板）に書き散らかした
素人証明は、読まない主義ですが
なるほどね
省4
310(8): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/15(水)18:43 ID:ZCTGHyhi(11/11) AAS
>>309
それ、下記のWell-ordering theorem
”The well-ordering theorem follows from the axiom of choice as follows.[9]”
とほぼ同じでしょ？
おれが、すでに どこかにアップしてあるよ
外部ﾘﾝｸ:en.wikipedia.org
Well-ordering theorem
Proof from axiom of choice
The well-ordering theorem follows from the axiom of choice as follows.[9]
Let the set we are trying to well-order be
省22
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 3.794s*