Ультралимит

В математике ультрапредел — это геометрическая конструкция, которая ставит в соответствие предельное метрическое пространство последовательности метрических пространств . Эта концепция отражает предельное поведение конечных конфигураций в пространствах, использующих ультрафильтр , позволяющий обойти необходимость многократного рассмотрения подпоследовательностей для обеспечения сходимости. Ультрапределы обобщают сходимость Громова по Хаусдорфу в метрических пространствах. ${\displaystyle X_{n}}$ ${\displaystyle X_{n}}$

Ультрафильтры

Ультрафильтр , обозначаемый как ω , на множестве натуральных чисел — это набор непустых подмножеств (функция включения которого может рассматриваться как мера), который замкнут при конечном пересечении, закрыт вверх, а также который, учитывая любое подмножество X of , содержит либо X , либо \ X . Ультрафильтр неглавен , если он не содержит конечного множества. ${\displaystyle \mathbb {N} }$ ${\displaystyle \mathbb {N} }$ ${\displaystyle \mathbb {N} }$ ${\displaystyle \mathbb {N} }$ ${\displaystyle \mathbb {N} }$

Предел последовательности точек относительно ультрафильтра

В дальнейшем ω является неглавным ультрафильтром на . ${\displaystyle \mathbb {N} }$

Если это последовательность точек в метрическом пространстве ( X , d ) и x ∈ X , то точка x называется ω - пределом x _n , обозначается как , если для каждого выполнено равенство ${\displaystyle (x_{n})_{n\in \mathbb {N} }}$ ${\displaystyle x=\lim _{\omega }x_{n}}$ ${\displaystyle \epsilon >0}$

${\displaystyle \{n:d(x_{n},x)\leq \epsilon \}\in \omega .}$

Замечено, что,

• Если существует ω -предел последовательности точек, то он единственен.
• Если в стандартном смысле, . (Чтобы это свойство сохранялось, крайне важно, чтобы Ультрафильтр был неосновным.) ${\displaystyle x=\lim _{n\to \infty }x_{n}}$ ${\displaystyle x=\lim _{\omega }x_{n}}$

Фундаментальный факт ^[1] гласит, что если ( X , d ) компактно и ω является неглавным ультрафильтром на , ω -предел любой последовательности точек в X существует (и обязательно уникален). ${\displaystyle \mathbb {N} }$

В частности, любая ограниченная последовательность действительных чисел имеет четко определенный ω -предел в , поскольку замкнутые интервалы компактны . ${\displaystyle \mathbb {R} }$

Ультрапредел метрических пространств с указанными базовыми точками

Пусть ω — неглавный ультрафильтр на . Пусть ( X _n , d _n ) — последовательность метрических пространств с заданными базовыми точками p _n ∈ X _n . ${\displaystyle \mathbb {N} }$

Предположим, что последовательность , где x _n ∈ X _n , допустима. Если последовательность действительных чисел ( d _n ( x _n , p _n )) _n ограничена, т. е. если существует положительное действительное число C такое, что , то обозначим множество всех допустимых последовательностей через . ${\displaystyle (x_{n})_{n\in \mathbb {N} }}$ ${\displaystyle d_{n}(x_{n},p_{n})\leq C}$ ${\displaystyle {\mathcal {A}}}$

Из неравенства треугольника следует, что для любых двух допустимых последовательностей и последовательности ( dn ( _{xn ,} yn ) ) _{n ограничено и ,} следовательно , существует ω - предел . Определить отношение на множестве всех допустимых последовательностей можно следующим образом. Для , существует всякий раз, когда Это помогает показать, что это отношение эквивалентности на ${\displaystyle \mathbf {x} =(x_{n})_{n\in \mathbb {N} }}$ ${\displaystyle \mathbf {y} =(y_{n})_{n\in \mathbb {N} }}$ ${\displaystyle {\hat {d}}_{\infty }(\mathbf {x} ,\mathbf {y} ):=\lim _{\omega }d_{n}(x_{n},y_{n})}$ ${\displaystyle \sim }$ ${\displaystyle {\mathcal {A}}}$ ${\displaystyle \mathbf {x} ,\mathbf {y} \in {\mathcal {A}}}$ ${\displaystyle \mathbf {x} \sim \mathbf {y} }$ ${\displaystyle {\hat {d}}_{\infty }(\mathbf {x} ,\mathbf {y} )=0.}$ ${\displaystyle \sim }$ ${\displaystyle {\mathcal {A}}.}$

