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

SGL_Exercise4.15(e)の反例

531
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

この記事を高評価した人

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

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

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

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

投稿者

くろの
くろの
27
2936

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中
  1. 概説
  2. 準備
  3. 問題文
  4. 射影的層
  5. L.D.R.空間
  6. 反例の構成
  7. 謝辞
  8. 参考文献