0
現代数学解説

近傍関係による位相空間論

位相空間論
43
0

はじめに

本記事では、近傍関係を用いた位相空間論について説明する。近傍関係は近傍系を一般化した概念である。
なにか具体的な定理が比較的証明しやすくなるというわけではなく、｢こんな特徴付けもできるんだ｣程度の内容である。

近傍関係の定義

近傍関係

Xを集合とする。P(X)上の二項関係≪が以下の条件を満たすとき、≪をX上の近傍関係(neighborhood relation)と呼ぶ:

  1. ∅≪∅かつX≪X;
  2. A≪BかつA≪CならばA≪B∩C;
  3. ∀λ∈Λ,Aλ≪Bならば⋃λ∈ΛAλ≪B;
  4. A≪BならばA⊆B;
  5. A≪B⊆CならばA≪C;
  6. A⊆B≪CならばA≪C;
  7. A≪CならばA≪B≪CなるB⊆Xが存在する;

位相空間上の近傍関係

近傍関係による位相構造

Xを集合、≪をX上の近傍関係、A⊆Xとする。
A∘=⋃{B⊆X:B≪A}
とすると、A↦A∘を開核作用素として位相空間が定まる。

  1. 等式「X∘=X」を示す。X≪XよりX⊆X∘なためX∘=Xを得る。
  2. 命題「A⊆BならばA∘⊆B∘」を示す。A⊆Xに対してP(A)={C⊆X:C≪A}とすると、仮定よりC∈P(A)に対してC≪A⊆BよりC≪BなためC∈P(B)。よってP(A)⊆P(B)となるため、A∘⊆B∘を得る。
  3. 等式「(A∩B)∘=A∘∩B∘」を示す。先に示した(ii)より(A∩B)∘⊆A∘∩B∘は明らかなため、その逆を示せばよい。x∈A∘∩B∘とすると、x∈C∩DかつC≪AかつD≪BなるC,D⊆Xが取れるため、C∩D⊆C≪AかつC∩D⊆D≪BよりC∩D≪A∩Bなためx∈C∩D⊆(A∩B)∘となる。
  4. 命題「A∘⊆A」を示す。x∈A∘に対してx∈B≪AなるB⊆Xが存在するため、B⊆Aよりx∈Aとなる。
  5. 等式「(A∘)∘=A∘」を示す。先に示した(ii)と(iv)より(A∘)∘⊆A∘は明らかなため、その逆を示せばよい。x∈A∘に対してx∈B≪AなるB⊆Xが存在するが、BについてB≪AよりB≪C≪AなるC⊆Xが取れるため、x∈C∘かつC⊆A∘となるため、x∈C∘⊆(A∘)∘となる。
位相構造による近傍関係

Xを位相空間、(∗)∘をXにおける開核作用素、A,B⊆Xとする。
A≪B:⟺A⊆B∘
として二項関係≪を定めると、≪はX上の近傍関係となる。

  1. ∅∘=∅かつX∘=Xより∅≪∅, X≪Xを得る。
  2. A≪BかつA≪CとしてA,B,C⊆Xを取ると、A⊆B∘∩C∘=(B∩C)∘となるため、A≪B∩Cを得る。
  3. 各λ∈ΛについてAλ≪BとしてAλ,B⊆Xを取ると、Aλ⊆B∘より⋃λ∈ΛAλ⊆B∘となるため⋃λ∈ΛAλ≪Bを得る。
  4. A≪BとしてA,B⊆Xを取ると、A⊆B∘⊆BよりA⊆Bを得る。
  5. A≪B⊆CとしてA,B,C⊆Xを取ると、A⊆B∘⊆C∘よりA≪Cを得る。
  6. A⊆B≪CとしてA,B,C⊆Xを取ると、A⊆B⊆C∘よりA≪Cを得る。
  7. A≪CとしてA,C⊆Xを取ると、A⊆C∘=(C∘)∘よりA≪C∘≪Cなため、B=C∘と取れば良い。

連続性の近傍関係による特徴付け

連続性の近傍関係による特徴付け

X,Yを位相空間、f:X→Yを写像とする。以下同値である。

  1. fは連続写像である。
  2. A,B⊆Yに対してA≪Bならばf−1(A)≪f−1(B)である。
  • (1)⇒(2): A≪BとしてA,B⊆Yを任意にとり固定する。このとき、A⊆B∘であって、仮定よりfが開核を保つ写像であるため、f−1(A)⊆f−1(B∘)⊆(f−1(B))∘となるため、f−1(A)≪f−1(B)となる。
  • (2)⇒(1): A⊆Yを任意にとり固定する。A∘≪Aなため仮定よりf−1(A∘)≪f−1(A)となるからf−1(A∘)⊆(f−1(A))∘を得る。
投稿日：2024年12月19日
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。
バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

桜武
桜武
5
833
普段は、ITエンジニアとして働いています。 面白そうなガジェットやジャンクを買っては改造したり修理したりして遊んでいます。 解析的整数論 / 高次圏論 / 豊穣圏論

コメント

他の人のコメント

コメントはありません。
読み込み中
桜武
桜武
近傍関係による位相空間論
  1. はじめに
  2. 近傍関係の定義
  3. 位相空間上の近傍関係
  4. 連続性の近傍関係による特徴付け