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

Выберем в линейном пространстве [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)

Подгруппы. Критерий подгруппы

Определение

Подмножество [latex]H[/latex] группы [latex]G[/latex] называется подгруппой этой группы (обозначают [latex]H \le G[/latex]), если оно само является группой относительно сужения операции, определенной в группе [latex]G[/latex].

Теорема (Критерий подгруппы)

Непустое подмножество [latex]H[/latex] группы [latex]G[/latex] будет подгруппой тогда и только тогда, когда [latex]h_{1}h_{2}\in H[/latex] и [latex]h_{1}^{-1}\in H[/latex] для всех [latex]h_{1},h_{2} \in H[/latex]

Обозначается

[latex]<G, \ast>[/latex] — группа.

[latex]H \subseteq G[/latex]

[latex]H \le G \Leftrightarrow[/latex] [latex](\forall h_{1}, h_{2}\in H)[h_{1}\ast h_{2}^{-1}\in H][/latex]

Спойлер

Пусть [latex]H[/latex] — подгруппа группы [latex]G[/latex], т. е. [latex]H[/latex] — группа  относительно сужения операции, определенной в группе [latex]G[/latex]. Определена алгебраическая операция в [latex]H[/latex], поэтому [latex]h_{1}h_{2}\in H[/latex] для всех [latex]h_{1},h_{2}\in H[/latex].

Проверим что единица [latex]e_{1}[/latex] подгруппы [latex]H[/latex] совпадает с единицей [latex]e[/latex] группы [latex]G[/latex]. Ясно, что [latex]e_{1}e=[/latex] [latex]ee_{1}=[/latex] [latex]e_{1}[/latex], т. к. [latex]e_{1}[/latex] — элемент из [latex]G[/latex].  В группе [latex]G[/latex] для [latex]e_{1}[/latex] имеется обратный элемент [latex]e_{1}^{-1}[/latex], то есть [latex]e_{1}^{-1}e_{1}=[/latex] [latex]e_{1}e_{1}^{-1}=[/latex] [latex]e[/latex]. Так как [latex]e_{1}[/latex] — единица в [latex]H[/latex], то [latex]e_{1}e_{1}=e [/latex]. Умножив обе части последнего равенства  на [latex]e_{1}^{-1}[/latex], получим: [latex]e_{1}^{-1}e_{1}e_{1}=[/latex] [latex]e_{1}^{-1}e_{1}[/latex] или [latex]ee_{1}=e[/latex], поэтому [latex]e_{1}=e[/latex]. Таким образом, единицы подгруппы [latex]H[/latex] и группы [latex]G[/latex] совпадают.

Так как [latex]H[/latex] подгруппа, то для каждого [latex]h\in H[/latex] существует в подгруппе [latex]H[/latex] обратный элемент [latex]h^{-1}[/latex], то есть такой элемент, что [latex]h^{-1}h=[/latex] [latex]hh^{-1}=[/latex] [latex]e_{1}=[/latex] [latex]e[/latex]. Это означает, что [latex]h^{-1}[/latex] является обратным элементом в группе [latex]G[/latex] для элемента [latex]h\in H[/latex].

Обратно, пусть [latex]h_{1}h_{2}[/latex] и [latex]h_{1}^{-1}\in H[/latex] для всех [latex]h_{1}, h_{2}\in H[/latex]. Тогда алгебраическая операция определенна на [latex]H[/latex]. Она ассоциативна в [latex]H[/latex], так как ассоциативность справедлива для всех элементов из [latex]G[/latex]. Элемент [latex]h^{-1}[/latex] обратный [latex]h \in H[/latex] также принадлежит [latex]H[/latex], поэтому [latex]h^{-1}h \in H[/latex] и [latex]hh^{-1}[/latex]. Поскольку [latex]h^{-1}h=[/latex] [latex]e=[/latex] [latex]hh^{-1}[/latex], то [latex]e \in H[/latex] и [latex]H[/latex] — группа.

[свернуть]

 

Спойлер

[latex]<\mathbb{Z}, +>[/latex] — группа,

[latex]3\mathbb{Z} \subseteq \mathbb{Z}[/latex],

Z

[latex]3\mathbb{Z} \overset{?}{\le} \mathbb{Z}[/latex],

[latex] a,b \in 3\mathbb{Z} \Rightarrow[/latex] [latex]a=3m_{1} \wedge b=3m_{2}[/latex],

[latex]-b=-(3m_{2})[/latex],

[latex]a+(-b)=[/latex] [latex]3m_{1}+(-3m_{2})=[/latex] [latex]3m_{1}-3m_{2}=[/latex] [latex] 3(m_{1}-m_{2})=[/latex] [latex]3m_{3}\in 3\mathbb{Z}[/latex],

[latex]3\mathbb{Z} \le \mathbb{Z}[/latex]

[свернуть]

Тест

Подгруппы. Критерий подгруппы.

Таблица лучших: Подгруппа

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

Источник

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

