Примеры
Гомоморфизм и изоморфизм алгебр
Неприводимые представления
Конечномерные представления
Тензорные произведения операторов. Определим тензорное произведение ограниченных операторов
Спектральная теорема. Пусть Н – сепарабельное гильбертово пространство, тогда справедлива следующая теорема
Спектр ортопроектора в гильбертовом пространстве
< ε < a
Спектр оператора А = Р1 + Р2. Изучим оператор Р1 + Р2 в сепарабельном гильбертовом пространстве
Навигация
* Алгебры и их применение
* Алгебры и их применение
65703
знака
0
таблиц
0
изображений
Дипломная работа специалиста
Таврический национальный университет им. В.И. Вернадского
Симферополь 2003
Введение
Пусть Н – гильбертово пространство, L(Н) – множество непрерывных линейных операторов в Н. Рассмотрим подмножество А в L(Н), сохраняющееся при сложении, умножении, умножении на скаляры и сопряжении. Тогда А – операторная *-алгебра. Если дана абстрактная *-алгебра А, то одна из основных задач теории линейных представлений (*-гомоморфизмов А в L(Н)) – перечислить все ее неприводимые представления (с точностью до эквивалентности).
Теория унитарных представлений групп восходит к XIX веку и связана с именами Г.Фробениуса, И.Шура, В.Бернсайда, Ф.Э. Молина и др. В связи с предложениями к квантовой физике теория унитарных представлений топологических групп, групп Ли, С*-алгебр была разработана И.М.Гельфандом, М.А. Наймарком, И.Сигалом, Ж.Диксмье, А.А. Кирилловым и др. в 60-70-х годах XX века. В дальнейшем интенсивно развивается теория представлений *-алгебр, заданных образующими и соотношениями.
Дипломная работа посвящена развитию теории представлений (конечномерных и бесконечномерных) *-алгебр, порожденных двумя проекторами.
Глава I в краткой форме содержит необходимые для дальнейшего сведения из теории представлений и функционального анализа. В §1 дано определение *-алгебры и приведены простейшие свойства этих алгебр. В §2 излагаются основные свойства представлений, вводятся следующие понятия: неприводимость, эквивалентность, прямая сумма, интегрирование и дезинтегрирование представлений. В §3 определяются тензорные произведения пространств, тензорные произведения операторов и др. (см. [2], [3], [4], [8], [9])
В Главе II изучаются представления *-алгебры P2
P2 = С < p1, p2 | p12 = p1* = p1, p22 = p2* = p2 >,
порожденной двумя самосопряженными идемпотентами, то есть проекторами (см., например, [12]). Найдены все неприводимые *-представления *-алгебры P2, с точностью до эквивалентности., доказаны соответствующие спектральные теоремы.
В §1 рассматриваются только конечномерные *-представления π в унитарном пространстве Н. Описаны все неприводимые и неэквивалентные *-представления *-алгебры P2 . Неприводимые *-представления P2 одномерны и двумерны:
4 одномерных: π0,0(p1) = 0, π0,0(p2) = 0; π0,1(p1) = 0, π0,1(p2) = 1;
π1,0(p1) = 1, π1,0(p2) = 0; π1,1(p1) = 1, π1,1(p2) = 1.
И двумерные: 
, 
τ 
(0, 1).
Доказана спектральная теорема о разложении пространства Н в ортогональную сумму инвариантных относительно π подпространств Н, а также получено разложение π на неприводимые *-представления. Результаты §1 относятся к математическому фольклору.
В §2 получены основные результаты работы. Для пары проекторов в сепарабельном гильбертовом пространстве Н приведено описание всех неприводимых представлений, доказана спектральная теорема.
В Главе III спектральная теорема для пары проекторов Р1, Р2, применяется к изучению сумм Р1+Р2, аР1+bР2 (0 < a < b). Получены необходимое и достаточное условие на самосопряженный оператор А для того чтобы А = Р1+Р2 или А = аР1+bР2, 0 < a < b, (этот частный случай задачи Г.Вейля (1912 г.) о спектре суммы пары самосопряженных операторов).
Глава I. Основные понятия и определения
§ 1. 
- алгебры
Определение 
- алгебры.
Определение 1.1. Совокупность А элементов x, y, … называется алгеб- рой, если:
А есть линейное пространство;
в А введена операция умножения (вообще некоммутативного), удовлет- воряющая следующим условиям:
α (x y) = (α x) y,
x (α y) = α (x y),
(x y) z = x (y z),
(x + y) = xz +xy,
x (y + z) = xy + xz для любых x, y, z А и любых чисел α.
Два элемента x, y алгебры А называются перестановочными, если xy = yx. Алгебра А называется коммутативной, если все ее элементы попарно пере- становочны.
Определение 1.2. Пусть А – алгебра над полем С комплексных чисел. Инволюцией в А называется такое отображение x → x* алгебры А в А, что
(x*)* = x;
(x + y)* = x* + y*;
(α x)* = 
x*;
(x y)* = y*x* для любых x, y С.
Алгебра над С, снабженная инволюцией, называется инволютивной алгеброй или *- алгеброй. Элемент х* называют сопряженным к х. Подмножество А, сохраняющееся при инволюции, называется само- сопряженным.
Из свойства (i) следует, что инволюция в А необходимо является биекцией А на А.
Похожие работы
... ;0,0(p2) = P0,0. В силу теоремы 2.8. главы I разложения I, Р1 и Р2 также определяются однозначно. § 2. Два ортопроектора в сепарабельном гильбертовом пространстве 2.1. Неприводимые *-представления *-алгебры P2 . Пусть А = Р1 - Р1┴ = 2Р1 – I и В = Р2 – Р2┴ = 2Р2 – I. Тогда А2 = I , В2 = I. Следовательно А и В самосопряженные унитарные операторы в Н. Положим U=АВ, тогда U-1=ВА и А-1UА ...
... для того, чтобы показать школьникам образец современной математической теории. 2.2.3.2. ПРОГРАММА И СОДЕРЖАНИЕ ЗАНЯТИЙ ФАКУЛЬТАТИВНОГО КУРСА «ЭЛЕМЕНТЫ СОВРЕМЕННОЙ АЛГЕБРЫ» В качестве экспериментальной работы мы предлагаем изучение элементов современной алгебры в рамках факультативного курса по математике. Нами была разработана программа факультативного курса «Элементы современной алгебры» и ...
... угодно сложные в логическом отношении схемы, можно строить, используя два приема: 1. последовательное соединение элементов; 2. перестановка входов элементов. Этим двум физическим приемам в алгебре логики соответствуют: 1. принцип суперпозиции (подстановка в функцию вместо ее аргументов других функций); 2. подстановка аргументов (изменение порядка записи аргументов функций или замена ...
... 4. Бинарные отношения. Математика как наука отражает мир взаимодействующих простых и сложных объектов (вещей, явлений, процессов). Абстрагируясь от реальности, математика рассматривает унарные, бинарные и другие отношения. В вопросе требуется рассмотреть бинарные отношения, их свойства и особо обратить внимание на отношение эквивалентности, заданного на одном множестве. Рассмотрим ...
0 комментариев