[過去ﾛｸﾞ] ガロア第一論文と乗数イデアル他関連資料スレ12 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
724: 01/28(火)12:28 ID:SFFxcmct(6/28) AAS
> この関数は、選択公理で許される 選択関数である
いやいやｗ 選択関数を構成できるなら選択公理要らんやろｗ
選択公理は選択関数の存在を「許している」＝「禁止していない」のではなく「保証している」。
君、選択公理ぜんぜん分かってないね。
725: 01/28(火)12:28 ID:SFFxcmct(7/28) AAS
>６）さらに付言しておくと、集合Aから最初に どの要素を取り出して、次に どの要素を取り出して ・・・
> と続けることを考えると、集合Aの並びは 大きな自由度があり
fで一意に定まるから自由度は無い。
726(1): 01/28(火)12:28 ID:SFFxcmct(8/28) AAS
>aα=f(A-{aξ：ξ<α}) は P' 全体に広がる可能性がある
可能性は無い。
α>β ⇒ A-{aξ：ξ<α}⊂A-{aξ：ξ<β} ∧ A-{aξ：ξ<α}≠A-{aξ：ξ<β}
が成立っているから。
さすが大学1年4月に落ちこぼれただけのことはあるね こりゃ酷い
727: 01/28(火)12:42 ID:yjMaZKJe(1/2) AAS
>>726
箱入り無数目のスレッドの議論で気づいたけど
◆yH25M02vWFhPは集合論の初歩から分かってないから
集合論で決めてない勝手ルールをバンバン持ち出す
高校までの「計算秀才」にありがちな独善的な態度
みっともないったら、ありゃしないって
728: 01/28(火)12:51 ID:SFFxcmct(9/28) AAS
>>710
>で、まとめると
間違いをまとめても間違ったまとめにしかならない。
>”That we can do by induction, using a choice fiunction f for the family S of all nonempty subsets of A.”
>は、ヒントでしょ？
ヒントじゃなく答えそのもの。
>数学科生なら、この１行のヒントで ”aα=f(A-{aξ：ξ<α})”の構成を悟れ！ ということ
悟らなくても
We let for every α
aα=f(A-{aξ：ξ<α})
省4
729(3): 01/28(火)12:58 ID:yjMaZKJe(2/2) AAS
率直に言って、Jechの本の証明は
「なんだ、それだけのことか」
という感じのもの
（注：別にJechはディスってない）
「Aの空でない部分集合から要素を取り出す選択関数」で十分なのに
なぜ、選択関数の定義域を「Aの空でない部分集合」から
より小さい集合族に限定する必要があるのだろうか？
しかも◆yH25M02vWFhPは、限定に思いっきり失敗してるし
可算集合の整列が、可算選択公理で出来るって
考え無しのオオボケかましたのを正当化しようってか？
省3
730(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/28(火)13:06 ID:C6l4Y3jA(4/8) AAS
”＜公開処刑 続く＞
（『 ZF上で実数は どこまで定義可能なのか？』に向けて と
(あほ二人の”アナグマの姿焼き") に向けてｗｗ ；ｐ） rio2016.5ch.net/test/read.cgi/math/1736907570/”
＜ あほ二人は、選択公理−選択関数が 全く分かっていない＞
血の巡りの悪い人がいるね
>>720-727
おサルさ>>7-10
必死で論点をチラシて、ゴマカシているけどｗ
で、>>717より
>a choice function f for the family S of "all" nonempty subsets of A.
省13
731(1): 01/28(火)13:10 ID:9VIHSgws(2/3) AAS
>>a choice function f for the family S of "all" nonempty subsets of A.
>>"all"がこういってる
>そこから "aα=f(A-{aξ：ξ<α})" をどうやって出すの？
出すって？ fの定義域として？ そんな必要ないだろ
なんでfの定義域をA-{aξ：ξ<α}に限定する必要があるんだ？
そんな馬鹿なことする必要まったくないって
大学数学の初歩からオチコボレた●ルには分からんか？
>おれの誘導は・・・
省1
732: 01/28(火)13:14 ID:9VIHSgws(3/3) AAS
>>731
> 先制攻撃をしておく
どうぞ〜（鼻ホジホジ）
> いま Aが 可算集合とするよ
はいは〜い（鼻ホジホジ）
>集合族 A-{aξ：ξ<α} を使った 選択関数に限れば順序数 α は、可算の範囲だよね
>ところが、Aのべき集合全体をカバーする順序数は 2^A つまり 非可算だろ
そうですね〜（鼻ホジホジ）
>（あたかも 自然数Nを整列させるのに、2^N の 非可算集合で、実数Rを整列させようってか？）
しつも〜ん（鼻ホジホジ）
省3
733: 01/28(火)13:35 ID:SFFxcmct(10/28) AAS
>>719
>つまり、ある順序数αに対して α+1 があって
極限順序数はどうするの？ ξ+1=ωを満たす順序数ξは存在しないが。そういう粗雑さが間違いのもと。
>次に、関数fに食わせる集合は、f(A-{aξ：ξ<α}より aα減った集合だね
>A-{aξ：ξ<α} - aα だね
それを言うなら A-{aξ：ξ<α} - {aα} な。ほんとおまえは人の話を聞けん奴やのう。アホたれ小僧が。
>そうやって、A-{aξ：ξ<α}からなる集合族を あつめて
>P'(Aのべき集合から 空集合を抜いた集合) の部分集合が出来上がる
作る必要が無い。aαが定義されればよいだけ。
>P'の部分集合を作る公理は、選択公理ではなく、置換公理を使うよ （常識でしょ？（＾＾）
省2
734(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/28(火)13:39 ID:C6l4Y3jA(5/8) AAS
”＜公開処刑 続く＞
（『 ZF上で実数は どこまで定義可能なのか？』に向けて と
(あほ二人の”アナグマの姿焼き") に向けてｗｗ ；ｐ） rio2016.5ch.net/test/read.cgi/math/1736907570/”
＜ あほ二人は、選択公理−選択関数が 全く分かっていない＞
血の巡りの悪い人がいるね
>>729
>「Aの空でない部分集合から要素を取り出す選択関数」で十分なのに
>なぜ、選択関数の定義域を「Aの空でない部分集合」から
>より小さい集合族に限定する必要があるのだろうか？
それ>>730に書いたけど Aが可算だとするよ
省18
735: 01/28(火)13:45 ID:SFFxcmct(11/28) AAS
>>729
>しかも◆yH25M02vWFhPは、限定に思いっきり失敗してるし
その通り。
限定する、すなわちfを定義するために、fで定義されたaαを使っている。
なぜこれで善しと思ったのか。まさに猿知恵。
736: 01/28(火)13:51 ID:wjWOd1UP(1) AAS
>Aが可算だとするよ
>そうすると、選択関数の定義域を、Aのべき集合から空集合を除いた集合で考えても良いが、
>問題は そのままでは そもそも 順序数での添え字付けがないってことだ
定義域の集合族に属する⊂全部に添え字つける必要ないじゃん
君、馬鹿なの？
737: 01/28(火)13:55 ID:YIzEI6dp(1/2) AAS
> 選択公理のパワーは、扱える集合族の添え字の大きさであり
誤 添え字の大きさ
正 濃度
> 集合族の添え字 一つから 一つの要素が出るので つまりは 要素の整列の長さが決まる
●ルが連想ゲームでそう思い込んでることはわかってるが
みんながいってるのは、その連想ゲームが間違い●違いってことよ
>この根本的な 選択公理の理解に対する全体像 つまり ランドスケープが欠けている
省2
738: 01/28(火)14:00 ID:YIzEI6dp(2/2) AAS
いま、可算集合Aがある
Jechの選択関数fの 集合族 P(A)-{φ} は非可算の集合族であるから
可算選択公理では、Jechの証明を実行できず、可算集合Aを整列させられない
残念だったな ●ル
無限乗積の収束も失敗
正則行列の判定も失敗
選択公理の適用も失敗
スリーアウトで大学退学な
739(5): 01/28(火)14:04 ID:SFFxcmct(12/28) AAS
>>729より
>可算集合の整列が、可算選択公理で出来るって
>考え無しのオオボケかましたのを正当化しようってか？
Aが可算⇔全単射f:N→Aが存在する。
∀n,m∈N.n<m⇔f(n)<f(m) によって(A,<)を定義したとき、∀B⊂A.f(minf^(-1)(B))=min<B∈B だから、Aは整列集合。
はい、雑談ザルの持論は独善妄想であることが証明されますた。残念！
740: 01/28(火)14:35 ID:SFFxcmct(13/28) AAS
>>730
>そこから >>709 Thomas Jechの "aα=f(A-{aξ：ξ<α})" をどうやって出すの？ｗｗ ；ｐ）
どうやって出すも何も
We let for every α
aα=f(A-{aξ：ξ<α})
if A-{aξ：ξ<α} is nonempty.
と、Thomas Jechが定義してるんだけど？
君はεN論法による数列の極限の定義をどうやって出したのか疑問で教員に尋ねたと？
で、納得する答えが得られなかったからブチギレて解析学の単位を放棄したと？
そりゃ大学1年の4月に落ちこぼれますわ。
省15
741: 01/28(火)14:39 ID:LP4AFWMW(1) AAS
◆yH25M02vWFhP と掛けてキムジョンウンと解く
その心は・・・ミサイルひとつもあたりゃしねぇ！
742: 01/28(火)15:19 ID:SFFxcmct(14/28) AAS
>>734
>血の巡りの悪い人がいるね
それが君
>それ>>730に書いたけど Aが可算だとするよ
>そうすると、選択関数の定義域を、P' (＝Aのべき集合から空集合を除いた集合)
>で考えても良いが
じゃ終了
>問題は そのままでは そもそも 順序数での添え字付けがないってことだ
使わない添え字がなんで要るの？ 馬鹿なの？
>（そして もし 添え字付けすれば Aより一つランク上の無限の順序数の添え字要）
省9
743: 01/28(火)15:19 ID:SFFxcmct(15/28) AAS
>>可算集合の整列が、可算選択公理で出来るって
>>考え無しのオオボケかましたのを正当化しようってか？
>話は全く逆だよ
>選択公理のパワーは、扱える集合族の添え字の大きさであり
なんで添え字に拘るの？ 使わない添え字は要らないんだけど。馬鹿なの？
>集合族の添え字 一つから 一つの要素が出るので つまりは 要素の整列の長さが決まる
長さはsup{α|aα is defined}ですけど？
上下前次1-新書関写板覧索設栞歴
あと 259 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.055s