ガロア第一論文と乗数イデアル他関連資料スレ12 (906レス)
前次1-
抽出解除 レス栞

78: 01/10(金)06:20:10.92 ID:CcsS1aJz(1) AAS
>彼のコピペが無きゃ新しい知識を仕入れることができないなら、君、相当な低能だね

「Aを前提とすればBが導ける」という形で語っている
116
(1): 01/11(土)09:33:02.92 ID:YPfTJbqJ(4/15) AAS
>>113
>なので>>102の対角線論法の部分は、下記に修正しますね
>”縦方向に並べるの行の数は、可算整列可能定理を使って 可算無限にできる
> しかし、可算整列可能定理(=可算選択公理)を否定すると、有限になるので
> 対角線論法による 非可算は言えない”
対角線論法は背理法であって、実数が可算であることは仮定なので何の真性保証も要らない。もちろん可算整列定理も。
と教えてあげたのに理解できないんじゃもう救い様が無いから数学はあきらめたら?
222
(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/13(月)10:44:09.92 ID:xSRlEtRO(5/17) AAS
>>221
>”自己言及と対角線論法”

対角線論法より以前に、カントールの最初の実数の非可算を証明した話が下記にある
しかし、繰り返すが >>218『カントール、ラッセル、ボレル、ルベーグなどは、無意識のうちに可算選択公理を使ってしまっている』
ので、下記で 可算選択公理の役割は、定かではない(多分使っていると推測しています)

(参考)
en.wikipedia.org/wiki/Cantor%27s_diagonal_argument
Cantor's diagonal argument
(google訳)
実数
省13
310
(8): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/15(水)18:43:40.92 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
400
(2): 01/18(土)17:34:14.92 ID:aX+WEOUJ(2/4) AAS
>>397
私は見ず知らずの他人に構って
あたかも小中高の教師の如く頻繁に他人を比較する
貴様のような教師根性の持ち主が大嫌いなのだ
貴様は世間が数学の得意な人ばかりで
構成されている訳ではないことが分からないから、
>>1におサルっていわれているんだよw
このアホ
424: 01/19(日)11:26:45.92 ID:Ql1n3AY7(2/16) AAS
e' の仮定から e' は π/2<e'<π なる超越数だから、
aの定義から 0<a=π−e'<π/2 であって、
aの仮定に注意すれば、複素上半平面 C^{+} における半円周上単位半円周 c^{+} 上
での点 e^{ai} の偏角の主値aは実代数的数である
430: 01/19(日)12:12:18.92 ID:Ql1n3AY7(7/16) AAS
>>427
受験数学じゃあるまいし、数学の才能というのはないと思った方がいい
449
(1): 01/19(日)17:08:17.92 ID:Ql1n3AY7(15/16) AAS
>>446
大学1年レベルの線型代数が出来るからといって
行列式と連立方程式の解法の関係云々で
やたらイキるのは止めた方がいい
713: 01/28(火)11:29:29.92 ID:yAHxbqo/(3/7) AAS
>>709
> P'の部分集合 として 集合族の A-{aξ:ξ<α}が取り出せて
> aα=f(A-{aξ:ξ<α}) つまり f:A-{aξ:ξ<α} → aαができる
> この関数は、選択公理で許される 選択関数である

fはaなしに定義できる 単に入力の集合の要素を返すだけだから
 そしてその定義域は集合族P(A)−{φ}

 この簡単な事実が、●ルには分からない
873: 01/31(金)06:37:00.92 ID:uxf2uT9e(4/8) AAS
>>861
> aαを使って選択関数fを定義するとかアホなこと言って失笑されちゃう
 そもそも関数が分かってないんだろうな ●ルは

 「使おうが使うまいが、あらかじめ対応の全てを用意する」ということが想像できない
 ヒトとして致命的な欠陥だな ●ルとしては問題ないんだろうけど
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 2.065s*