Грубая структура

Грубая структура на множестве $X$ в математических областях геометрии и топологии — это набор подмножеств декартового произведения $X\times X$ с определёнными свойствами, которые позволяют определить крупномасштабную структуру метрических пространств и топологических пространств.

В традиционной геометрии и топологии внимание уделяется мелкомасштабной структуре пространства: такие свойства, как непрерывность функции, зависят от того, являются ли обратные образы малых открытых множеств, или окрестностей, сами открытыми. Крупномасштабные свойства пространства — такие как ограниченность или степени свободы пространства — не зависят от таких особенностей. Грубая геометрия и грубая топология предоставляют инструменты для измерения крупномасштабных свойств пространства, и так же, как метрика или топология содержат информацию о мелкомасштабной структуре пространства, грубая структура содержит информацию о его крупномасштабных свойствах.

В правильном смысле грубая структура — это не крупномасштабный аналог топологической структуры, а Шаблон:Iw.

Определение

Грубая структура на множестве $X$ является коллекцией $𝐄$ подмножеств из $X\times X$ (поэтому подпадает под более общую классификацию бинарных отношений на $X$), называемых управляемыми множествами, таких, что $𝐄$ обладает отношением тождественности, замкнуто относительно взятия подмножества, обратного элемента и конечного объединения, а также замкнуто на композиции отношений. В явном виде:

1. Тождественность/диагональ:

   Диагональ $\mathrm{\Delta }=\{(x,x):x\in X\}$ является членом $𝐄$—отношения тождественности.

2. Замкнуто относительно взятия подмножества:

   Если $E\in 𝐄$ и $F\subseteq E,$ тогда $F\in 𝐄.$

3. Замкнуто относительно обратного элемента:

   Если $E\in 𝐄$, тогда обратная величина (или транспонирование) $E^{-1}=\{(y,x):(x,y)\in E\}$ является членом $𝐄$—обратного отношения.

4. Замкнуто на объединении:

   Если $E,F\in 𝐄$, тогда их объединение $E\cup F$ является членом $𝐄.$

5. Замкнуто на композиции:

   Если $E,F\in 𝐄$, тогда их композиция $E\circ F=\{(x,y)$ : существует такой $z\in X$, что $(x,z)\in E\text{ и }(z,y)\in F\}$ являются членами $𝐄$— Шаблон:Iw.

Множество $X$, наделённое грубой структурой $𝐄$, является Шаблон:Em.

Для подмножества $K$ из $X,$ множество $E[K]$ определяется как $\{x\in X:(x,k)\in E$ для некоторого $k\in K\}$. Определим Шаблон:Em $E$ на $x$ как множество $E[\{x\}],$ также обозначается $E_x.$ Символ $E^y$ обозначает множество $E^{-1}[\{y\}].$ Это виды проекций.

Подмножество $B$ из $X$ называется Шаблон:Em, если $B\times B$ — управляемое множество.

Управляемое множество

Управляемые множества — это «малые» множества, или «Шаблон:Iw»: множество $A$ такое, что $A\times A$ является управляемым, а функция $f:X\to X$, такая что её график управляем, «близка» к тождественной. В ограниченной грубой структуре эти множества — ограниченные множества, а функции, которые находятся на конечном расстоянии от тождества, это равномерная метрика.

Грубые отображения

Учитывая множество $S$ и грубую структуру $X$, мы говорим, что отображения $f:S\to X$ и $g:S\to X$ Шаблон:Em, если $\{(f(s),g(s)):s\in S\}$ — управляемое множество.

Для грубых структур $X$ и $Y$ мы говорим, что $f:X\to Y$ — это Шаблон:Em, если для каждого ограниченного множества $B$ из $Y$ множество $f^{-1}(B)$ ограниченно в $X$ и для каждого управляемого множества $E$ в $X$ множество $(f\times f)(E)$ управляемо в $Y$. $X$ и $Y$ называются Шаблон:Em, если существуют их грубые отображения $f:X\to Y$ и $g:Y\to X$, такие что $f\circ g$ близко к ${\mathrm{id}}_Y$ и $g\circ f$ близко к ${\mathrm{id}}_X.$

Примеры

• Шаблон:Em на метрическом пространстве $(X,d)$ — это совокупность $𝐄$ всех подмножеств $E$ из $X\times X$ таких, что $\underset{(x,y)\in E}{\sup }d(x,y)$ конечно. При такой структуре целочисленная решётка ${\mathbb{Z}}^n$ грубо эквивалентна $n$-мерному Евклидову пространству.
• Пространство $X$, в котором $X\times X$ является управляемым, называется Шаблон:Em. Такое пространство грубо эквивалентно точке. Метрическое пространство с ограниченной грубой структурой является ограниченным (как грубое пространство) тогда и только тогда, когда оно ограничено (как метрическое пространство).
• Тривиальная грубая структура состоит только из диагонали и ее подмножеств. В этой структуре отображение является грубой эквивалентностью тогда и только тогда, когда оно является биекцией (множеств).
• Шаблон:Em на метрическом пространстве $(X,d)$ — это совокупность всех подмножеств $E$ из $X\times X$ таких, что для всех $\epsilon >0$ существует компакт $K$ из $E$ такой, что $d(x,y)<\epsilon$ для всех $(x,y)\in E\setminus K\times K.$ С другой стороны, совокупность всех подмножеств $E$ из $X\times X$ таких, что $\{(x,y)\in E:d(x,y)\ge \epsilon \}$ является компактом.
• Шаблон:Em на множестве $X$ состоит из диагонали $\mathrm{\Delta }$ вместе с подмножествами $E$ из $X\times X$, которые содержат конечное число точек $(x,y)$ вне диагонали.
• Если $X$ — топологическое пространство, то Шаблон:Em на $X$ состоит из всех Шаблон:Em подмножеств $X\times X$, то есть всех подмножеств $E$ таких, что $E[K]$ и $E^{-1}[K]$ относительно компактны, когда $K$ относительно компактно.

Ссылки

• John Roe, Lectures in Coarse Geometry, University Lecture Series Vol. 31, American Mathematical Society: Providence, Rhode Island, 2003. Corrections to Lectures in Coarse Geometry
• Шаблон:Cite journal