■ このスレッドは過去ログ倉庫に格納されています
数理論理学(数学基礎論) その14
- 259 :132人目の素数さん:2021/05/13(木) 23:30:00.38 ID:YQoHLcer.net
- 大学数学スレに尋ねたけどこちらが適当か思い直したので来ました
写像は直積の部分集合で特別なものと定義するってことだけど
f(a)って書き方はfとaからf(a)を与える写像なんじゃないの?
mathematicaだとapplyだっけなそういうやつ
任意のX,Yに対してf:X→YがX×Yの部分集合の特別なものなら
そのような写像の集合をF={f⊂X×Y|f:X→Y}⊂X×Yとして
apply:F×X→Yって写像を想定しているってこと?
X,Yについてのapplyは写像でそれはF×X×Yの部分集合?
F⊂X×Yだからapply⊂X×Y×X×Yなの?
X,Yは任意の集合だからapplyってのはクラス関数なの?
総レス数 604
177 KB
新着レスの表示
掲示板に戻る
全部
前100
次100
最新50
read.cgi ver.24052200