дипломы,курсовые,рефераты,контрольные,диссертации на заказ
 

Существование решения системы линейных уравнений общего вида

        Определение 15.3   Система (15.1) называется совместной, если она имеет хотя бы одно решение, и несовместной -- в противном случае, то есть в случае, когда решений у системы нет.         

Вопрос о том, имеет ли система решение или нет, связан не только с соотношением числа уравнений и числа неизвестных. Например, система из трех уравнений с двумя неизвестными

$\displaystyle \left\{\begin{array}{l}x_1+x_2=1,\\ 2x_1+2x_2=2,\\ 3x_1+3x_2=3\end{array}\right.$(15.4)
 


имеет решение $ {x_1=2}$ , $ {x_2=-1}$ и даже имеет бесконечно много решений, а система из двух уравнений с тремя неизвестными

$\displaystyle \left\{\begin{array}{l}x_1+x_2+x_3=0,\\ 2x_1+2x_2+2x_3=1\end{array}\right.$(15.5)
 


решений не имеет, то есть является несовместной.

Ответ на вопрос о совместности произвольной системы уравнений (15.1) дает приведенная ниже теорема.

        Определение 15.4   Расширенной матрицей системы линейных уравнений (15.1) называется матрица $ A^*$ , отличающаяся от матрицы $ A$ системы наличием дополнительного столбца из свободных членов:
Свойства градиента и производной по направлению Криволинейный интеграл Первоначально функции управления системой коммутации возлагались на операторов.
$\displaystyle A^*=\left(\begin{array}{ccccc}a_{11}&a_{12}&\dots&a_{1n}&b_1\\ ... ...{2n}&b_2\\ \hdotsfor{5}\\ a_{m1}&a_{m2}&\dots&a_{mn}&b_m\end{array}\right).$
        
        Предложение 15.1   Ранг расширенной матрицы $ A^*$ либо равен рангу матрицы системы $ A$ , либо больше его на единицу.

        Доказательство.    Так как любая линейно независимая система столбцов матрицы $ A$ является линейно независимой системой столбцов матрицы $ A^*$ , то в силу предложения 14.26 $ {{\rm Rg}A\leqslant {\rm Rg}A^*}$ .

Пусть $ {{\rm Rg}A=r}$ . Предположим, что $ {{\rm Rg}A^*=r+k}$ , $ {k>1}$ . Тогда в матрице $ A^*$ есть линейно независимая система из $ {r+k}$ столбцов. Среди этих столбцов может быть только один, не принадлежащий матрице $ A$ . Тогда подсистема остальных $ {r+k-1}$ столбцов, принадлежащих матрице $ A$ , должна быть линейно независимой. Следовательно, $ {{\rm Rg}A\geqslant r+k-1}$ . Получили противоречие. Предположение, что $ {k>1}$ , неверно.     

 

Непрерывность функции на интервале и на отрезке

 

  Определение 3.4   Назовём функцию $ f(x)$ непрерывной на множестве $ A\sbs\mathcal{D}(f)$, если
$ \forall\ x_0\in A\ \exists\ \lim\limits_{\mathcal{B}(x_0)^A}f(x)=f(x_0)).$     

Нетрудно видеть, что тогда при $ A=(a;b)$ и при $ A=[a;b]$ это определение совпадает с теми, что были выше даны специально для интервала и отрезка.

Напомним, что все элементарные функции непрерывны во всех точках своих областей определения и, следовательно, непрерывны на любых интервалах и отрезках, лежащих в их областях определения.

Поскольку непрерывность на интервале и отрезке определяется поточечно, имеет место теорема, которая является непосредственным следствием теоремы 3.1:

        Теорема 3.5   Пусть $ f(x)$ и $ g(x)$ -- функции и $ I$ -- интервал или отрезок, лежащий в $ \mathcal{D}(f)\cap\mathcal{D}(g)$. Пусть $ f$ и $ g$ непрерывны на $ I$. Тогда функции $ h_1(x)=f(x)+g(x)$, $ h_2(x)=f(x)-g(x)$, $ h_3(x)=f(x)g(x)$ непpеpывны на $ I$. Если вдобавок $ g(x)\ne0$ пpи всех $ x\in I$, то функция $ h_4(x)=\dfrac{f(x)}{g(x)}$ также непpеpывна на $ I$.     

Из этой теоpемы вытекает следующее утвеpждение, точно так же, как из теоpемы 3.1 -- пpедложение 3.3:

        Предложение 3.4   Множество $ \mathcal{C}_I$ всех функций, непpеpывных на интеpвале или отpезке $ I\sbs\mathbb{R}$ -- это линейное пpостpанство:
$\displaystyle f_1(x),f_2(x)\in\mathcal{C}_I;C_1,C_2=\mathrm{const}\quad\Longrightarrow \quad C_1f_1(x)+C_2f_2(x)\in\mathcal{C}_I.$
    

Более сложное свойство непрерывной функции выражает следующая теорема.

Свойства градиента и производной по направлению Криволинейный интеграл Первоначально функции управления системой коммутации возлагались на операторов.

        Теорема 3.6 (о корне непрерывной функции)   Пусть функция $ f$ непрерывна на отрезке $ [a;b]$, причём $ f(a)$ и $ f(b)$ -- числа разных знаков. (Будем для определённости считать, что $ f(a)<0$, а $ f(b)>0$.) Тогда существует хотя бы одно такое значение $ x_0\in(a;b)$, что $ f(x_0)=0$ (то есть существует хотя бы один корень $ x_0$ уравнения $ f(x)=0$).

        Доказательство.     Рассмотрим середину отрезка $ c_1=\dfrac{a+b}{2}$. Тогда либо $ {f(c_1)=0}$, либо $ f(c_1)<0$, либо $ f(c_1)>0$. В первом случае корень найден: это $ x_0=c_1$. В остальных двух случаях рассмотрим ту часть отрезка, на концах которой функция $ f$ принимает значения разных знаков: $ [c_1;b]$ в случае $ f(c_1)<0$ или $ [a;c_1]$ в случае $ f(c_1)>0$. Выбранную половину отрезка обозначим через $ [a_1;b_1]$ и применим к ней ту же процедуру: разделим на две половины $ [a_1;c_2]$ и $ [c_2;b_1]$, где $ c_2=\dfrac{a_1+b_1}{2}$, и найдём $ f(c_2)$. В случае $ f(c_2)=0$ корень найден; в случае $ f(c_2)<0$ рассматриваем далее отрезок $ [a_2;b_2]=[c_2;b_1]$, в случае $ f(c_2)>0$ -- отрезок $ [a_2;b_2]=[a_1;c_2]$ и т. д.

Неопределенный интегралВекторное произведение векторов

Трассировка пиксельных изображений Adobe Illustrator Линейные блоковые коды