Пред.
След.
Макеты страниц
Распознанный текст, спецсимволы и формулы могут содержать ошибки, поэтому с корректным вариантом рекомендуем ознакомиться на отсканированных изображениях учебника выше Также, советуем воспользоваться поиском по сайту, мы уверены, что вы сможете найти больше информации по нужной Вам тематике Определение 1. Упорядоченная совокупность чисел (вообще говоря, комплексных) называется $n$-мерным вектором, а числа $x_{1}, \ldots, x_{n}$ называются координатами (компонентами) вектора $\boldsymbol{x}$. В дальнейшем мы будем интерпретировать $n$-мерный вектор $x$ как ( $n \times 1$ )-матрицу (матрица-столбец) Транспонированный вектор представляет собой ( $1 \times n$ )-матрицу (матрица-строка). – векторы и $\alpha$ – произвольное комплексное число, то естественно определяются операции сложения векторов и умножения вектора на число (скаляр) Эти операции обладают обычными свойствами. где $\bar{y}_{j}$ – число, комплексно-сопряженное с $y_{j}$. Если ввести эрмитово-сопряженный вектор где то формулу (1.5.1) можно записать в виде Легко проверить, что скалярное произведение обладает следующими свойствами: называется длиной или модулем вектора $x$ (cр. § 4). Заметим, что если вектор $\boldsymbol{x}$ рассматривать как матрицу-столбец, то длина вектора $|\boldsymbol{x}|$ совпадает с его нормой $\mid \boldsymbol{x} \|_{\text {пI }}$, т. е. евклидова норма вектора согласована с его длиной. Векторное пространство $\Re^{n}$, в котором определено скалярное произведение со свойствами 1) – 4), будем называть комплексным евклидовым или унитарным пространством (см. [4]). Иногда будем рассматривать вещественное $n$-мерное векторное пространство $\mathscr{R}^{n}$, точки которого представляют собой векторы \” $x$ с действительными координатами $x_{j}(j=1, \ldots, n)$. Для таких пространств операция умножения на скаляр определена лишь для действительных чисел. Для вещественного пространства $\mathscr{R}^{n}$ свойства 1) – 4) принимают вид: будем называть евклидовой, а само пространство $\mathscr{R}^{n}$– евклидовым $n$-мерным пространством. Векторное пространство $\Re^{n}$ является частным случаем линейного пространства \&, под которым понимается совокупность элементов $x, y, z, \ldots$, произвольной природы, с двумя определенными операциями: а) сложением $x+y$ и б) умножением $\alpha x$ на комплексное число $\alpha$, не выводящими за пределы \&. Предполагается, что эти операции удовлетворяют обычным аксиомам алгебры. где $c_{j}$ – постоянные, называется линейной комбинацией векторов $\boldsymbol{x}^{(1)}, \ldots, \boldsymbol{x}^{(m)}$. Определение 3. Векторы $\boldsymbol{x}^{(1)}, \ldots, \boldsymbol{x}^{(m)}$ называются линейно зависимыми, если некоторая нетривиальная линейная комбинация их представляет нуль-вектор, т. е. В противном случае векторы называются линейно независимыми. Определение 4. Совокупность $n$ линейно независимых векторов $\boldsymbol{\varepsilon}_{1}, \ldots, \boldsymbol{\varepsilon}_{n}$ образует базис векторного пространства $\mathfrak{\Re}^{n}$ (см. [4]), если каждый вектор $x \in \mathfrak{\Re}^{n}$ можно представить единственным способом в виде линейной комбинации где $\xi_{j}$ – некоторые числа, называемые координатами вектора $x$ в данном базисе. отнесенный к данному базису $\varepsilon=\left\{\varepsilon_{1}, \ldots, \varepsilon_{n}\right\}$, будем называть представлением вектора $x$ в этом базисе. Очевидно, для вектора $x=\left\{x_{1}, \ldots, x_{n}\right\}$ числа $x_{1}, \ldots, x_{n}$ являются его координатами в каноническом базисе ортов: Базис $\boldsymbol{\varepsilon}_{1}, \ldots, \boldsymbol{\varepsilon}_{n}$ называется ортогональным, если векторы его попарно ортогональны, т. е. Если, кроме того, то базис называется и́ормированным. В этом случае имеем где $\delta_{j k}$ – символ Кронекера. представляет собой линейное пространство $\mathfrak{R}_{k} \subset \Re^{n}$ (так называемое линейное подпространствс в $\mathfrak{\Re}^{n}$, порожденное $k$ векторами $\left.\boldsymbol{x}^{(1)}, \ldots, \boldsymbol{x}^{(k)}\right)$. Обратно, пусть некоторое множество является линейным пространством в $\Re^{n}$ относительно введенных там операций сложения векторов и умножения векторов на числа, т. е. \& есть линейное подпространство в $\Re^{n}$. Тогда любая максимальная система $x^{(1)}, \ldots$ $\ldots, x^{(k)}$ линейно независимых векторов из $\&$ образует его базис, т. е. для каждого элемента $y \in \mathfrak{\ell}$ справедливо представление (1.5.3), а число $k(0 \leqslant k \leqslant n)$ называется размерностью подпространства в: Введем понятие ранга матрицы. Если столбцы матрицы $A$ рассматривать как векторы пространства $\mathfrak{R}^{n}$, то ее ранг $r(A)$ представляет собой максимальное число линейно независимых столбцов и, следовательно, совпадает с размерностью подпространства $\mathfrak{\ell}_{r}$, порожденного этими векторами: Заметим, что матрица $A$ и ее эрмитово-сопряженная матрица $A^{*}$ имеют одинаковые ранги: Рассмотрим систему линейных уравнений Введя матрицу системы $A=\left[a_{j k}\right]$ и векторы-столбцы $\boldsymbol{x}=$ $=\operatorname{colon}\left(x_{1}, \ldots, x_{n}\right), \boldsymbol{b}=\operatorname{colon}\left(b_{1}, \ldots, b_{n}\right)$, систему (1.5.4) можно записать в виде векторно-матричного уравнения Теорема Кронекера-Капелли (см. [2]). Система (1.5.5) имеет решения тогда и только тогда, когда ранг $r=r(A)$ матрицы А системы совпадает с рангом $r^{\prime}=r(B)$ расииренной матрицы В частности, если $\operatorname{det} A Если $\operatorname{det} A=0$ и $k=n-r-$ дефект матрицы $A$, то каждая из однородных линейных систем имеет $k$ линейно независимых нетривиальных решений соответственно: $\xi^{(1)}, \ldots, \xi^{(k)}$ и $\eta^{(1)}, \ldots, \eta^{(k)}$. В этом случае линейная неоднородная система (1.5.5) совместна тогда и только тогда, когда выполнены условия ортогональности: При соблюдении этих условий система (1.5.5) допускает $\infty^{k}$ решений: где $x_{0}$ – некоторое частное решение системы (1.5.5) и $c_{1}, \ldots$, $c_{k}$ – произвольные постоянные. Определение 6. Пусть каждому вектору $x \in \Re^{n}$ ставится в соответствие вектор $\boldsymbol{y} \in \mathfrak{R}^{m}$. Тогда говорят, что в $\mathfrak{R}^{n}$ определено преобразованиє действующее из $\Re^{n}$ в $\Re^{m}$. Отметим еще нулевое пречбразование и единичко преобразование Если для преобразования $\hat{A}$ существует преобразование $\hat{A}^{-1}$, удовлетворяющее условию: то оно называется обратным преобразованием для $\hat{A}$. Преобразование $\hat{A}$ называется линейным, если выполнены следующие условия: Матрица $A=\left(a_{j k}\right)$ называется матрицей преобразования $\hat{A}$ (в данном базисе). Заметим, что первый индекс $j$ элемента $a_{j k}$ обозначает номер координаты и таким образом $a_{j k}$ есть $j$-я координата $k$-го преобразованного базисного вектора $\boldsymbol{\varepsilon}_{k}$, т. е. $a_{j k}=\left(\hat{A} \boldsymbol{\varepsilon}_{k}\right)_{j}$. Отсюда на основании формул (1.5.8) получим Следовательно, координаты вектора $y$ в данном базисе $\boldsymbol{\varepsilon}_{1}, \ldots, \varepsilon_{n}$ суть Если для векторов $\boldsymbol{x}$ и $\boldsymbol{y}$ ввести представления то соотношения (1.5.10) эквивалентны матричной формуле Таким образом, линейно преобразованный вектор равен произведению матрищы преобразования на исходный вектор. Нетрудно убедиться, что арифметическим операциям над линейными преобразованиями отвечают такне же операции над их матрицами. Пусть $\boldsymbol{e}=\left\{e_{1}, \ldots, e_{n}\right\}$ и $\boldsymbol{\varepsilon}=\left\{\boldsymbol{\varepsilon}_{1}, \ldots, \boldsymbol{\varepsilon}_{n}\right\}$ – два базиса пространства $\mathfrak{R}^{n}$. Установим связь между ними, причем, следуя традиции аналитической геометрии, будем выражать элементы первого базиса (старого) через элементы второго (нового). Имеем где $s_{j k}$ – некоторые постоянные, причем, как обычно, первый индекс $j$ представляет собой номер координаты вектора $\boldsymbol{e}_{k}$ в базисе $\boldsymbol{\varepsilon}$. Неособенную матрицу $S=\left[s_{j k}\right]$ будем называть матрицей перехода (от второго базиса к первому). Заметим, что если базисы $\boldsymbol{e}$ и $\boldsymbol{\varepsilon}$ ортонормированы (ортогональны и нормированы), т. е. то матрица перехода $S$ – унитарная (в частности, в действительном пространстве $\mathscr{R}^{n}$ – ортогональная). Действительно, в этом случае в силу формулы (1.5.9) имеем Таким образом, матрица $S$ – унитарная. где $x_{1}, \ldots, x_{n}$ – координаты вектора $\boldsymbol{x}$ в базисе $\boldsymbol{e}$. На основании формулы (1.5.12) имеем Отсюда координаты вектора $\boldsymbol{x}$ во втором базисе суть Полагая $\xi=\operatorname{colon}\left(\xi_{1}, \ldots, \xi_{n}\right)$, будем иметь Пусть $e_{1}, \ldots, e_{n}$ и $\varepsilon_{1}, \ldots, \boldsymbol{\varepsilon}_{n}$ – два базиса в $\mathfrak{R}^{n}$ и $S(\operatorname{det} S Во втором базисе эти векторы будут иметь, соответственно, новые координаты $\left\{\xi_{1}, \ldots, \xi_{n}\right\}$ и $\left\{\eta_{1}, \ldots, \eta_{n}\right\}$, и наборы этих координат можно интерпретировать как некоторые векторь в первом базисе, причем Кроме того, в силу (1.5.14), имеем Из соотношений (1.5.15), (1.5.17) получаем и Сравнивая с (1.5.16), находим Матрицы, связанные соотношением (1.5.18), называются подобными . Таким образом, линейное преобразование в различных базисах описывается подобными матрицами. Для краткости говорят, что $B$ получается из $A$ с помощьюматрицы $S$. Отношение подобия (1.5.18) между $(n \times n)$-матрицами $A$ и $B$ обычно коротко обозначается так: $B \propto A$. Легко проверить следующие свойства: 1) $A \propto A$ (рефлексивность); 2) если $A \propto B$, то $B \backsim A$ (симметрия); 3) если $A \propto B$ и $B \propto C$, то $A \propto C$ (транзитиеносто); 4) если $A \propto B$, то, очевидно, имеем $\operatorname{det} A=\operatorname{det} B$. Определение 7. Вектор $\boldsymbol{x} где число $\lambda$ называется собственным значением или характеристическим числом (характеристическим корнем) преобразования $\hat{A}$ (см. [4]). Пусть $A$-матрица преобразования $\hat{A}$ в некотором базисе. Из формулы (1.5.19) имеем $A \boldsymbol{x}=\lambda \boldsymbol{x}$ и, следовательно, Линейная однородная система (1.5.20) может иметь ненулевые решения только в том случае, когда Корни $\lambda_{1}, \ldots, \lambda_{n}$ векового уравнения (1.5.21) называются характеристическими числами (характеристическими корнями) или собственными значениями матрицы $A$, а соответствующие нетривиальные решения однородной системы (1.5.20), получающиеся при $\lambda=\lambda_{j}$, – отвечающими ему собственными векторами матрицы $A$. Корни векового уравнения (1.5.21) не зависят от выбора базиса и представляют собственные значения преобразования $\hat{A}$. Действительно, если преобразование $\hat{A}$ в другом базисе описывается матрицей $B$, то имеем Аналогично, если $\boldsymbol{x}$ есть собственный вектор матрицы $A$, отвечающий ее характеристическому числу $\lambda$, т. е. $\boldsymbol{x}$ есть нетривиальный вектор, удовлетворяющий уравнению (1.5.20), то $\xi=$ $=\boldsymbol{S} \boldsymbol{x} Таким образом, свойство собствєнности вектора преобразования $\hat{A}$ также не зависит от выбора базиса. Определение 8. Преобразование $A$ называется эрмитовым или самосопряженным, если в любом ортонормированном базисе ему соответствует эрмитова матрица Как было показано выше, переход от одноге ортонормированного базиса к другому осуществляется с помощью унитарной матрицы $U$ : Поэтому, полагая будем иметь В случае, когда эрмитова матрица действительная, она является симметрической. Для эрмитова преобразования справедливы следующие предложения (см. [4]). Теорема 1. Bсе собственные значения эрмитова преобразования действительны. Теорема 2. Собственные векторы эрмитова преобразования, соответствующие различным собственным значениям его, ортогональны между собой. Теорема 3. Для всякого эрмитова преобразования существует естественный ортонормирсванный базис, состоящий из собственных векторов, в котором матрица преобразования диагональна и вещественна. Пусть $\boldsymbol{x}, \boldsymbol{y} \in \mathfrak{R}^{n}$ и $A=\left[a_{j k}\right]$ – матрица типа $n \times n$. Скалярное произведение называется билинейной формой с матрицей $A$. Выражение (1.5.22), учитывая независимость суммы от обозначения индексов, можно записать в виде где $A^{*}=\left[a_{k j}\right]$ – эрмитово-сопряженная с $A$ матрица. Следовательно, В этом случае называется эрмитовой квадратичной формой. Так как то эрмитова квадратичная форма имеет вещественные значения. Если $x \in \mathscr{R}^{n}$ и $A$ – вещественная симметрическая матрица $\left(A^{T}=A\right)$, то эрмитова форма $V(\boldsymbol{x})$ представляет собой действительную квадратичную форму (т. е. однородный полином второй степени): с матрицей $A=\left[a_{j k}\right]$. Для эрмитовой матрицы $A$ существует унитарная матрица $U$, переводящая ее в диагональную $D=\left(\lambda_{1}, \ldots, \lambda_{n}\right)$, т. е. Полагая и имеем Отсюда где Нспользуя формулу (1.5.23), будем иметь Таким образом, окончательно получаем причем равенства слева и справа достигаются при собственном векторе $\boldsymbol{x}$, отвечающем, соответственно, наименышему характеристическому числу $\lambda(A)$ и наибольшему характеристическому числу $\Lambda(A)$ матрицы $A$. Неравенство (1.5.25) имеет место также для действительной квадратичной формы $V(\boldsymbol{x})$. называется положительно или отрицательно определенной, если, соответственно, или причем, очевидно, $V(\boldsymbol{0})=0$. представляют собой ( $n-1$ )-мерные эллипсоиды пространства $\mathscr{R}^{n}$. является положительно определенной тогда и только тогда, когда все собственные значения ее матрицы $A$ положительны, т. е. Аналогично $V(x)$ представляет собой отрицательно определенную квадратичную форму тогда и только тогда, когда все собственные значения ее матрицы $A$ отрицательны, т. е. Если $A$ – произвольная матрица, то матрица $A^{*} A$, очевидно, эрмитова, и так как то при $A где $\Lambda\left(A^{*} A\right)=\max \lambda_{j}\left(A^{*} A\right)$. и, следовательно, Таким образом, введенная выше норма вектора согласована с его длиной.
|
1 |
Оглавление
|