В. С. Монахов. Учебное пособие «Введение в теорию конечных групп и их классов». Гомель 2003 (стр. 20-21)

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

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

Равномерная непрерывность функции. Теорема Кантора

Определение

Функция $f$ определенна на множестве $X\subset R^{n}$ называется равномерно непрерывной на $X,$ если $\forall\varepsilon > 0,$ $\exists\delta = \delta(\varepsilon) > 0,$ что для любых двух точек $x, y \in X,$ удовлетворяющих условию $\rho(x, y) < \delta,$ выполняется неравенство $|f(x)-f(y)|<\varepsilon$.

Теорема Кантора

Если функция $f$ определенна и непрерывна на компактном множестве, то она равномерно непрерывна на этом множестве.

Спойлер

Пусть функция $f$ определена и непрерывна на компактном множестве $M\subset R^{n}$.

$\forall x_{0} \in M,$ $\forall \varepsilon’ > 0,$ $\exists \delta’ = \delta'(x_{0}, \varepsilon’)>0$

такое, что если $x\in M,$ то$\rho(x_{0}, x)<\delta’,$ то $|f(x_{0})-f(x)|<\varepsilon’$. Выберем произвольное $\varepsilon>0$ и положим $\varepsilon’=\frac{\varepsilon}{2}$. Построим для каждой точки $x_{0}\in M$ окрестность

