
МФТИ 2012 Умнов АЕ АГ+ЛА Стр001-544
.pdf
|
Глава 7 . Линейное пространство |
249 |
|
|
определения 7.1.1, то есть рассматриваемая линейная обо- |
||
|
|||
|
лочка является линейным пространством. |
|
|
|
2°. Пусть максимальное число линейно независимых элементов |
||
|
в наборе |
{x1, x2 ,..., xk } равно m ≤ k . |
Без ограничения |
|
общности |
можно считать, что эти |
элементы суть |
x1, x2 ,..., xm . В этом случае
m
x j = ∑α ji xi ; j = [m + 1, k]
i=1
илюбой элемент линейной оболочки может быть представ-
лен в виде линейной комбинации элементов x1 , x2 ,..., xm .
3°. Покажем теперь, что любой набор из l ( l > m ) элементов данной линейной оболочки будет линейно зависимым. Для
этого выберем l элементов |
y1 , y2 ,..., yl , принадлежащих |
линейной оболочке, и |
выразим их через элемен- |
ты x1, x2 ,..., xm , получим |
|
m |
xi ; j = [1, l]. |
y j = ∑β ji |
|
i=1 |
|
Приравняем нулевому элементу произвольную линейную
комбинацию выбранного набора |
y1 , y2 ,..., yl : |
||
l |
l |
m |
m l |
∑μ j y j = ∑μ j ∑β ji xi = ∑(∑β ji μ j )xi = o . |
|||
j =1 |
j =1 |
i=1 |
i=1 j =1 |
Поскольку элементы |
x1 , x2 ,..., xm линейно независимы, то |
||
коэффициенты |
μi должны удовлетворять следующей од- |
||
нородной системе линейных уравнений |
|||
|
l |
|
|
|
∑β ji μ j = 0 , |
i = [1, m]. |
j =1
Пусть ранг ее основной матрицы равен r .

250 Аналитическая геометрия и линейная алгебра
Эта система имеет (по теореме 6.7.1)
l - r ³ l - m > 0
линейно независимых, и следовательно, ненулевых реше- ний, поскольку r ≤ m . Принимая во внимание, что l и m
− не равные друг другу натуральные числа, получаем
l - m ³ 1 ,
то есть существует нетривиальная линейная комбинация элементов y1 , y2 ,..., yl , равная o.
Теорема доказана.
Гиперплоскость
Определение |
Множество |
Γ , |
образованное из элементов вида |
|
7.3.4. |
x + x0 , где |
x0 |
есть произвольный фиксированный |
|
|
||||
|
элемент линейного пространства L , а x – любой |
|||
|
элемент некоторого подпространства W Ì L , назы- |
|||
|
вается гиперплоскостью (или линейным многообрази- |
|||
|
ем) в линейном пространстве L . |
|||
Замечания. |
1°. |
В общем случае гиперплоскость не является |
||
|
|
подпространством. |
||
|
2°. |
Если dim(W) = k , то говорят о k -мерной ги- |
||
|
|
перплоскости. |
||
Задача |
Показать, что если элементы x и y принадлежат |
7.3.1.некоторой гиперплоскости Γ , то ей будет принад- лежать и элемент
z = ax + (1 - a) y ,
где α – любое число.

Глава 7 . Линейное пространство |
251 |
§7.4. Операции с элементами линейного пространства в координатном представлении
Определение Коэффициенты ξ1 , ξ2 ,..., ξn разложения по базису
7.4.1.
n
x = ∑ξ i gi
i=1
называются координатами (или компонентами) эле-
мента x линейного пространства Λn в базисе
{g1 , g 2 ,..., g n }.
Заметим, что в силу теоремы 7.2.1 элемент x линейного про-
странства Λn в базисе {g1 , g2 ,..., gn } однозначно представляется n -компонентным столбцом, называемым координатным представ-
лением элемента x в базисе {g1 , g 2 ,..., g n }:
|
|
|
|
|
|
ξ1 |
|
|
|
|
|
|
|
|
|
|
|
|
|||
x |
|
|
|
g |
= |
ξ2 |
|
|
|
. |
|
|
|||||||||
|
|
|
|
|
... |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ξn |
|
|
|
|
В Λn базис может быть выбран не единственным способом и по- тому необходимо установить правило изменения координат элемента
линейного пространства Λn при переходе от одного базиса к друго- му.
Пусть в Λn |
даны два базиса: “ старый” {g1 , g2 ,..., gn } и “ новый” |
|||||
′ |
′ |
′ |
с соответствующими координатными разложениями |
|||
{g1 , g |
2 ,..., gn } |
|||||
|
|
|
n |
n |
′ |
′ |
элемента x : |
x = ∑ξ i gi |
|
||||
и x = ∑ξi |
gi . |
|||||
|
|
|
i=1 |
i=1 |
|
|


