箱入り無数目を語る部屋４

342 ：１３２人目の素数さん：2022/10/30(日) 14:23:01.61 ID:0+5eyUkB.net

任意の連続函数　f,g∈[0,1]→Rに対して、あるa∈[0,1]が存在して、
x>=aならば、f(x)=g(x)がいえるとき、fとgは同値とする
同値関係の性質を満たすので、同値類が構成でき、
選択公理により代表函数をとることができる