6
大学数学基礎解説
文献あり

SGL_Exercise4.15(e)の反例

474
0
$$\newcommand{arrow}[1]{\overset{#1}{\rightarrow}} \newcommand{defarrow}[0]{~\overset{def}{\Leftrightarrow}~} \newcommand{epi}[1]{\overset{#1}{\twoheadrightarrow}} \newcommand{longarrow}[1]{\overset{#1}{\longrightarrow}} \newcommand{mc}[1]{\mathcal{#1}} \newcommand{mono}[1]{\overset{#1}{\hookrightarrow}} \newcommand{sh}[0]{{\rm Sh}(X)} $$

概説

この記事では, タイトルの通り SGL のExerciseⅣ15(e)に対する反例を与えます.
前提とする知識は,

  • 学部レベルの位相空間論.
  • 初歩的な圏論(極限, 余極限など).
  • 位相空間上の, 集合に値をとる層に関する基本事項(層化,stalk,層のエピ射モノ射など).

くらいです. SGL 自体はトポス理論の入門書ですが, 本記事では特にトポスに関する知識は仮定しません. しかしそれに伴い, 汚い証明になってしまった部分もいくらかあります(特に層の極限や余極限についての主張). その点はご容赦ください.

準備

  • 位相空間$X$に対して, $X$上の集合の層全体の成す圏を$\sh$と書く.
  • $X$の各開集合に対し1点集合を割り当てる層を, $1$と書く.

$X$を位相空間とする.

  1. $X$$T_1$-空間
    $\defarrow$任意の$x\in X$に対し, $\{x\}が$X$の閉集合$.
  2. $X$0-次元
    $\defarrow$$\{U~|~U:Xの開かつ閉集合\}$$X$の開基を成す.

$X$を位相空間とする.
(1) 層$\mathcal{P}\in\sh$射影的
$\defarrow$任意のエピ射$\mathcal{G}\epi{p}\mathcal{F}$と任意の射$\mathcal{P}\arrow{f}\mathcal{F}$に対して, 次を可換にする射$\mathcal{P}\arrow{g}\mathcal{G}$が存在する.

\begin{xy} \xymatrix{ &\mathcal{G}\ar@{->>}[d]^{p}\\ \mathcal{P}\ar[r]_{f}\ar[ru]^{g}&\mathcal{F} } \end{xy}

  1. $\sh$充分射影的対象をもつ
    $\defarrow$任意の層$\mathcal{F}\in\sh$に対して, エピ射$\mathcal{P}\epi{p}\mathcal{F}$であって$\mathcal{P}$が射影的であるものが存在する.

上の定義において, 射[resp.エピ射]とは圏$\sh$における射[resp.エピ射]のことである. $\sh$の射$\mathcal{F}\arrow{\theta}\mathcal{G}$に対して, 次は同値である.
(R1) $\theta$$\sh$におけるエピ射.
(R2) 任意の$x\in X$に対し, stalkに誘導される写像$\mathcal{F}_x\arrow{\theta_x}\mathcal{G}_x$が全射.
(R3) 任意の開集合$U$と任意の$t\in\mathcal{G}(U)$に対して, 開被覆$U=\bigcup_{i\in I}U_i$${s_i\in\mathcal{F}(U_i)}~(i\in I)$であって$s_i\overset{\theta_{U_i}}{\mapsto}t|_{U_i}$を満たすものが存在する.

特に, エピ射$\theta$に対してその$U$-成分$\theta_U$は全射とは限らない.

問題文

まず, 原文は次の通りです.

Let X be a $T_1$-space (points are closed). Show that if the terminal object 1 is projective in the topos Sh(X) of sheaves on X, then X has a basis consisting of clopen sets (here clopen means closed and open). Conclude that if Sh(X) has enough projectives, then X has a basis of clopen sets. (What about the converse?)
(SGL, p.216, Exercise15(e)から全文を引用)

これは次のように解釈できると思います. 原文の最後"What about the converse?"については, 本記事の主題から外れますので省略します.

$X$$T_1$-空間とする. 次を示せ.
(1) $1\in\sh$が射影的ならば, $X$は0-次元.
(2) $\sh$が充分射影的対象をもつならば, $X$は0-次元.

さて, 結論からいうと, (1)は正しいですが, (2)には反例があります.
以下でそのことを示していきましょう.

射影的層

この節では, 射影的という概念を位相空間の言葉へ帰着させます. この記事で最も難解な部分だと思いますし, 層になじみのない人にとっては厳しいかもしれません. 次節以降は純粋に位相空間の議論となるので, この節の証明を読み飛ばすのも1つの手かと思います.

$X$:位相空間, $\mathcal{P}\in\sh$に対し, 次は同値.

  1. $\mathcal{P}$が射影的.
  2. 任意のエピ射$\mathcal{F}\epi{p}\mathcal{P}$に対し, ある射$\mathcal{P}\arrow{s}\mathcal{F}$が存在して$p\circ s=id$.
$(1)\Rightarrow (2)$

恒等射$\mathcal{P}\arrow{id}\mathcal{P}$に対して, $\mathcal{P}$が射影的であることの定義から題意の$s$を取ることができる.

$(2)\Rightarrow (1)$

エピ射$\mathcal{G}\epi{p}\mathcal{F}$と射$\mathcal{P}\arrow{f}\mathcal{F}$を任意にとる. pullback
\begin{xy} \xymatrix{ \mathcal{P}\times_{\mathcal{F}}\mathcal{G}\ar[d]^-{p'}\ar[r]^-{f'}&\mathcal{G}\ar@{->>}[d]^-{p}\\ \mathcal{P}\ar[r]_-{f}&\mathcal{F} } \end{xy}
をとる. 各$x\in X$についてのstalkをとる.
\begin{xy} \xymatrix{ \mc{P}_x\times_{\mc{F}_x}\mc{G}_x\ar[d]^-{p'_x}\ar[r]^-{f'_x} & \mc{G}_x\ar@{->>}[d]^-{p_x}\\ \mc{P}_x\ar[r]_-{f_x} & \mc{F}_x } \end{xy}
stalkを取る操作は有限極限を保つので, これは集合の圏におけるpullback図式となり, $p_x$が全射であることから$p'_x$は全射である. ゆえに$p'$はエピ射である. よって仮定より$p'\circ s=id$を満たす射$\mathcal{P}\arrow{s}\mathcal{P}\times_{\mathcal{F}}\mathcal{G}$がとれるが, 可換図式
\begin{xy} \xymatrix{ & \mc{P}\times_{\mc{F}}\mc{G}\ar[d]^-{p'}\ar[r]^-{f'} & \mc{G}\ar@{->>}[d]^-{p}\\ \mc{P}\ar[ru]^-{s}\ar[r]_-{id} & \mc{P}\ar[r]_-{f} & \mc{F} } \end{xy}
により$\mathcal{P}$が射影的であることが示された.

$X$を位相空間とし, 層の族$\mathcal{P_i}\in\sh~(i\in I)$を考える. このとき次は同値.

  1. 任意の$i\in I$に対し, $\mathcal{P_i}$が射影的.
  2. $\coprod_{i\in I}\mathcal{P}_i$が射影的.

($\coprod_{i\in I}\mathcal{P}_i$は圏$\sh$における余積.)

$(1)\Rightarrow (2)$

$\mc{P_i}\arrow{f_i}\mc{F}$から定まる射$\coprod_{i\in I}\mc{P_i}\arrow{f}\mc{F}$と, エピ射$\mathcal{G}\epi{p}\mathcal{F}$を任意にとる. 各$i\in I$に対して, $\mc{P}_i$が射影的であることから$p\circ g_i=f_i$なる射$\mc{P}_i\arrow{g_i}\mc{G}$がとれる. すると, $(g_i)_{i\in I}$が定める射$\coprod_{i\in I}\mc{P_i}\arrow{g}\mc{G}$$p\circ g=f$を満たす.

$(2)\Rightarrow (1)$

$i_0\in I$とエピ射$\mc{F}\epi{p}\mc{P}_{i_0}$を任意にとる. 射$\mc{F}\coprod (\coprod_{i\neq i_0}\mc{P}_i)\longarrow{p\coprod id}\mc{P}_{i_0}\coprod (\coprod_{i\neq i_0}\mc{P}_i)= \coprod_{i\in I}\mc{P}_i$を考え, 可換図式
$$ \begin{xy} \xymatrix{ \mc{F}\ar[d]\ar@{->>}[r]^-{p} & \mc{P}_{i_0}\ar[d]\\ \mc{F}\coprod(\coprod_{i\neq i_0}\mc{P}_i)\ar[r]^-{p\coprod id} & \coprod_{i\in I}\mc{P}_i } \end{xy}\tag{1} $$
を考える. ただし, 縦方向の射は余積への入射である. stalkをとる操作は余極限を保つので, 各$x\in X$についてのstalkをとると,
\begin{xy} \xymatrix{ \mc{F}_x\ar[d]\ar@{->>}[r]^-{p_x} & \mc{P}_{i_0,x}\ar[d]\\ \mc{F}_x\coprod(\coprod_{i\neq i_0}\mc{P}_{i,x})\ar[r]^-{p_x\coprod id} & \coprod_{i\in I}\mc{P}_{i,x} } \end{xy}
となる. これは集合の圏におけるpullback図式となっているので, 可換図式(1)は圏$\sh$におけるpullback図式である. また, $p_x\coprod id$は全射なので$p\coprod id$はエピ射である.
$\coprod_{i\in I}\mathcal{P}_i$が射影的という仮定から, $(p\coprod id)\circ s=id$となる射$\coprod_{i\in I}\mc{P}_i\longarrow{s}\mc{F}\coprod (\coprod_{i\neq i_0}\mc{P}_i)$がとれる.
\begin{xy} \xymatrix{ \mc{P}_{i_0}\ar[d]\ar@{->>}[rr]^-{id} && \mc{P}_{i_0}\ar[d]\\ \coprod_{i\in I}\mc{P}_i\ar[r]^-{s} & \mc{F}\coprod(\coprod_{i\neq i_0}\mc{P}_i)\ar[r]^-{p\coprod id} & \coprod_{i\in I}\mc{P}_i } \end{xy}
は可換なので, pullback図式(1)の普遍性により射$\mc{P}_{i_0}\arrow{t}\mc{F}$がとれる. $p\circ t=id$なので, 補題1より$\mc{P}_{i_0}$は射影的である.

$X$を位相空間とする. 開集合$U$に対して,
\begin{eqnarray} yU(V) := \begin{cases} 1点集合 & ~(V\subset U) \\ \varnothing & ~(otherwise) \end{cases} \end{eqnarray}
とすることで, 層$yU$$\in\sh$を定義できる. $yX=1$である.

米田の補題
  1. 集合の圏${\rm Set}$と, 開集合を対象とし包含写像を射とする圏${\rm Open}(X)$を考える. $X$上の前層は反変関手${\rm Open}(X)^{op}\rightarrow{\rm Set}$である. このとき$yU$は表現可能関手であり, $y$は米田埋め込みとなる.
  2. $V\subset U$なら射$yV\rightarrow yU$があり, 逆も成り立つ. さらに, 射$yV\rightarrow yU$は存在すれば一意的である. これらは米田埋め込みが忠実充満であることからの帰結である. 特に, 開集合$U,U_i~(i\in I)$に対して, 射$\coprod_{i\in I}yU_i\rightarrow yU$が存在することと$\bigcup_{i\in I}U_i\subset U$は同値である.
  3. $X$を位相空間とし, $U$:開集合, $\mc{F}\in\sh$とする. このとき,
    $yU\arrow{}\mc{F}$$\mc{F}(U)$の元は1対1に対応する. これは米田の補題からの帰結である. 以下では, 射$yU\arrow{}\mc{F}$のことを元$s\in\mc{F}(U)$によって$yU\arrow{s}\mc{F}$のように表す.

$X$を位相空間とし, 開集合$U$,$U_i~(i\in I)$を考える. このとき, 次は同値.

  1. $U=\bigcup_{i\in I}U_i$.
  2. エピ射$\coprod_{i\in I}yU_i\epi{p} yU$が存在する.

上の注意(2)から, $U_i\subset U$の場合だけを考えれば良いことが分かる.
一般に, $yV$$x\in X$についてのstalkは
$$ (yV)_x=\begin{cases} 1点集合~&(x\in V)\\ \varnothing~&(x\notin V) \end{cases} $$
である. さらに, 一般にstalkをとる操作は余極限を保つ. したがって$p$$x\in X$についてのstalkは, $x\notin U$なら空射像(特に全射)であり, $x\in U$なら
$$ \{i\in I~|~x\in U_i\}=\coprod_{i\in I,x\in U_i}1点集合\longarrow{p_x}1点集合 $$
したがって, (2)$\Leftrightarrow$任意の$x\in U$に対し$p_x$が全射$\Leftrightarrow$(1).

$X$を位相空間とし, $U$を開集合とする. 任意の部分層$\mc{F}\subset yU$に対し, ある開集合$V$が存在して$\mc{F}=yV$となる.

$V:=\{x\in U~|~\mc{F}_x\neq\varnothing\}$とおく. stalkの定義から, 各$x\in V$に対し, 開近傍$U_x\subset U$$s_x\in\mc{F}(U_x)$をとれる. すると,$V\subset\bigcup_{x\in V}U_x\subset V$より$V=\bigcup_{x\in V}U_x$. 特に$V$は開集合である. また, $\mc{F}\subset yU$ゆえ切断$\mc{F}(W)$は1点集合か空集合かのどちらかなので, 任意の$x,y\in V$に対し$s_x|_{U_x\cap U_y}=s_y|_{U_x\cap U_y}$. $\mc{F}$は層なので$(s_x)_{x\in V}$の貼り合わせが存在し, 特に$\mc{F}(V)\neq\varnothing$. よって
$$ \mc{F}(W)=\begin{cases} 1点集合~&(W\subset V)\\ \varnothing~&(otherwise) \end{cases} $$

位相空間$X$に対し, 次は同値.

  1. $\sh$が充分射影的対象をもつ.
  2. $\{U~|~yU:射影的\}$$X$の開基を成す.
$(2)\Rightarrow (1)$

$\mc{F}\in\sh$を任意にとる. $A:=\{(U,s)~|~yU:射影的, s\in\mc{F}(U)\}$とおく. 族$\{yU\arrow{s}\mc{F}\}_{(U,s)\in A}$が定める射$\coprod_{(U,s)\in A}yU\arrow{p}\mc{F}$を考える. 補題2より$\coprod_{(U,s)\in A}yU$は射影的. $p$$x\in X$についてのstalkは, stalkをとる操作が余極限を保つことから次の自然な写像となる.
$$ \coprod_{(U,s)\in A}(yU)_x=\coprod_{(U,s)\in A,U\ni x}1点集合=\{(U,s)\in A~|~x\in U\}\longarrow{p_x}\mc{F}_x $$
仮定よりこれは全射であるから, pはエピ射である.

$(1)\Rightarrow (2)$

開集合$U_0$を任意にとる. 仮定より, 射影的層からのエピ射$\mc{P}\epi{p}yU_0$がある. $A:=\{(U,s)~|~s\in\mc{P}(U)\}$とおく. 族$\{yU\arrow{s}\mc{P}\}_{(U,s)\in A}$が定める射$\coprod_{(U,s)\in A}yU\arrow{q}\mc{P}$を考える. $(2)\Rightarrow (1)$の証明と同様の議論から, $q$はエピ射である. $\mc{P}$が射影的より, $q\circ m=id$となる射$\mc{P}\arrow{m}\coprod_{(U,s)\in A}yU$がとれる. 各入射$yU\arrow{i_{(U,s)}}\coprod_{(U,s)\in A}yU$ごとにpullback
\begin{xy} \xymatrix{ \mc{F}_{(U,s)}\ar[d]^-{f_{(U,s)}}\ar[r]^-{m_{(U,s)}} & yU\ar[d]^-{i_{(U,s)}}\\ \mc{P}\ar[r]^-{m} & \coprod_{(U,s)\in A}yU } \end{xy}
をとる. $m$がモノ射より$m_{(U,s)}$はモノ射なので, 補題4から開集合$V_{(U,s)}$により$\mc{F}_{(U,s)}=yV_{(U,s)}$となる. また, 一般に圏$\sh$におけるbase changeは余極限を保つので, $\{yV_{(U,s)}\arrow{f_{(U,s)}}\mc{P}\}_{(U,s)\in A}$は余積図式となる. このことはstalkをとることで直接示すこともできる.

今, $\coprod_{(U,s)\in A}yV_{(U,s)}=\mc{P}\epi{p}yU_0$となっているので, 補題3から$\bigcup_{(U,s)\in A}V_{(U,s)}=U_0$であり, しかも補題2より各$yV_{(U,s)}$は射影的である.

$X$を位相空間とし, 開集合$V,U_i~(i\in I)$を考える. このとき,
$$ (\coprod_{i\in I}yU_i)(V)=\{連続写像V\arrow{\tau}I~|~\forall x\in V, x\in U_{\tau(x)}\}. $$
ただし, $I$には離散位相が入っているものとする.

$\sh$における余積は, 前層としての(各点的な)余積に層化を施したものによって与えられる. また, 一般に前層$\mc{F}$の層化$\mc{F}^+$は次で与えられるのであった.
$$ \mc{F}^+(V):=\{写像V\arrow{\tau}\coprod_{x\in V}\mc{F}_x~|~\tauは次の(a)(b)を満たす\}\\ (a)~任意のx\in Vに対し, \tau(x)\in\mc{F}_x\\ (b)~各x\in Vに対し, 開近傍W\subset Vとs\in\mc{F}(W)があり, 任意の y\in Wに対し\tau(y)=s_y $$
このことから, 主張を示すことができる.

$X$を位相空間とする.
(1) $X$の開被覆$\{U_i\}_{i\in I}$細分とは, $X$の開被覆$\{V_j\}_{j\in J}$であって任意の$j\in J$に対しある$i\in I$が存在し$V_j\subset U_i$を満たすもの.
(2) $X$disjointly refinable (D.R.)
$\defarrow$$X$の任意の開被覆に対し, その細分$\{V_j\}_{j\in J}$であって$j\neq j'\Rightarrow V_j\cap V_{j'}=\varnothing$を満たすものが存在する.
(3) $X$locally disjointly refinable (L.D.R.)
$\defarrow$$\{U~|~U:D.R.\}$$X$の開基を成す.

disjointly refinable, locally disjointly refinable はここだけの造語である. パラコンパクトの定義における"有限個"を"1個"に強めた概念とも考えられるので, パラコンパクトに準ずる名称にしても良いかもしれない.

位相空間$X$, 開集合$U$に対し, 次は同値.

  1. $yU$が射影的.
  2. $U$がD.R.
$(1)\Rightarrow (2)$

$U$の開被覆$\{U_i\}_{i\in I}$を任意にとる. 補題3よりエピ射$\coprod_{i\in I}yU_i\epi{}yU$があるので, $yU$が射影的であることから射$yU\rightarrow\coprod_{i\in I}yU_i$がとれる. 特に$(\coprod_{i\in I}yU_i)(U)\neq\varnothing$である. すなわち, 補題6から, 連続関数$U\arrow{\tau}I$であって$\forall x\in U,x\in U_{\tau(x)}$を満たすものが存在する. $V_i:=\tau^{-1}(i)$とおけば$\{V_i\}_{i\in I}$$\{U_i\}_{i\in I}$の細分であり, $i\neq i'\Rightarrow V_i\cap V_{i'}=\varnothing$を満たす.

