Урысон универсальное пространство - Urysohn universal space

В Урысон универсальное пространство это определенный метрическое пространство который содержит все отделяемый метрические пространства особенно красиво. Этот математика концепция связана с Павел Самуилович Урысон.

Определение

Метрическое пространство (U,d) называется Урысон универсальный^[1] если он отделимый и полный и обладает следующим свойством:

для любого конечного метрического пространства Икс, любая точка Икс в Икс, и любые изометрическое вложение ж : Икс\{Икс} → U, существует изометрическое вложение F : Икс → U что расширяет ж, т.е. такие, что F(y) = ж(y) для всех y в Икс\{Икс}.

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

Если U универсален Урысон и Икс - любое сепарабельное метрическое пространство, то существует изометрическое вложение ж:Икс → U. (Другие пространства разделяют это свойство: например, пространство л^∞ всего ограниченного реального последовательности с верхняя норма допускает изометрические вложения всех сепарабельных метрических пространств ("Фреше вложения "), как и пространство C [0,1] всех непрерывные функции [0,1]→р, опять же с нормой супремума, результат из-за Стефан Банах.)

Кроме того, любая изометрия между конечными подмножествами U распространяется на изометрию U на себя. Этот вид «однородности» на самом деле характеризует универсальные пространства Урысона: сепарабельное полное метрическое пространство, которое содержит изометрический образ каждого сепарабельного метрического пространства, является универсальным для Урысона тогда и только тогда, когда оно однородно в этом смысле.

Существование и уникальность

Урысон доказал, что универсальное пространство Урысона существует и что любые два универсальных пространства Урысона являются изометрический. Это можно увидеть следующим образом. Брать ${\displaystyle (X,d),(X',d')}$, два пространства Урысона. Они отделимы, поэтому зафиксируйте в соответствующих пространствах счетные плотные подмножества ${\displaystyle (x_{n})_{n},(x'_{n})_{n}}$. Они должны быть в собственном смысле бесконечными, поэтому с помощью аргументов туда и обратно можно поэтапно построить частичные изометрии. ${\displaystyle \phi _{n}:X\to X'}$ чей домен (соответственно диапазон) содержит ${\displaystyle \{x_{k}:k<n\}}$ (соотв. ${\displaystyle \{x'_{k}:k<n\}}$). Объединение этих карт определяет частичную изометрию ${\displaystyle \phi :X\to X'}$ чей домен соотв. range плотны в соответствующих пространствах. И такие отображения расширяются (однозначно) до изометрий, так как пространство Урысона должно быть полным.

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

1. Юха Хейнонен (январь 2003 г.), Геометрические вложения метрических пространств, получено 6 января 2009