Комплексные евклидовы пространства
Если два элемента (вектора) некоторого ЕП заданы комплексными координатами (например: ), то они находятся в комплексном ЕП.
При этом в комплексном ЕП свойство 1) заменяется на:
(- число, комплексно сопряженное к с)
а свойства 2), 3) и 4) скалярного произведения остаются без изменения.
При этом: (49.6)
В самом деле, и (49.6) доказано.
Надо иметь в виду, что:
Замечание 1: 4 свойства действительного ЕП в комплексном ЕП не могут иметь места, ибо они противоречат друг другу, так как , что не соответствует свойству 4. (при любом a≠0)
Поэтому свойство 1) для комплексных ЕП слегка изменится, а остальные останутся в силе
Замечание 2: Невозможно также определить угол между элементами комплексного ЕП, ибо величина , вообще говоря, будет комплексной и может не быть косинусом некоторого вещественного угла.
В качестве примера советуем показать читателю, что если и - координаты соответственно векторов a и b по базису , то тогда - является скалярным произведением (и, следовательно, конечномерное линейное комплексное пространство становится евклидовым), а будет ортонормированным базисом относительно заданного скалярного произведения.