$(2)\Rightarrow (1)$

エピ射$\mc{F}\epi{p}yU$を任意にとる. $A:=\{(V,s)~|~s\in\mc{F}(V)\}=\{(U_i,s_i)\}_{i\in I}$とおく. 族$\{yU_i\arrow{s_i}\mc{F}\}_{i\in I}$が定める射$\coprod_{i\in I}yU_i\arrow{q}\mc{F}$を考える. 定理5の証明と同様の議論から, $q$はエピ射である. よってエピ射$\coprod_{i\in I}yU_i\epi{q}\mc{F}\epi{p}yU$を得たので, 補題3より$\bigcup_{i\in I}U_i=U$. $U$がD.R.より, $\{U_i\}_{i\in I}$の細分$\{V_j\}_{j\in J}$であって$j\neq j'\Rightarrow V_j\cap V_{j'}=\varnothing$を満たすものがとれる.

補題3よりエピ射$\coprod_{j\in J}yV_j\epi{}yU$があるが, この射の各点のstalkに誘導する写像は, $j\neq j'\Rightarrow V_j\cap V_{j'}=\varnothing$であることから単射でもあり, すなわち全単射となる.
したがって, $\coprod_{j\in J}yV_j=yU$を得た.

さて, $\{V_j\}_{j\in J}$$\{U_i\}_{i\in I}$の細分であることから, 余積の普遍性によって射$yU=\coprod_{j\in J}yV_j\arrow{r}\coprod_{i\in I}yU_i$がある. 次の図式は, $yU$から$yU$への射が一意的であることから可換である.
\begin{xy} \xymatrix{ \coprod_{i\in I}yU_i\ar@{->>}[r]^-{q} & \mc{F}\ar@{->>}[r]^-{p} & yU \\ & yU\ar[lu]^-{r}\ar[ru]_-{id} } \end{xy}
したがって, 補題1より$yU$は射影的である.