Ультрапредел по ω последовательности ( X n , d _n , p _n ) представляет собой метрическое пространство, _{определяемое} следующим образом. ^[2] ${\displaystyle (X_{\infty },d_{\infty })}$

Написано как набор, . ${\displaystyle X_{\infty }={\mathcal {A}}/{\sim }}$

Для двух классов -эквивалентности допустимых последовательностей и существует ${\displaystyle \sim }$ ${\displaystyle [\mathbf {x} ],[\mathbf {y} ]}$ ${\displaystyle \mathbf {x} =(x_{n})_{n\in \mathbb {N} }}$ ${\displaystyle \mathbf {y} =(y_{n})_{n\in \mathbb {N} }}$ ${\displaystyle d_{\infty }([\mathbf {x} ],[\mathbf {y} ]):={\hat {d}}_{\infty }(\mathbf {x} ,\mathbf {y} )=\lim _{\omega }d_{n}(x_{n},y_{n}).}$

Это показывает, что оно четко определено и является метрикой множества . ${\displaystyle d_{\infty }}$ ${\displaystyle X_{\infty }}$

Обозначим . ${\displaystyle (X_{\infty },d_{\infty })=\lim _{\omega }(X_{n},d_{n},p_{n})}$

О базовых точках в случае равномерно ограниченных пространств

Предположим, что ( X _n , d _n ) — последовательность метрических пространств равномерно ограниченного диаметра, то есть существует действительное число C > 0 такое, что diam( X _n ) ⩽ C для каждого . Тогда для любого выбора p _n базовых точек из X _n любая последовательность допустима. Следовательно, в этой ситуации выбор базовых точек не обязательно указывать при определении ультрапредела, а ультрапредел зависит только от ( X _n , d _n ) и ω , но не зависит от выбора базовой точки. последовательность . В этом случае пишут . ${\displaystyle n\in \mathbb {N} }$ ${\displaystyle (x_{n})_{n},x_{n}\in X_{n}}$ ${\displaystyle (X_{\infty },d_{\infty })}$ ${\displaystyle p_{n}\in X_{n}}$ ${\displaystyle (X_{\infty },d_{\infty })=\lim _{\omega }(X_{n},d_{n})}$

Основные свойства Ультралимитов

1. Если ( X _n , d _n ) являются геодезическими метрическими пространствами , то это также геодезическое метрическое пространство. ^[1] ${\displaystyle (X_{\infty },d_{\infty })=\lim _{\omega }(X_{n},d_{n},p_{n})}$
2. Если ( Xn , dn ) — полные метрические пространства _{, то} оно также является полным метрическим пространством. ^{[3] [4]} ${\displaystyle (X_{\infty },d_{\infty })=\lim _{\omega }(X_{n},d_{n},p_{n})}$

На самом деле, по построению, предельное пространство всегда полно, даже если ( X _n , d _n ) является повторяющейся последовательностью пространства ( X , d ), которое не является полным. ^[5]

1. Если ( X _n , d _n ) являются компактными метрическими пространствами, которые сходятся к компактному метрическому пространству ( X , d ) в смысле Громова – Хаусдорфа (это автоматически означает, что пространства ( X _n , d _n ) имеют равномерно ограниченный диаметр), тогда ультрапредел изометричен ( X , d ). ${\displaystyle (X_{\infty },d_{\infty })=\lim _{\omega }(X_{n},d_{n})}$
2. Предположим, что ( X _n , d _n ) являются собственными метрическими пространствами и являются базовыми точками такими, что указанная последовательность ( X _n , d _n , p _n ) сходится к собственному метрическому пространству ( X , d ) в пространстве Громова–Хаусдорфа. смысл. Тогда ультрапредел изометричен ( X , d ). ^[1] ${\displaystyle p_{n}\in X_{n}}$ ${\displaystyle (X_{\infty },d_{\infty })=\lim _{\omega }(X_{n},d_{n},p_{n})}$
3. Пусть κ ≤0 и ( Xn , dn ) — последовательность _CAT ( κ ) _{-метрических} пространств . Тогда ультрапредел также является CAT( κ )-пространством. ^[1] ${\displaystyle (X_{\infty },d_{\infty })=\lim _{\omega }(X_{n},d_{n},p_{n})}$
4. Пусть ( Xn , dn ) — последовательность CAT( κn ) _{-метрических} пространств _, где Тогда ультрапредел — вещественное дерево . ^[1] ${\displaystyle \lim _{n\to \infty }\kappa _{n}=-\infty .}$ ${\displaystyle (X_{\infty },d_{\infty })=\lim _{\omega }(X_{n},d_{n},p_{n})}$

