粗空間

数学の一分野である粗幾何学（）における**粗空間**（）とは、空間の大尺度の構造に関する情報を取り出した構造の一つである粗構造（）を備えた空間である。伝統的な位相空間論では近傍系や連続性などの小尺度構造を問題にしてきたのと対照的に、粗幾何学では（非）有界性や漸近挙動などの大尺度構造を問題にする。粗構造は距離構造の一般化の一つであり、位相構造ではなく一様構造の大尺度構造に関する類似物といえる（位相空間の類似物に当たるのは有界型空間といわれる）。

## 定義

集合 X の直積 X \times X の部分集合からなる族 {\mathcal E} が、条件

# X の対角線集合 \Delta_X = \{(x, x)\in X\times X: x \in X\} は {\mathcal E} に属す。
# E と F が {\mathcal E} に属すとき、その合併 E\cup F も {\mathcal E} に属す。
# E と F が {\mathcal E} に属すとき、その合成 E\circ F:=\{(x,z)\in X\times X:\exist y\in X, (x,y) \in E, (y,z) \in F\} も {\mathcal E} に属す。
# E が {\mathcal E} に属すとき、その部分集合 F \subseteq E も {\mathcal E} に属す。
# E が {\mathcal E} に属すとき、その逆 E^{-1}:=\{(y,x)\in X\times X:(x,y) \in E\} も {\mathcal E} に属す。

を満足するとき、(X,{\mathcal E}) を、X を台集合、 {\mathcal E} を**粗構造**(又は近縁系())とする**粗空間**という。二番目及び四番目の条件より、粗構造は {\mathcal P}(X\times X) 上のイデアルとなっている）。

以下混乱の恐れがないときは粗空間 (X,{\mathcal E}) を X と書く。粗構造 {\mathcal E} の元を粗空間 X の**制御集合**()または**近縁**()という。

粗構造 {\mathcal E} が同じ台集合上の別の粗構造 {\mathcal F} よりも**細かい**とは、 {\mathcal F}\subseteq {\mathcal E} となることをいう。このとき {\mathcal F} は {\mathcal E} よりも**粗い**という。

粗空間  の近縁 E と部分集合 A \subseteq X に対し、A の E-近傍 E(A) は E(A):=\{x\in X:\exist a\in A, (x,a) \in E\} と定義される。同様に一点 x\in X の E-近傍を E(x):=E(\{x\}) と定義する。

典型的な状況では、近縁は X \times X 上で対角線 y = x から一定の近さに存在し、近縁を x = a で垂直に切った断面として得られる近傍は、その集合が中心 a から有界な範囲に収まっていることを示している。

近縁 E が**対称**であるとは、(x,y) \in E ならば必ず (y,x) \in E であることをいう。

条件 1 は一点集合は有界であることを、条件 2 は中心を共有する有界集合の合併は再び有界であることを、条件 3 は有界集合から一定の範囲内は再び有界になることを、条件 4 は有界集合の部分集合は再び有界であることを、条件 5 は近縁は本質的に対称であることを、それぞれ表している。

粗構造のイデアル基を**基本近縁系** () という。すなわちcoarse構造 {\mathcal E} の部分集合 {\mathcal B} が基本近縁系とは、{\mathcal E} の各元に対してそれを含むような {\mathcal B} の元がとれるようなものをいう。上述の条件 4 によって、基本近縁系 {\mathcal B} が与えられれば粗構造 {\mathcal E} は ({\mathcal B} の元を含むような X \times X の部分集合全体のなす集合族として) 一意的に定まる。任意の粗構造は、対称かつ対角線を含む近縁からなる基本近縁系を持つ。

代表的な粗構造として、距離空間 を考えよう。距離空間 (X, d) に対し、\Delta_r:=\{(x,y)\in X\times X:d(x,y)\leq r\} からなる集合族 \{\Delta_r:r>0\} は、X の標準的な粗構造(有界粗構造)に関する基本近縁系をなす。このとき、x \in X の \Delta_{r}-近傍とは x を中心とした半径 r の閉球のことである。

## 一様有界
集合族 {\mathcal V} に対し \Delta_\mathcal{V} を \Delta_\mathcal{V}:=\bigcup_{V\in \mathcal{V}}V\times V と定義する。粗空間  上の集合族 {\mathcal V} に対し、\Delta_\mathcal{V}  がその粗構造に関する近縁となるとき {\mathcal V} は**一様有界**であるという。

集合族 {\mathcal U} が集合族 {\mathcal V} の細分であるとは、各 U\in{\mathcal U} に対して、ある V\in{\mathcal V} が存在して U \subseteq V となることをいう。

\Theta を粗空間 X 上の一様有界な集合族からなるクラスとする。この時 \Theta は以下の条件を満たす。

