Документ взят из кэша поисковой машины. Адрес оригинального документа : http://www.nature.web.ru/db/msg.html?mid=1151602&uri=ch1node4.html
Дата изменения: Unknown
Дата индексирования: Mon Apr 11 15:07:42 2016
Кодировка: Windows-1251
Научная Сеть >> Курс лекций И.М.Гельфанда по линейной алгебре
Rambler's Top100 Service
Поиск   
 
Обратите внимание!   Зарегистрируйтесь на нашем сервере и Вы сможете писать комментарии к сообщениям Обратите внимание!
 
  Наука >> Математика >> Алгебра, математическая логика и теория чисел | Курсы лекций
 Посмотреть комментарии[2]  Добавить новое сообщение
next up previous contents index
Next: 5 приведение квадратичной формы Up: 1 n-мерное пространство. Линейные Previous: 3 изоморфизм евклидовых пространств

Subsections

4 Билинейные и квадратичные формы

В этом параграфе мы будем опять заниматься аффинным пространством, а именно, будем изучать простейшие числовые функции от векторов в аффинном пространстве.

1 Линейная функция.

Простейшей функцией в аффинном пространстве является линейная функция.

Определение 4.1   Говорят, что в аффинном пространстве задана линейная функция (линейная форма), если каждому вектору $ x$ поставлено в соответствие число $ f(x)$, так что при этом выполнены условия:

1$ ^{\circ}$ $ f(x+y)=f(x)+f(y)$.

2$ ^{\circ}$ $ f(\lambda x)=\lambda f(x)$.

Выберем в $ n$-мерном пространстве произвольный базис $ e_1, e_2, \dots, e_n$. Так как каждый вектор $ x$ можно представить в виде

$\displaystyle x=\xi_1e_1+\xi_2e_2+\ldots+\xi_ne_n,$

то в силу свойств линейной функции имеем:

\begin{displaymath} \begin{aligned} f(x)&=f(\xi_1e_1+\xi_2e_2+\ldots+\xi_ne_n)=\\ &=\xi_1f(e_1)+\xi_2f(e_2)+\ldots+\xi_nf(e_n). \end{aligned}\end{displaymath}

Итак: в $ n$-мерном пространстве с заданным базисом линейная функция может быть представлена в виде

$\displaystyle f(x)=a_1\xi_1+a_2\xi_2+\ldots+a_n\xi_n,$ (1)

где $ a_i=f(e_i)$ -- постоянные, зависящие лишь от выбора базиса, а $ \xi_1, \xi_2, \dots, \xi_n$ -- координаты вектора в этом базисе.

Таким образом, данное выше определение линейной функции совпадает, по существу, с принятым в алгебре определением линейной функции (линейной формы); надо лишь иметь в виду, что в нашем случае коэффициенты зависят от выбора базиса.

Выясним, как меняются коэффициенты линейной функции при замене одного базиса другим.

Пусть $ e_1, e_2, \dots, e_n$ и $ e'_1, e'_2, \dots, e'_n$ -- два базиса в $ R$. Пусть, далее, векторы $ e'_i$ выражаются через базис $ e_1, e_2, \dots, e_n$ формулами

\begin{displaymath} \begin{aligned} e'_1&=\alpha_{11}e_1+\alpha_{21}e_2+\ldots+\... ...pha_{1n}e_1+\alpha_{2n}e_2+\ldots+\alpha_{nn}e_n. \end{aligned}\end{displaymath}

Пусть в базисе $ e_1, e_2, \dots, e_n$ линейная функция выражается формулой

$\displaystyle f(x)=a_1\xi_1+a_2\xi_2+\ldots+a_n\xi_n,$

а в базисе $ e'_1, e'_2, \dots, e'_n$ -- формулой

$\displaystyle f(x)=a'_1\xi'_1+a'_2\xi'_2+\ldots+a'_n\xi'_n. $

Так как $ a_i=f(e_i)$, а $ a'_k=f(e'_k)$, то

\begin{displaymath} \begin{aligned} a'_k&=f(\alpha_{1k}e_1+\alpha_{2k}e_2+\ldots... ...pha_{1k}a_1+\alpha_{2k}a_2+\ldots+\alpha_{nk}a_n. \end{aligned}\end{displaymath}

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

Пример 1   1. В пространстве, векторами которого являются непрерывные функции $ \phi(t)$, заданные на отрезке $ [a,b]$, рассмотрим функцию $ f(\phi)$, заданную формулой

$\displaystyle f(\phi)=\int\limits_a^b\phi(t) dt. $

Эта функция линейна, так как выполняются условия 1$ ^\circ$ и 2$ ^\circ$.

Действительно, первое из них означает, что интеграл суммы равен сумме интегралов, а второе означает, что постоянный множитель можно выносить за знак интеграла.

Пример 2   2. В том же пространстве рассмотрим функцию $ f(\phi)$, определенную следующим образом. Выберем на отрезке $ [a,b]$ некоторое значение $ t=t_0$ и положим

$\displaystyle f(\phi)=\phi(t_0).$

Проверьте, что эта функция $ f(\phi)$ также линейна.

2 Билинейные формы.

Существенную роль в дальнейшем будут играть билинейные и квадратичные функции (формы).