Асимптотические конусы

Важным классом ультрапределов являются так называемые асимптотические конусы метрических пространств. Пусть ( X , d ) — метрическое пространство, пусть ω — неглавный ультрафильтр и пусть p _n  ∈  X — последовательность базовых точек. Тогда ω –ультрапредел последовательности называется асимптотическим конусом X относительно ω и обозначается . Часто последовательность базовых точек считают постоянной, pn ₌ p для некоторого p ∈ X ; в этом случае асимптотический конус не зависит от выбора p ∈ X и обозначается просто . ${\displaystyle \mathbb {N} }$ ${\displaystyle (X,{\frac {d}{n}},p_{n})}$ ${\displaystyle (p_{n})_{n}\,}$ ${\displaystyle Cone_{\omega }(X,d,(p_{n})_{n})\,}$ ${\displaystyle Cone_{\omega }(X,d)\,}$ ${\displaystyle Cone_{\omega }(X)\,}$

Понятие асимптотического конуса играет важную роль в геометрической теории групп , поскольку асимптотические конусы (или, точнее, их топологические типы и билипшицевы типы ) обеспечивают инварианты квазиизометрии метрических пространств вообще и конечно порожденных групп в частности. ^[6] Асимптотические конусы также оказываются полезным инструментом при изучении относительно гиперболических групп и их обобщений. ^[7]

Примеры

