Sz.-Nagys кеңейту теоремасы - Sz.-Nagys dilation theorem - Wikipedia

The Sz.-Nagy кеңейту теоремасы (дәлелденген Бела Секефалви-Наджи ) кез-келген жиырылуды айтады Т үстінде Гильберт кеңістігі H унитарлы кеңейту U Гильберт кеңістігіне Қ, құрамында H, бірге

Сонымен, мұндай кеңею бірегей болып табылады (унитарлық эквиваленттілікке дейін) Қ minimal сызықтық аралығы мағынасында минималдыnUnH тығыз Қ. Осы минимум шарты болған кезде, U деп аталады минималды унитарлық кеңею туралы Т.

Дәлел

Үшін жиырылу Т (яғни, (), оның ақаулық операторы Д.Т (бірегей) оң квадрат түбір ретінде анықталады Д.Т = (I - T * T)½. Бұл ерекше жағдайда S бұл изометрия, Д.S * проектор болып табылады және Д.S=0, демек, келесі Sz. Нагианың унитарлық кеңеюі S функционалды есептеудің қажетті полиномдық қасиетімен:

Жиырылудың жалпы жағдайына оралу Т, әрбір жиырылу Т Гильберт кеңістігінде H изометриялық кеңеюге ие, қайтадан есептеу қасиетімен

берілген

Ауыстыру S осылайша изометрия үшін алдыңғы Sz.-Nagy унитарлы кеңеюіне салынған S, біреуі жиырылу үшін унитарлы кеңеюді алады Т:

Шафер нысаны

The Шафер нысаны унитарлы Sz. Наги дилатациясы берілген жиырылу үшін қажетті қасиетімен барлық унитарлы кеңеюді сипаттайтын бастапқы нүкте ретінде қарастырылуы мүмкін.

Ескертулер

Бергердің осы теореманы қорытуы Фойалар және Лебоу, егер екенін көрсетсе X Бұл спектрлік жиынтық үшін Т, және

Бұл Дирихлет алгебрасы, содан кейін Т минималды нормаға ие δX жоғарыдағы форманың кеңеюі. Мұның нәтижесі - кез келген операторы а жай қосылған спектрлік жиынтық X минималды нормаға ие δX кеңейту.

Мұның Sz.-Nagy теоремасын жалпылайтынын көру үшін, жиырылу операторларында бірлік диск бар екенін ескеріңіз Д. спектрлік жиын ретінде және бірлік шеңберде спектрі бар қалыпты операторлар δД. унитарлы.

Әдебиеттер тізімі

  • Полсен, В. (2003). Толығымен шектелген карталар және оператор алгебралары. Кембридж университетінің баспасы.
  • Шаффер, Дж. Дж. (1955). «Толғақтардың унитарлық кеңеюі туралы». Американдық математикалық қоғамның еңбектері. 6 (2): 322. дои:10.2307/2032368. JSTOR  2032368.