定理5&定理7

位相空間$X$に対し, 次は同値.

  1. $\sh$が充分射影的対象をもつ.
  2. $X$がL.D.R.

これで, $\sh$が充分射影的対象をもつという条件は, 完全に$X$の位相的性質へと帰着されました.

L.D.R.空間

この節では, 純粋に位相空間の議論によってL.D.R.位相空間のことを調べます.

位相空間に対し,
$T_1$かつD.R.$~\Rightarrow~$0-次元.

$X$$T_1$かつD.R.な位相空間とする. 開集合$U$$x\in U$を任意にとる. $X$$T_1$より$V:=X\backslash\{x\}$は開集合であり, $X=U\cup V$.

$X$がD.R.より, $\{U,V\}$の細分$\{U_i\}_{i\in I}$であって$i\neq i'\Rightarrow U_i\cap U_{i'}=\varnothing$を満たすものがとれる. ある$i_0\in I$が存在して$x\in U_{i_0}$となるが, 細分であることから$U_{i_0}\subset U$となるしかない. さらに$U_{i_0}=X\backslash\bigcup_{i\neq i_0}U_i$より, $U_{i_0}$$X$の開かつ閉集合である.

ここまでの話から, 次の結果を得ます.

問題1(1)は正しい. すなわち, $T_1$-空間$X$に対して, $1\in\sh$が射影的ならば$X$は0-次元.

