3. Конечномерное линейное пространство со
скалярным произведением (положительно определенным), иначе говоря - конечномерное
гильбертово пространство. В таком пространстве всегда можно ввести базис, в котором будет верно (1) и (2) (Конечномерное пространство с невырожденным скалярным произведением, не являющимся положительно определенным, называется
псевдоевклидовым).