[過去ﾛｸﾞ] ガロア第一論文と乗数イデアル他関連資料スレ12 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
716: 01/28(火)11:37 ID:yAHxbqo/(6/7) AAS
>>710
>A-{aξ：ξ<α} からなる 集合族を 部分集合として P' から切り出して
>その 順序数で添え字付けされた 集合族からの 選択関数の出力として、
>順序数で添え字付けされた aα を出すべし
選択関数の定義域はP(A)-{φ}でよい
aαを求めるのに、選択関数の定義域の全てでの値が必要というわけではないが
そのことは、定義域がP(A)-{φ}より小さい、ということとは全く異なる
この簡単な事実が、●ルには分からない
717(1): 01/28(火)11:41 ID:6Ob7TBNE(1) AAS
>>710
> ”That we can do by induction, using a choice fiunction f for the family S of all nonempty subsets of A.”
> は、ヒントでしょ？
誤 fiunction
正 function
君は全く読まずにコピペするんだね どんだけいい加減な仕事してんだ
さて、上記の文章は君の誤りをズバリ指摘する答えでしょ
a choice function f for the family S of "all" nonempty subsets of A.
省2
718: 01/28(火)11:44 ID:yAHxbqo/(7/7) AAS
>>710
> 数学科生なら、この１行で ”aα=f(A-{aξ：ξ<α})”の構成を悟れ！
aがinduction で作られる
右辺の中のfがaxiom of choiceで存在が保証されるchoice function
悟るもなにも、ズバリそうかいてあるじゃん
●ルは、英語読めないのか？
719(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/28(火)12:03 ID:C6l4Y3jA(3/8) AAS
”＜公開処刑 続く＞
（『 ZF上で実数は どこまで定義可能なのか？』に向けて と
(あほ二人の”アナグマの姿焼き") に向けてｗｗ ；ｐ） rio2016.5ch.net/test/read.cgi/math/1736907570/”
＜ あほ二人は、選択公理−選択関数が 全く分かっていない＞
>>711-718
あほ が、がんばるねｗ
>誤 fiunction
>正 function
ああ、訂正ありがとう
そこ、海賊版のPDFは、テキストがコピーできないので
省12
720: 01/28(火)12:25 ID:9VIHSgws(1/3) AAS
>>719
> A-{aξ：ξ<α}からなる集合族を あつめて P'(Aのべき集合から 空集合を抜いた集合) の部分集合が出来上がる
で？
fの定義域を、Aのべき集合から 空集合を抜いた集合 ではなく
A-{aξ：ξ<α}からなる集合族 に限定する理由が全くない
って文章 ●ルには意味わかる？
わかんない？ どこがどうわかんない？
関数の定義域って言葉の意味 知ってる？ ●ル
721: 01/28(火)12:27 ID:SFFxcmct(3/28) AAS
>>709
>繰り返しになるが 集合Aのべき集合P(A) （Aの任意部分集合）は、空集合を含む
>そこで、空集合を除いたものを P(A) -Φ と書く
P(A)-{Φ}な。
P(A)-Φ=P(A)やぞ。空集合除けてないぞｗ
なんで教えてやってんのに聞かんの？ 人の言うことを聞けないと馬鹿は治らないって言ってるよね？
722: 01/28(火)12:27 ID:SFFxcmct(4/28) AAS
> こうして、P'の部分集合 として 集合族の A-{aξ：ξ<α}が取り出せて
P'に属す集合を取り出す必要は無い。
取り出す必要があるのはP'に属す任意の集合それぞれの元。
それが選択関数f。
723: 01/28(火)12:27 ID:SFFxcmct(5/28) AAS
> aα=f(A-{aξ：ξ<α}) つまり f：A-{aξ：ξ<α} → aαができる
だからｗ
fが存在しているからaαを定義できるのに、なんでaαからfを作るんだよｗ 脳みそ腐ってんの？
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αを使っている。
なぜこれで善しと思ったのか。まさに猿知恵。
上下前次1-新書関写板覧索設栞歴
あと 267 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.023s