[過去ﾛｸﾞ] スレタイ 箱入り無数目を語る部屋9 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
202(6): NN 2023/09/02(土)08:53 ID:kajZKr9x(5/23) AAS
>>200
>選択公理を認めるなら固定された代表系の存在が保証される
ええ、その通りです
集合論では関数はグラフですから
選択関数として存在するグラフを１つ指定すれば
「絶対的代表系」は決まります
それが標準的（カノニカル）かどうかはどうでもいいことです
逆に言えば、選択公理がないなら、そもそも選択関数の存在も言えない
１００列からそれぞれの代表元をとれるとしても
それが列の選択によらず一意的にとれるなんてことはいえない
省4
235(5): 2023/09/02(土)11:11 ID:7Mhd9jNy(8/26) AAS
>>199-203
NNさん、ご苦労さまです
スレ主です
> 「選んだ列に依存しない」というのを「絶対的」とよんでみた
> 「選んだ列に依存する」のを「相対的」とよんでみた
それって、数学では最初に自分から定義する話でしょ？
で、「選んだ列に依存する」の定義は？
そもそも「選んだ列」とは、どの文脈の話ですか？
>選択公理を認めるなら固定された代表系の存在が保証される
選択公理が保証するのは、任意の集合族から一つずつ元を選ぶこと（それで新しい集合ができる）
省25
241(1): 2023/09/02(土)11:46 ID:7Mhd9jNy(10/26) AAS
>>237
なるほど、理屈だけは一人前か
なお、>>235では ”選択関数（英語版）と俗に言う”グラフ”とは、無関係では？”と述べた
「俗に言う」と注釈を入れたよｗｗ
戻ると、そもそも >>202より
『集合論では関数はグラフですから
選択関数として存在するグラフを１つ指定すれば
「絶対的代表系」は決まります』
だった
これで、その>>237の”写像のグラフ”の説明を適用して、
省1
244(1): 2023/09/02(土)12:32 ID:7Mhd9jNy(12/26) AAS
>>242
>> 集合論では関数はグラフですから
>を読んで>>237のことだと即判断できないことを
>「教養が無い」と言っている
ふふふ
サイコパスのおサルさん
詭弁全開ですね
そもそも >>202より
『集合論では関数はグラフですから
選択関数として存在するグラフを１つ指定すれば
省25
246(2): 2023/09/02(土)12:55 ID:4wXfjkZB(29/58) AAS
>>244
>そもそも >>202より
>『集合論では関数はグラフですから
> 選択関数として存在するグラフを１つ指定すれば
> 「絶対的代表系」は決まります』
>だった
>ここで、”グラフ”という用語を使った意図があったはず
代表系を集合として見ているという意図
>普通は、下記「幾何学的表現」or「視覚的表現」を、強調する意図でしょ！
おサルの普通は世間の普通ではない
251(2): 2023/09/02(土)13:38 ID:7Mhd9jNy(15/26) AAS
>>246
>>ここで、”グラフ”という用語を使った意図があったはず
>代表系を集合として見ているという意図
本人 ”NN”氏が答えていないよ？
なりすまし？ｗ
（>>202より 『ええ、その通りです
集合論では関数はグラフですから
選択関数として存在するグラフを１つ指定すれば
「絶対的代表系」は決まります』だったｗ
つまり、グラフという用語から、”「絶対的代表系」は決まります”だった
省3
266(2): 2023/09/02(土)16:05 ID:7Mhd9jNy(18/26) AAS
>>262
>>202より
> 集合論では関数はグラフですから
それって、あなたの独自表現でしょ？ （そうでないなら、事例を探して提示してねｗｗ 激レア表現だよ！ｗ）
もし、”集合論では関数はグラフ”というのが、常用の手あかのついた表現ならばまだしも
あなたの独自表現だったら、あなたが解説しないと、他人には分からないよね
あなたの独自表現が、他人に伝わらないからと
それで、威張られてもねぇ〜ｗ
ｗｗｗ
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.801s*