Глава 7 . Линейное пространство |
253 |
Но если линейная комбинация линейно независимых (в данном случае базисных) элементов равна нулевому элементу, то она тривиальная. Откуда получаем, что
n
ξi = ∑σij ξ′j i = [1, n].
j =1
Теорема доказана.
Заметим, что если столбец элементов “ нового” базиса выражается через столбец элементов “ старого” при помощи умножения слева на
транспонированную матрицу перехода S
T , то координатный стол-
бец в “ старом” базисе равен произведению матрицы перехода на ко- ординатный столбец в “ новом” базисе.
Действительно, рассматривая столбцы x
g и
x
g′ в форму-
лах перехода как двухиндексные матрицы, получаем
n
ξi1 = ∑σij ξ′j1 i = [1, n] ,
j =1
что равносильно равенству x
g =
S
x
g′ (см. § 5.1).
Используя аналогичный прием, также и соотношения (7.4.1) мож- но записать в матричном виде
|
|
|
|
|
|
|
|
|
g ′ |
|
|
|
|
|
|
|
|
|
|
|
g |
1 |
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
g ′ |
|
|
= |
|
|
|
|
|
T |
|
|
g |
2 |
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
S |
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
... |
|
|
|
|
|
|
|
|
|
|
... |
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
g ′ |
|
|
|
|
|
|
|
|
|
|
|
g |
n |
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
или |
|
′ |
g |
′ |
′ |
|
|
|
= |
|
g1 |
|
g2 |
... g n |
|
S |
|
. |
|||||||||||
|
|
|
|
|
|
|
|||||||||||||||||||||||
|
g1 |
2 |
... gn |
|
|
|
|
|
|
|
В заключение выясним, как операции с элементами линейного пространства выполняются в координатной форме.

Глава 7 . Линейное пространство |
255 |
Операции сложения многочленов и их умножения на число выгля- дят следующим образом:
(ξ1 + η1τ + κ1τ2 ) + (ξ2 + η2 τ + κ2 τ2 ) = = (ξ1 + ξ2 ) + (η1 + η2 )τ + (κ1 + κ 2 )τ2 , λ(ξ + ητ + κτ2 ) = (λξ) + (λη)τ + (λκ)τ2 .
Те же операции с трехмерными векторами в координатной форме в свою очередь записываются так:
ξ1 |
|
|
|
|
|
|
|
ξ2 |
|
|
|
|
|
|
|
ξ1 + ξ2 |
|
|
|
|
|
|
|
ξ |
|
|
|
|
|
|
|
λξ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
η1 |
|
|
|
+ |
|
|
|
η2 |
|
|
|
= |
|
|
|
η1 + η2 |
|
|
; |
λ |
|
|
|
η |
|
|
|
= |
|
|
|
λη |
|
|
|
. |
κ1 |
|
|
|
|
|
|
|
κ2 |
|
|
|
|
|
|
|
κ1 + κ2 |
|
|
|
|
|
|
|
κ |
|
|
|
|
|
|
|
λκ |
|
|
|
|
Сопоставляя эти записи, можно заключить, что природа данных множеств не играет роли, когда исследуются их характеристики, свя- занные только с операциями сравнения, сложения и умножения на число.
Отмеченное свойство линейных пространств носит название изо- морфизма. Более точно его описывает
Определение Два линейных пространства Λ1 и Λ 2 называются
7.5.1.изоморфными, если существует взаимно однозначное отображение Fˆ : Λ1 → Λ 2 , такое, что для λ и
x, y Λ1 ,
ˆ |
ˆ |
ˆ |
1°. F (x + y) = Fx + Fy ; |
||
ˆ |
ˆ |
|
2°. F (λx) = λFx. |
|
Отображение $ называется изоморфизмом линей-
F
ных пространств Λ1 и Λ 2 .


