Частичная изометрия

редактировать

В функциональном анализе частичная изометрия является линейным отображением между гильбертовыми пространствами, что это изометрический на ортогональном дополнении своего ядра.

Ортогональное дополнение его ядра называется начальным подпространством, а его диапазон называется конечным подпространством.

В полярном разложении появляются частичные изометрии.

СОДЕРЖАНИЕ
  • 1 Общие
  • 2 операторные алгебры
  • 3 C * -Алгебры
  • 4 специальных класса
    • 4.1 Прогнозы
    • 4.2 Вложения
    • 4.3 Унитары
  • 5 примеров
    • 5.1 Нильпотенты
    • 5.2 Левое и правое смещение
  • 6 Ссылки
  • 7 Внешние ссылки
Общий

Понятие частичной изометрии можно определить другими эквивалентными способами. Если U является изометрическим отображение, определенное на замкнутом подмножестве Н 1 гильбертова пространства H, то мы можем определить расширение W из U на все H условием, что W быть равна нулю на ортогональном дополнении H 1. Таким образом, частичная изометрия также иногда определяется как замкнутая частично определенная изометрическая карта.

Частичные изометрии (и проекции) могут быть определены в более абстрактном контексте полугруппы с инволюцией ; определение совпадает с приведенным здесь.

Операторные алгебры

Для операторных алгебр вводятся начальное и конечное подпространства:

я W знак равно р W * W , F W знак равно р W W * {\ displaystyle {\ mathcal {I}} W: = {\ mathcal {R}} W ^ {*} W, \, {\ mathcal {F}} W: = {\ mathcal {R}} WW ^ {* }}
C * -Алгебры

Для C * -алгебр имеется цепочка эквивалентностей благодаря C * -свойству:

( W * W ) 2 знак равно W * W W W * W знак равно W W * W W * знак равно W * ( W W * ) 2 знак равно W W * {\ displaystyle (W ^ {*} W) ^ {2} = W ^ {*} W \ iff WW ^ {*} W = W \ iff W ^ {*} WW ^ {*} = W ^ {*} \ iff (WW ^ {*}) ^ {2} = WW ^ {*}}

Таким образом, каждый определяет частичные изометрии любым из вышеперечисленных и объявляет начальную соотв. окончательная проекция будет W * W соотв. WW *.

Пара проекций разделяется отношением эквивалентности :

п знак равно W * W , Q знак равно W W * {\ Displaystyle P = W ^ {*} W, \, Q = WW ^ {*}}

Он играет важную роль в K-теории для C * -алгебр и в теории проекторов Мюррея - фон Неймана в алгебре фон Неймана.

Специальные классы

Прогнозы

Любая ортогональная проекция - это проекция с общим начальным и конечным подпространствами:

п : ЧАС ЧАС : я п знак равно F п {\ displaystyle P: {\ mathcal {H}} \ rightarrow {\ mathcal {H}}: \ quad {\ mathcal {I}} P = {\ mathcal {F}} P}

Вложения

Любое изометрическое вложение - это вложение с полным начальным подпространством:

J : ЧАС K : я J знак равно ЧАС {\ Displaystyle J: {\ mathcal {H}} \ hookrightarrow {\ mathcal {K}}: \ quad {\ mathcal {I}} J = {\ mathcal {H}}}

Унитарные

Любой унитарный оператор - это оператор с полным начальным и конечным подпространством:

U : ЧАС K : я U знак равно ЧАС , F U знак равно K {\ Displaystyle U: {\ mathcal {H}} \ leftrightarrow {\ mathcal {K}}: \ quad {\ mathcal {I}} U = {\ mathcal {H}}, \, {\ mathcal {F}} U = {\ mathcal {K}}}

(Помимо них существует гораздо больше частичных изометрий.)

Примеры

Нильпотентс

На двумерном комплексном гильбертовом пространстве матрица

( 0 1 0 0 ) {\ displaystyle {\ begin {pmatrix} 0 amp; 1 \\ 0 amp; 0 \ end {pmatrix}}}

частичная изометрия с начальным подпространством

{ 0 } C {\ Displaystyle \ {0 \} \ oplus \ mathbb {C}}

и последнее подпространство

C { 0 } . {\ displaystyle \ mathbb {C} \ oplus \ {0 \}.}

Левое и правое смещение

На последовательностях, суммируемых с квадратом, операторы

р : 2 ( N ) 2 ( N ) : ( Икс 1 , Икс 2 , ) ( 0 , Икс 1 , Икс 2 , ) {\ Displaystyle R: \ ell ^ {2} (\ mathbb {N}) \ to \ ell ^ {2} (\ mathbb {N}):( x_ {1}, x_ {2}, \ ldots) \ mapsto (0, x_ {1}, x_ {2}, \ ldots)}
L : 2 ( N ) 2 ( N ) : ( Икс 1 , Икс 2 , ) ( Икс 2 , Икс 3 , ) {\ Displaystyle L: \ ell ^ {2} (\ mathbb {N}) \ to \ ell ^ {2} (\ mathbb {N}):( x_ {1}, x_ {2}, \ ldots) \ mapsto (x_ {2}, x_ {3}, \ ldots)}

которые связаны

р * знак равно L {\ Displaystyle R ^ {*} = L}

частичные изометрии с начальным подпространством

L р ( Икс 1 , Икс 2 , ) знак равно ( Икс 1 , Икс 2 , ) {\ Displaystyle LR (x_ {1}, x_ {2}, \ ldots) = (x_ {1}, x_ {2}, \ ldots)}

и последнее подпространство:

р L ( Икс 1 , Икс 2 , ) знак равно ( 0 , Икс 2 , ) {\ Displaystyle RL (x_ {1}, x_ {2}, \ ldots) = (0, x_ {2}, \ ldots)}.
использованная литература
внешние ссылки
Последняя правка сделана 2023-04-13 10:07:23
Содержание доступно по лицензии CC BY-SA 3.0 (если не указано иное).
Обратная связь: support@alphapedia.ru
Соглашение
О проекте