写像の性質は像・逆像で特徴づけられるのか｜単射・全射・連続性の本質的理解

写像の性質が「像や逆像の対応関係でどこまで特徴づけられるのか」という問いは、集合論や位相空間論の本質に関わる重要なテーマです。本記事では、写像と集合演算の関係を整理しながら、単射・全射・連続性・同相といった性質がどのように導かれるのかを体系的に見ていきます。

写像と集合演算の基本対応

写像f:X→Yに対して、部分集合A⊂Xの像f(A)、部分集合B⊂Yの逆像f⁻¹(B)を考えることで、集合レベルの操作が定義されます。

このときF(A)=f(A)、G(B)=f⁻¹(B)とすると、写像の性質はこれらの作用として表現できます。

つまり「点の対応」ではなく「集合の対応」に拡張することで構造が見えるようになります。

単射とは異なる点が異なる像を持つ性質です。

F(A)=f(A)が単射であるためには、異なる部分集合が異なる像を持つ必要があります。

これはfが単射であることと同値になり、情報の潰れがないことを意味します。

全射とは、Yのすべての点がXの像として現れる性質です。

Fが全射であるとは、任意のB⊂Yに対してそれを作るA⊂Xが存在することを意味します。

これはfがY全体を覆っていることと一致します。

位相空間(X,Ox),(Y,Oy)では、開集合族に対する像・逆像の振る舞いが重要になります。

開写像は開集合の像が再び開集合になる性質であり、F’:Ox→Oyとして表現できます。

連続性は逆像が開集合を保つこととしてG’:Oy→Oxで表されます。

同相とは全単射かつ連続で逆写像も連続であることを意味します。

これはF’とG’が互いに逆対応を持つこととして集合レベルでも表現できます。

つまり位相構造が完全に一致している状態です。

写像の性質は点の対応だけでなく、集合の像・逆像の振る舞いとして捉えることで統一的に理解できます。

単射・全射・連続性・同相はいずれも集合演算の保存性として解釈できます。

この視点により、写像の本質は「構造をどれだけ保つか」という点にあることが明確になります。