カテゴリ:位相空間 の記事一覧

|

スポンサーサイト

上記の広告は1ヶ月以上更新のないブログに表示されています。
新しい記事を書く事で広告が消せます。
スポンサー広告 | --/--/-- --:--

近傍

近傍(定義)
S の点 x が $V (\subset S)$ の内点である時、
つまり、$x \in V^\circ$ である時、V は x の近傍であるという。
$x \in O, O \subset V$ なる開集合 O が存在することと同等である。

開近傍(定義)
開集合である近傍。
点 x を含む開集合はすべて x の開近傍である。

近傍系(定義)
近傍全体の集合系。
x の近傍系を ${\bf V}(x)$ と書くと、$V \in {\bf V}(x) \Leftrightarrow x \in V^\circ$


近傍系の性質

(1) $V \in {\bf V}(x)$ ならば $x \in V$
(2) $V \in {\bf V}(x), V \subset V'$ ならば $V' \in {\bf V}(x)$
(3) $V_1 \in {\bf V}(x), V_2 \in {\bf V}(x)$ ならば $V_1 \cap V_2 \in {\bf V}(x)$
(4) 任意の $V \in {\bf V}(x)$ に対して、以下を満たす $W \in {\bf V}(x)$ が存在。
   W の任意の点 y に対して、$V \in {\bf V}(y)$