# X 上の一点集合全体 \{\{x\}:x\in X\} は \Theta に属す。
# {\mathcal U} と {\mathcal V} が \Theta に属すとき、その合併 {\mathcal U}\cup{\mathcal V} も \Theta に属す。
# {\mathcal U} と {\mathcal V} が \Theta に属すとき、\{\Delta_\mathcal{V}(V):V\in {\mathcal V}\} も \Theta に属す。
# {\mathcal V} が \Theta に属し、{\mathcal U} が {\mathcal V} の細分のとき、 {\mathcal U} も \Theta に属す。

この条件を満たす集合族のクラス \Theta が与えられたとき \{\Delta_\mathcal{V}:V\in\Theta\} はある粗構造の基本近縁系となる。

## 基本事項
* 粗空間 X の部分集合 A に対し、ある近縁 E とある点 x が存在して A が E(x) に含まれるとき、または A が空であるとき、A は**有界** () であるという (粗空間から有界集合のなす集合族の性質だけを抜き出したものを有界型空間という)。
* 粗空間 X の部分集合 A に対し、ある近縁 E が存在して E(A) = X となるとき A は**粗稠密** () もしくは**大きい**（）という。
* 粗空間 X において、任意の有限集合が有界なとき粗空間 X は**粗連結** () であるという。
* 位相を伴った粗空間 X において、対角線集合の近傍となるような近縁が存在し、任意の有界集合が相対コンパクトなとき、粗空間 X は**proper**であるという。
* 位相を伴った粗空間 X が粗連結かつproperなとき、有界性と相対コンパクト性は同値になる。

## 簡単な例
* 集合  に対し、{\mathcal P}(X\times X) は包含関係に関して最大のcoarse構造となる(これは  自身を有界にする唯一のcoarse構造)。同様に {\mathcal P}(\Delta_X) は包含関係に関して最小のcoarse連結となる。
* 集合  に対し、 は包含関係に関して最小のcoarse連結なcoarse構造となる。
* ハウスドルフ空間  に対し、\{\Delta_X\cup K\times K:K\subseteq X,Kは相対コンパクト集合\} は有界性と相対コンパクト性が一致するような最小のcoarse構造の基本近傍系となっている。
* ハウスドルフ空間  に対し、\{E\subseteq X\times X:Xの全ての相対コンパクト部分集合  に対し、E(K),E^{-1}(K)が共に相対コンパクト\} は有界性と相対コンパクト性が一致するような最大のcoarse構造となる。
* 距離空間  に対し、 を台集合とするcoarse構造 {\mathcal E}:=\{E\subseteq X\times X:\exist r>0,E\subseteq \Delta_r\} を距離  に関する**有界coarse構造** (、有界なcoarse空間という意味ではないことに注意) という。
:これは、近縁  に対し \|E\|:=\sup\{d(x,y)|(x,y)\in E\} と言う記号を定義すると {\mathcal E}:=\{E\subseteq X\times X:\|E\| と書ける。
* 距離空間  に対し、 を台集合とするcoarse構造 {\mathcal E}:=\{E\subseteq X\times X:{\rm inf}\{\|E\setminus (K\times K)\|:K\subseteq X,K; コンパクト \}=0\} を距離  に関する **-coarse構造**という。

properな距離空間  上の有界coarse構造及び -coarse構造から定義される部分集合の有界性はどちらも距離から定義される有界性と一致する。二つのcoarse構造は漸近的な振る舞いが異なる。

## coarse空間の間の写像
* 集合 S から粗空間 X への二つの写像 f,g\colon S\to X について、\{(f(a),g(a)):a\in S\} が X の近縁になるとき f と g は**近い**（**'）あるいは**ボルノトピック**（**'）であるという。
* 粗空間 X から粗空間 Y への写像 f\colon  X\to Y について、全ての X の近縁 E に対し、\{(f(x),f(y)):(x, y)\in E\} が Y の近縁になるとき f は**ボルノロガス**（**'）(又は ) であるという。
* 粗空間 <math>X</math> から粗空間 <math>Y</math> へのボルノロガス写像 <math>X\colon X\to Y</math> について、ある粗写像 <math>g\colon Y\to X</math> が存在し <math>g\circ f</math> と <math>\mathrm{id}_{X}</math>、<math>f\circ g</math> と <math>\mathrm{id}_{Y}</math> がそれぞれ近いとき、<math>f</math> を**粗同値写像**()という。
:このとき、 <math>g</math> を <math>f</math> の粗逆写像という。また、粗同値写像が存在するときに、粗空間 <math>X</math> と <math>Y</math> は **粗同値'''()であるという。
* 有界な粗空間は（空でなければ）全て互いに粗同値である。
* \mathbb{R}^{n} から \mathbb{Z}^{n} への各成分の整数部分を対応させる写像は有界粗構造について粗同値写像である。

## coarse空間の構成

## 関連項目
*一様空間
*ミハイル・グロモフ
*coarse幾何学
*漸近次元
*ヒグソン・コンパクト化
*有界型空間

## 注釈


## 参考文献
* 
*