* Алгебры и их применение — страница 7

  • Просмотров 8094
  • Скачиваний 70
  • Размер файла 349
    Кб

π(х)f1 +…+ π(х)fn есть сумма того же вида и имеет своим пределом π(х)g. 2.2. Прямая сумма представлений. Пусть I – произвольное множество. Пусть (πi)iI - семейство представлений *-алгебры А в гильбертовом пространстве Нi (iI). Пусть || πi (х) || ≤ сх где сх – положительная константа, не зависящая от i. Обозначим через Н прямую сумму пространств Нi, то есть Н = Нi. В силу (2.1.) можно образовать непрерывный линейный оператор π(х) в Н, который индуцирует πi

(х) в каждом Нi. Тогда отображение х → π(х) есть представление А в Н, называемое прямой суммой представлений πi и обозначаемое πi или π1…..πn в случае конечного семейства представлений (π1…..πn). Если (πi)iI – семейство представлений *-алгебры А, совпадающих с представлением π, и если CardI = c, то представления πi обозначается через сπ. Всякое представление, эквивалентное представлению этого типа, называется кратным π. Для доказательства

следующего понадобится лемма Цорна. Напомним ее. Лемма Цорна. Если в частично упорядоченном подмножестве Х всякое линейно упорядоченное подмножество имеет в Х верхнюю грань, то Х содержит максимальный элемент. Теорема 2.4. Всякое представление есть прямая сумма цикличных представлений. Доказательство. Пусть f0 ≠ 0 – какой-либо вектор из Н. Рассмотрим совокупность всех векторов π(х)f0, где х пробегает всю *-алгебру А. Замыкание этой

совокупности обозначим через Н1. Тогда Н1 – инвариантное подпространство, в котором f0 есть циклический вектор. Другими словами, Н1 есть циклическое подпространство представления π. Если Н1 = H, то предложение доказано; в противном случае H-Н1 есть отличное от {0} инвариантное подпространство. Применяя к нему тот же прием, мы выделим циклическое подпространство Н2 ортогональное Н1. Обозначим через М совокупность всех систем {Нα},

состоящих из взаимно ортогональных циклических подпространств представления; одной из таких систем является построенная выше система {Н1, Н2}. Упорядоченная при помощи соотношения включения совокупность М образует частично упорядоченное множество, удовлетворяющее условиям леммы Цорна; именно, верхней гранью линейно упорядоченного множества систем {Нα}М будет объединение этих систем. Поэтому в М существует максимальная

система {Нα}. Но тогда Н=Нα; в противном случае в инвариантном подпространстве Н-(Нα) существовало бы отличное от {0} циклическое подпространство Н0 и мы получили бы систему {Нα}Н0М, содержащую максимальную систему {Нα}, что невозможно. 2.3. Неприводимые представления. Определение 2.5. Представление называется неприводимым, если в пространстве Н не существует инвариантного подпространства, отличного от {0} и всего Н. Согласно теореме 2.2.