コンパクト距離空間における連続な全単射関数の逆関数は連続である。
📂距離空間コンパクト距離空間における連続な全単射関数の逆関数は連続である。
定理
Xをコンパクトな距離空間、Yを距離空間とする。f:X→Yが全単射で連続な関数だとする。すると、以下のように定義されるfの逆関数f−1は全単射であり、連続である。
f−1(f(x))=x,x∈X
コンパクト性の条件は必須である
証明
距離空間での連続性の同値条件
距離空間(X,dX)と(Y,dY)に対して、f:X→Yとする。すると、以下の二つの命題は同値である。
距離空間での連続性の同値条件をf−1に逆向きに適用すると、f−1の連続性は、全てのXの開集合OXに対して、f(OX)がYで開集合であることと同じである。従って、証明はこの方向で展開される。まず、任意のXの開集合OXを選ぶ。すると、(OX)c=CXはXで閉集合である。コンパクト集合の閉部分集合はコンパクトであるため、CXはコンパクトである。
補題
Xをコンパクトな距離空間、Yを距離空間、f:X→Yが連続であるとする。すると、f(X)はコンパクトである。
従って、補題により、f(CX)はコンパクトである。距離空間でのコンパクト部分集合は閉集合であるため、f(CX)は閉集合である。fが全単射であると仮定すると、(f(CX))c=f((CX)c)=f(OX)であり、従ってf(OX)は閉集合の補集合であるために開集合である。
■