1. Пусть ( X , d ) — компактное метрическое пространство и положим ( X _n , d _n ) = ( X , d ) для каждого . Тогда ультрапредел изометричен ( X , d ). ${\displaystyle n\in \mathbb {N} }$ ${\displaystyle (X_{\infty },d_{\infty })=\lim _{\omega }(X_{n},d_{n})}$
2. Пусть ( X , d _X ) и ( Y , d _Y ) — два различных компактных метрических пространства, и пусть ( X _n , d _n ) — последовательность метрических пространств такая, что для каждого n либо ( X _n , d _n )=( X , d _X ) или ( X _n , d _n ) = ( Y , d _Y ). Пусть и . Таким образом, _A1 , A2 не пересекаются и Следовательно, один из A1 , A2 имеет ω -меру 1 _, а другой имеет ω _{- меру 0.} Следовательно , изометричен ( X , dX ), если ω ( A1 ₎ =1 и изометричен ( Y , d _Y ), если ω ( A ₂ )=1. Это показывает, что ультрапредел может зависеть от выбора ультрафильтра ω . ${\displaystyle A_{1}=\{n|(X_{n},d_{n})=(X,d_{X})\}\,}$ ${\displaystyle A_{2}=\{n|(X_{n},d_{n})=(Y,d_{Y})\}\,}$ ${\displaystyle A_{1}\cup A_{2}=\mathbb {N} .}$ ${\displaystyle \lim _{\omega }(X_{n},d_{n})}$ ${\displaystyle \lim _{\omega }(X_{n},d_{n})}$
3. Пусть ( M , g ) — компактное связное риманово многообразие размерности m , где g — риманова метрика на M. Пусть d — метрика на M , соответствующая g , так что ( M , d ) — геодезическое метрическое пространство . Выберите базовую точку p ∈ M. Тогда ультрапредел (и даже обычный предел Громова-Хаусдорфа ) изометричен касательному пространству T _p M к M в точке p с функцией расстояния на T _p M , заданной скалярным произведением g(p) . Следовательно, ультрапредел изометричен евклидову пространству со стандартной евклидовой метрикой . ^[8] ${\displaystyle \lim _{\omega }(M,nd,p)}$ ${\displaystyle \lim _{\omega }(M,nd,p)}$ ${\displaystyle \mathbb {R} ^{m}}$
4. Пусть – стандартное m -мерное евклидово пространство со стандартной евклидовой метрикой. Тогда асимптотический конус изометричен . ${\displaystyle (\mathbb {R} ^{m},d)}$ ${\displaystyle Cone_{\omega }(\mathbb {R} ^{m},d)}$ ${\displaystyle (\mathbb {R} ^{m},d)}$
5. Пусть — двумерная целочисленная решетка , где расстояние между двумя точками решетки определяется длиной кратчайшего ребра между ними в сетке. Тогда асимптотический конус изометричен где – метрика такси (или L ¹ -метрика) на . ${\displaystyle (\mathbb {Z} ^{2},d)}$ ${\displaystyle Cone_{\omega }(\mathbb {Z} ^{2},d)}$ ${\displaystyle (\mathbb {R} ^{2},d_{1})}$ ${\displaystyle d_{1}\,}$ ${\displaystyle \mathbb {R} ^{2}}$
6. Пусть ( X , d ) — δ -гиперболическое геодезическое метрическое пространство для некоторого δ ≥0. Тогда асимптотический конус является реальным деревом . ^{[1] [9]} ${\displaystyle Cone_{\omega }(X)\,}$
7. Пусть ( X , d ) — метрическое пространство конечного диаметра. Тогда асимптотический конус представляет собой одну точку. ${\displaystyle Cone_{\omega }(X)\,}$
8. Пусть ( X , d ) — CAT(0)-метрическое пространство . Тогда асимптотический конус также является CAT(0)-пространством. ^[1] ${\displaystyle Cone_{\omega }(X)\,}$

Сноски

1. М. Капович Б. Лееб. Об асимптотических конусах и классах квазиизометрии фундаментальных групп 3-многообразий , Геометрический и функциональный анализ , Vol. 5 (1995), вып. 3, стр. 582–603.
2. Джон Роу. Лекции по грубой геометрии. Американское математическое общество , 2003. ISBN  978-0-8218-3332-2 ; Определение 7.19, с. 107.
3. Л. Ван ден Дрис, А. Дж. Уилки, О теореме Громова о группах полиномиального роста и элементарной логике . Журнал алгебры , Vol. 89 (1984), стр. 349–374.
4. Джон Роу. Лекции по грубой геометрии. Американское математическое общество , 2003. ISBN 978-0-8218-3332-2 ; Предложение 7.20, с. 108. 
5. Бридсон, Хефлигер «Метрические пространства неположительной кривизны» Лемма 5.53
6. Джон Роу. Лекции по грубой геометрии. Американское математическое общество , 2003. ISBN 978-0-8218-3332-2 . 
7. Корнелия Друцу и Марк Сапир (с приложением Дениса Осина и Марка Сапира), Древовидные пространства и асимптотические конусы групп. Топология , Том 44 (2005), вып. 5, стр. 959–1058.
8. Ю. Бураго, М. Громов и Г. Перельман. А. Д. Александров. Пространства с ограниченной снизу кривизной . Успехи математических наук. 47 (1992), стр. 3–51; переведено на: Русский Матем. Обзоры том. 47, нет. 2 (1992), стр. 1–58.
9. Джон Роу. Лекции по грубой геометрии. Американское математическое общество , 2003. ISBN 978-0-8218-3332-2 ; Пример 7.30, с. 118. 

Рекомендации

• Джон Роу. Лекции по грубой геометрии. Американское математическое общество , 2003. ISBN 978-0-8218-3332-2 ; Ч. 7. 
• Л. Ван ден Дрис, А. Дж. Уилки, О теореме Громова о группах полиномиального роста и элементарной логике . Журнал алгебры , Vol. 89 (1984), стр. 349–374.
• М. Капович Б. Лееб. Об асимптотических конусах и классах квазиизометрии фундаментальных групп 3-многообразий , Геометрический и функциональный анализ , Vol. 5 (1995), вып. 3, стр. 582–603.
• М. Капович. Гиперболические многообразия и дискретные группы. Биркхойзер, 2000. ISBN 978-0-8176-3904-4 ; Ч. 9. 
• Корнелия Друцу и Марк Сапир (с приложением Дениса Осина и Марка Сапира), Древовидные пространства и асимптотические конусы групп. Топология , Том 44 (2005), вып. 5, стр. 959–1058.
• М. Громов. Метрические структуры для римановых и неримановых пространств. Прогресс в математике, том. 152, Биркхойзер, 1999. ISBN 0-8176-3898-9 ; Ч. 3. 
• Б. Кляйнер и Б. Лееб, Жесткость квазиизометрий симметричных пространств и евклидовы здания. Публикации Mathématiques de L'IHÉS . Том 86, номер 1, декабрь 1997 г., стр. 115–197.

Смотрите также

• Ультрафильтр
• Геометрическая теория групп
• Сходимость Громова-Хаусдорфа