Определение 4.2   Мы говорим, что $ A(x;y)$ есть билинейная функция (билинейная форма) от векторов $ x$ и $ y$, если:

1$ ^\circ$ при фиксированном $ y$ $ A(x;y)$ есть линейная функция от $ x$,

2$ ^\circ$ при фиксированном $ x$ $ A(x;y)$ есть линейная функция от $ y$.

Иными словами, в силу определения линейной функции условия 1$ ^\circ$ и 2$ ^\circ$ означают соответственно

\begin{displaymath} \begin{aligned} 1^\circ\qquad && A(x_1+x_2; y)&=A(x_1; y)+A(... ... y_1)+A(x; y_2),\\ && A(x; \mu y)&=\mu A(x; y). \end{aligned}\end{displaymath}

Примеры   1. Рассмотрим $ n$-мерное пространство, в котором вектор есть совокупность $ n$ чисел. Положим

\begin{displaymath}\begin{aligned}A(x; y)&=a_{11}\xi_1\eta_1+a_{12}\xi_1\eta_2+\... ...eta_1+a_{n2}\xi_n\eta_2+\ldots+a_{nn}\xi_n\eta_n, \end{aligned}\end{displaymath}

где $ x$ есть вектор $ (\xi_1,\xi_2,\dots,\xi_n)$, а $ y$ -- вектор $ (\eta_1,\eta_2,\dots,\eta_n)$. Формула (2) определяет билинейную функцию. В самом деле, если зафиксировать $ y$, т.е. считать $ \eta_1, \eta_2, \dots, \eta_n$ постоянными, то $ \sum\limits_{i,k=1}^n a_{ik}\xi_i\eta_k$ зависит от $ \xi_i$ линейно, т.е. есть линейная функция от $ x=(\xi_1,\xi_2,\dots,\xi_n)$, а при постоянных $ \xi_1, \xi_2, \dots, \xi_n$ форма $ A(x;y)$ -- линейная функция от $ y$.

2. В пространстве, в котором векторами являются непрерывные функции $ f(t)$, рассмотрим следующий пример билинейной функции. Пусть $ K(s,t)$ -- некоторая непрерывная функция переменных $ s$ и $ t$. Положим

$\displaystyle A(f; g)= \HTMLcode[HREF=''\char93 двойной_интеграл'']{A}{\textcolor{green}{\int\limits_a^b\int\limits_a^bK(s,t)f(s)g(t) ds dt.}} $

$ A(f; g)$ есть билинейная функция векторов $ f$ и $ g$.

Действительно, условия 1$ ^\circ$ и 2$ ^\circ$ проверяются так же, как и в примере 1 предыдущего пункта.

Если $ K(s,t)\equiv1$, то

$\displaystyle A(f; g)=\int\limits_a^b\int\limits_a^bf(s)g(t) ds dt= \int\limits_a^bf(s) ds \int\limits_a^bg(t) dt, $

т.е. $ A(f,g)$ есть произведение линейных функций $ \displaystyle\int\limits_a^bf(s) ds$ и $ \displaystyle\int\limits_a^bg(t) dt$.


Упражнение   Показать, что если $ f(x)$ и $ g(y)$ -- линейные функции, то их произведение $ f(x)\cdot g(y)$ есть билинейная функция.


Определение 4.3   Билинейная функция (форма) называется симметрической, если для любых векторов $ x$ и $ y$ имеет место равенство

$\displaystyle A(x; y)=A(y; x). $

В приведенном выше примере 1 определенная формулой (2) билинейная форма $ A(x;y)$ симметрична тогда и только тогда, когда $ a_{ik}=a_{ki}$ для любых $ i$ и $ k$.

Скалярное произведение $ (x,y)$ в евклидовом пространстве является примером симметрической билинейной формы.

В самом деле, аксиомы 1$ ^\circ$, 2$ ^\circ$, 3$ ^\circ$ скалярного произведения ( 2) как раз и означают, что скалярное произведение есть симметрическая билинейная форма.

3 Матрица билинейной формы.

Мы определили билинейную форму аксиоматически. Выберем теперь в $ n$-мерном пространстве какой-либо базис $ e_1, e_2, \dots, e_n$ и выразим билинейную форму $ A(x;y)$ через координаты $ \xi_1, \xi_2, \dots, \xi_n$ и $ \eta_1, \eta_2, \dots, \eta_n$ векторов $ x$ и $ y$ в этом базисе. Мы имеем:

$\displaystyle A(x; y)=A(\xi_1e_1+\xi_2e_2+\ldots+\xi_ne_n;\ \eta_1e_1+\eta_2e_2+\ldots+\eta_ne_n). $

В силу свойств 1$ ^\circ$ и 2$ ^\circ$ билинейной формы

\begin{displaymath} \begin{aligned} A(&\xi_1e_1+\xi_2e_2+\ldots+\xi_ne_n;\ \eta... ..._n\eta_2A(e_n;e_2) +\ldots+\xi_n\eta_nA(e_n;e_n), \end{aligned}\end{displaymath}

или, короче

$\displaystyle A(x,y)=\sum_{i,k=1}^n A(e_i;e_k)\xi_i\eta_k. $

Обозначим постоянные