[過去ﾛｸﾞ] スレタイ 箱入り無数目を語る部屋9 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
301(1): 2023/09/02(土)22:18 ID:7Mhd9jNy(22/26) AAS
>>296
>グラフ (関数)
>定義
>f を、集合 A から集合 B への関数とする。すなわち、A の各元 x に対し、B の元 f(x) がただ一つ定まるとする。このとき、f のグラフとは、直積集合 A × B の部分集合{(x,f(x))|x∈A}である。
いや、だから
上記は、グラフの定義を関数を使って定義するでしょ？
一方、筑波大 坪井先生は、関数が集合として定義できることを、”グラフ”概念をワンクッション入れて
説明している>>289
（そこは、坪井先生の工夫だと思うが、ブルバキ流では多分ないよね。迂遠だから）
つまり、関数の定義に、上記”グラフ”の定義を使ったら、下手すると循環論法だ
省2
303(3): 2023/09/02(土)22:41 ID:4wXfjkZB(53/58) AAS
>>301
外部ﾘﾝｸ[pdf]:www.sci.shizuoka.ac.jp
写像（関数）１
f が集合 X, Y 上の二項関係で，
(∀x ∈ X)(∃!y ∈ Y )⟨x, y⟩ ∈ f
であるとき，f を X から Y への写像または関数といい，f : X → Y と表す．
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.470s*