ストーン双対性のソースを表示

'''ストーンの双対性定理'''（ストーンのそうついせいていり）とは[[数学]]における定理で、（非常に弱いある種の制限を満たす）[[位相空間]]がある種の性質を満たす[[束 (束論)|束]]と自然に対応づけられる事を意味し、この対応づけを'''ストーン双対性'''(Stone duality)という。[[位相空間論]]は点集合論に基づいて通常定式化されるが、ストーン双対性により位相空間は束と対応づけられるので、この双対性は点集合論の代わりに束論に基いて位相空間論を定式化（'''ポイントレス位相空間論'''（[[:en:pointless topology|pointless topology]]））できる事を意味する。この為本稿ではポイントレス位相空間論についても述べる。ストーンの双対性定理は[[ストーンの表現定理]]の一般化でもある。

== 概要 ==

位相空間''X'' 上の開集合全体の集合をΩ(''X'' )とすると、Ω(''X'' )は包含関係に関して半順序集合をなす。
しかもΩ(''X'' )は和集合と共通部分について閉じているのでΩ(''X'' )は[[束 (束論)|束]]であり、
さらに詳しく調べると、Ω(''X'' )は必ず「完備ハイティング代数」という種類の束になる事が示せる。
したがって''X'' にΩ(''X'' )を対応させる事で位相空間に完備ハイティング代数を対応させる事ができる。

ストーン双対性は、位相空間としてある種の弱い性質（sober性）を満たすものに限定し、さらに完備ハイティング代数の方も「空間的」という性質を満たすものに限定するとこの対応関係がいわば「全単射」になるという趣旨の定理である。

ストーン双対性の厳密な定式化には[[圏論]]の言葉を用いる必要があるので、まずは圏の概念を簡単に紹介する。
'''圏'''(category)とは「対象」の集まりと「射」 の集まりの組の事で、'''対象''' (object)とは直観的には研究対象となる集合の事を指し、'''射''' (morphism)とは対象から対象への写像の事を指す<ref group="注釈">圏の定義では対象と射が集合と写像である事は要求していないが、本稿で出てくる圏は後述する'''SLoc'''を除いてこの性質を満たすので、以下対象と射がそれぞれ集合と写像であるかは問わない。</ref>。例えば位相空間の圏'''Top'''の対象と射はそれぞれ位相空間と連続写像であり、群の圏'''Grp'''の対象と射はそれぞれ群と群準同型写像である。

以下の章で、ストーン双対性の記述に必要な概念を順に述べていく。

==sober空間==

sober空間は以下のように定義される：

