Унитарное пространство
Унита́рное простра́нство, векторное пространство над полем комплексных чисел , в котором задано скалярное умножение векторов [причём произведение векторов и предполагается, вообще говоря, комплексным числом] и выполняются следующие аксиомы:
1) ;
2) ;
3) ;
4) если , то ,
т. е. скалярный квадрат ненулевого вектора есть положительное действительное число.
Унитарное пространство не предполагается конечномерным. В унитарном пространстве, точно так же как и в евклидовых пространствах, вводятся понятия ортогональности и ортонормированной системы векторов, а в конечномерном случае доказывается существование ортонормированного базиса.