分からない問題はここに書いてね 472

分からない問題はここに書いてね 472 (994ﾚｽ)
上下前次1-新
抽出解除ﾚｽ栞

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

357(2): 2024/12/27(金)16:57 ID:iNi357YE(1) AAS
A = {f}
f: A → A
f(f) = f

は集合になる？

358: 2024/12/27(金)18:08 ID:lJC6mGLX(10/10) AAS
>>357
通常の理解ではそのようなAは存在しないが
写像とは何かについて
通常とは別の定義をするなら
可能性がなくはないから考えてみたら？

363: 2024/12/29(日)07:42 ID:3Novfna8(2/18) AAS
>>357
写像とはλ記法によって表される文字列のことと解釈すれば
f=λx. x
が
(f f)=f
すなわち通常の記法では
f(f)=f
となる