数学の一分野である粗幾何学（）における粗空間（）とは、空間の大尺度の構造に関する情報を取り出した構造の一つである粗構造（）を備えた空間である。伝統的な位相空間論では近傍系や連続性などの小尺度構造を問題にしてきたのと対照的に、粗幾何学では（非）有界性や漸近挙動などの大尺度構造を問題にする。粗構造は距離構造の一般化の一つであり、位相構造ではなく一様構造の大尺度構造に関する類似物といえる（位相空間の類似物に当たるのは有界型空間といわれる）。
定義
集合 の直積 の部分集合からなる族 が、条件
の対角線集合 は に属す。 と が に属すとき、その合併 も に属す。 と が に属すとき、その合成 も に属す。 が に属すとき、その部分集合 も に属す。 が に属すとき、その逆 も に属す。
を満足するとき、 を、 を台集合、 を粗構造(又は近縁系())とする粗空間という。二番目及び四番目の条件より、粗構造は 上のイデアルとなっている）。
以下混乱の恐れがないときは粗空間 を と書く。粗構造 の元を粗空間 の制御集合()または近縁()という。
粗構造 が同じ台集合上の別の粗構造 よりも細かいとは、 となることをいう。このとき は よりも粗いという。
粗空間 の近縁 と部分集合 に対し、 の -近傍 は と定義される。同様に一点 の -近傍を と定義する。
典型的な状況では、近縁は 上で対角線 から一定の近さに存在し、近縁を で垂直に切った断面として得られる近傍は、その集合が中心 から有界な範囲に収まっていることを示している。
近縁 が対称であるとは、 ならば必ず であることをいう。
条件 1 は一点集合は有界であることを、条件 2 は中心を共有する有界集合の合併は再び有界であることを、条件 3 は有界集合から一定の範囲内は再び有界になることを、条件 4 は有界集合の部分集合は再び有界であることを、条件 5 は近縁は本質的に対称であることを、それぞれ表している。
粗構造のイデアル基を基本近縁系 () という。すなわちcoarse構造 の部分集合 が基本近縁系とは、 の各元に対してそれを含むような の元がとれるようなものをいう。上述の条件 4 によって、基本近縁系 が与えられれば粗構造 は ( の元を含むような の部分集合全体のなす集合族として) 一意的に定まる。任意の粗構造は、対称かつ対角線を含む近縁からなる基本近縁系を持つ。
代表的な粗構造として、距離空間 を考えよう。距離空間 に対し、 からなる集合族 は、 の標準的な粗構造(有界粗構造)に関する基本近縁系をなす。このとき、 の -近傍とは を中心とした半径 の閉球のことである。
一様有界 集合族 に対し を と定義する。粗空間 上の集合族 に対し、 がその粗構造に関する近縁となるとき は一様有界であるという。
集合族 が集合族 の細分であるとは、各 に対して、ある が存在して となることをいう。
を粗空間 上の一様有界な集合族からなるクラスとする。この時 は以下の条件を満たす。
上の一点集合全体 は に属す。 と が に属すとき、その合併 も に属す。 と が に属すとき、 も に属す。 が に属し、 が の細分のとき、 も に属す。
この条件を満たす集合族のクラス が与えられたとき はある粗構造の基本近縁系となる。
基本事項 粗空間 の部分集合 に対し、ある近縁 とある点 が存在して が に含まれるとき、または が空であるとき、 は有界 () であるという (粗空間から有界集合のなす集合族の性質だけを抜き出したものを有界型空間という)。 粗空間 の部分集合 に対し、ある近縁 が存在して となるとき は粗稠密 () もしくは大きい（）という。 粗空間 において、任意の有限集合が有界なとき粗空間 は粗連結 () であるという。 位相を伴った粗空間 において、対角線集合の近傍となるような近縁が存在し、任意の有界集合が相対コンパクトなとき、粗空間 はproperであるという。 位相を伴った粗空間 が粗連結かつproperなとき、有界性と相対コンパクト性は同値になる。
簡単な例 集合 に対し、 は包含関係に関して最大のcoarse構造となる(これは 自身を有界にする唯一のcoarse構造)。同様に は包含関係に関して最小のcoarse連結となる。 集合 に対し、 は包含関係に関して最小のcoarse連結なcoarse構造となる。 ハウスドルフ空間 に対し、は相対コンパクト集合 は有界性と相対コンパクト性が一致するような最小のcoarse構造の基本近傍系となっている。 ハウスドルフ空間 に対し、の全ての相対コンパクト部分集合 に対し、が共に相対コンパクト は有界性と相対コンパクト性が一致するような最大のcoarse構造となる。 距離空間 に対し、 を台集合とするcoarse構造 を距離 に関する有界coarse構造 (、有界なcoarse空間という意味ではないことに注意) という。 これは、近縁 に対し と言う記号を定義すると と書ける。 距離空間 に対し、 を台集合とするcoarse構造 コンパクト を距離 に関する -coarse構造という。
properな距離空間 上の有界coarse構造及び -coarse構造から定義される部分集合の有界性はどちらも距離から定義される有界性と一致する。二つのcoarse構造は漸近的な振る舞いが異なる。
coarse空間の間の写像 集合 から粗空間 への二つの写像 について、 が の近縁になるとき と は近い（）あるいはボルノトピック（）であるという。 粗空間 から粗空間 への写像 について、全ての の近縁 に対し、 が の近縁になるとき はボルノロガス（）(又は ) であるという。 粗空間 から粗空間 へのボルノロガス写像 について、ある粗写像 が存在し と 、 と がそれぞれ近いとき、 を粗同値写像()という。 このとき、 を の粗逆写像という。また、粗同値写像が存在するときに、粗空間 と は 粗同値()であるという。 有界な粗空間は（空でなければ）全て互いに粗同値である。 から への各成分の整数部分を対応させる写像は有界粗構造について粗同値写像である。
coarse空間の構成
粗空間はさまざまな方法で構成できる。ここでは代表的なものを挙げる。 部分空間 粗空間 の部分集合 に対し、
は 上の粗空間を定める。これを の部分粗空間という。 積 粗空間 と に対し、直積集合 上に
（ここで 、 はそれぞれ第1・3成分、第2・4成分への射影）を制御集合の族とする粗空間を定めることができる。これを積粗空間という。 商 粗空間 上の同値関係 のグラフが制御集合に含まれるとき、商写像 を用いて
を で生成した粗空間を 上に定めることができる。これを商粗空間という。 距離から誘導されるもの 距離空間 からは次の二種類が標準的である。
有界粗空間
C0-粗空間 任意の に対してあるコンパクト集合 が存在し、 上で距離が 未満になるような部分集合全体。
properな距離空間では、両者から定まる有界集合の族は距離の有界集合と一致するが、無限遠での振る舞いは異なる。 生成による構成 集合 と対角線を含む任意の関係の族 が与えられたとき、 を含む最小の粗空間（ で生成された粗空間）を考えることができる。具体的には、有限回の和・関係合成・逆・部分集合を取って得られる集合全体として記述される。特に、可算生成な粗連結粗空間は適当な距離から誘導される。
位相やコンパクト化・群作用からの誘導 ハウスドルフ空間やそのコンパクト化からは、相対コンパクト性を有界性と一致させる粗空間を自然に定めることができる。また、群の固有な作用やCayleyグラフからも粗空間が誘導される。 これらの構成を組み合わせることで、与えられた粗空間から新しい粗空間を次々と作り出せる。
関連項目 一様空間 ミハイル・グロモフ coarse幾何学 漸近次元 ヒグソン・コンパクト化 有界型空間
注釈
参考文献