[過去ﾛｸﾞ] ガロア第一論文と乗数イデアル他関連資料スレ13 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
47(5): 現代数学の系譜 雑談 ◆yH25M02vWFhP 02/02(日)19:45:40.82 ID:5scbwZz/(7/12) AAS
>>41
(引用開始)
>突っかかるやつへの対抗ですよｗ ；ｐ）
君自身がコピペした内容理解してないから無意味
君、Jechの証明理解してないじゃん
(引用終り)
ふっふ、ほっほ
1）もし 引用部分が正しいとするね
そうすると、私の書いていることは
基本は 引用部分のURLからの再引用（2度目の引用）であります ；ｐ）
あるいは、引用部分のURLからの必然の事項となっています
2）従って、理解している いない には 関係なく
ツッコミどころは、ない！ｗ
（そこを たまに誤解して、”再引用（2度目の引用）”を 私個人の意見と誤解して ツッコミ入れる人居ますｗ。それ あなたですｗ）
3）Jechの証明、前スレより下記だね
en.wikipedia の ”sup{α∣aα is defined}”が分らんと言っていた人 あなたでしょ？ｗ
私も 誤解がありましたが、>>14の alg-d 壱大整域氏 の証明で、ようやく理解できました
ご苦労さまですｗ ；ｐ）
前スレ 808より (参考)(再掲) 631より
en.wikipedia.org/wiki/Well-ordering_theorem
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 A, and let f be a choice function for the family of non-empty subsets of A.
For every ordinal α, define an element aα that is in A by setting
aα= f(A∖{aξ∣ξ<α})
if this complement A∖{aξ∣ξ<α} is nonempty, or leave aα undefined if it is.
That is, aα is chosen from the set of elements of A that have not yet been assigned a place in the ordering (or undefined if the entirety of A has been successfully enumerated).
Then the order < on A defined by aα<aβ if and only if α<β (in the usual well-order of the ordinals) is a well-order of A as desired, of order type sup{α∣aα is defined}.
Notes
9＾ Jech, Thomas (2002). Set Theory (Third Millennium Edition). Springer. p. 48. ISBN 978-3-540-44085-7.
(引用終り)
Thomas Jechの 証明 再録（前スレ 848より）
P48
Theorem 5.1 (Zermelo’s Well-Ordering Theorem)
Every set can be well-orderd.
Proof：
Let A be a set. To well-order A, it suffices to construct a transfinite one-to-one sequence （aα: α < θ) that enumerates A.
That we can do by induction, using a choice fiunction f for the family S of all nonempty subsets of A.
We let for every α
aα=f(A-{aξ：ξ<α})
if A-{aξ：ξ<α} is nonempty.
Let θ be the least ordinal such that A = {αξ: ξ < θ}.
Clearly,（aα：α< θ) enumerates A. ■
(引用終り)
155: 02/04(火)17:20:34.82 ID:kyySIsuH(10/19) AAS
>>151
>１）そもそも、公理とは 条件さえ許せば 無制限に適用できる
大間違い
公理とは証明無しで正しいと認める命題
366: 02/08(土)11:14:40.82 ID:3HJap0cQ(3/3) AAS
ちなみに、>>282-283の離散フーリエ変換による計算は
ラグランジュ分解式の計算原理と同じ。
数学を学ぶことができない1は、こんな基本的なことも
永遠に理解するに至らない。
399(1): 02/09(日)08:33:02.82 ID:h/rU8tE5(1/6) AAS
1の自力はおっちゃん以下
436: 02/09(日)20:18:55.82 ID:KVhWlXEd(22/26) AAS
>>434
> ゲーデルの不完全性定理の示すところ、
> ZFCで否定も肯定もできない命題が存在するよね
> だから、
> ”lim n → ω ω := {・・{{{}}}・・}_ω と定義してしまえ！”
> はあり
だからの前後が繋がんねえよバカ
論理が判らぬエテ公は山に帰れ
二度とゲーデルの名前を口にするんじゃねえ
焼いて食っちまうぞ
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.039s