{{math theorem|name=定義（sober空間）|1=
位相空間''X'' が'''[[既約位相空間|既約]]''' (irreducible) であるとは ''X'' が2つの閉な真部分集合<math>\subsetneqq X</math>の和集合として書き表す事ができない事を言う。
さらに位相空間''X'' が以下の性質('''sober性''')を満たす時、''X'' を'''sober空間'''([[:en:sober space|sober space]])<ref group="注釈">「sober」は「穏健な」、「冷静な」、「しらふの」、「酒を飲んでいない」といった意味の英単語。（[http://ejje.weblio.jp/content/sober 研究社「新英和中辞典」]）</ref>であるという：''X'' の任意の既約閉部分集合''A'' に対し、''A'' が一点集合{''a'' }の閉包と一致するような''a'' &isin;''A'' が唯一存在する。
}}

sober性は[[コルモゴロフ空間|T<sub>0</sub>分離公理]]と[[ハウスドルフ空間|T<sub>2</sub>分離公理]]の中間の強さを持つ事が知られており、T<sub>2</sub>空間⇒sober空間⇒T<sub>0</sub>空間が成立する。一方sober性とT<sub>1</sub>分離公理は独立な概念であり、sober空間でないT<sub>1</sub>空間やT<sub>1</sub>空間でないsober空間が存在する。

{{math theorem|name=定義（sober空間の圏Sob）|1=
sober空間の圏'''Sob'''は以下のように定義される：
* 対象：sober空間
* 射：連続写像
}}

==空間的完備ハイティング代数==

ストーン双対性の定式化で登場するもう一つの圏は、空間的完備ハイティング代数というある種の[[束 (束論)|束]]を対象とする圏'''SFrm'''である。ハイティング代数とその圏の定義を述べる為まず束の定義とその性質を述べる。

{{math theorem|name=定義（束とその性質）|1=
順序集合''F''が'''[[束 (束論)|束]]'''([[:en:lattice (order)|lattice]])であるとは任意の''a'' 、''b'' &isin; ''F'' に対しa∨b := sup(a,b)、a∧b := inf(a,b)が常に存在する事をいう。''F'' が'''完備束'''([[:en:complete lattice|complete lattice]])であるとは''F'' の任意の部分集合''A'' に対しsup(''A'' )とinf(''A'' )が存在する事をいう。''F'' が'''有界束'''(bounded lattice)であるとは''F'' に最大元と最小元が存在する事を指す。（最大元と最小元を以下それぞれ1、0と表す）。
}}

ハイティング代数は有界束の一種として定義される。なお[[束 (束論)|束]]である（すなわち[[順序集合]]である）にもかかわらず空間的完備ハイティング「代数」という名称なのは ''a''∨''b'' := sup(''a'', ''b''), ''a''∧''b'' := inf(''a'', ''b'') をそれぞれ乗算と加算とみなす事で束を[[多元環|代数]]だとみなせるからである。

ハイティング代数はブール代数を一般化した有界束であり、ブール代数と同様「''a'' ∨''b'' 」と「''a'' ∧''b'' 」が定義でき、さらに「IF ''a''  THEN ''b'' 」を意味する「''a'' →''b'' 」が定義できるという特徴を持っている。また「''a'' の否定」を意味する「￢''a'' 」を「''a'' → 0 」として定義できるがブール代数と違い二重否定の法則 ￢ ￢''a'' ＝''a'' は成り立つとは限らない。
 
{{math theorem|name=定義（完備ハイティング代数）|1=
'''ハイティング代数'''([[:en:Heyting algebra|Heyting algebra]]) ''F''とは以下の性質を満たす有界束の事である。
* 任意の''a'' 、''b'' &isin; ''F'' に対し、集合<math>\{x\in F \mid a \wedge x \le b\}</math>は最大元を持つ。
以上の条件で存在が保証されている最大元を以下「''a'' → ''b'' 」と表記する。
ハイティング代数であってしかも束として完備であるものを'''完備ハイティング代数'''という。
}}

ストーン双対性の定式化には単なる完備ハイティング代数ではなく'''空間的'''(spatial)な完備ハイティング代数を用いるが、「空間的」という単語の定義を説明するには準備が必要な為、後の章にまわす。

''X'' を位相空間とするとΩ(''X'' )には以下のようにして完備ハイティング代数の構造が入る。ここで<math>A^{\circ}</math>は''A'' の内部を表す。
* <math>\bigvee_{\lambda}O_{\lambda} :=\bigcup_{\lambda}O_{\lambda}</math>
* <math>\bigwedge_{\lambda}O_{\lambda} := \left(\bigcap_{\lambda}O_{\lambda}\right)^{\circ}</math>
* <math>(O_1 \to O_2) := (O_1{}^c\cup O_2)^{\circ}</math>

完備ハイティング代数の事を'''枠''' (frame)ともいう。空間的な枠(Spatial Frame)の圏'''SFrm'''は以下のように定義される。

{{math theorem|name=定義（空間的完備ハイティング代数の圏）|1=
空間的完備ハイティング代数の圏'''SFrm'''は以下のように定義される：
* 対象：空間的完備ハイティング代数
* 射：順序を保つ<ref group="注釈">空間的完備ハイティング代数は束であり、束は順序集合であるので「順序を保つ」という概念が意味を持つ</ref>写像''f'' で''f'' (''a'' ∧ ''b'') = ''f'' (''a'' )∧''f'' (''b'')、''f'' (∨ ''A'') = ∨''f'' (''A'' )が定義域の任意の元''a'' 、''b'' と定義域の任意の部分集合''A'' に対して成り立つもの。ここで∨''A'' := sup(''A'' )。
}}

上述したように'''SFrm'''の射は、有限積と無限和を保つ。これは位相空間において開集合の有限積と無限和が再び開集合となる事と関係している。

==SobとSFrmの対応関係==

次にsober空間の圏'''Sob'''と空間的完備ハイティング代数の圏'''SFrm'''との対応関係の詳細を述べる。
これらの圏の間の対応関係は、圏論でいう「関手」の概念を用いて定義される。
ここで'''Sob'''から'''SFrm'''への'''関手'''(functor)とは'''Sob'''の対象と射にそれぞれ'''SFrm'''の対象と射を対応させる「写像」の事である。（厳密な定義は[[圏論]]の項目を参照。）

'''Sob'''から'''SFrm'''への関手Ωは以下のように定義される。

{{math theorem|name=定義（'''Sob'''から'''SFrm'''への関手Ω）|1=
'''Sob'''から'''SFrm'''への関手Ω以下のように定義される：
* 対象：sober空間''X''に''X'' 上の開集合全体の集合（以下Ω(''X'' )と表記）を対応させる。
* 射：連続写像''f'' : ''X'' → ''Y'' に''f'' <sup>-1</sup> : Ω(''Y'' ) → Ω(''X'' ) を対応させる。（以下''f'' <sup>-1</sup>を以下Ω(''f'' )と表記）
}}

ここで注意すべきは''f'' が''X'' から''Y'' への写像であるときはΩ(''f'' ) = ''f'' <sup>-1</sup>はΩ(''Y'' ) からΩ(''X'' )への写像になっており、写像の向きが逆転している事である。（すなわち圏論の言葉でいえば'''反変関手'''になっている）。後でポイントレス位相空間論を考える際には、写像の向きの反転をなくす為、若干の調整が必要となる。

次に、関手Ωのいわば「逆写像」にあたる、'''SFrm'''から'''Sob''' への関手pt を導入する。ptは空間的完備ハイティング代数''F'' に対し''F'' の元を開集合として持つ位相空間を対応させる関手であり、したがってpt を実現するには''F'' から点集合(''p''oin''t'' set)を再現する必要がある。

このようなptを実現する為、いくつかの概念を定義し、ptの「逆写像」にあたる関手Ω(''X'' )の性質を調べる。
一点集合を任意に固定し、これを'''1'''と表記する。さらに'''1'''の唯一の元を''e'' とし、'''1''' に離散位相を入れる。すると'''1''' 上の開集合全体の集合<math>\Omega(\mathbf{1}) = \{\emptyset, \mathbf{1}\}</math>は2元のみからなるハイティング代数になる。以下このハイティング代数Ω('''1''' )の事を「'''2'''」と表記する。<math>\emptyset</math>はハイティング代数'''2'''の最小元なので、以下<math>\emptyset</math>の事を'''0'''とも表記する。

さて''X'' をsober空間とし、''F'' = Ω(''X'' )とする。''X'' の点''x'' ∈ ''X'' に対し、'''一点写像''' p<sub>''x''</sub> : '''1''' → ''X'' をp<sub>''x''</sub>(1) = ''x'' となる写像とする。するとsober空間''X'' 上の点と''e'' から''X'' への写像p<sub>''x''</sub>は明らかに1対1で対応する。また'''1''' から''X'' への写像p<sub>''x''</sub> : '''1''' → ''X'' には空間的完備ハイティング代数間の写像Ω(p<sub>''x''</sub>) : ''F''  → Ω(''E'' ) = '''2''' が対応する。以上の考察から''X'' の各点に射''F''  → '''2'''が対応する。

しかも''X'' の開集合''O'' と''x'' ∈''X'' に対し''f'' = Ω(p<sub>''x''</sub>)とすると、
: <math>
 x \in O \Leftrightarrow p_x(e) \in O \Leftrightarrow \mathbf{1} \in p_x{}^{-1}(O) \Leftrightarrow \Omega(p_x)(O) = \mathbf{1} \Leftrightarrow f(O)=1
</math>
が成り立つ。

そこでptを以下のように定義する：

{{math theorem|name=定義（'''SFrm'''から'''Sob'''への関手pt）|1=
'''SFrm'''から'''Sob'''への関手ptは以下のように定義される：
* 対象：空間的完備ハイティング代数''F'' に対し以下のような位相空間（pt(''F'' )と表記）を対応させる：
** 底空間''X'' ：''F'' から'''2''' への射全体の集合。
** ''X'' の開集合⇔<math>\exists u\in F</math>が存在し、<math>\{f\in X \mid f(u)=\mathbf{1}\}</math>と表記できる集合。
* 射：ψ : ''F'' → ''G'' に<math>f\in \mathrm{pt}(G) \mapsto f\circ \psi \in \mathrm{pt}(F)</math>を対応させる。
}}

==「空間的」の定義==

最後に、完備ハイティング代数が「空間的」である事の定義を述べる。
完備ハイティング代数''F'' が'''空間的'''であるとは、以下の性質を満たす事を言う：

: ''a'' ≦ ''b'' ではない任意の''a'' , ''b'' ∈ ''F'' に対し、ある''f'' ∈pt(''F'' )が存在し、''f'' (''a'' )=1かつ ''f'' (''b'' ) = 0が成立する。

''F'' =Ω(''X'' )と表記できているときは、上述の''a'', ''b''は<math>a\not\subset b</math>を満たす開集合であるので''x'' ∈''X'' で''x'' ∈ ''a'' かつ<math>x\notin b</math>となる元が存在する。したがって''f'' =Ω(p<sub>''x'' </sub>)とすればたしかに''f'' (''a'' )=1かつ ''f'' (''b'' ) = 0が成立する。

==ストーン双対性==

ストーン双対性は、任意のsober空間''X'' に対し<math>\mathrm{pt}\circ \Omega(X)</math>が''X'' と「自然に」同型になり、さらに任意の空間的完備ハイティング代数''F'' に対し、<math>\Omega\circ\mathrm{pt}(F)</math>が''F'' と「自然に」同型になる事を意味する。「自然に」という言葉の意味は圏論でいう「[[自然変換|自然同値]]」の概念によって精緻化されるが、ここではその説明を省く。詳細は[[自然変換]]の項目を参照。

{{math theorem|name=定理（ストーン双対性）|1=
<math>\mathrm{pt}\circ \Omega</math>は'''Sob'''上の恒等写像と[[自然変換|自然同値]]であり、
<math>\Omega\circ\mathrm{pt}</math>は'''SFrm'''上の恒等写像と自然同値である。
}}

sober性を満たすとは限らない位相空間''X'' であっても<math>Y=\mathrm{pt}\circ \Omega(X)</math>は必ずsober性を満たす。したがって''Y'' は''X'' の「sober化」とみなせる。

ストーン双対性の特殊な場合として、以下の定理が従う：

{| class="wikitable sortable"
|+ ストーン双対性の特殊な場合
! 定理名 !! 幾何的な圏の対象 !! 幾何的な圏の射 !! 束論的な圏の対象 !! 束論的な圏の射
|-
! ストーン双対性
|sober空間||連続写像||空間的完備ハイティング代数||有限積と無限和を保つ写像
|-
! 分配束に対するストーンの表現定理([[:en:Duality theory for distributive lattices|英語版]])
|[[:en:coherent space|coherent]]なsober空間||coherent写像||coherentなロケール||coherentな写像
|-
! [[ストーンの表現定理|ブール代数に対するストーンの表現定理]]
|ストーン空間||連続写像||ブール代数||準同型写像
|}

== ポイントレス位相空間論 ==

ストーンの双対性定理はsober性を満たす位相空間の圏'''Sob''' が空間的完備ハイティング代数の圏'''SFrm''' との対応関係を示しているが、'''Sob''' から'''SFrm''' への関手Ωは射の向きを反対にするもの（反変関手）である為、'''Sob''' と'''SFrm''' では射の向きが反転してしまっており、両者は完全に同一視できるわけではない。

そこで圏'''SFrm''' の射の向きを形式的に全て逆向きにした圏（'''双対圏'''）を考え、この圏を'''SLoc''' と書くと、'''Sob'''と'''SLoc''' は射の向きも同一になる。（なお'''SLoc''' の射はあくまで'''SFrm''' の射の向きを形式的に反転したものなので、'''SLoc''' の射''L''→ ''M''は通常の写像のように''L'' の元に ''M'' の元を対応させるわけではない。）'''SLoc''' の対象を'''ロケール'''(locale)という<ref group="注釈">'''SFrm'''も'''SLoc'''も対象は空間的完備ハイティング代数である。しかし'''SFrm'''と'''SLoc'''が圏としては違う事を強調する為に、'''SFrm'''の対象とみなした場合には空間的完備ハイティング代数を「枠」といい、'''SLoc'''の対象とみなした時には空間的完備ハイティング代数を「ロケール」という。</ref>。すなわち'''SLoc''' は空間的という条件を満たすロケール(Spatial LOCale)の圏である。

'''Sob''' と'''SLoc''' は射の向きを込めて同型なので、(sober性を満たす)位相空間の圏'''Sob''' の代わりに空間的ロケールの圏'''SLoc''' をベースにして位相空間論を展開する事ができる。これを'''ポイントレス位相空間論'''（[[:en:pointless topology|pointless topology]]。意訳すれば「点集合論に基づかない位相空間論」）という。

ポイントレス位相空間論の利点の一つは、通常の位相空間論であれば[[選択公理]]に基づかなければ証明できない定理であっても、ポイントレス位相空間論におけるその定理の対応物は選択公理に頼らず証明できる場合がある事である。これは選択公理を持たない[[トポス (数学)|トポス]]を考える場合に有利に働く。

ただし、位相空間と空間的ロケールの対応関係は位相空間がsober性を満たす場合にしか成り立っていない事が原因で、通常の位相空間論における定理や概念とポイントレス位相空間論におけるそれらの対応物が若干異なった概念になってしまう事がある事に注意しなければならない。

そのような概念の例として直積がある。sober性を満たさない位相空間に対応するロケールの直積には集合としては等しいがロケールとしては等しくない2つの部分ロケールが存在する事がありうるが、一方で位相空間論における直積では2つの部分空間が等しいのはそれらが点集合として等しい場合に限る。

また位相空間の部分空間とロケールの部分ロケールも異なる概念である。
例えば有理数体<math>\mathbb{Q}</math>を位相空間とみなした場合、<math>\mathbb{Q}</math>には可算個の部分位相空間しか存在しないが、一方で<math>\mathbb{Q}</math>に対応するロケールには[実数の濃度]個の部分ロケールが存在する<ref>{{citation
 | last = Isbell | first = John
 | contribution = Some problems in descriptive locale theory
 | location = Providence, RI
 | mr = 1192150
 | pages = 243–265
 | publisher = Amer. Math. Soc.
 | series = CMS Conf. Proc.
 | title = Category theory 1991 (Montreal, PQ, 1991)
 | volume = 13
 | year = 1992}}. See in particular [https://books.google.co.jp/books?id=3hwiWc4iau0C&pg=PA245&redir_esc=y&hl=ja p.&nbsp;245].</ref>。

== 脚注 ==
{{脚注ヘルプ}}
=== 注釈 ===
{{Notelist}}
=== 出典 ===
<references />

== 参考文献 ==
{{参照方法|date=2016年2月}}
本稿は英語版の[[:en:Stone duality|Stone duality]]の項目、[[:en:pointless topology|pointless topology]]の項目、およびこれらの関連項目を参考にして執筆された。

以下は英語版に記載されていた参考文献を写したものである：

* ストーン双対性の参考文献
** Burris, Stanley N., and H.P. Sankappanavar, H. P., 1981. ''[http://www.thoralf.uwaterloo.ca/htdocs/ualg.html A Course in Universal Algebra.]''  [[Springer-Verlag]]. ISBN 3-540-90578-2. (available free online at the website mentioned)
** P. T. Johnstone, ''Stone Spaces'', Cambridge Studies in Advanced Mathematics 3, [[Cambridge University Press]], Cambridge, 1982. ISBN 0-521-23893-5.
** {{cite book | editor1-last=Pedicchio | editor1-first=Maria Cristina | editor2-last=Tholen | editor2-first=Walter | title=Categorical foundations. Special topics in order, topology, algebra, and sheaf theory | series=Encyclopedia of Mathematics and Its Applications | volume=97 | location=Cambridge | publisher=[[Cambridge University Press]] | year=2004 | isbn=0-521-83414-7 | zbl=1034.18001 }}
** {{cite book | last=Vickers | first=Steven | authorlink=Steve Vickers (computer scientist) | title=Topology via logic | series=Cambridge Tracts in Theoretical Computer Science | volume=5 | location=Cambridge | publisher=[[Cambridge University Press]] | year=1989 | isbn=0-521-36062-5 | zbl=0668.54001 }}
** [http://paultaylor.eu/ASD/ Abstract Stone Duality]
* ポイントレス位相空間論の参考文献
**[[Peter Johnstone (mathematician)|Johnstone, Peter T.]], 1983, "[http://projecteuclid.org/DPubS/Repository/1.0/Disseminate?view=body&id=pdf_1&handle=euclid.bams/1183550014 The point of pointless topology,]" ''Bulletin of the American Mathematical Society 8(1)'': 41-53.

{{DEFAULTSORT:すとおんそうついせい}}
[[Category:位相空間論]]
[[Category:ブール代数]]
[[Category:順序集合]]<!--英語版でorder theoryが入っていたので日本語版でもつけてみた-->
[[Category:双対性]]
[[Category:数学の定理]]
[[Category:数学に関する記事]]