で考える。この距離空間において
と閉包
を求めよ。
を示そう。もし元
が存在したとすると、内部 の定義より
が存在する。ここで
より
であり
と書ける。 このとき
とおくと
となるが、
の
座標と
座標は異なるので
は
の元ではない。これは矛盾であり
となる。
を示せばよいが、そのためには
を示せば よい。
をとると、
である。そこで
とおくと
である。このとき
に対し
だから
であり
であることが示された。
で考える。この距離空間において
と閉包
を求めよ。
の任意の点が
の内点であることを示せばよいが、実際
に対し
より
であり
は
の内点である。
に対し
が存在する。このとき
か
のどちらかであるが、
のとき
とおくと
でありよって
、つまり
の場合、同様に
が示される。よって
をとると、
だから
とおくと
となり
である。
の場合も同様であり
で考える。この距離空間において
と閉包
を求めよ。
は問題 1 と同様に背理法で示される。閉包については、やはり補集合をとり
において次を示せ:
に対し
であ り
を示せばよい。一般に
だから逆の包含関係を 示せばよい。
をとると、触点の定義より、任意の
に対 し
ととると
であり、
となる。よって
であり
においては, 全ての部分集合が開集合であることを示せ。
を
の部分集合とする。任意の
が
の内点であることを示せば よいが、これは
,
に対し, 関数
,
,
のとき次が成り立 つことを示せ:
より
のときは、証明すべき不等式は自明だから
とする。証明すべき不等式の両辺を
で割ると
と
に対し
は
に関し微分可能だから微分すると
より、
の範囲では
は
で極小値を持つのみ。と ころが
に対し
,
とする。
に対し
と
に対し上の問題の不等式を用いることにより
とする。
に対し
とする。上の問題を用いて
上で