$yX=1$であることに注意すると, 定理7から,
$1$が射影的$~\Leftrightarrow~$$X$がD.R.
よって, 補題8より主張が従う.

問題1(2)の反例をつくるために, さらにいくつかの補題を示しておきます.

$X$を位相空間とする.

  1. $X$第2可算
    $\defarrow$$X$が可算個の開集合からなる開基をもつ.
  2. $X$Lindelöf
    $\defarrow$$X$の任意の開被覆$\{U_i\}_{i\in I}$に対し, 可算部分集合$J\subset I$が存在して$X=\bigcup_{j\in J}U_j$となる.

位相空間に対し,
第2可算$~\Rightarrow~$Lindelöf

$X$を第2可算空間とし, $X$の開被覆$\{U_i\}_{i\in I}$を任意にとる. $A$が可算集合であるような開基$\{B_a\}_{a\in A}$がとれる. 開基の定義から, 部分集合$A'\subset A$であって, $\{B_a\}_{a\in A'}$$\{U_i\}_{i\in I}$の細分となるものが存在する. すなわち, 写像$A'\arrow{\tau}I$であって$\forall a\in A',~B_a\subset U_{\tau(a)}$を満たすものがとれる. $J:=\tau(A')\subset I$とおけば, $J$$I$の可算部分集合であり, $X=\bigcup_{j\in J}U_j$を満たす.

位相空間に対し,
Lindelöfかつ0-次元$~\Rightarrow~$D.R.

$X$をLindelöfかつ0-次元な位相空間とする. $X$の開被覆$\{U_i\}_{i\in I}$を任意にとる. $X$が0-次元より, 開かつ閉集合からなる族$\{V_j\}_{j\in J}$であって, $\{U_i\}_{i\in I}$の細分であるものが存在する. $X$がLindelöfであることから, $J=\mathbb{N}$としてしまって良い. $W_n:=V_n\backslash\{V_0\cup\dots\cup V_{n-1}\}$とおくと, $\{W_n\}_{n\in\mathbb{N}}$$\{U_i\}_{i\in I}$の細分であり, $m\neq n\Rightarrow U_m\cap U_n=\varnothing$を満たしている.

位相空間に対し,
D.R.かつ0-次元$~\Rightarrow~$L.D.R.

D.R.空間$X$の開かつ閉集合$U$に対し, $U$がD.R.となることが定義から分かる. そして, 0-次元であることの定義から, このような$U$$X$の開基を成す.

補題9&補題10&補題11

位相空間に対し,
第2可算かつ0-次元$~\Rightarrow~$D.R.かつL.D.R.
特に, 通常の位相の入った$\mathbb{R}$の部分空間$\mathbb{Q}$は, D.R.かつL.D.R.な空間である.

反例の構成

2つの$\mathbb{Q}$$(-\infty,0)\cap\mathbb{Q}$で貼り合わせることによって得られる位相空間を$\mathbb{X}$とする. すなわち,

2点からなる離散空間$\{0,1\}$$\mathbb{Q}$の直積空間$\mathbb{Q}\coprod\mathbb{Q}:=\{0,1\}\times\mathbb{Q}$を考える. $\mathbb{Q}\coprod\mathbb{Q}$上の同値関係$\sim$を,
$$ (i,p)\sim (j,q)\defarrow (i,p)=(j,q)~または~p=q<0 $$
によって定義する.
$\mathbb{Q}\coprod\mathbb{Q}/ \sim$に商位相を入れた空間を$\mathbb{X}$と定義する.
連続写像$\mathbb{Q}=\{i\}\times\mathbb{Q}\hookrightarrow\mathbb{Q}\coprod\mathbb{Q}\epi{\pi}\mathbb{X}$$\iota_{i}~(i=0,1)$とおいておく. ここで$\pi$は商射である. $\iota_{i}(\mathbb{Q})$$\mathbb{X}$の開集合であり, しかも$\mathbb{Q}$と同相であることを注意しておく.

$\mathbb{X}$$T_1$かつL.D.R.であるが, 0-次元ではない.

$T_1$かつL.D.R.であること

$\mathbb{X}=\iota_{0}(\mathbb{Q})\cup\iota_{1}(\mathbb{Q})$は開被覆であり, $\mathbb{Q}\simeq\iota_{i}(\mathbb{Q})$$T_1$かつL.D.R.である. このことから主張が従う.

0-次元でないこと

$\mathbb{X}$が0-次元であると仮定する. $\iota_0(0)\in U\subset\iota_0(\mathbb{Q})$となる$\mathbb{X}$の開かつ閉集合$U$がとれる. ある正の実数$\varepsilon$が存在して$\iota_0((-\varepsilon,\varepsilon)\cap\mathbb{Q})\subset U$となる. 一方$\iota_1(0)\notin U$なので, ある正の実数$\delta$が存在して$\iota_1((-\delta,\delta)\cap\mathbb{Q})\cap U=\varnothing$となる. 特に$\iota_0((-\varepsilon,\varepsilon)\cap\mathbb{Q})\cap\iota_1((-\delta,\delta)\cap\mathbb{Q})=\varnothing$となっているが, $\max\{-\varepsilon,-\delta\}< q<0$なる有理数$q\in\mathbb{Q}$をとると$\iota_0(q)\in\iota_0((-\varepsilon,\varepsilon)\cap\mathbb{Q})\cap\iota_1((-\delta,\delta)\cap\mathbb{Q})$なので, これは矛盾である.

以上の長い準備によって, 次の結果を得ました.

$\mathbb{X}$問題1(2)に対する反例である. すなわち, $\mathbb{X}$$T_1$-空間であり${\rm Sh}(\mathbb{X})$は充分射影的対象をもつが, 0-次元ではない.

位相空間$X$に対して, $\sh$が充分射影的対象をもつこととL.D.R.であることは同値であったので, 主張が従う.

謝辞

反例となる$\mathbb{X}$の構成は, @uts1_19_math氏によるツイート が元となっています. 同氏の多大な助力に感謝!

参考文献

[1]
Saunders MacLane and Ieke Moerdijk, Sheaves in Geometry and Logic, Springer, 1994
投稿日:202144
OptHub AI Competition

この記事を高評価した人

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

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

バッジはありません。

投稿者

くろの
くろの
26
2600

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中