内部の最大性と閉包の最小性
内部の最大性と閉包の最小性
位相空間\(\left(X,\mathcal{O}\right)\)とその部分集合\(A\subseteq X\)と開集合\(O\in\mathcal{O}\)と閉集合\(F=O^{c}\)がある。
このとき次が成り立つ。
\(A^{a}\)は閉包
位相空間\(\left(X,\mathcal{O}\right)\)とその部分集合\(A\subseteq X\)と開集合\(O\in\mathcal{O}\)と閉集合\(F=O^{c}\)がある。
このとき次が成り立つ。
(1)内部の最大性
\[ O\subseteq A\Leftrightarrow O\subseteq A^{i} \](2)閉包の最小性
\[ A\subseteq F\Leftrightarrow A^{a}\subseteq F \]-
\(A^{i}\)は内部\(A^{a}\)は閉包
(1)
\(\Rightarrow\)
\(O\nsubseteq A^{i}\)と仮定すると、\(A^{i}\subsetneq A^{i}\cup O\)となる。このとき、\(A^{i},O\)は共に開集合なので、\(A^{i}\cup O\)も開集合となるが、\(O\subseteq A\land A^{i}\subseteq A\)なので\(A^{i}\cup O\subseteq A\)となる。
従って\(A^{i}\subsetneq A^{i}\cup O\subseteq A\)となり、\(A^{i}\)は\(A\)に含まれる最大の開集合であるがその間に開集合\(A^{i}\cup O\)が存在するので矛盾。
故に背理法より、\(O\subseteq A^{i}\)となる。
\(\Leftarrow\)
\(O\subseteq A^{i}\)のとき\(O\subseteq A^{i}\subseteq A\)が成り立つので\(\Leftarrow\)が成り立つ。\(\Leftrightarrow\)
これらより、\(\Rightarrow\)と\(\Leftarrow\)が成り立つので\(\Leftrightarrow\)が成り立つ。(2)
(1)より、\(A^{c}\subseteq O^{c}\leftrightarrow A^{ic}\subseteq O^{c}\Leftrightarrow A^{c}\subseteq F\leftrightarrow A^{ca}\subseteq F\)となるので\(A^{c}\rightarrow A\)と置きなおせば\(A\subseteq F\leftrightarrow A^{a}\subseteq F\)となり与式が成り立つ。(2)-2
\(\Rightarrow\)
\(A^{a}\nsubseteq F\)と仮定すると、\(A^{a}\cap F\subsetneq A^{a}\)となる。このとき、\(A^{a},F\)は共に閉集合なので、\(A^{a}\cap F\)も閉集合となるが、\(A\subseteq F\land A\subseteq A^{a}\)なので\(A\subseteq A^{a}\cap F\)となる。
従って\(A\subseteq A^{a}\cap F\subsetneq A^{a}\)となり、\(A^{a}\)は\(A\)を含む最小の閉集合であるがその間に閉集合\(A^{a}\cap F\)が存在するので矛盾。
故に背理法より、\(A^{a}\subseteq F\)となる。
\(\Leftarrow\)
\(A^{a}\subseteq F\)のとき\(A\subseteq A^{a}\subseteq F\)が成り立つので\(\Leftarrow\)が成り立つ。\(\Leftrightarrow\)
これらより、\(\Rightarrow\)と\(\Leftarrow\)が成り立つので\(\Leftrightarrow\)が成り立つ。ページ情報
タイトル | 内部の最大性と閉包の最小性 |
URL | https://www.nomuramath.com/o5dx23e9/ |
SNSボタン |
破産確率
\[
\begin{cases}
\frac{\left(\frac{q}{p}\right)^{a}-\left(\frac{q}{p}\right)^{a+b}}{1-\left(\frac{q}{p}\right)^{a+b}} & p\ne\frac{1}{2}\\
\frac{b}{a+b} & p=\frac{1}{2}
\end{cases}
\]
階乗冪(上昇階乗・下降階乗)同士の関係
\[
P(x,y)=P^{-1}(x-y,-y)
\]
櫛(くし)空間と位相幾何学者の正弦曲線の定義
\[
\begin{cases}
A_{n}=\left\{ \left(\frac{1}{n},y\right);0<y\leq1\right\} \\
A_{\infty}=\left\{ \left(0,y\right);0<y\leq1\right\} \\
B=\left\{ \left(x,0\right);0\leq x\leq1\right\}
\end{cases}
\]
3引数論理演算の括弧外しと優先順位変更全パターン
\[
P\lor\left(Q\land R\right)\Leftrightarrow\left(P\lor Q\right)\land\left(P\lor R\right)
\]