Линейные оболочки и подпространства. Критерий подпространства

Выберем в линейном пространстве [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], если выполняются такие условия:

  1. Если векторы [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].
  2. Если вектор [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]-мерного векторного пространства, координаты которых целые числа?

Решение

[latex]X=\mathbb{R}_{n}[/latex]

[latex]L\subset X[/latex]

[latex]L=\left \{ (x_{1}, x_{2}, …, x_{n}) | x_{i}\in \mathbb{Z}, i=\overline{1, n}\right \}[/latex]

[latex]\forall \vec{x}, \vec{y} \in L[/latex], [latex]\forall \alpha, \beta \in \mathbb{R}[/latex]:

[latex]\alpha \vec{x} + \beta \vec{y} \overset{?}{\in L}[/latex]

Возьмем [latex]\alpha=\frac{1}{2}[/latex] и [latex]\beta=1[/latex]

[latex]\vec{x}=(1, 1, …, 1)[/latex], [latex]\vec{y}=(-1, -1, …, -1)[/latex]

[latex]\alpha \vec{x} + \beta \vec{y}=[/latex] [latex](\frac{1}{2}, \frac{1}{2}, …, \frac{1}{2})+[/latex] [latex](-1, -1, …, -1)=[/latex] [latex](-\frac{1}{2}, -\frac{1}{2}, …, -\frac{1}{2})\notin L[/latex] [latex]\Rightarrow[/latex] [latex]L \not\le X[/latex]

[свернуть]

Тест

Линейные оболочки и подпространства. Критерий подпространства

Таблица лучших: Линейные пространства

максимум из 10 баллов
Место Имя Записано Баллы Результат
Таблица загружается
Нет данных

Источники

Г. С. Белозеров. Конспект лекций по линейной алгебре.

В. В. Воеводин. Линейная алгебра. Издание второе, переработанное и дополненное. Москва «НАУКА» 1980. (стр. 42-43)

А. Г. Курош. Курс высшей алгебры. Издание десятое. Стереотипное. Москва «НАУКА» 1971. (стр. 201-202)

И. В. Проскуряков.  Сборник задач по линейной алгебре. Издание шестое. Стереотипное. Москва «Наука», 1984. (стр. 168-170)

Добавить комментарий

Ваш адрес email не будет опубликован. Обязательные поля помечены *