[過去ﾛｸﾞ] スレタイ 箱入り無数目を語る部屋9 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
237(4): 2023/09/02(土)11:36 ID:4wXfjkZB(25/58) AAS
>>235
>普通は、関数は写像の一種
>とくに、選択公理は写像を用いて、選択関数（英語版）に言い換えられる
>この場合、選択関数（英語版）と俗に言う”グラフ”とは、無関係では？
外部ﾘﾝｸ[pdf]:www4.math.sci.osaka-u.ac.jp
●写像のグラフ
写像 f : A → B のグラフ (graph) とは，次で与えられる直積集合 A × B の部分集合である：
{ (a, b) ∈ A × B | b = f(a) } .
これを G(f) と表すことにする．
すべてを集合のことばで表すという考え⽅からすれば，このグラフこそが写像の実体であると考えるのが
省2
241(1): 2023/09/02(土)11:46 ID:7Mhd9jNy(10/26) AAS
>>237
なるほど、理屈だけは一人前か
なお、>>235では ”選択関数（英語版）と俗に言う”グラフ”とは、無関係では？”と述べた
「俗に言う」と注釈を入れたよｗｗ
戻ると、そもそも >>202より
『集合論では関数はグラフですから
選択関数として存在するグラフを１つ指定すれば
「絶対的代表系」は決まります』
だった
これで、その>>237の”写像のグラフ”の説明を適用して、
省1
242(1): 2023/09/02(土)11:52 ID:4wXfjkZB(28/58) AAS
>>241
> 集合論では関数はグラフですから
を読んで>>237のことだと即判断できないことを
「教養が無い」と言っている
>「俗に言う」と注釈を入れたよｗｗ
言い訳になってない
244(1): 2023/09/02(土)12:32 ID:7Mhd9jNy(12/26) AAS
>>242
>> 集合論では関数はグラフですから
>を読んで>>237のことだと即判断できないことを
>「教養が無い」と言っている
ふふふ
サイコパスのおサルさん
詭弁全開ですね
そもそも >>202より
『集合論では関数はグラフですから
選択関数として存在するグラフを１つ指定すれば
省25
262(1): NN 2023/09/02(土)15:53 ID:kajZKr9x(10/23) AAS
>>235
>> 集合論では関数はグラフですから
>普通は、関数は写像の一種
一種というか写像ですね
その写像も集合ではグラフですけどね
ID:4wXfjkZB氏が >>237で書いてますけど
{ (a, b) ∈ A × B | 各aについて、bは唯一}
となるのがグラフです
省12
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.043s