粗空間

出典: フリー百科事典『ウィキペディア(Wikipedia)』
Coarse空間から転送)
移動先: 案内検索

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

定義[編集]

集合 直積 部分集合からなる が、条件

  1. の対角線集合 に属す。
  2. に属すとき、その合併 に属す。
  3. に属すとき、その合成 に属す。
  4. に属すとき、その部分集合 ( ) も に属す。
  5. に属すとき、その に属す。

を満足するとき、 を台集合、 coarse構造(又は近縁系(system of entourages))とするcoarse空間という (coarse構造は 上のイデアルとなっている。)

以下混乱の恐れがないときはcoarse空間 と書く。 coarse構造 の元をcoarse空間 制御集合(controlled sets)または近縁(entourages)という。

coarse構造 が同じ台集合上の別のcoarse構造 よりも細かいとは、 となることをいう。このとき よりも粗いという。

coarse空間 の近縁 と その部分集合 ( ) に対し -近傍 と定義される。同様に一点 -近傍を と定義する。


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

近縁 対称であるとは、 ならば必ず であることをいう。

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


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


代表的なcoarse構造として、距離空間 を考えよう。距離空間 に対し、 からなる集合族 は、 の標準的なcoarse構造(有界coarse構造)に関する基本近縁系をなす。この時、-近傍とはを中心とした半径 閉球のことである。

一様有界[編集]

集合族 に対し と定義する。 coarse空間 上の集合族 に対し、 がそのcoarse構造に関する近縁となる時 一様有界であるという。

集合族 が集合族 細分であるとは、各 に対して、 ある が存在して となることをいう。


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

  1. 上の一点集合全体 に属す。
  2. に属すとき、その合併 に属す。
  3. に属すとき、 に属す。
  4. に属し、 の細分のとき、 に属す。

この条件を満たす集合族のクラス が与えられた時 はあるcoarse構造の基本近縁系となる。

基本事項[編集]

  • coarse空間 の部分集合 に対し、ある近縁 とある点が存在して に含まれるとき 有界(bounded)であるという(coarse空間から有界集合のなす集合族の性質だけを抜き出したものをbornological spaceという)。
  • coarse空間 の部分集合 に対し、ある近縁 とある点が存在して となるとき coarse稠密(coarsely dense)であるという。
  • coarse空間 において、任意の有限集合が有界なときcoarse空間 coarse連結(coarsely connected)であるという。
  • 位相を伴ったcoarse空間 において、対角線集合の近傍となるような近縁が存在し任意の有界集合が相対コンパクトなとき、coarse空間 properであるという。
  • 位相を伴ったcoarse空間 がcoarse連結かつproperなとき、有界性と相対コンパクト性は同値になる。

簡単な例[編集]

  • 集合 に対し、包含関係に関して最大のcoarse構造となる(これは 自身を有界にする唯一のcoarse構造)。同様に は包含関係に関して最小のcoarse連結となる。
  • 集合 に対し、が有限集合 は包含関係に関して最小のcoarse連結なcoarse構造となる。
  • ハウスドルフ空間 に対し、は相対コンパクト集合 は有界性と相対コンパクト性が一致するような最小のcoarse構造の基本近傍系となっている。
  • ハウスドルフ空間 に対し、の全ての相対コンパクト部分集合に対し、が共に相対コンパクト は有界性と相対コンパクト性が一致するような最大のcoarse構造となる。
  • 距離空間 に対し、 を台集合とするcoarse構造 を距離 に関する有界coarse構造(bounded coarse structure、有界なcoarse空間という意味ではないことに注意) という。

これは、近縁 に対し と言う記号を定義すると と書ける。

  • 距離空間 に対し、 を台集合とするcoarse構造 コンパクト を距離 に関する -coarse構造という。

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

coarse空間の間の写像[編集]

  • 集合 からcoarse空間 への二つの写像 について、 の近縁になるとき closeであるという。
  • coarse空間 からcoarse空間 への写像 について、全ての の近縁 に対し、

の近縁になるとき bornologous(又はcoarsely uniform)であるという。

  • coarse空間 からcoarse空間 へのbornologous写像 について、あるbornologous写像 が存在し

がそれぞれcloseとなるとき coarse同値写像(coarsely equivalence)という。 この時、 のcoarse逆写像といい、coarse空間 coarse同値(coarsely equivalent)であるという。

  • coarse空間 からcoarse空間 へのbornologous写像 について、 でcoarse稠密であることと、 がcoarse同値写像であることは同値。
  • 有界なcoarse空間は全て互いにcoarse同値である。
  • から への各成分の整数部分を対応させる写像は有界coarse構造についてcoarse同値写像。

coarse空間の構成[編集]

関連項目[編集]

注釈[編集]

参考文献[編集]

  • J. Roe (2003). Lectures on Coarse Geometry. University Lecture Series. Vol. 31. American Mathematical Society. ISBN 9780821833322.