粗空間のソースを表示

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

== 定義 ==

集合 <math>X</math> の[[直積集合|直積]] <math>X \times X</math> の[[部分集合]]からなる[[族 (数学)|族]] <math>{\mathcal E}</math> が、条件

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

を満足するとき、<math>(X,{\mathcal E})</math> を、<math>X</math> を台集合、 <math>{\mathcal E}</math> を'''粗構造'''(又は近縁系({{lang|short|''system of entourages''}}))とする'''粗空間'''という。二番目及び四番目の条件より、粗構造は <math>{\mathcal P}(X\times X)</math> 上の[[フィルター (数学)#定義|イデアル]]となっている）。

以下混乱の恐れがないときは粗空間 <math>(X,{\mathcal E})</math> を <math>X</math> と書く。粗構造 <math>{\mathcal E}</math> の元を粗空間 <math>X</math> の'''制御集合'''({{lang|short|''controlled sets''}})または'''近縁'''({{lang|short|''entourages''}})という。

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

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

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

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

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

粗構造の[[フィルター (数学)#冪集合の上のフィルター|イデアル基]]を'''基本近縁系''' ({{lang|short|''fundamental system of entourages''}}) という。すなわちcoarse構造 <math>{\mathcal E}</math> の部分集合 <math>{\mathcal B}</math> が基本近縁系とは、<math>{\mathcal E}</math> の各元に対してそれを含むような <math>{\mathcal B}</math> の元がとれるようなものをいう。上述の条件 4 によって、基本近縁系 <math>{\mathcal B}</math> が与えられれば粗構造 <math>{\mathcal E}</math> は (<math>{\mathcal B}</math> の元を含むような <math>X \times X</math> の部分集合全体のなす集合族として) 一意的に定まる。任意の粗構造は、対称かつ対角線を含む近縁からなる基本近縁系を持つ。

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

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

集合族 <math>{\mathcal U}</math> が集合族 <math>{\mathcal V}</math> の[[集合の被覆#被覆同士の関係についての定義|細分]]であるとは、各 <math>U\in{\mathcal U}</math> に対して、ある <math>V\in{\mathcal V}</math> が存在して <math>U \subseteq V</math> となることをいう。

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

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

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

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

== 簡単な例 ==
* 集合 {{mvar|X}} に対し、<math>{\mathcal P}(X\times X)</math> は[[包含関係]]に関して最大のcoarse構造となる(これは {{mvar|X}} 自身を有界にする唯一のcoarse構造)。同様に <math>{\mathcal P}(\Delta_X)</math> は包含関係に関して最小のcoarse連結となる。
* 集合 {{mvar|X}} に対し、{{nowrap|{{math|{''E'' ⊆ ''X'' × ''X'' : ''E'' {{setminus}} &Delta;{{sub|''X''}}}} が有限集合{{math|{{)}}}}}} は包含関係に関して最小のcoarse連結なcoarse構造となる。
* [[ハウスドルフ空間]] {{mvar|X}} に対し、<math>\{\Delta_X\cup K\times K:K\subseteq X,K</math>は相対コンパクト集合<math>\}</math> は有界性と相対コンパクト性が一致するような最小のcoarse構造の基本近傍系となっている。
* ハウスドルフ空間 {{mvar|X}} に対し、<math>\{E\subseteq X\times X:X</math>の全ての相対コンパクト部分集合 {{mvar|K}} に対し、<math>E(K),E^{-1}(K)</math>が共に相対コンパクト<math>\}</math> は有界性と相対コンパクト性が一致するような最大のcoarse構造となる。
* [[距離空間]] {{math|(''X'', ''d'')}} に対し、{{mvar|X}} を台集合とするcoarse構造 <math>{\mathcal E}:=\{E\subseteq X\times X:\exist r>0,E\subseteq \Delta_r\}</math> を距離 {{mvar|d}} に関する'''有界coarse構造''' ({{lang|en|bounded coarse structure}}、有界なcoarse空間という意味ではないことに注意) という。
:これは、近縁 {{mvar|E}} に対し <math>\|E\|:=\sup\{d(x,y)|(x,y)\in E\}</math> と言う記号を定義すると <math>{\mathcal E}:=\{E\subseteq X\times X:\|E\|<\infty\}</math> と書ける。
* 距離空間 {{math|(''X'', ''d'')}} に対し、{{mvar|X}} を台集合とするcoarse構造 <math>{\mathcal E}:=\{E\subseteq X\times X:{\rm inf}\{\|E\setminus (K\times K)\|:K\subseteq X,K;</math> [[コンパクト]]{{要曖昧さ回避|date=2022年11月}} <math>\}=0\}</math> を距離 {{mvar|d}} に関する '''{{math|''C''{{sub|0}}}}-coarse構造'''という。

properな距離空間 {{math|(''X'', ''d'')}} 上の有界coarse構造及び {{math|''C''{{sub|0}}}}-coarse構造から定義される部分集合の有界性はどちらも距離から定義される有界性と一致する。二つのcoarse構造は漸近的な振る舞いが異なる。

== coarse空間の間の写像 ==
* 集合 <math>S</math> から粗空間 <math>X</math> への二つの[[写像]] <math>f,g\colon S\to X</math> について、<math>\{(f(a),g(a)):a\in S\}</math> が <math>X</math> の近縁になるとき <math>f</math> と <math>g</math> は'''近い'''（''{{lang|short|close}}''）あるいは'''ボルノトピック'''（''{{lang|short|bornotopic}}''）であるという。
* 粗空間 <math>X</math> から粗空間 <math>Y</math> への写像 <math>f\colon  X\to Y</math> について、全ての <math>X</math> の近縁 <math>E</math> に対し、<math>\{(f(x),f(y)):(x, y)\in E\}</math> が <math>Y</math> の近縁になるとき <math>f</math> は'''ボルノロガス'''（''{{lang|short|bornologous}}''）(又は {{en|''coarsely uniform''}}) であるという。
* 粗空間 <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> を'''粗同値写像'''({{lang|short|''coarsely equivalence''}})という。
:このとき、 <math>g</math> を <math>f</math> の粗逆写像という。また、粗同値写像が存在するときに、粗空間 <math>X</math> と <math>Y</math> は '''粗同値'''({{lang|short|''coarsely equivalent''}})であるという。
* 有界な粗空間は（空でなければ）全て互いに粗同値である。
* <math>\mathbb{R}^{n}</math> から <math>\mathbb{Z}^{n}</math> への各成分の整数部分を対応させる写像は有界粗構造について粗同値写像である。

== coarse空間の構成 ==
{{節stub}}

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

== 注釈 ==
<references/>

== 参考文献 ==
* {{
Cite journal
  | author = J. Roe
  | title = Lectures on Coarse Geometry
  | publisher = American Mathematical Society
  | series = University Lecture Series
  | volume = Vol. 31
  | date = 2003
  | isbn = 9780821833322
}}
* {{
Cite journal
  | author =  G. Bernd
  | title = Coarse geometry and asymptotic dimension
  | journal = Mathematica Gottingensis
  | date = 2006
  | url = http://arxiv.org/pdf/math/0601744.pdf
}}

{{DEFAULTSORT:そくうかん}}
[[Category:位相幾何学]]
[[Category:幾何学]]
[[Category:位相空間論]]
[[Category:位相的構造]]
[[Category:数学に関する記事]]