Радиус заполнения - Filling radius

В Риманова геометрия, то радиус заполнения из Риманово многообразие Икс является метрическим инвариантом Икс. Первоначально он был представлен в 1983 году компанией Михаил Громов, который использовал это, чтобы доказать свое систолическое неравенство для существенных многообразий, в значительной степени обобщая Неравенство тора Лёвнера и Неравенство Пу для вещественной проективной плоскости, и создание систолическая геометрия в современном виде.

Радиус заполнения простой петли C в плоскости определяется как наибольший радиус, р > 0 круга, помещающегося внутрьC:

${displaystyle mathrm {FillRad} (Csubset mathbb {R} ^{2})=R.}$

Двойное определение через окрестности

Существует своего рода двойственная точка зрения, которая позволяет чрезвычайно плодотворно обобщить это понятие, как показал Громов. А именно, мы рассматриваем ${displaystyle varepsilon }$-окрестности петли C, обозначенный

${displaystyle U_{varepsilon }Csubset mathbb {R} ^{2}.}$

В качестве ${displaystyle varepsilon >0}$ увеличивается, ${displaystyle varepsilon }$-район ${displaystyle U_{varepsilon }C}$ поглощает все больше и больше внутренней части петли. В последний точка, которую нужно поглотить, - это как раз центр самого большого вписанного круга. Следовательно, мы можем переформулировать приведенное выше определение, определив ${displaystyle mathrm {FillRad} (Csubset mathbb {R} ^{2})}$ быть пределом ${displaystyle varepsilon >0}$ так что петля C контракты до точки в ${displaystyle U_{varepsilon }C}$.

Для компактного многообразия Икс встроен, скажем, в евклидово пространство E, мы могли бы определить радиус заполнения относительный к вложению, минимизируя размер окрестности ${displaystyle U_{varepsilon }Xsubset E}$ в котором Икс может быть гомотопен чему-то меньшей размерности, например многограннику меньшей размерности. Технически удобнее работать с гомологическим определением.

Гомологическое определение

Обозначим через А кольцо коэффициентов ${displaystyle mathbb {Z} }$ или же ${displaystyle mathbb {Z} _{2}}$, в зависимости от того, Икс ориентируемый. Тогда фундаментальный класс, обозначенный [ИКС], компактного п-мерное многообразие Икс, является генератором группы гомологий ${displaystyle H_{n}(X;A)simeq A}$, и мы устанавливаем

${displaystyle mathrm {FillRad} (Xsubset E)=inf left{varepsilon >0mid iota _{varepsilon }([X])=0in H_{n}(U_{varepsilon }X)ight},}$

куда ${displaystyle iota _{varepsilon }}$ - гомоморфизм включения.

Чтобы определить абсолютный радиус заполнения в ситуации, когда Икс снабжена римановой метрикой грамм, Громов поступает следующим образом. Куратовский вложение. Один погружает Икс в банаховом пространстве ${displaystyle L^{infty }(X)}$ ограниченных борелевских функций на Икс, оборудованный нормой sup ${displaystyle |cdot |}$. А именно наносим на карту точку ${displaystyle xin X}$ к функции ${displaystyle f_{x}in L^{infty }(X)}$ определяется формулой ${displaystyle f_{x}(y)=d(x,y)}$для всех ${displaystyle yin X}$, куда d - функция расстояния, определяемая метрикой. По неравенству треугольника имеем ${displaystyle d(x,y)=|f_{x}-f_{y}|,}$ и поэтому вложение сильно изометрично в том смысле, что внутреннее расстояние и внешнее расстояние совпадают. Такое сильно изометрическое вложение невозможно, если объемлющее пространство является гильбертовым пространством, даже если Икс риманова окружность (расстояние между противоположными точками должно бытьπ, а не 2!). Затем мы устанавливаем ${displaystyle E=L^{infty }(X)}$ в приведенной выше формуле и определим

${displaystyle mathrm {FillRad} (X)=mathrm {FillRad} left(Xsubset L^{infty }(X)ight).}$

Характеристики

• Радиус заполнения составляет не более трети диаметра (Кац, 1983).
• Радиус заполнения реальное проективное пространство с метрикой постоянной кривизны составляет треть его риманова диаметра, см. (Katz, 1983). Эквивалентно радиус наполнения в этих случаях составляет шестую часть систолы.
• Радиус заполнения римановой окружности длиной 2π, то есть единичной окружности с индуцированной функцией риманова расстояния, равен π / 3, т.е. шестой части ее длины. Это следует из комбинации упомянутой выше верхней границы диаметра с нижней границей Громова по систоле (Громов, 1983).
• Систола существенное многообразие M не более чем в шесть раз больше радиуса заполнения, см. (Громов, 1983).
  • Неравенство оптимально в том смысле, что граничный случай равенства достигается действительными проективными пространствами, как указано выше.
• В радиус приемистости компактного многообразия дает нижнюю оценку радиуса заполнения. А именно,

  ${displaystyle mathrm {FillRad} Mgeq {frac {mathrm {InjRad} M}{2(dim M+2)}}.}$

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

• Гипотеза области заполнения
• Систолическое неравенство Громова для существенных многообразий

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

• Громов, М .: Заполняющие римановы многообразия. Журнал дифференциальной геометрии 18 (1983), 1–147.
• Кац, М .: Радиус заполнения двухточечных однородных пространств. Журнал дифференциальной геометрии 18, номер 3 (1983), 505–511.
• Кац, Михаил Г. (2007), Систолическая геометрия и топология, Математические обзоры и монографии, 137, Провиденс, Р.И.: Американское математическое общество, ISBN  978-0-8218-4177-8, OCLC  77716978