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

Матрицы Определители

С понятием определителя мы уже сталкивались при изучении векторного произведения в разделе 10. Там были введены определители матриц второго и третьего порядка. В этом разделе мы дадим определение определителя квадратной матрицы любого порядка. Это определение будет рекуррентным, то есть чтобы установить, что такое определитель матрицы порядка $ n$ , нужно уже знать, что такое определитель матрицы порядка $ {n-1}$ . Такое рекуррентное определение и было использовано для введения определителя матрицы третьего порядка . Отметим также, что определитель существует только у квадратных матриц.

Определитель квадратной матрицы $ A$ будем обозначать $ \vert A\vert$ или $ \det A$ .

        Определение 14.6   Определителем квадратной матрицы $ {A=\left(\begin{array}{rr}a_{11}&a_{12}\\ a_{21}&a_{22} \end{array}\right)}$ второго порядка называется число $ {\vert A\vert=a_{11}a_{22}-a_{12}a_{21}}$ . Определителем квадратной матрицы $ {A=\left(\begin{array}{rrrr}a_{11}&a_{12}&\cdots&a_{1n}\\ a_{21}&a_{22}&\cdo... ...n}\\ \dots&\dots&\dots&\dots\\ a_{n1}&a_{n2}&\cdots &a_{nn}\end{array}\right)}$ порядка $ n$ , $ n\geqslant 3$ , называется число
$\displaystyle \vert A\vert=\sum_{k=1}^n(-1)^{k+1}a_{1k}M_k,$
где $ M_k$  -- определитель матрицы порядка $ {n-1}$ , полученной из матрицы $ A$ вычеркиванием первой строки и столбца с номером $ k$ .         

Легко проверить, что это определение для определителей второго и третьего порядка совпадает с данным ранее в разделе 10.

Для наглядности запишем, как можно вычислить определитель матрицы четвертого порядка:

\begin{multline*} \vert A\vert=\left\vert\begin{array}{rrrr}a_{11}&a_{12}&a_{13... ...31}&a_{32}&a_{33}\\ a_{41}&a_{42}&a_{43}\end{array}\right\vert. \end{multline*}
        Замечание 14.7   Реальное вычисление определителей для матриц выше третьего порядка на основе определения используется в исключительных случаях. Как правило, вычисление ведется по другим алгоритмам, которые будут рассмотрены позже и которые требуют меньше вычислительной работы.         
        Замечание 14.8   В определении 14.6 было бы точнее сказать, что определитель есть функция, определенная на множестве квадратных матриц порядка $ n$ и принимающая значения в множестве чисел.         
        Замечание 14.9   В литературе вместо термина "определитель" используется также термин "детерминант", имеющий тот же самый смысл. От слова "детерминант" и появилось обозначение $ \det A$ .         

Рассмотрим некоторые свойства определителей, которые сформулируем в виде предложений.

Непрерывность функций Гиперболические функции и ареа-функции

Упражнение 3.2 Докажите приведённые выше формулы, исходя из определений гиперболических функций.

Подобно тому, как равенство $ \cos^2t+\sin^2t=1$ выражает тот факт, что точка координатной плоскости $ xOy$ с координатами $ x=\cos t$, $ y=\sin t$ при изменении параметра $ t$ движется по окружности радиуса 1, заданной уравнением $ x^2+y^2=1$ (и называемой тригонометрическим кругом), равенство $ \mathop{\rm ch}\nolimits ^2t-\mathop{\rm sh}\nolimits ^2t=1$ говорит о том, что точка с координатами $ x=\mathop{\rm ch}\nolimits t$, $ y=\mathop{\rm sh}\nolimits t$ движется по равносторонней гиперболе, заданной уравнением $ x^2-y^2=1$. Отсюда и происходит название: гиперболические функции.

Функции $ \mathop{\rm sh}\nolimits $, $ \mathop{\rm th}\nolimits $ непрерывны и монотонно возрастают на своих областях определения. Поэтому они имеют обратные функции, которые также монотонно возрастают и непрервыны. Функция, обратная к функции $ \mathop{\rm sh}\nolimits $, называется обратным гиперболическим синусом, или ареа-синусом, и обозначается $ \mathop{\rm arsh}\nolimits $. Имеем: $ {\mathop{\rm arsh}\nolimits :\mathbb{R}\to\mathbb{R}}$, $ {y=\mathop{\rm arsh}\nolimits x\Longleftrightarrow x=\mathop{\rm sh}\nolimits y}$. Функция, обратная к функции $ \mathop{\rm th}\nolimits $, называется обратным гиперболическим тангенсом, или ареа-тангенсом, и обозначается $ \mathop{\rm arth}\nolimits $. Итак, $ {\mathop{\rm arth}\nolimits :(-1;1)\to\mathbb{R}}$, $ {y=\mathop{\rm arth}\nolimits x\Longleftrightarrow x=\mathop{\rm th}\nolimits y}$.

Рис.3.27.Графики функций $ y=\mathop{\rm arsh}\nolimits x$ и $ y=\mathop{\rm arth}\nolimits x$

Функция $ \mathop{\rm cth}\nolimits $, хотя и имеет разрыв в точке 0, монотонна на интервалах $ (-\infty;0)$ и $ (0;+\infty)$ и принимает каждое своё значение ровно один раз. Поэтому существует обратная функция, называемая обратным гиперболическим котангенсом, или ареа-котангенсом, обозначаемая $ \mathop{\rm arcth}\nolimits $. Она определена на $ (-\infty;1)\cup(1;+\infty)$ и принимает значения в множестве $ \mathbb{R}\diagdown \{0\}=(-\infty;0)\cup(0;+\infty)$.

Рис.3.28.График функции $ y=\mathop{\rm arcth}\nolimits x$

Функция $ \mathop{\rm ch}\nolimits $ не является монотонной на всей своей области определения. Однако монотонно (и непрерывно) её ограничение на полуось $ [0;+\infty)$, при этом функция $ \mathop{\rm ch}\nolimits \vert _{[0;+\infty)}$ принимает все значения из $ [1;+\infty)$. Поэтому для этого ограничения существует обратная функция, называемая обратным гиперболическим косинусом, или ареа-косинусом и обозначаемая $ \mathop{\rm arch}\nolimits $. Она непрерывна на своей области определения $ [1;+\infty)$ и принимает значения на $ [0;+\infty)$.

Возможен вариант: вместо ограничения на $ [0;+\infty)$ можно рассмотреть ограничение функции $ \mathop{\rm ch}\nolimits $ на $ (-\infty;0]$, а затем функцию, обратную к этому ограничению. Эту функцию часто также называют ареа-косинусом и обозначают $ \mathop{\rm arch}\nolimits $, однако нужно чётко осознавать, что при таком построении получается другая функция (будем обозначать её здесь $ \mathop{\rm arch}\nolimits _-$). Итак, $ \mathop{\rm arch}\nolimits :[1;+\infty)\to[0;+\infty)$ и $ \mathop{\rm arch}\nolimits _-:[1;+\infty)\to(-\infty;0]$.

Рис.3.29.Графики функций $ y=\mathop{\rm arch}\nolimits x$ и $ y=\mathop{\rm arch}\nolimits _-x$

 

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

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