ポーランド空間のメモ書き

完備距離空間の開集合はその誘導される位相が入っているから開集合が取れる．また，完備距離空間の部分空間で完備なものは閉集合だから，完備距離空間の開部分集合は開かつ閉．よって同相写像で送って閉集合にできる．

1ほんまか

2像が部分で完備なら閉やからそれ確認せーへんの

3Hilbert Cube に埋め込めるやろ

ここらを詰めていく