Базис и размерность линейного пространства, свойства

Определение 1. Базисом конечномерного пространства называется такая линейно независимая система (далее ЛНЗ) векторов этого пространства, через которую линейно выражается каждый вектор этого пространства.

Базис имеет огромное значение при изучении конечномерных линейных пространств, и часто используется в различных исследованиях. Он позволяет очень легко описать строение любого линейного пространства, заданного над произвольным полем.

Любой вектор $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} Х$.

Свойства базиса

  1. Любая линейно независимая система $n$-мерного пространства, содержащая $n$ векторов, является базисом этого пространства.
  2. Любая система $n$-мерного пространства, содержащая более $n$ векторов линейно зависима.
  3. Любой вектор конечномерного пространства однозначно линейно выражается через базис.

Еще одно свойство базиса сформулируем в виде небольшой леммы и докажем ее.

Лемма 2. Каждую линейно независимую систему векторов конечномерного пространства можно пополнить до базиса этого пространства.

Пусть задано линейное пространство $X$ над произвольным полем $\mathbb{P}$. Пусть в этом пространстве задана ЛНЗ система векторов $\left\langle x_{1}, x_{2}, \ldots, x_{k}\right\rangle.$ А размерность $\operatorname{dim} Х = n $.

  1. При $k=n$ очевидно, что наша система векторов сама является базисом(свойство $1$).
  2. При $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 (критерий базиса). Система векторов является базисом пространства тогда и только тогда, когда она максимально линейно независима.

Примеры решения задач

Рассмотрим несколько типовых задач нахождения базиса и размерности.

  1. Показать, что следующая система векторов образуют линейное пространство. Найти базис и размерность. Все $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.$$

    Построим стандартный базис: $$e_{1}=(1,0,0,0, \ldots, 0)\rightarrow e_{1}^{\prime}=(1,0,1,0, \ldots)$$ $$e_{2}=(0,1,0,0, \ldots, 0)\rightarrow e_{1}^{\prime}=(0,1,0,1, \ldots)$$ $$e_{3}=(0,0,1,0, \ldots, 0)\rightarrow e_{3}^{\prime}=(1,0,1,0, \ldots)$$ $$e_{4}=(0,0,0,1, \ldots, 0)\rightarrow e_{4}^{\prime}=(0,1,0,1, \ldots)$$

    Следовательно, $\left\langle e_{1}^{\prime}, e_{2}^{\prime}\right\rangle$ — базис $L$. Размерность равна 2.

  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 ?$$

    Покажем сначала принадлежность к $M_{2}(\mathbb{R})$. Пусть $$A=\left(\begin{array}{ll} a_{1} & b_{1} \\ c_{1} & d_{1} \end{array}\right) \quad B=\left(\begin{array}{ll} a_{2} & b_{2} \\ c_{2} & d_{2} \end{array}\right),$$ тогда $$\alpha \cdot\left(\begin{array}{ll} a_{1} & b_{1} \\ c_{1} & d_{1}\end{array}\right)+\beta \cdot\left(\begin{array}{ll} a_{2} & b_{2} \\ c_{2} & d_{2} \end{array}\right)= \left(\begin{array}{ll} \alpha a_{1} & \alpha b_{1} \\ \alpha c_{1} & \alpha d_{1} \end{array}\right)+\left(\begin{array}{ll} \beta a_{2} & \beta b_{2} \\ \beta c_{2} & \beta d_{2} \end{array}\right)=$$ $$=\left(\begin{array}{ll} \alpha a_{1}+\beta a_{2} & \alpha b_{1}+\beta b_{2} \\ \alpha c_{1}+\beta c_{2} & \alpha d_{1} +\beta d_{2} \end{array}\right) \in M_{2}(\mathbb{R})$$

    Можем доказать, что $L$ является подпространством $X$. $$\left.\begin{array}{l} d_{1}=a_{1}+b_{1}+c_{1} \\ d_{2}=a_{2}+b_{2}+c_{2} \end{array}\right\} \Rightarrow\begin{array}{l} \alpha d_{1}=\alpha a_{1}+\alpha b_{1}+\alpha c_{1} \\ \alpha d_{2}=\alpha a_{2}+\alpha b_{2}+\alpha c_{2} \end{array} \Rightarrow$$ $$\Rightarrow \alpha d_{1}+\beta d_{2}=(\alpha a_{1}+ \beta a_{2})+(\alpha b_{1} + \beta b_{2})+(\alpha c_{1} + \beta c_{2}) \Rightarrow$$ $$\Rightarrow (\alpha A + \beta B) \in L \Rightarrow L \subset X.$$

    Теперь найдем базис исходя из условий.$$ E_{11}=\left(\begin{array}{ll} 1 & 0 \\ 0 & 0 \end{array}\right)\rightarrow E_{11}^{\prime}=\left(\begin{array}{ll} 1 & 0 \\0 & 1\end{array}\right)$$ $$ E_{12}=\left(\begin{array}{ll} 0 & 1 \\ 0 & 0 \end{array}\right)\rightarrow E_{12}^{\prime}=\left(\begin{array}{ll} 0 & 1 \\0 & 1\end{array}\right)$$ $$ E_{21}=\left(\begin{array}{ll} 0 & 0 \\ 1 & 0 \end{array}\right)\rightarrow E_{21}^{\prime}=\left(\begin{array}{ll} 0 & 0 \\1 & 1\end{array}\right)$$ $$ E_{22}=\left(\begin{array}{ll} 0 & 0 \\ 0 & 1 \end{array}\right)\rightarrow \nexists$$

    Предполагаемый базис: $E^{\prime}=\left\langle E^{\prime}_{11}, E^{\prime}_{12}, E^{\prime}_{21} \right\rangle$. Проверим ЛНЗ нашего базиса.

    Пусть $$\alpha_{1}E^{\prime}_{11}+ \alpha_{2}E^{\prime}_{12}+ \alpha_{3}E^{\prime}_{21}=0,$$ тогда $$\left(\begin{array}{ll}\alpha_{1} & \alpha_{2} \\\alpha_{3} & \alpha_{1}+\alpha_{2}+\alpha_{3}\end{array}\right)=\left(\begin{array}{ll}0 & 0 \\0 & 0\end{array}\right) \Rightarrow \alpha_{1}=\alpha_{2}=\alpha_{3}=0 \Rightarrow$$ $\Rightarrow$ по критерию ЛНЗ, $E^{\prime}$ — ЛНЗ.

    Покажем, что через нашу ЛНЗ систему выражается каждый вектор этого пространства. Вспомним, что по условию $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.

  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}$$

    Наш предполагаемый базис: $e=\langle e_{1}, e_{2}, e_{3}\rangle$. Докажем ЛНЗ нашего базиса. $$\alpha_{1} e_{1}+\alpha_{2} e_{2}+\alpha_{3} e_{3}=$$ $$=\alpha_{1} x^{4}+\alpha_{1} 2 x^{2}+\alpha_{2} x^{3}+\alpha_{2} 2 x+\alpha_{3} x^{2}+2 \alpha_{3}=0$$ $$\Rightarrow \alpha_{1}=\alpha_{2}=\alpha_{3}=0 \Rightarrow$$ $\Rightarrow$ по критерию ЛНЗ, $e$ — ЛНЗ.

    Покажем, что через нашу ЛНЗ систему выражается каждый вектор этого пространства. $$\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.

