Определение 1. Пусть линейное пространство называется конечномерным, если существует такая константа $M \in \mathbb{N}$, так что любая линейно независимая система (далее ЛНЗ) содержит не более $M$ векторов. В противном случае пространство называется бесконечномерным.
Замечание. Нулевое пространство будем считать конечномерным.
Пример 1. Бесконечномерным пространством является $(R[x], \mathbb{R})$. Рассмотрим систему векторов $\left\langle 1, x, x^{2}, \ldots, x^{n}\right\rangle.$ Это система ЛНЗ, так как из равенства $\alpha_{0} \cdot 1+\alpha_{1}\cdot x+\alpha_{2} \cdot x^{2}+\ldots+\alpha_{k}\cdot x^{k}=0$ следует, что $\alpha_{0}=\alpha_{1}=\alpha_{2}= \ldots =\alpha_{k}=0.$ Так как $k$ произвольно, то не существует ограничения $M$.
Пример 2. Пусть $X$ — конечномерное пространство. Рассмотрим в нем ЛНЗ систему, содержащую максимальное число векторов: $\left\langle x_{1}, x_{2}, \ldots, x_{m}\right\rangle.$ Дополняя эту систему произвольным векторм $y$, получаем уже линейно зависимую систему: $\left\langle x_{1}, x_{2}, \ldots, x_{m}, y\right\rangle.$ Тогда вектор $y$ линейно выражается через исходную систему, а именно: $$y=\alpha_{1} x_{1}+\alpha_{2} x_{2}+\ldots+\alpha_{m} x_{m}.$$
Лемма 1. Каждое подпространство конечномерного пространства в свою очередь конечномерно.
Лемма 2. Каждое подпространство есть линейная оболочка некоторой своей системы.
Конечномерность
Лимит времени: 0
Навигация (только номера заданий)
0 из 3 заданий окончено
Вопросы:
1
2
3
Информация
Тест для проверки знаний по теме «Конечномерность».
Вы уже проходили тест ранее. Вы не можете запустить его снова.
Тест загружается...
Вы должны войти или зарегистрироваться для того, чтобы начать тест.
Вы должны закончить следующие тесты, чтобы начать этот:
Результаты
Правильных ответов: 0 из 3
Ваше время:
Время вышло
Вы набрали 0 из 0 баллов (0)
Средний результат
Ваш результат
Рубрики
Нет рубрики0%
1
2
3
С ответом
С отметкой о просмотре
Задание 1 из 3
1.
Расставьте соотвественно:
Элементы сортировки
$M_{2}(\mathbb{R})$
$(R[x], \mathbb{R})$
$(X,\mathbb{P})$
Конечномерно
Бесконечномерно
Нельзя определить
Задание 2 из 3
2.
Дополните формулировку:
Каждое подпространство конечномерного пространства в свою очередь (конечномерно, Конечномерно).
Задание 3 из 3
3.
Выберите подходящий ответ:
Каждое подпространство есть линейная некоторой своей системы.
Литература
Личный конспект, составленный на основе лекций Белозерова Г.С..
Базис имеет огромное значение при изучении конечномерных линейных пространств, и часто используется в различных исследованиях. Он позволяет очень легко описать строение любого линейного пространства, заданного над произвольным полем.
Любой вектор $x$ из линейного пространства $X$ может быть представлен в виде линейной комбинации $$x =\alpha_{1} e_{1}+\alpha_{2} e_{2}+\ldots+\alpha_{n} e_{n},$$ где $\alpha_{1},\alpha_{2} \ldots\alpha_{n}$ — некоторые числа из поля, а $e_{1}, e_{2}, \ldots, e_{n}$ — базис $X$. Данная линейная комбинация называется разложением вектора $x$ по базису, а сами числа $\alpha_{1},\alpha_{2} \ldots\alpha_{n}$ называются координатами вектора $x$ относительно этого базиса.
Лемма 1. Каждое конечномерное пространство является линейной оболочкой своего базиса.
Определение 2. Любые два базиса конечномерного пространства представляют из себя эквивалентные системы.
Из определения 2 получаем числовую характеристику пространства.
Определение 3. Размерностью ненулевого конечномерного пространства называется число векторов его базиса. Размерность нулевого пространства равна $0$.
Обозначение для размерности пространства $X$: $\operatorname{dim} Х$.
Свойства базиса
Любая линейно независимая система $n$-мерного пространства, содержащая $n$ векторов, является базисом этого пространства.
Любая система $n$-мерного пространства, содержащая более $n$ векторов линейно зависима.
Любой вектор конечномерного пространства однозначно линейно выражается через базис.
Еще одно свойство базиса сформулируем в виде небольшой леммы и докажем ее.
Лемма 2. Каждую линейно независимую систему векторов конечномерного пространства можно пополнить до базиса этого пространства.
Пусть задано линейное пространство $X$ над произвольным полем $\mathbb{P}$. Пусть в этом пространстве задана ЛНЗ система векторов $\left\langle x_{1}, x_{2}, \ldots, x_{k}\right\rangle.$ А размерность $\operatorname{dim} Х = n $.
При $k=n$ очевидно, что наша система векторов сама является базисом(свойство $1$).
При $k<n$ рассмотрим множество всех ЛНЗ систем $x$, для которых наша система — подсистема. Выберем систему содержащую максимальное количество векторов: $$\langle x_{1}, \ldots, x_{k}, x_{k+1}, \ldots x_{s}\rangle.$$
Эта система максимально ЛНЗ в $X$, следовательно она является базисом. Тогда $s=n$ и отсюда следует, что $\langle x_{k+1}, \ldots x_{n} \rangle$ — искомое дополнение.
Лемма 3 (критерий базиса). Система векторов является базисом пространства тогда и только тогда, когда она максимально линейно независима.
Примеры решения задач
Рассмотрим несколько типовых задач нахождения базиса и размерности.
Показать, что следующая система векторов образуют линейное пространство. Найти базис и размерность. Все $n$-мерные векторы вида $(\alpha, \beta, \alpha, \beta, \alpha, \beta, \ldots)$, где $\alpha$ и $\beta$ — любые числа. $$L=\{x=(\alpha, \beta, \alpha, \beta, \ldots) | \alpha, \beta \in \mathbb{R}\}$$ Решение
$$\forall x, y \in L: \forall a, b \in \mathbb{R}(a x+b y) \in L ?$$
Покажем, что система векторов образуют линейное пространство: $$a x+b y=a \cdot(\alpha, \beta, \alpha, \beta \ldots)+b(\varphi, \gamma, \varphi, \gamma \ldots) =$$ $$=(a \alpha, a \beta, a \alpha, a \beta \ldots)+(\varphi b, \gamma b, \varphi b, \gamma b \ldots)=$$ $$=(a \alpha+b \varphi, a \beta+\gamma b, a \alpha+b \varphi, a \beta+\gamma b \ldots) \in L.$$
Следовательно, $\left\langle e_{1}^{\prime}, e_{2}^{\prime}\right\rangle$ — базис $L$. Размерность равна 2.
Определить является ли $L$ линейным подпространством пространства $X$. Найти базис и размерность. $$X=M_{2}(\mathbb{R})$$ $$L=\left\{\left(\begin{array}{l} a & b \\ c & d \end{array}\right) \in M_{2}(\mathbb{R}) | a+b+c=d\right\}.$$ Решение
$$\forall A, B \in L, \forall \alpha, \beta \in \mathbb{R}$$ $$\alpha A+\beta B \in L ?$$
Покажем, что через нашу ЛНЗ систему выражается каждый вектор этого пространства. Вспомним, что по условию $d = a + b + c.$ Отсюда следует, что $$a \cdot\left(\begin{array}{ll} 1 & 0 \\ 0 & 1 \end{array}\right)+b \cdot\left(\begin{array}{ll} 0 & 1 \\ 0 & 1 \end{array}\right)+c\left(\begin{array}{ll} 0 & 0 \\ 1 & 1 \end{array}\right)=$$ $$=\left(\begin{array}{cc}a & b \\c & a+b+c \end{array}\right)=\left(\begin{array}{cc}a & b \\c & d\end{array}\right)=A \Rightarrow $$ $\Rightarrow \forall A \in L$ линейно выражается через $E^{\prime}$. А так как мы доказали, что $E^{\prime}$ — ЛНЗ, то $E^{\prime}$ — базис $L$. Размерность равна 3.
Определить является ли $L$ линейным подпространством пространства $X$. Найти базис и размерность. $$X=\mathbb{R}_{4}[x]$$ $$L=\left\{f(x)=\mathbb{R}_{4}[x] | f(x): x^{2}+2\right\}.$$ Решение
Пусть $f(x) \in L$ и $f(x): x^{2}+2$, тогда $$f(x)=\left(x^{2}+2\right) \cdot\left(a x^{2}+b x+c\right).$$
Докажем, что $$\forall \alpha, \beta \in \mathbb{R}, \forall f(x), g(x) \in L ?$$
$$\alpha(a x^{2}+b x+c)+\beta(a x^{2}+b x+c)=$$ $$(x^{2}+2)(\alpha a x^{2}+\alpha b x+\alpha c+\beta a x^{2}+\beta b x+\beta c)=$$ $$(x^{2}+2)(\alpha a x^{2}+\beta a x^{2}+\alpha b x+\beta b x+\alpha c+\beta c) \in L$$
Теперь найдем базис: $$f(x)=a x^{4}+b x^{3}+x^{2} c+2 a x^{2}+2 b x+2 c,$$ тогда $$a\left(x^{4}+2 x^{2}\right)+b(x^{3}+2 x)+c(x^{2}+2)$$ и следовательно $$\begin{array}{l}e_{1}=x^{4}+2 x^{2} \\ e_{2}=x^{3}+2 x \\ e_{3}=x^{2}+2 \end{array}$$
Покажем, что через нашу ЛНЗ систему выражается каждый вектор этого пространства. $$\forall f(x) \in L : f(x)=a x^{4}+b x^{3}+x^{2} c+2 a x^{2}+2 b x+2 c$$ $$\exists \alpha_{1}=a, \alpha_{2}=b, \alpha_{3}=c.$$
Тогда $$\alpha_{1} e_{1}+\alpha_{2} e_{2}+\alpha_{3} e_{3}=$$ $$= a(x^{4}+2 x^{2})+b(x^{3}+2 x)+c(x^{2}+2)$$ $$a x^{4}+2 a x^{2}+b x^{3}+2 b x+c x^{2}+2 c=$$ $$=a x^{4}+b x^{3}+x^{2} c+2 a x^{2}+2 b x+2 c = f(x) \Rightarrow$$ $\Rightarrow \forall f(x)$ линейно выражается через любой вектор $e=\langle e_{1}, e_{2}, e_{3}\rangle$. Тогда $e$ — базис. Размерность равна 3.
Базис и размерность линейного пространства, свойства
Лимит времени: 0
Навигация (только номера заданий)
0 из 5 заданий окончено
Вопросы:
1
2
3
4
5
Информация
Тест для проверки знаний по теме «Базис и размерность линейного пространства, свойства».
Вы уже проходили тест ранее. Вы не можете запустить его снова.
Тест загружается...
Вы должны войти или зарегистрироваться для того, чтобы начать тест.
Вы должны закончить следующие тесты, чтобы начать этот:
Результаты
Правильных ответов: 0 из 5
Ваше время:
Время вышло
Вы набрали 0 из 0 баллов (0)
Средний результат
Ваш результат
Рубрики
Нет рубрики0%
1
2
3
4
5
С ответом
С отметкой о просмотре
Задание 1 из 5
1.
Дополните определение:
Базисом конечномерного пространства называется такая (линейно независимая, ЛНЗ, лнз) система векторов этого пространства, через которую линейно выражается каждый вектор этого пространства.
Задание 2 из 5
2.
Как называется числовая характеристика линейного пространства?
Задание 3 из 5
3.
Что представляют любые два базиса конечномерного пространства?
Задание 4 из 5
4.
Выберите только верные формулировки свойств.
Задание 5 из 5
5.
Расставить базисы в порядке уменьшения размерности(от большего к меньшему).
$z=\langle z_{1}, z_{2}, z_{3}, z_{4}\rangle$
$e=\langle e_{1}, e_{2}, e_{3}\rangle$
$g=\langle g_{1}, g_{2}\rangle$
Литература
Личный конспект, составленный на основе лекций Белозерова Г.С..
Выберем в линейном пространстве [latex]K[/latex], заданном над полем [latex]P[/latex], конечное число векторов [latex]\vec{e_{1}}, \vec{e_{2}}, …, \vec{e_{n}}[/latex].
Определение
Вектор вида [latex]\alpha_{1} \vec{e_{1}}+\alpha_{2}\vec{e_{2}}+…+\alpha_{n}\vec{e_{n}}[/latex] называется линейной комбинацией векторов [latex]\vec{e_{1}}, \vec{e_{2}}, …, \vec{e_{n}}[/latex], где [latex]\alpha_{1}, \alpha_{2}, …, \alpha_{n} \in P[/latex].
Определение
Множество всех линейный комбинаций векторов [latex]\vec{e_{1}}, \vec{e_{2}}, …, \vec{e_{n}}[/latex] называется линейной оболочкой.
Определение
Если непустое подмножество [latex]F[/latex] пространства [latex]K[/latex] само является линейным пространством относительно операций сложения и умножения векторов на скаляр (число), определенных в [latex]K[/latex], то [latex]F[/latex] называется линейным подпространством (обозначается [latex]F \le K[/latex]).
Теорема (критерий подпространства)
[latex]F[/latex] является линейным подпространством [latex]K[/latex], если выполняются такие условия:
Если векторы [latex]\vec{a}[/latex] и [latex]\vec{b}[/latex] принадлежат [latex]F[/latex], то [latex]\vec{a} + \vec{b}[/latex] тоже принадлежат [latex]F[/latex].
[latex]\forall \vec{a}, \vec{b} \in F: \vec{a} + \vec{b} \in F[/latex].
Если вектор [latex]\vec{a}[/latex] принадлежит [latex]F[/latex], то и [latex]\alpha\vec{a}[/latex] тоже принадлежит [latex]F[/latex].
[latex]\forall \vec{a} \in F[/latex], [latex]\forall \alpha \in P:[/latex] [latex]\alpha \vec{a} \in F[/latex]
Спойлер
Если [latex]F[/latex] линейное подпространство [latex]K[/latex], значит [latex]F[/latex] — линейное пространство, соответственно оно замкнуто относительно умножения и сложения векторов на скаляры.
Докажем теперь в обратную сторону. [latex]\vec{a} \in F[/latex]. По второму свойству [latex]0\cdot \vec{a}=\vec 0[/latex] принадлежит [latex]F[/latex]. Так же по второму свойству любой вектор из [latex]F[/latex] содержит в [latex]F[/latex] противоположный себе вектор [latex]-1 \cdot \vec{a}=- \vec{a}[/latex]. Выходит [latex]- \vec{a} + \vec{a}= \vec 0 \in F[/latex]
[свернуть]
Спойлер
[latex]\left \{ 0 \right \}[/latex] — подпространство любого пространства [latex]F[/latex]
[latex]f_{n}[x][/latex] — подпространство [latex]f_{m}[x][/latex], если [latex]n\le m[/latex]
[свернуть]
Спойлер
Условие
Является ли линейным подпространством соответствующего векторного пространства следующая совокупность векторов:
все векторы [latex]n[/latex]-мерного векторного пространства, координаты которых целые числа?
Линейные оболочки и подпространства. Критерий подпространства
Вы уже проходили тест ранее. Вы не можете запустить его снова.
Тест загружается...
Вы должны войти или зарегистрироваться для того, чтобы начать тест.
Вы должны закончить следующие тесты, чтобы начать этот:
Результаты
Правильных ответов: 0 из 3
Ваше время:
Время вышло
Вы набрали 0 из 0 баллов (0)
Рубрики
Нет рубрики0%
максимум из 10 баллов
Место
Имя
Записано
Баллы
Результат
Таблица загружается
Нет данных
Ваш результат был записан в таблицу лидеров
Загрузка
1
2
3
С ответом
С отметкой о просмотре
Задание 1 из 3
1.
Количество баллов: 6
Все [latex]n[/latex]-мерные векторы, у которых первая и последняя координаты равны между собой. Является ли данная совокупность векторов линейным подпространством пространства [latex]\mathbb{R}_{n}[/latex]?
Если (непустое) подмножество некоторого пространства само является линейным пространством относительно операций сложения и (умножения) векторов на (скаляр, число), определенных в данном пространстве, то это подмножество называется линейным подпространством.
Правильно
Неправильно
Задание 3 из 3
3.
Количество баллов: 2
Сопоставить термин и его значение
Элементы сортировки
Вектор вида $\alpha_{1} \vec{e_{1}}+\alpha_{2}\vec{e_{2}}+...+\alpha_{n}\vec{e_{n}}$, где $\alpha_{1}, \alpha_{2}, ..., \alpha_{n} \in P$
Множество всех линейный комбинаций векторов $\vec{e_{1}}, \vec{e_{2}}, ..., \vec{e_{n}}$
Непустое подмножество некоторого пространства, которое само является линейным пространством относительно операций сложения и умножения векторов на скаляр (число), определенных в данном пространстве