logo

コンパクト距離空間における連続な全単射関数の逆関数は連続である。 📂距離空間

コンパクト距離空間における連続な全単射関数の逆関数は連続である。

定理

XXコンパクトな距離空間、YYを距離空間とする。f:XYf : X \to Y全単射連続な関数だとする。すると、以下のように定義されるff逆関数f1f^{-1}は全単射であり、連続である。

f1(f(x))=x,xX f^{-1} (f(x))=x, \quad x\in X


コンパクト性の条件は必須である

証明

距離空間での連続性の同値条件

距離空間(X,dX)(X,d_{X})(Y,dY)(Y,d_{Y})に対して、f:XYf : X \to Yとする。すると、以下の二つの命題は同値である。

  • ffXX連続である。

  • 全てのYYの開集合OYO_{Y}に対して、f1(OY)f^{-1}(O_{Y})XX開集合である。

距離空間での連続性の同値条件をf1f^{-1}に逆向きに適用すると、f1f^{-1}の連続性は、全てのXXの開集合OXO_{X}に対して、f(OX)f(O_{X})YYで開集合であることと同じである。従って、証明はこの方向で展開される。まず、任意のXXの開集合OXO_{X}を選ぶ。すると、(OX)c=CX(O_{X})^{c}=C_{X}XXで閉集合である。コンパクト集合の閉部分集合はコンパクトであるため、CXC_{X}はコンパクトである。

補題

XXをコンパクトな距離空間、YYを距離空間、f:XYf:X\to Yが連続であるとする。すると、f(X)f(X)はコンパクトである。

従って、補題により、f(CX)f(C_{X})はコンパクトである。距離空間でのコンパクト部分集合は閉集合であるため、f(CX)f(C_{X})は閉集合である。ffが全単射であると仮定すると、(f(CX))c=f((CX)c)=f(OX)(f(C_{X}))^{c}=f((C_{X})^{c})=f(O_{X})であり、従ってf(OX)f(O_{X})閉集合の補集合であるために開集合である。