WikiDer > Положительно определенная функция на группе

Positive-definite function on a group

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

Определение

Позволять грамм быть группой, ЧАС - комплексное гильбертово пространство, и L(ЧАС) - ограниченные операторы на ЧАС. А положительно определенная функция на грамм это функция F: граммL(ЧАС) это удовлетворяет

для каждой функции час: граммЧАС с конечной опорой (час принимает ненулевые значения только для конечного числа s).

Другими словами, функция F: граммL(ЧАС) называется положительно определенной функцией, если ядро K: грамм × граммL(ЧАС) определяется K(s, т) = F(s−1т) - положительно определенное ядро.

Унитарные представления

А унитарное представительство является унитальным гомоморфизмом Φ: граммL(ЧАС) где Φ (s) является унитарным оператором для всех s. Для таких Φ, Φ (s−1) = Φ (s)*.

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

Пусть Φ: граммL(ЧАС) - унитарное представление грамм. Если п ∈ L(ЧАС) - проекция на замкнутое подпространство H` из ЧАС. потом F(s) = п Φ (s) - положительно определенная функция на грамм со значениями в L(H`). Это легко показать:

для каждого час: граммH` с конечной опорой. Если грамм имеет топологию и Φ слабо (соответственно сильно) непрерывна, то очевидно, что такова F.

С другой стороны, рассмотрим теперь положительно определенную функцию F на грамм. Унитарное представление грамм можно получить следующим образом. Позволять C00(грамм, ЧАС) - семейство функций час: граммЧАС с конечной опорой. Соответствующее положительное ядро K(s, т) = F(s−1т) определяет (возможно, вырожденное) скалярное произведение на C00(грамм, ЧАС). Обозначим получившееся гильбертово пространство через V.

Заметим, что «матричные элементы» K(s, т) = K(а−1s, а−1т) для всех а, s, т в грамм. Так Uачас(s) = час(а−1s) сохраняет внутренний продукт на V, т.е. унитарен по L(V). Ясно, что отображение Φ (а) = Uа представляет собой представление грамм на V.

Унитарное представление единственно с точностью до изоморфизма гильбертова пространства, если выполняется следующее условие минимальности:

куда обозначает замыкание линейной оболочки.

Идентифицировать ЧАС как элементы (возможно, классы эквивалентности) в V, носитель которого состоит из тождественного элемента е ∈ грамм, и разреши п - проекция на это подпространство. Тогда у нас есть ПУап = F(а) для всеха ∈ грамм.

Ядра Теплица

Позволять грамм - аддитивная группа целых чисел Z. Ядро K(п, м) = F(мп) называется ядром Теплиц типа, по аналогии с Матрицы Теплица. Если F имеет форму F(п) = Тп куда Т - ограниченный оператор, действующий в некотором гильбертовом пространстве. Можно показать, что ядро K(п, м) положительна тогда и только тогда, когда Т это сокращение. Согласно обсуждению из предыдущего раздела, у нас есть унитарное представление Z, Φ (п) = Uп для унитарного оператора U. Кроме того, свойство ПУап = F(а) теперь переводится как ПУпп = Тп. Это точно Теорема С.-Надя о растяжении и намекает на важную теоретико-расширяющую характеристику положительности, которая ведет к параметризации произвольных положительно определенных ядер.

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

  • Кристиан Берг, Кристенсен, Пол Рессель, Гармонический анализ на полугруппах., GTM, Springer Verlag.
  • Т. Константинеску, Параметры Шура, проблемы дилатации и факторизации, Birkhauser Verlag, 1996.
  • Б. С.-Надь и К. Фойас, Гармонический анализ операторов в гильбертовом пространстве, Северная Голландия, 1970 год.
  • З. Сасвари, Положительно определенные и определяемые функции, Академия Верлаг, 1994
  • Дж. Х. Уэллс, Л. Р. Уильямс, Вложения и расширения в анализ, Ergebnisse der Mathematik und ihrer Grenzgebiete, Band 84. Springer-Verlag, New York-Heidelberg, 1975. vii + 108 с.