Конечномерное пространство: различия между версиями

[непроверенная версия][непроверенная версия]
Содержимое удалено Содержимое добавлено
Конечномерное пространство - алгебраический термин. разговор о полноте здесь не уместен. он уместен на страничке про Банаховы простран
Строка 9:
== Свойства конечномерных пространств ==
 
Иными словами, всякийВсякий элемент <math>x</math> конечномерного пространства <math>X</math> представим единственным образом в виде
: <math>x=a_1 e_1+a_2 e_2+...+a_n e_n,</math>
<math>a_1, a_2,...,a_n\in \mathbb P</math> где <math>\mathbb P</math> — [[Поле (алгебра)|поле]](часто <math>\mathbb R</math> или <math>\mathbb C</math>), над которым действутрассматривается пространство <math>X<math>, <math>e_1, e_2,...,e_n\in X</math> — элементы базиса. Это следует из определения базиса.

Также любой базис в конечномерном [[Евклидово пространство| евклидовом пространстве]] можно сделать [[Ортонормированный базис|ортонормированным]] при помощи [[Процесс Грама ― Шмидта|ортогонализации Шмидта]].
* Все базисы конечномерного пространства состоят из одинакового количества элементов. Это свойство даёт корректность определения '''размерности пространства'''.
* Пусть X — конечномерное пространство и <math>\{x_1, x_2,...,x_k\}</math> — [[Линейная независимость|линейно-независимая]] система элементов. Тогда эту систему всегда можно дополнить до [[базис]]а.
* Все конечномерные пространства одинаковой размерности изоморфны друг другу.
* В любом конечномерном пространстве над полем <math>\mathbb R<math> можно ввести [[скалярное произведение]]. Например, в пространстве <math>X</math> с фиксированным базисом, размерности <math>n</math>, можно ввести скалярное произведение по правилу:<br /> <math>\forall x_1,x_2\in X, (x_1, x_2)=\sum_{k=1}^n a_k\cdot b_k</math>, где <math>\{a_k\},\{b_k\}</math> — компоненты векторов <math>x_1</math> и <math>x_2</math> соответственно.<br /> Из этого свойства следует, что в конечномерном пространстве можно ввести [[Нормированное пространство|норму]] и [[Метрическое пространство|метрику]]. Как следствие, можно получить что:
** <math>X</math> — [[рефлексивное пространство]]<ref>Это факт можно получить как при помощи [[гильбертово пространство|теоремы Рисса-Фреше]], так и прямыми выкладками, без использования теории гильбертовых пространств.</ref>.
** Пространство <math>X^*</math>, [[Сопряжённое пространство|сопряжённое]] к некоторому конечномерному пространству <math>X</math>, конечномерно и его размерность совпадает с размерностью <math>X</math>.