粗空間

数学の一分野coarse幾何学（英: coarse geometry; 粗い幾何学、粗幾何学）におけるcoarse空間（英: coarse space; 粗い空間、粗空間）とは空間の大規模構造に関する情報を取り出した構造の一つであるcoarse構造（英: coarse structure; 粗い構造、粗構造）を備えた空間である。伝統的な位相空間論では近傍系や連続性などの小規模構造を問題にしてきたのと対照的にcoarse幾何学では（非）有界性や漸近挙動などの大規模構造を問題にする。coarse構造は距離構造の一般化の一つであり、位相構造ではなく一様構造の大規模構造に関する類似物といえる（位相構造の類似物に当たるのは bornology といわれる）。 集合 X の直積 X × X の部分集合からなる族 E {\displaystyle {\mathcal {E}}} が、条件 X の対角線集合 Δ X = { ( x , x ) ∈ X × X : x ∈ X } {\displaystyle \Delta _{X}=\{(x,x)\in X\times X:x\in X\}} は E {\displaystyle {\mathcal {E}}} に属す。 E と F が E {\displaystyle {\mathcal {E}}} に属すとき、その合併 E ∪ F も E {\displaystyle {\mathcal {E}}} に属す。 E と F が E {\displaystyle {\mathcal {E}}} に属すとき、その合成 E ∘ F := { ( x , z ) ∈ X × X : ∃ y ∈ X , ( x , y ) ∈ E , ( y , z ) ∈ F } {\displaystyle E\circ F:=\{(x,z)\in X\times X:\exists y\in X,(x,y)\in E,(y,z)\in F\}} も E {\displaystyle {\mathcal {E}}} に属す。 E が E {\displaystyle {\mathcal {E}}} に属すとき、その部分集合 F ⊆ E も E {\displaystyle {\mathcal {E}}} に属す。 E が E {\displaystyle {\mathcal {E}}} に属すとき、その逆 E − 1 := { ( y , x ) ∈ X × X : ( x , y ) ∈ E } {\displaystyle E^{-1}:=\{(y,x)\in X\times X:(x,y)\in E\}} も E {\displaystyle {\mathcal {E}}} に属す。 を満足するとき、 ( X , E ) {\displaystyle (X,{\mathcal {E}})} を X を台集合、 E {\displaystyle {\mathcal {E}}} をcoarse構造(又は近縁系(system of entourages))とするcoarse空間という（coarse構造は P ( X × X ) {\displaystyle {\mathcal {P}}(X\times X)} 上のイデアルとなっている）。 以下混乱の恐れがないときはcoarse空間 ( X , E ) {\displaystyle (X,{\mathcal {E}})} を X と書く。coarse構造 E {\displaystyle {\mathcal {E}}} の元をcoarse空間 X の制御集合(controlled sets)または近縁(entourages)という。 coarse構造 E {\displaystyle {\mathcal {E}}} が同じ台集合上の別のcoarse構造 F {\displaystyle {\mathcal {F}}} よりも細かいとは、 F ⊆ E {\displaystyle {\mathcal {F}}\subseteq {\mathcal {E}}} となることをいう。このとき F {\displaystyle {\mathcal {F}}} は E {\displaystyle {\mathcal {E}}} よりも粗いという。 coarse空間 X の近縁 E と その部分集合 A ( ⊆ X {\displaystyle \subseteq X} ) に対し A の E-近傍 E ( A ) {\displaystyle E(A)} は E ( A ) := { x ∈ X : ∃ a ∈ A , ( x , a ) ∈ E } {\displaystyle E(A):=\{x\in X:\exists a\in A,(x,a)\in E\}} と定義される。同様に一点 x ∈ X {\displaystyle x\in X} の E-近傍を E ( x ) := E ( { x } ) {\displaystyle E(x):=E(\{x\})} と定義する。 典型的な状況では、近縁は X × X 上で対角線 y = x から一定の近さに存在し、近縁を垂直に切った断面として得られる近傍はその集合が中心から有界な範囲に収まっていることを示している。 近縁 E が対称であるとは、 ( x , y ) ∈ E {\displaystyle (x,y)\in E} ならば必ず ( y , x ) ∈ E {\displaystyle (y,x)\in E} であることをいう。 条件 1 は一点集合は有界であることを、条件 2 は中心を共有する有界集合の合併は再び有界であることを、条件 3 は有界集合から一定の範囲内は再び有界になることを、条件 4 は有界集合の部分集合は再び有界であることを、条件 5 は近縁は本質的に対称であることを、それぞれ表している。 coarse構造のイデアル基を基本近縁系 (fundamental system of entourages) という。すなわちcoarse構造 E {\displaystyle {\mathcal {E}}} の部分集合 B {\displaystyle {\mathcal {B}}} が基本近縁系とは、 E {\displaystyle {\mathcal {E}}} の各元に対してそれを含むような B {\displaystyle {\mathcal {B}}} の元がとれるようなものをいう。上述の条件 4 によって、基本近縁系 B {\displaystyle {\mathcal {B}}} が与えられればcoarse構造 E {\displaystyle {\mathcal {E}}} は ( B {\displaystyle {\mathcal {B}}} の元を含むような X × X の部分集合全体のなす集合族として) 一意的に定まる。任意のcoarse構造は、対称かつ対角線を含む近縁からなる基本近縁系を持つ。 代表的なcoarse構造として、距離空間 を考えよう。距離空間 (X, d) に対し、 Δ r := { ( x , y ) ∈ X × X : d ( x , y ) ≤ r } {\displaystyle \Delta _{r}:=\{(x,y)\in X\times X:d(x,y)\leq r\}} からなる集合族 { Δ r : r > 0 } {\displaystyle \{\Delta _{r}:r>0\}} は、X の標準的なcoarse構造(有界coarse構造)に関する基本近縁系をなす。このとき、x ∈ X の Δr-近傍とは x を中心とした半径 r の閉球のことである。 集合族 V {\displaystyle {\mathcal {V}}} に対し Δ V {\displaystyle \Delta _{\mathcal {V}}} を Δ V := ⋃ V ∈ V V × V {\displaystyle \Delta _{\mathcal {V}}:=\bigcup _{V\in {\mathcal {V}}}V\times V} と定義する。coarse空間 X 上の集合族 V {\displaystyle {\mathcal {V}}} に対し、 Δ V {\displaystyle \Delta _{\mathcal {V}}} がそのcoarse構造に関する近縁となるとき V {\displaystyle {\mathcal {V}}} は一様有界であるという。 集合族 U {\displaystyle {\mathcal {U}}} が集合族 V {\displaystyle {\mathcal {V}}} の細分であるとは、各 U ∈ U {\displaystyle U\in {\mathcal {U}}} に対して、ある V ∈ V {\displaystyle V\in {\mathcal {V}}} が存在して U ⊆ V となることをいう。 Θ をcoarse空間 X 上の一様有界な集合族からなるクラスとする。この時 Θ は以下の条件を満たす。 X 上の一点集合全体 { { x } : x ∈ X } {\displaystyle \{\{x\}:x\in X\}} は Θ に属す。 U {\displaystyle {\mathcal {U}}} と V {\displaystyle {\mathcal {V}}} が Θ に属すとき、その合併 U ∪ V {\displaystyle {\mathcal {U}}\cup {\mathcal {V}}} も Θ に属す。 U {\displaystyle {\mathcal {U}}} と V {\displaystyle {\mathcal {V}}} が Θ に属すとき、 { Δ V ( V ) : V ∈ V } {\displaystyle \{\Delta _{\mathcal {V}}(V):V\in {\mathcal {V}}\}} も Θ に属す。 V {\displaystyle {\mathcal {V}}} が Θ に属し、 U {\displaystyle {\mathcal {U}}} が V {\displaystyle {\mathcal {V}}} の細分のとき、 U {\displaystyle {\mathcal {U}}} も Θ に属す。 この条件を満たす集合族のクラス Θ が与えられたとき { Δ V : V ∈ Θ } {\displaystyle \{\Delta _{\mathcal {V}}:V\in \Theta \}} はあるcoarse構造の基本近縁系となる。 coarse空間 X の部分集合 A に対し、ある近縁 Eとある点 x が存在して A が E(x) に含まれるとき A は有界 (bounded) であるという (coarse空間から有界集合のなす集合族の性質だけを抜き出したものを bornological space という)。 coarse空間 X の部分集合 A に対し、ある近縁 Eとある点 x が存在して E(A) = X となるとき A はcoarse稠密 (coarsely dense) であるという。 coarse空間 X において、任意の有限集合が有界なときcoarse空間 X はcoarse連結 (coarsely connected) であるという。 位相を伴ったcoarse空間 X において、対角線集合の近傍となるような近縁が存在し任意の有界集合が相対コンパクトなとき、coarse空間 X はproperであるという。 位相を伴ったcoarse空間 X がcoarse連結かつproperなとき、有界性と相対コンパクト性は同値になる。 集合 X に対し、 P ( X × X ) {\displaystyle {\mathcal {P}}(X\times X)} は包含関係に関して最大のcoarse構造となる(これは X 自身を有界にする唯一のcoarse構造)。同様に P ( Δ X ) {\displaystyle {\mathcal {P}}(\Delta _{X})} は包含関係に関して最小のcoarse連結となる。 集合 X に対し、{E ⊆ X × X : E ∖ ΔX が有限集合} は包含関係に関して最小のcoarse連結なcoarse構造となる。 ハウスドルフ空間 X に対し、 { Δ X ∪ K × K : K ⊆ X , K {\displaystyle \{\Delta _{X}\cup K\times K:K\subseteq X,K} は相対コンパクト集合 } {\displaystyle \}} は有界性と相対コンパクト性が一致するような最小のcoarse構造の基本近傍系となっている。 ハウスドルフ空間 X に対し、 { E ⊆ X × X : X {\displaystyle \{E\subseteq X\times X:X} の全ての相対コンパクト部分集合 K に対し、 E ( K ) , E − 1 ( K ) {\displaystyle E(K),E^{-1}(K)} が共に相対コンパクト } {\displaystyle \}} は有界性と相対コンパクト性が一致するような最大のcoarse構造となる。 距離空間 (X, d) に対し、X を台集合とするcoarse構造 E := { E ⊆ X × X : ∃ r > 0 , E ⊆ Δ r } {\displaystyle {\mathcal {E}}:=\{E\subseteq X\times X:\exists r>0,E\subseteq \Delta _{r}\}} を距離 d に関する有界coarse構造 (bounded coarse structure、有界なcoarse空間という意味ではないことに注意) という。 これは、近縁 E に対し ‖ E ‖ := sup { d ( x , y ) | ( x , y ) ∈ E } {\displaystyle \|E\|:=\sup\{d(x,y)|(x,y)\in E\}} と言う記号を定義すると E := { E ⊆ X × X : ‖ E ‖ < ∞ } {\displaystyle {\mathcal {E}}:=\{E\subseteq X\times X:\|E\|<\infty \}} と書ける。 距離空間 (X, d) に対し、X を台集合とするcoarse構造 E := { E ⊆ X × X : i n f { ‖ E ∖ ( K × K ) ‖ : K ⊆ X , K ; {\displaystyle {\mathcal {E}}:=\{E\subseteq X\times X:{\rm {inf}}\{\|E\setminus (K\times K)\|:K\subseteq X,K;} コンパクト } = 0 } {\displaystyle \}=0\}} を距離 d に関する C0-coarse構造という。 properな距離空間 (X, d) 上の有界coarse構造及び C0-coarse構造から定義される部分集合の有界性はどちらも距離から定義される有界性と一致する。二つのcoarse構造は漸近的な振る舞いが異なる。 集合 S からcoarse空間 X への二つの写像 f, g: S → X について、 { ( f ( a ) , g ( a ) ) : a ∈ S } {\displaystyle \{(f(a),g(a)):a\in S\}} が X の近縁になるとき f と g はcloseであるという。 coarse空間 X からcoarse空間 Y への写像 f: X → Y について、全ての X の近縁 E に対し、 { ( f ( a ) , g ( a ) ) : a ∈ S } {\displaystyle \{(f(a),g(a)):a\in S\}} が Y の近縁になるとき f はbornologous (又は coarsely uniform) であるという。 coarse空間 X からcoarse空間 Y へのbornologous写像 f: X → Y について、あるbornologous写像 g: Y → X が存在し g ∘ f {\displaystyle g\circ f} と idX, f ∘ g {\displaystyle f\circ g} と idY がそれぞれcloseとなるとき f をcoarse同値写像(coarsely equivalence)という。 このとき、 g を f のcoarse逆写像といい、coarse空間 X と Y は coarse同値(coarsely equivalent)であるという。 coarse空間 X からcoarse空間 Y へのbornologous写像 f: X → Y について、f(X) が Y でcoarse稠密であることと、f がcoarse同値写像であることは同値。 有界なcoarse空間は全て互いにcoarse同値である。 Rn から Zn への各成分の整数部分を対応させる写像は有界coarse構造についてcoarse同値写像。 一様空間 ミハイル・グロモフ coarse幾何学 漸近次元 ヒグソン・コンパクト化 bornology空間 J. Roe (2003年). Lectures on Coarse Geometry. University Lecture Series. Vol. 31. American Mathematical Society. ISBN 9780821833322.  G. Bernd (2006年). “Coarse geometry and asymptotic dimension”. Mathematica Gottingensis. http://arxiv.org/pdf/math/0601744.pdf.