Ермітів простір
Матеріал з Вікіпедії — вільної енциклопедії.
Ермі́тів про́стір (на честь Шарля Ерміта) — комплексний векторний простір, на якому означена операція ермітoва скалярного добутка. Поняття ермітова простора є комплексним аналогом відповідного поняття для дійсних векторних просторів, евклідова простора.
Ермітови простори зазвичай скінченновимірні. У нескінченновимірному випадку розглядаються натомість гільбертoві простори. Поняття ермітова простора припускає алгебраїчне узагальнення, яке застосовується у теорії груп, дискретній математиці і теорії кодування.
[ред.] Приклад
Векторний простор з ермітoвим скалярним добутком, означеним за формулою
є n-вимірним ермітовим векторним простором. Виявляється, що будь-який n-вимірний ермітов векторний простір H є ізоморфним до . Цей ізоморфізм досягається обранням ортонормального базиса в H.
[ред.] Узагальнення
В сучасній абстрактній алгебрі розглядаються векторні простори над довільними полями. Припустимо, що на полі E задана нетривіальна інволюція, тобто автоморфізм порядкa
з інваріантним підполем F = Eσ. Якщо уявити собі, що поле E aналогічно до поля комплексних чисел, інволюція σ — це комплексне спряження, тоді поле F аналогічно до поля дійсних чисел. У цій сітуації маємо змогу розглянути векторний простір V над E з сесквілінійною невиродженною ермітовою E-значною формою
Такий простір називається псевдоермітовим векторним простором над E. Якщо на додаток є звуженням комплексного спряження на E і ермітова форма позитивно-означенна, тобто
— додатне число для будь-якого ненульового
то V називається ермітовим векторним простором над E. Ще більшого узагальнення можна дістатися, якщо замінити поле E на (некомутативну) алгебру з інволюцією D над E і розглянути лівий D-модуль замість векторного простора V.
Викладена вище конструкція використовується у теорії алгебраїчних груп для винаходження аналогів комплексної унітарної групи над полем E. А саме, слід розглянути групу ізометрій (псевдо)ермітова простора V, тобто множину обертованих лінійних перетвореннь які не змінюють форму, тобто виконується (gu,gv) = (u,v) для будь-яких
У такий спосіб будується сімійство близьких до простих алгебраїчних груп над полем E. Зокрема, для скінченого поля E отримуємо одне з нескінчених сімійств скінчених простих груп. Цікаво відзначити, що ця нібито абстрактна конструкція має несподіванне застосування у дуже прикладній теорії кодування, в контексті алгебро-геометричних кодів. Різноманітні геометричні об'єкти пов'язані з ермітовими просторами над скінченими полями уявляють неабиякий інтерес у дискретній математиці.