Базис и размерность линейного пространства, свойства

Тест для проверки знаний по теме «Базис и размерность линейного пространства, свойства».

Литература

  1. Личный конспект, составленный на основе лекций Белозерова Г.С..
  2. Воеводин В.В. Линейная алгебра М.: Наука, 1980.-400 с. (стр. 50-54)
  3. Фадеев Д.К. Лекции по алгебре. М.: Наука, 1984.-416 с. (стр. 301-305)
  4. Проскуряков И.В. Сборник задач по линейной алгебре. М.: Наука, 1984.-384 с. (стр. 204-211)

Линейность несобственных интегралов

Пусть функции [latex]f(x)[/latex] и [latex]g(x)[/latex] определены и непрерывнына промежутке [latex][a,b)[/latex], где [latex]b[/latex] может быть и [latex]+\infty[/latex]. Если интегралы $\int_{a}^{b}f(x)dx$ и $\int_{a}^{b}g(x)dx$ то для всех [latex]\alpha, \beta \in R[/latex], тогда интеграл $\int_{a}^{b}(\alpha f(x)+\beta g(x))$ -сходится и имеет место равенство:

$$\int\limits_{a}^{b}(\alpha f(x)+\beta g(x))=\alpha\int\limits_{a}^{b}f(x)dx+\beta\int\limits_{a}^{b}g(x)dx$$

Доказательство

Доказательство следует из линейности собственного интеграла Римана. Действительно, для [latex]\varepsilon < b[/latex] имеем

$$\int\limits_{a}^{\varepsilon}(\alpha f(x)+\beta g(x))=\alpha\int\limits_{a}^{\varepsilon}f(x)dx+\beta\int\limits_{a}^{\varepsilon}g(x)dx$$

и, переходя к пределу при [latex]\varepsilon \to b (\varepsilon < b)[/latex] и учитывая то, что приделы существуют по условию, получаем искомое равенство.

Замечание

Если интеграл $\int_{a}^{b}f(x)$ расходится, а интеграл $\int_{a}^{b}g(x)dx$ сходится, то интеграл $\int_{a}^{b}(f(x) + g(x))$ расходится. Если бы интеграл от $ f + g$ сходился, то сходился бы и интеграл от $f = (f + g) — g$, что неверно.

Литература

Тест : Линейность несобственных интегралов

Тест на знание темы «Линейность несобственных интегралов»

