17/11/24 10:35:13.38 QrzCVCoD.net
>>856
y を A の Y における閉包の元とする。
もし、 y ∈ Y - X ならば、 B(y ; r) ⊂ Y - X となるような正の実数 r が存在するから、
B(y ; r) ∩ A = 空集合である。これは矛盾である。
よって、 y ∈ X である。
明らかに、 y は A の X における閉包の元である。
17/11/24 10:35:13.38 QrzCVCoD.net
>>856
y を A の Y における閉包の元とする。
もし、 y ∈ Y - X ならば、 B(y ; r) ⊂ Y - X となるような正の実数 r が存在するから、
B(y ; r) ∩ A = 空集合である。これは矛盾である。
よって、 y ∈ X である。
明らかに、 y は A の X における閉包の元である。