(証明概略)
(1) $x \in V^\circ \subset V$
(2) $x \in V^\circ \subset {V'}^\circ$
(3) $x \in V_1^\circ \cap V_2^\circ = (V_1\cap V_2)^\circ$
(4) $x \in V^\circ$ より $W = V^\circ$ とすれば、W は開集合だから、x の近傍であり、
W の任意の点 y に対して $y \in W = V^\circ$
(証明終)

逆に、各点 x において、上記4つの性質を満たすような部分集合系 ${\bf V}(x)$ があれば、
ある位相 $\mathfrak{O}$ を導入して、それによる近傍系と一致させることができる。
このような位相は一意的に決まる。

これにより、開集合系を与える代わりに、
近傍系を与えても位相構造を定めることができる。


(証明略)


参考文献
[1] 松坂和夫 「集合・位相入門」(岩波書店)
スポンサーサイト
位相空間 | コメント(0) | 2015/11/25 07:14

点の分類

内点(定義)
内部(開核)に属する点。

触点(定義)
閉包に属する点。

外部(定義)
補集合の内部(開核)。つまり、$M^{ci}$ のこと。
ここでは、$M^e$ と書くことにする。

外点(定義)
外部に属する点。

境界(定義)
閉包から内部を除いた部分。つまり、$\bar{M} - M^\circ$ のこと。
ここでは、$M^f$ と書くことにする。

境界点(定義)
境界に属する点。


位相空間全体は、内部と境界と外部に直和分割される。\[
S = M^\circ \cup M^f \cup M^e (直和)\]


(証明概略)
境界の定義より、閉包は内部と境界の直和である。
$M^{ac} = M^{ci} = M^e$ より位相空間全体は閉包と外部の直和である。
(証明終)

集積点(定義)
$M-\{ x \}$ の触点となるような点 $x \in S$ のこと。 $x \in \overline{M-\{ x \}}$
$x \not\in M$ ならば、「M の触点である」ことと同等。

孤立点(定義)
集合に属する点であって、その集積点ではない点。
$x \in M, x \not\in \overline{M-\{ x \}}$



参考文献
[1] 松坂和夫 「集合・位相入門」(岩波書店)
位相空間 | コメント(0) | 2015/11/24 20:30

閉包作用子

閉包作用子(定義)

S の部分集合 M にその閉包 $\bar{M}$ を対応させる写像を閉包作用子と呼ぶ。


閉包作用子の性質

(1) $\bar{\phi} = \phi$
(2) $\bar{M} \supset M$
(3) $\overline{M \cup N} = \bar{M} \cup \bar{N}$
(4) $\bar{\bar{M}} = \bar{M}$


(証明概略)
松坂 [1] では、$M^{ca} = M^{ic}$ を用いて、開核の性質から導いているのですが、
ここでは我流で、閉包の定義に基づいた証明を試みることにします。

(1) $\phi$ は閉集合である。
(2) 閉包の定義から。
(3) $M \cup N$ に対して、$\bar{M} \cup \bar{N}$ がその閉包となることを確かめる。
$M \subset \bar{M}$、$N \subset \bar{N}$ より $M \cup N \subset \bar{M} \cup \bar{N}$。
$\bar{M}$、$\bar{N}$ は閉集合であるから、$\bar{M} \cup \bar{N}$ は閉集合。
A を $M \cup N$ を含む任意の閉集合とすると、
$M \subset A$ より $\bar{M} \subset A$。
$N \subset A$ より $\bar{N} \subset A$。
よって、$\bar{M} \cup \bar{N} \subset A$。
以上より、$\bar{M} \cup \bar{N}$ が $M \cup N$ の閉包であることが示される。
(4) $\bar{M}$ は閉集合である。
(証明終)

逆に、上記4つの性質を満たす写像があれば、
ある位相 $\mathfrak{O}$ を導入して、その閉包作用子と一致させることができる。
このような位相は一意的に決まる。

これにより、開集合系を与える代わりに、
閉包作用子を与えても位相構造を定めることができる。


(証明略)

参考文献
[1] 松坂和夫 「集合・位相入門」(岩波書店)
位相空間 | コメント(0) | 2015/11/22 22:05

閉集合・閉包

閉集合(定義)

位相空間 S において、開集合の補集合を閉集合と呼ぶ。


閉集合の性質

(A1) S 自身と空集合 $\phi$ は閉集合である。
(A2) 有限個の閉集合の和集合は閉集合である。
(A3) 閉集合からなる集合族(無限個でもよい)の共通部分は閉集合である。


(証明概略)
すべて、開集合の定義からド・モルガンの法則を用いて得られる。(証明終)

逆に、閉集合を上記で定義すると、開集合の定義の3要件を導くことができるので、
閉集合を用いても、位相を導入することができる。

閉包 (触集合)(定義)

位相空間 S の任意の部分集合 M に対して、
M に含まれる閉集合全体の共通部分を M の閉包(触集合) と呼び、
$\bar{M}$ または $M^a$ と書く。
M を含む最小の閉集合とも表現できる。

すなわち、閉集合系を $\mathfrak{A}$ とすると、以下の条件を満たす集合である。
(1) $M \subset \bar{M}$
(2) $\bar{M} \in \mathfrak{A}$
(3) $M \subset A, A \in \mathfrak{A} \Rightarrow \bar{M} \subset A$


閉包と開核の関係

$\bar{M^c} = (M^\circ)^c$ または、 $M^{ca} = M^{ic}$


(証明概略)
$(M^\circ)^c$ が上記の閉包の3条件を満たすことを示す。
(1) $M^\circ \subset M$ より $(M^\circ)^c \supset M^c$。
(2) $M^\circ$ は開集合であるから、$(M^\circ)^c$ は閉集合。
(3) $M^c$ を含む任意の閉集合を A とすれば、
$A^c$ は M に含まれる開集合となるから、 $A^c \subset M^\circ$
よって、$A \supset (M^\circ)^c$。
(証明終)

(1) $M^{cac} = M^i$
(2) $M^a = M^{cic}$
(3) $M^{ac} = M^{ci}$


(証明概略)
(1) $M^{ca} = M^{ic}$ の補集合を取る。
(2) $M^{ca} = M^{ic}$ の M に $M^c$ を入れる。
(3) (2) の補集合を取る。
(証明終)

参考文献
[1] 松坂和夫 「集合・位相入門」(岩波書店)
位相空間 | コメント(0) | 2015/11/21 00:14

開核作用子

開核作用子(定義)

S の部分集合 M にその開核 $M^\circ$ を対応させる写像を開核作用子と呼ぶ。


開核作用子の性質

(1) $S^\circ = S$
(2) $M^\circ \subset M$
(3) $(M \cap N)^\circ = M^\circ \cap N^\circ$
(4) $M^{\circ\circ} = M^\circ$


(証明概略)
(1) S は開集合である。
(2) 開核の定義から。
(3) $M\cap N$ に対して、$M^\circ \cap N^\circ$ がその開核になることを確かめる。
まず、$M^\circ \subset M$、$N^\circ \subset N$ より $M^\circ \cap N^\circ \subset M\cap N$。
$M^\circ$、$N^\circ$ ともに開集合であるから、$M^\circ \cap N^\circ$ も開集合。
$O \subset M \cap N$ なる任意の開集合 O を考えると、
$O \subset M$ より $O \subset M^\circ$、 $O \subset N$ より $O \subset N^\circ$。
よって、$O \subset M^\circ \cap N^\circ$。
(4) 開核の定義から $M^\circ$ は開集合である。
(証明終了)

逆に、上記4つの性質を満たす写像があれば、
ある位相 $\mathfrak{O}$ を導入して、その開核作用子と一致させることができる。
このような位相は一意的に決まる。

これにより、開集合系を与える代わりに、
開核作用子を与えても位相構造を定めることができる。


証明は理解できましたが、長いので省略します。
(また気が向けば書くかもしれません)

参考文献
[1] 松坂和夫 「集合・位相入門」(岩波書店)
ジャンル:[学問・文化・芸術]  テーマ:[数学
位相空間 | コメント(0) | 2015/11/17 20:09

位相空間

ユークリッド空間 $R^n$ でのウォーミングアップを終えて、
いよいよ一般の位相空間に入ります!

$R^n$ での開集合の性質を抽出しておいて、
逆にその性質から一般的な「開集合」を定義して、
それを使って、「位相」なるものを定義するという論理。
なるほど、考えましたね!って感じですね。
脳みそ使いまくりますが、面白いです。

まず初めに定義をいろいろ。

位相空間(定義)

集合 S (空でない)の部分集合系 $\mathfrak{O}$ が以下の3条件を満たすとき、
$\mathfrak{O}$ は S に1つの位相構造を定めるという。
$\mathfrak{O}$ は S の1つの位相であるという。
$(S,\mathfrak{O})$ を位相空間と呼ぶ(略して、単に S とも書く)。
S を位相空間の台(台集合)という。

(O1) S 自身と空集合 $\phi$ は $\mathfrak{O}$ に属する。
(O2) $\mathfrak{O}$ の有限個の元の共通部分は$\mathfrak{O}$ に属する。
(O3) $\mathfrak{O}$ の元からなる集合族(無限でもよい)の和集合は $\mathfrak{O}$ に属する。


開集合(定義)

位相空間 $(S,\mathfrak{O})$ に対して、$\mathfrak{O}$ に属する集合を S の開集合と呼ぶ。


開核(内部)(定義)

位相空間 S の任意の部分集合 M に対して、
M に含まれる開集合全体の和集合を M の開核(内部) と呼び、
$M^\circ$ または $M^i$ と書く。
M に含まれる最大の開集合とも表現できる。

すなわち、以下の条件を満たすような集合である。
(1) $M^\circ \subset M$
(2) $M^\circ \in \mathfrak{O}$
(3) $O \subset M, O \in \mathfrak{O} \Rightarrow O \subset M^\circ$


開核の性質

(1) $M \in \mathfrak{O} \Leftrightarrow M^\circ = M$
(2) $M \subset N \Rightarrow M^\circ \subset N^\circ$


(証明概略)
(1) M が開集合であれば、M は M に含まれる最大の開集合である。
逆に、M が M の開核であれば、開核の定義より M は開集合である。
(2) M に含まれる最大の開集合は N にも含まれるので、
N に含まれる最大の開集合に含まれる。
(証明終了)

参考文献
[1] 松坂和夫 「集合・位相入門」(岩波書店)
位相空間 | コメント(0) | 2015/11/14 21:14
 | HOME | 

上記広告は1ヶ月以上更新のないブログに表示されています。新しい記事を書くことで広告を消せます。