Неопределённый интеграл и его свойства

Пусть функция [latex]f[/latex] определена на некотором промежутке. Совокупность всех ее первообразных на этом промежутке называется неопределённым интегралом от функции [latex]f[/latex] и обозначается $$\int f(x)dx.$$
Символ [latex]\int[/latex] называется знаком интеграла, а [latex]f(x)[/latex] —подынтегральной функцией.

Если [latex]F(x)[/latex] — какая-либо первообразная функции [latex]f[/latex] на рассматриваемом промежутке, то пишут

[latex]\int f(x)dx=F(x)+C[/latex],

где [latex]C[/latex] — произвольная постоянная.

Нахождение неопределённого интеграла. от заданной функции называют интегрированием.

Следует отметить, что всякое равенство, в обеих частях которого стоят неопределённые интегралы, есть равенство между множествами.

Под знаком интеграла пишут не саму функцию [latex]f[/latex], а ее произведение на дифференциал. Это делается, например, для того, чтобы указать, по какой переменной ищется первообразная.

Спойлер

[latex]\int x^2z dx=\frac{x^3z}{3}+C[/latex]

[свернуть]

Спойлер

[latex]\int x^2z dz=\frac{x^2z^2}{2}+C[/latex]

[свернуть]

Спойлер

[latex]\int \frac{3}{2} \sqrt{x} dx=x^\frac{3}{2}+C=x \sqrt{x}+C[/latex], [latex]x\in[0,\infty][/latex]

[свернуть]

см. Таблица основных интегралов

Свойства неопределённого интеграла

Все рассматриваемые в этом пункте функции определены на некотором фиксированном промежутке [latex]\bigtriangleup[/latex].

Спойлер

  Если функция [latex]F[/latex] дифференцируема на некотором промежутке, то 

[latex]\int dF(x)=F(x)+C[/latex] 

 или

[latex]\int F'(x)dx=F(x)+C[/latex]. 

 

Это следует из определения первообразной.

[свернуть]

Спойлер

Если [latex]\int f(x)dx=F(x)+C[/latex] и  [latex]\int g(x)dx=G(x)+C[/latex], то  [latex]\int [f(x)+g(x)]dx=F(x)+G(x)+C[/latex], или

[latex]\int [f(x)+g(x)]dx=\int f(x)dx + \int g(x)dx[/latex]


Действительно, при наших предположениях имеет место равенство

[latex](F(x)+G(x))’=F'(x)+G'(x)=f(x)+g(x).[/latex]

[свернуть]

Спойлер

Если [latex]\int f(x)dx=F(x)+C[/latex], то для любого действительного числа [latex]\alpha\ne 0[/latex] [latex] \int[\alpha f(x)] dx=\alpha F(x)+C[/latex], или

[latex]\int[\alpha f(x)] dx=\alpha \int f(x) dx[/latex]

Это равенство очевидно следует из определения. Заметим, что при [latex]\alpha=0[/latex] оно не верно по той причине, что в левой части совокупность всех постоянных, а в правой — тождественный нуль.

[свернуть]

Спойлер

Если [latex] \int f(t)dt=F(t)+C[/latex], то для любого [latex] a\ne 0[/latex] и для любого [latex]b[/latex]

[latex] \int f(ax+b)d=\frac{1}{a} F(ax+b)+C.[/latex]

Действительно,

[latex] [\frac{1}{a} F(ax+b)]’=\frac{1}{a} F'(ax+b)a=f(ax+b)[/latex].

 

[свернуть]

Спойлер

Если [latex]f[/latex] и [latex]g[/latex] имеют первообразные на промежутке [latex]\bigtriangleup[/latex], а [latex]\alpha[/latex] и [latex]\beta[/latex] — числа, то функция [latex]\alpha f+\beta g[/latex] также имеет первообразную на [latex]\bigtriangleup[/latex], причём при [latex]\alpha^2+\beta^2>0[/latex] выполняется равенство

[latex]\int(\alpha f(x)+\beta g(x)) dx=\alpha\int f(x)dx+\beta\int g(x)dx[/latex].

 

[свернуть]

Литература.

  1. Лысенко З.М., Конспект лекций по математическому анализу, 2012
  2. Зарубин В.С., интегральное исчисление функций одного переменного — М.: Изд-во МГТУ им. Н.Э. Баумана, 1999., Стр. 16
  3. Кудрявцев Л.Д., Курс Математического Анализа. — М.: Дрофа; 2003, Т.1. Стр. 454-455
  4. Кудрявцев Л.Д., Курс Математического Анализа. — М.: Дрофа; 2003, Т.1. Стр. 456-458
  5. В. И. Коляда, А. А. Кореновский. Курс лекций по математическому анализу. К93:в 2-х ч. Ч. 1. — Одесса: Астропринт, 2009. (стр. 158-159)

 Тест.

Неопределённый интеграл и его свойства

Неопределённый интеграл и его свойства

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

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