20/02/21 17:35:15 +4K3m1jQ.net
>>500
まって。よくわからない。
b_pを構成するところにもfが出てくるけどコレは我々が作らないといけない関数f:R^2→{0,1}のfとは別物だよね？
目標としてる命題は
∃f:R^2→{0,1} ∀p:[0,1]→R^2 ‥‥
だからfの構成はpにdependしてはいけないはずだけど大丈夫？
20/02/21 17:35:15 +4K3m1jQ.net
>>500
まって。よくわからない。
b_pを構成するところにもfが出てくるけどコレは我々が作らないといけない関数f:R^2→{0,1}のfとは別物だよね？
目標としてる命題は
∃f:R^2→{0,1} ∀p:[0,1]→R^2 ‥‥
だからfの構成はpにdependしてはいけないはずだけど大丈夫？