積位相(直積位相)と直積空間の定義と性質
積位相(直積位相)と直積空間の定義と性質
積位相(直積位相)と直積空間の定義
位相空間\(\left(X,\mathcal{O}_{X}\right),\left(Y,\mathcal{O}_{Y}\right)\)が与えられたとき、集合を積集合\(X\times Y\)として開基を\(\mathcal{B}=\left\{ O_{X}\times O_{Y};O_{X}\in\mathcal{O}_{X},O_{Y}\in\mathcal{O}_{Y}\right\} \)とすると位相空間となり、開基\(\mathcal{B}\)から生成される位相\(\mathcal{O}_{X\times Y}\)を積位相という。
このとき、位相空間\(\left(X\times Y,\mathcal{O}_{X\times Y}\right)\)を直積空間という。
積位相(直積位相)と直積空間の性質
このとき、任意の\(\mu\in M\)について、\(x_{\mu}\in X_{\mu}\)以外の元を固定して\(f\)を\(X_{\mu}\)から\(Y\)への写像と考えたときに\(f\)が連続であっても、\(\prod_{\mu\in M}X_{\mu}\)から\(Y\)への写像が連続であるとは限らない。
積位相(直積位相)と直積空間の定義
位相空間\(\left(X,\mathcal{O}_{X}\right),\left(Y,\mathcal{O}_{Y}\right)\)が与えられたとき、集合を積集合\(X\times Y\)として開基を\(\mathcal{B}=\left\{ O_{X}\times O_{Y};O_{X}\in\mathcal{O}_{X},O_{Y}\in\mathcal{O}_{Y}\right\} \)とすると位相空間となり、開基\(\mathcal{B}\)から生成される位相\(\mathcal{O}_{X\times Y}\)を積位相という。
このとき、位相空間\(\left(X\times Y,\mathcal{O}_{X\times Y}\right)\)を直積空間という。
積位相(直積位相)と直積空間の性質
(1)直積位相空間の連続写像
直積位相空間\(\prod_{\mu\in M}X_{\mu}\)と位相空間\(Y\)と写像\(f:\prod_{\mu\in M}X_{\mu}\rightarrow Y\)があるとする。このとき、任意の\(\mu\in M\)について、\(x_{\mu}\in X_{\mu}\)以外の元を固定して\(f\)を\(X_{\mu}\)から\(Y\)への写像と考えたときに\(f\)が連続であっても、\(\prod_{\mu\in M}X_{\mu}\)から\(Y\)への写像が連続であるとは限らない。
位相空間\(\left(X,\mathcal{O}_{X}\right),\left(Y,\mathcal{O}_{Y}\right)\)が与えられたとき、\(\left(X\times Y,\left\{ O_{X}\times O_{Y};O_{X}\in\mathcal{O}_{X},O_{Y}\in\mathcal{O}_{Y}\right\} \right)\)は位相空間にならないので注意。
例えば\(\left(\left\{ a,b\right\} ,\left\{ \emptyset,\left\{ a\right\} ,\left\{ a,b\right\} \right\} \right)\)と\(\left(\left\{ c,d\right\} ,\left\{ \emptyset,\left\{ c\right\} ,\left\{ c,d\right\} \right\} \right)\)のとき、
\begin{align*} \left\{ O_{X}\times O_{y};O_{X}\in\left\{ \emptyset,\left\{ a\right\} ,\left\{ a,b\right\} \right\} ,O_{y}\in\left\{ \emptyset,\left\{ c\right\} ,\left\{ c,d\right\} \right\} \right\} & =\left\{ \left\{ a\right\} \times\left\{ c\right\} ,\left\{ a\right\} \times\left\{ c,d\right\} ,\left\{ a,b\right\} \times\left\{ c\right\} ,\left\{ a,b\right\} \times\left\{ c,d\right\} \right\} \\ & =\left\{ \left(a,c\right),\left\{ \left(a,c\right),\left(a,d\right)\right\} ,\left\{ \left(a,c\right),\left(b,c\right)\right\} ,\left\{ \left(a,c\right),\left(a,d\right),\left(b,c\right),\left(b,d\right)\right\} \right\} \end{align*} となるが、\(\left\{ \left(a,c\right),\left(a,d\right)\right\} \cup\left\{ \left(a,c\right),\left(b,c\right)\right\} =\left\{ \left(a,c\right),\left(a,d\right),\left(b,c\right)\right\} \)は含まれていない。
これより、\(\left(X\times Y,\left\{ O_{X}\times O_{Y};O_{X}\in\mathcal{O}_{X},O_{Y}\in\mathcal{O}_{Y}\right\} \right)\)は位相空間にならない。
例えば\(\left(\left\{ a,b\right\} ,\left\{ \emptyset,\left\{ a\right\} ,\left\{ a,b\right\} \right\} \right)\)と\(\left(\left\{ c,d\right\} ,\left\{ \emptyset,\left\{ c\right\} ,\left\{ c,d\right\} \right\} \right)\)のとき、
\begin{align*} \left\{ O_{X}\times O_{y};O_{X}\in\left\{ \emptyset,\left\{ a\right\} ,\left\{ a,b\right\} \right\} ,O_{y}\in\left\{ \emptyset,\left\{ c\right\} ,\left\{ c,d\right\} \right\} \right\} & =\left\{ \left\{ a\right\} \times\left\{ c\right\} ,\left\{ a\right\} \times\left\{ c,d\right\} ,\left\{ a,b\right\} \times\left\{ c\right\} ,\left\{ a,b\right\} \times\left\{ c,d\right\} \right\} \\ & =\left\{ \left(a,c\right),\left\{ \left(a,c\right),\left(a,d\right)\right\} ,\left\{ \left(a,c\right),\left(b,c\right)\right\} ,\left\{ \left(a,c\right),\left(a,d\right),\left(b,c\right),\left(b,d\right)\right\} \right\} \end{align*} となるが、\(\left\{ \left(a,c\right),\left(a,d\right)\right\} \cup\left\{ \left(a,c\right),\left(b,c\right)\right\} =\left\{ \left(a,c\right),\left(a,d\right),\left(b,c\right)\right\} \)は含まれていない。
これより、\(\left(X\times Y,\left\{ O_{X}\times O_{Y};O_{X}\in\mathcal{O}_{X},O_{Y}\in\mathcal{O}_{Y}\right\} \right)\)は位相空間にならない。
(1)
反例で示す。\(f:\mathbb{R}^{2}\rightarrow\mathbb{R}\)として、\(\left(x,y\right)\in\mathbb{R}^{2}\)として
\[ f\left(x,y\right)=\begin{cases} \frac{xy}{x^{2}+y^{2}} & \left(x,y\right)\ne\left(0,0\right)\\ 0 & \left(x,y\right)=\left(0,0\right) \end{cases} \] とする。
このとき、\(\left(0,0\right)\)以外の点では明らかに連続であり、\(y=0\)を固定して、\(x\rightarrow0\)とすると、\(\lim_{x\rightarrow0}\frac{xy}{x^{2}+y^{2}}=0\)、\(x=0\)を固定して、\(y\rightarrow0\)とすると、\(\lim_{y\rightarrow0}\frac{xy}{x^{2}+y^{2}}=0\)となり、\(f\left(0,0\right)=0\)なので連続である。
しかし、\(m\in\mathbb{R},y=mx\)として、原点に近づけると、
\begin{align*} \lim_{x\rightarrow0}\frac{xy}{x^{2}+y^{2}} & =\lim_{x\rightarrow0}\frac{x\left(mx\right)}{x^{2}+\left(mx\right)^{2}}\\ & =\lim_{x\rightarrow0}\frac{m}{1+m^{2}} \end{align*} となるので近づき方により、\(\left(0,0\right)\)での値が異なる。
従って、原点では連続ではないので、\(f:\prod_{\mu\in M}X_{\mu}\rightarrow Y\)は連続とはならない。
ページ情報
タイトル | 積位相(直積位相)と直積空間の定義と性質 |
URL | https://www.nomuramath.com/azi0un9h/ |
SNSボタン |
2年生の夢(高さ2のテトレーションの0から1までの定積分)
\[
\int_{0}^{1}\frac{1}{x^{x}}dx=\sum_{k=1}^{\infty}\frac{1}{k^{k}}
\]
整列集合の順序同型は一意的
階乗の冪婚を含む極限値問題
\[
\lim_{n\rightarrow\infty}\frac{n}{\sqrt[n]{n!}}
\]
分母分子にべき乗があり分母には定数が足されている定積分
\[
\int_{0}^{\infty}\frac{x^{a}}{c+x^{b}}dx=\frac{c^{\frac{a+1}{b}-1}}{b}\pi\sin^{-1}\left(\frac{a+1}{b}\pi\right)
\]