Глава 7 . Линейное пространство |
257 |
Пример Изоморфизм одномерных пространств вещественных чи-
7.1.2.сел R и всех положительных чисел R + (с операциями, определенными в условии задачи 7.1.3) задается при по- мощи функций
x = ln( y) и y = ex ; x Î R; y Î R + .
Очевидным следствием теоремы 7.5.1 является изоморфизм любо-
го линейного n -мерного пространства Λn и линейного пространства n -компонентных столбцов, позволяющий убедиться в справедливо-
сти свойств столбцов, установленных в §§ 6.5–6.7 для каждого Λn . Действительно, имеет место
Теорема Максимальное число линейно независимых элементов
7.5.2.в любом конечном наборе элементов из Λn равно ран- гу матрицы, столбцы которой содержат координаты элементов данного набора в некотором базисе.
Доказательство.
Следует из изоморфности линейного пространства Λn и ли- нейного пространства всех n-компонентных столбцов, а также из теоремы 6.5.3 (о ранге матрицы).
Следствие |
k элементов в Λn линейно зависимы тогда и толь- |
7.5.1.ко тогда, когда ранг матрицы, столбцы которой со- держат координаты этих элементов в некотором базисе, меньше, чем min{n, k} .
Следствие Матрица перехода невырожденная, то есть
7.5.2. |
det |
S |
¹ 0 . |
|
|
|
|
|||
|
|
|
|
|
|
|||||
|
Доказательство. |
|
|
= 0 , тогда rg |
|
|
|
< n и |
||
|
|
|
|
|
|
|||||
|
|
Предположим противное, det |
|
S |
|
|
S |
|
||
|
|
|
|
|
|
столбцы матрицы перехода линейно зависимые.

258 |
Аналитическая геометрия и линейная алгебра |
||||
|
|
Но тогда будут зависимыми и элементы |
g ′, g ′ |
,..., g ′ , что |
|
|
|
||||
|
|
|
1 |
2 |
n |
|
|
противоречит условию о том, что {g ′, g ′ ,..., g ′ |
} – |
базис. |
|
|
|
1 2 |
n |
|
|
Следствие доказано.
Отметим также, что факт равенства или неравенства двух элемен- тов в координатной форме можно проверять в любом базисе, по-
скольку в силу невырожденности матрицы S
оказываются спра-
ведливыми соотношения |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||
|
x |
|
|
|
g = |
|
|
|
|
|
y |
|
|
|
g |
|
|
|
|
|
|
S |
|
|
|
|
|
|
|
x |
|
|
|
g′ = |
|
|
|
|
S |
|
|
|
|
|
|
|
|
|
|
y |
|
|
|
g′ |
|
|
|
|
|
|
|
|
|
|
x |
|
|
|
g′ = |
|
|
|
|
|
|
|
x |
|
|
|
g′ . |
||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Следствие |
|
|
Существует матрица |
|
|
T |
|
|
|
= |
|
|
|
|
|
S |
|
|
|
|
−1 |
, обратная матри- |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
7.5.3. |
|
|
|
|
|
|
|
|
|
|
|
|
|
це перехода |
|
|
S |
|
, |
называемая обратной матрицей |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
перехода. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
Для обратной матрицы перехода справедливы соотношения |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
g |
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
g ′ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
g 2 |
|
= |
|
T |
|
|
|
|
|
′ |
|
|
|
|
|
|
|
|
|
|
x |
|
|
|
|
|
|
|
|
|
|
= |
|
|
|
|
T |
|
|
|
|
|
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
|
|
T |
g 2 |
|
|
|
и |
|
|
|
|
|
|
|
|
g′ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
, следующие из равенств |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
... |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
... |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
g |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
g |
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
g ′ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
g |
′ |
g ′ |
|
K g ′ |
|
= |
|
g |
|
|
|
|
|
|
|
|
|
g |
|
|
|
|
|
|
K g |
|
|
|
|
|
|
|
|
|
|
S |
|
|
, |
|
|
x |
|
|
|
= |
|
|
|
S |
|
|
|
|
|
|
|
x |
|
|
|
g′ |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
1 |
|
|
|
2 |
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
g |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||
и теоремы 7.4.1. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||
|
Пусть в Λn задан базис {g1 , g 2 ,..., g n } , |
в котором координатное |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
представление элементов представляется в виде |
x = ∑ξi gi |
. Тогда |
i=1
имеет место