[過去ﾛｸﾞ] ガロア第一論文と乗数イデアル他関連資料スレ12 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
274: 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/14(火)19:56 ID:V0GJJBJ/(4/5) AAS
つづき
Theorem 2.4 ([4], [14]). Equivalent are:
1. in a (pseudo)metric space X, a point x is an accumulation point of a subset A iff there exists a sequence in A\ {x} that converges to x,
略す
17. the Axiom of Countable Choice.
The Axiom of Dependent Choices implies the Baire Category Theorem for complete pseudometric spaces, and the latter implies the Axiom of Countable Choice.
(参考)
ja.wikipedia.org/wiki/%E3%82%BD%E3%83%AD%E3%83%B4%E3%82%A7%E3%82%A4%E3%83%A2%E3%83%87%E3%83%AB
ソロヴェイモデルはロバート M. ソロヴェイ (1970)によって構成されたモデルでツェルメロ＝フレンケル集合論 (ZF) の全ての公理が成り立ち、選択公理を除去し、実数の集合が全てルベーグ可測であるようにしたものである。この構成は到達不能基数の存在に依拠している。
構成
省6
275(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/14(火)20:05 ID:V0GJJBJ/(5/5) AAS
>>272
>>整列可能定理は公理として
>整列可能定理無しでは有理数Qの完備化は不可能 が君の主張との理解でよろしい？
まず 下記>>273 より転記
これを、百回音読してね
それで、尽くされているよね
(参考)
archive.wikiwix.com/cache/display2.php?url=http%3A%2F%2Fwww.emis.de%2Fjournals%2FCMUC%2Fpdf%2Fcmuc9703%2Fherrli.pdf
Comment.Math.Univ.Carolin. 38,3(1997)545–552 545
Choice principles in elementary topology and analysis Horst Herrlich
省14
276: 01/14(火)20:22 ID:M9OrezAK(11/13) AAS
>>273
整列定理が要る前提で答えてるなら大間違い。
整列定理無しでX/〜の構成も完備証明もできるから。
質問はなんでそんな大間違いをしたの？ってことだよ。日本語分る？
>スレタイ 箱入り無数目を語る部屋28(あほ二人の”アナグマの姿焼き"Part2ｗ)
>より転載します （＾＾
マルチやめろ 基地外かよ
277: 01/14(火)20:23 ID:M9OrezAK(12/13) AAS
>>275
逃亡乙
278: 01/14(火)20:24 ID:M9OrezAK(13/13) AAS
>>275
分からないなら分らないと言えよ
なんで体よく逃げようとすんだよｗ
279: 01/15(水)06:59 ID:EZoMBTL8(1) AAS
逃げられる方に問題がありそう
280: 01/15(水)10:14 ID:zEkLeAcw(1/13) AAS
どんな問題？
281(2): 01/15(水)10:37 ID:cDKFP1/O(1) AAS
嫌味な問題
282: 01/15(水)11:06 ID:73x+IUuM(1) AAS
アレは何かといえば、ネットで文章拾ってきてコピペして
それについては全く説明もせず「百遍読め」とわめくが
自分自身が分かるまで読んで説明しろといいたい
分かってないのはコピペで誤魔化す当人だけだって
そんなことだから大学１年４月の実数の定義の壁が
いつまでも乗り越えられないんだよ 全く
283(2): 01/15(水)12:21 ID:zEkLeAcw(2/13) AAS
>>281
君は認知機能に問題がありそうだな
数学は諦めたら？ 無理だから
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
286: 01/15(水)15:01 ID:e9ByM0p7(1) AAS
>>285
君は大学１年の微積と線型代数の理論が理解できずに挫折した素人だから
簡単に数学を諦められるよな 二ホン●ル
287: 01/15(水)15:06 ID:zEkLeAcw(3/13) AAS
「プロ数学者は認知機能に問題無い」
反例：マイケルアティヤ、某名誉教授
288(1): 01/15(水)15:09 ID:zEkLeAcw(4/13) AAS
まあ認知症よりも権威の尻馬に乗ろうとする輩の方がたちが悪いがね
ここにもそういう輩がおるね
289: 01/15(水)15:11 ID:kITRkOLu(1/2) AAS
>>288
なにかというと●●先生っていっちゃう奴ね
いつから数学者は代議士になったんだろう？
290: 01/15(水)15:13 ID:zEkLeAcw(5/13) AAS
認知症は不可抗力な病気だが
権威の尻馬に乗ろうとする破廉恥行為は本人の気概次第でどうとで制御できるからね
291: 01/15(水)15:16 ID:kITRkOLu(2/2) AAS
>>260
> ・・・は本人の気概次第でどうとでも制御できる・・・
それはどうかなぁ？
外部ﾘﾝｸ:ja.wikipedia.org
292(14): 01/15(水)15:40 ID:zEkLeAcw(6/13) AAS
定理 選択公理⇒整列定理
証明
空でない集合Xの任意の空でない部分集合Yをその元∃y∈Yに対応させる写像f(Y)=yの存在が選択公理により保証される。
X上の二項関係≦を ∀Y⊂X.((Y≠{})⇒∀y∈Y.(f(Y)≦y)) で定義する。
反射律の確認：∀a∈Xについて、≦の定義を{a}に適用しa≦aを得る。
推移律の確認：∀a,b,c∈Xについて、a≦b ∧ b≦c を仮定する。≦の定義を{a,b,c}に適用しa≦cを得る。
反対称律の確認：∀a,b∈Xについて、a≦b ∧ b≦a を仮定する。≦の定義を{a,b}に適用しf({a,b})=a ∧ f({a,b})=bを得る。fは写像だからa=b。
全順序律の確認：∀a,b∈Xについて、fの定義よりf({a,b})=a ∨ f({a,b})=b。≦の定義を{a,b}に適用しa≦b ∨ b≦aを得る。
以上で≦がX上の全順序であることが確認された。
さらに、≦の定義より、Xの任意の空でない部分集合Yに最小元f(Y)が存在するから、≦はX上の整列順序である。
293(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/15(水)15:42 ID:ZCTGHyhi(3/11) AAS
>>283
しゃれを解説するのも ”やぼ”だが
世に JFKというのがありまして
OTK は、アルファベット３文字で、最後のKが印を踏んでいるんだ （＾＾
で、”数学は諦めたら”じゃなく
私がやっていることは、おサルたち 二人の公開処刑です！ｗ
つまり >>15 の
>つまり(ZFCではなく)ZF上で実数は定義不可能と言いたいのですか？
について
『ZF上で実数が、どこまで定義可能なのか？』
省7
上下前次1-新書関写板覧索設栞歴
あと 709 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.029s