$U(x_{0}, \frac{\delta’}{2})=$ $U(x_{0}, \frac{\delta'(x_{0}, \varepsilon’)}{2})$

Объединение таких окрестностей покрывает множество $K$. Поскольку $K$ — компактное множества, то из построенного открытого покрытия можно выделить конечное подпокрытие $\left \{U(x_{k}, \frac{\delta’_{k}}{2})\right \}_{k=1}^{m}$ такое, что

$K \subset \underset{k=1}{\overset{m}{\bigcup}}U(x_{k}, \frac{\delta’_{k}}{2})$.

Положим $\delta= min(\frac{\delta’_{1}}{2}, … , \frac{\delta’_{m}}{2})$. Возьмем произвольные точки $x, y \in M,$ для которых $\rho<\delta$. Поскольку $M$ покрывается системой $\left \{U(x_{k}, \frac{\delta’_{k}}{2})\right \}_{k=1}^{m},$ то найдется такой номер $k_{0},$ что $x\in U(x_{k_{0}}, \frac{\delta’_{k_{0}}}{2})$. Тогда $\rho(x_{k_{0}}, x)< \frac{\delta’_{k_{0}}}{2}$ и $\rho(x_{k_{0}}, y) \le$ $\rho(x_{k_{0}}, x) + $ $\rho(x_{k_{0}}, y)<$ $\frac{\delta’_{k_{0}}}{2}+\delta<$ $\delta’_{k_{0}}$. Следовательно

$|f(x)-f(y)|\le$ $|f(x)-f(x_{k_{0}})| + $ $|f(x_{k_{0}})-f(y)|<$ $\varepsilon’+ \varepsilon’ =$ $\varepsilon$

[свернуть]

Тест

Тест по теме: «Равномерная непрерывность функции. Теорема Кантора»

Таблица лучших: Равномерная непрерывность функции. Теорема Кантора

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

Источники

Г.М. Фихтенгольц  Курс дифференциального интегрального исчисления т.1 (стр. 370-371)

Г. М. Вартанян. Конспект лекцiй з математичного аналiзу. Одеса 2009 (стр. 11-12).

Второй замечательный предел. Следствия

Вторым замечательным пределом называется равенство

[latex]\lim_{x\rightarrow 0}\limits (1+x)^{\frac{1}{x}}=e[/latex].

Замечательный предел

Спойлер

Будем использовать определение предела по Гейне. Пусть [latex]\left \{x_n\right\}_{n=1}^{\infty}[/latex] — некоторая числовая последовательность со свойством

[latex]x_n>0[/latex], [latex] \forall n\in \mathbb{N}[/latex]

 [latex]\lim_{x\rightarrow 0}\limits x_n = 0[/latex].

Согласно принципу Архимеда [latex]\forall n \in \mathbb{N} \: \: \exists m_n \in \mathbb{N}[/latex], что [latex]m_n\leqslant \frac{1}{x_n}<m_n+1[/latex]. Тогда

[latex](1+\frac{1}{m_n+1})^{m_n}\leqslant[/latex][latex](1+x_n)^{\frac{1}{x_n}}\leqslant[/latex][latex](1+\frac{1}{m_n})^{m_n+1}[/latex].

Поскольку [latex]\lim_{n \rightarrow \infty}\limits (1+\frac{1}{n})^{n}=e[/latex], то

[latex]\lim_{n \rightarrow \infty}\limits (1+\frac{1}{m_n+1})^{m_n}=[/latex][latex]\lim_{n \rightarrow \infty}\limits (1+\frac{1}{m_n+1})^{m_n+1}\cdot[/latex] [latex](1+\frac{1}{m_n+1})^{-1}=e[/latex], [latex] \lim_{n \rightarrow \infty}\limits (1+\frac{1}{m_n})^{m_n+1}=[/latex][latex]\lim_{n \rightarrow \infty}\limits (1+\frac{1}{m_n})^{m_n} \cdot[/latex] [latex](1+\frac{1}{m_n})=e[/latex].

Отсюда, по теореме о трёх последовательностях, имеем

[latex]\lim_{n \rightarrow \infty}\limits(1+x_n)^{\frac{1}{x_n}}=e[/latex].

Дальше, пусть [latex]\left \{x_n\right\}_{n=1}^{\infty}[/latex] — числовая последовательность со свойством

[latex]-1<x_n<0[/latex], [latex]\forall n \in \mathbb{N}[/latex]

 [latex]\lim_{n \rightarrow \infty}\limits (x_n)=0[/latex].

Для этой последовательности, имеем

[latex](1+x_n)^{\frac{1}{x_n}}=[/latex][latex](1+x_n)^{\frac{-1}{-x_n}}=[/latex][latex]\frac{1}{(1+x_n)^{-\frac{1}{x_n}}}[/latex].

Обозначим

[latex]{z}_{n}=-\frac{{x}_{n}}{1+{x}_{n}}[/latex].

Тогда [latex]{z}_{n}>0[/latex] и

[latex]\frac{1}{{(1+{x}_{n})^{-\frac{1}{{x}_{n}}}}}=[/latex] [latex](1-\frac{{x}_{n}}{1+{x}_{n}})^{-\frac{1}{{x}_{n}} \cdot \frac{1+{x}_{n}}{1+{x}_{n}}}=[/latex] [latex](1+{z}_{n})^{\frac{{z}_{n}+1}{{z}_{n}}}=[/latex] [latex](1+{z}_{n})^{1+\frac{1}{{z}_{n}}}=[/latex] [latex](1+{z}_{n})^{\frac{1}{{z}_{n}}} \cdot (1+{z}_{n})[/latex].

Таким образом, учитывая первую часть доказательства, получаем

[latex]\lim_{n \rightarrow \infty}\limits(1+x_n)^{\frac{1}{x_n}}=e[/latex].

Объединяя эти два случая имеем:

[latex]\lim_{n \rightarrow \infty}\limits(1+x)^{\frac{1}{x}}=e[/latex].

[свернуть]

Спойлер

  1. [latex]\lim_{x \rightarrow 0}\limits\frac{ln(1+x)}{x}=1[/latex],
  2. [latex]\lim_{x \rightarrow 0}\limits\frac{a^{x}-1}{x}=\ln a[/latex] latex](a>0)[/latex],
  3. [latex]\lim_{x \rightarrow 0}\limits\frac{(1+x)^{a}-1}{x}=a[/latex].

[свернуть]

Рассмотрим 2 примера.

Спойлер

Найдем предел [latex]\lim_{x \rightarrow\infty}\limits(1+\frac{t}{x})^{x}[/latex].

Здесь параметр [latex]t\in\mathbb{R}[/latex] — фиксированное число. При вычислении предела он будет рассматриваться как постоянная. Сделаем замену [latex]a=\frac{t}{x}[/latex], тогда [latex]a\overset{x\rightarrow\infty}{\rightarrow}0[/latex] и [latex]x=\frac{t}{a}[/latex]. Поскольку показательная функция непрерывна, то можно перейти к пределу под знаком этой функции. Поэтому

[latex]\lim_{x \rightarrow\infty}\limits(1+\frac{t}{x})^{x}=[/latex] [latex]\lim_{a \rightarrow0}\limits(1+a)^{\frac{1}{a}\cdot t}=[/latex] [latex](\lim_{a \rightarrow0}\limits(1+a)^{\frac{1}{a}})^{t}=[/latex] [latex]e^{t}[/latex]

[свернуть]
Спойлер

Найдем предел [latex]\lim_{x \rightarrow\infty}\limits(\frac{x+1}{x+3})^{2x+1}[/latex]

[latex]\lim\limits_{x \rightarrow\infty}(\frac{x+1}{x+3})^{2x+1}=[/latex] [latex]\lim\limits_{x \rightarrow\infty}(1-\frac{2}{x+3})^{(-\frac{x+3}{2}) \cdot (-\frac{2}{x+3})\cdot(2x+1)}=[/latex] [latex]\lim\limits_{x \rightarrow\infty}e^{-\frac{4x+2}{x+3}}= [/latex] [latex]e^{-4}=[/latex] [latex]\frac{1}{e^{4}}[/latex]

[свернуть]

Тест

Замечательный предел

Таблица лучших: Замечательный предел

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

Источники

Г. М. Вартанян. Конспект лекцiй з математичного аналiзу. Одеса 2009 (стр. 26-27).

Б. П. Демидович. Cборник задач и упражнений по математическому анализу (стр 60-63).