Фунд. и комп. алгебра I курс / АЛГЕБРА 2

ГЛАВА I. ЛИНЕЙНЫЕ ОПЕРАТОРЫ В ЕВКЛИДОВОМ И

УНИТАРНОМ ПРОСТРАНСТВАХ.

§1.1. Евклидовы и унитарные пространства.

Понятие n мерного линейного пространства L , данное в § 3.1 [1],

далеко не в полной мере обобщает понятия плоскости или трехмерного евклидова пространства: в L не определены ни длина вектора, ни угол между векторами. Поэтому невозможно развитие богатой геометрической теории.

Оказывается, что положение может быть исправлено путем введения понятия скалярного умножения векторов. В курсе аналитической геометрии оно определяется при помощи длин векторов и угла между ними, но, как оказывается, и длина вектора, и угол между векторами в свою очередь могут быть выражены через скалярные произведения. Определим поэтому в любом n мерном линейном пространстве понятие скалярного умножения, причем определим аксиоматически, при помощи некоторых свойств, которыми, как хорошо известно, скалярное умножение векторов плоскости или трехмерного

пространства на самом деле обладает.

Будем говорить, что в n мерном действительном линейном пространстве Ln определено скалярное умножение, если всякой паре

векторов a, b поставлено в соответствие действительное число,

обозначаемое символом a, b и называемое скалярным произведением

векторов a и b , причем выполняются следующие условия (здесь a, b, c

любые векторы пространства Ln , любое действительное число):

I.a, b b, a ,

II.a b, c a, c b, c ,

III.a, b a, b ,

IV. Если a , то скалярный квадрат вектора a строго положителен,

a, a 0.

3

Отметим, что из III при a следует равенство

т. е. скалярное произведение нулевого вектора на любой вектор b равно нулю; равен нулю, в частности, скалярный квадрат нулевого вектора.

Из II и III немедленно вытекает следующая формула для скалярного

произведения и линейных комбинаций двух систем векторов:

Если в n мерном действительном линейном пространстве определено скалярное умножение, то это пространство называется n мерным евклидовым

пространством.

УТВЕРЖДЕНИЕ 1. При любом n в n мерном линейном

пространстве Ln можно определить скалярное умножение, т. е. можно превратить это пространство в евклидово.

ДОКАЗАТЕЛЬСТВО. В самом деле, возьмем в пространстве Ln любой

базис e1, e2 , ,en . Если

то положим

n

a, b i i . (2)

i 1

Легко проверяется, что условия I IV будут выполнены, т. е. равенство (1)

определяет в пространстве Ln скалярное умножение. □

Мы видим, что в n мерном линейном пространстве скалярное умножение можно задать, вообще говоря, многими различными способами определение (2) зависит, понятно, от выбора базиса, а мы пока

4

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

единственное n мерное евклидово пространство.

Пусть дано произвольное n мерное евклидово пространство En , т. е.

в n мерном линейном пространстве произвольным способом введено скалярное умножение. Векторы a и b называются ортогональными, если их скалярное произведение равно нулю,

a, b 0.

Из (1) следует, что нулевой вектор ортогонален к любому вектору; могут существовать, однако, и ненулевые ортогональные векторы.

Система векторов называется ортогональной системой, если все

векторы этой системы попарно ортогональны между собой.

Если

1a1 2a2 k ak ,

то, скалярно умножая обе части этого равенства на вектор ai 1 i k,

получаем:

0, ai 1a1 2a2 k ak , ai

1 a1, ai 2 a2 , ai k ak , ai i ai , ai .

5

требовалось доказать. □

Опишем далее так называемый процесс ортогонализации, т. е.

некоторый способ перехода от любой линейно независимой системы из k

векторов a1, a2 , , ak евклидова пространства En к ортогональной системе,

также состоящей из k ненулевых лекторов; эти векторы будут обозначены через b1, b2 , ,bk .

Положим b1 a1 , т. е. первый вектор системы ( a1, a2 , , ak ) войдёт и в строящуюся нами ортогональную систему. Положим, далее,

b2 1b1 a2.

Так как b1 a1 а векторы a1 и a2 линейно независимы, то вектор b2 отличен от нуля при любом числе 1. Подберем это число из условии, что вектор b2

должен быть ортогонален к вектору b1 :

0 b1, b2 b1, 1b1 a2 1 b1, b1 b1, a2 ,

откуда, ввиду IV,

bi является линейной комбинацией векторов a1, a2 , , ai . Это предположение будет выполняться тогда и для вектора bl 1 если он будет выбран в виде

bl 1 1b1 2b2 l bl al 1.

Вектор bl 1 будет при этом отличен от нуля, так как система ( a1, a2 , , ak )

линейно независимая, а вектор al 1 не входит в записи векторов b1, b2 , ,bl .

6

0bi , bl 1 bi , 1b1 2b2 lbl al 1

1 bi , b1 2 bi , b2 l bi , bl bi , al 1 ;

отсюда, так как векторы b1, b2 , ,bl ортогональны между собой,

i bi , bi bi , al 1 0,

т. е.

Продолжая этот процесс, мы построим искомую ортогональную систему b1, b2 , ,bk .

Применяя процесс ортогонализации к произвольному базису пространства En , мы получим ортогональную систему из n ненулевых векторов, т. е., так как эта система по доказанному линейно независима,

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

ненулевой вектор можно включить в некоторый базис пространства, можно сформулировать даже следующее:

УТВЕРЖДЕНИЕ 2. Всякое евклидово пространство обладает ортогональными базисами, причем любой ненулевой вектор этого пространства входит в состав некоторого ортогонального базиса. □

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

Назовем вектор b нормированным, если его скалярный квадрат равен единице, т. е. b, b 1.

7

Вектор b будет нормированным, так как

Базис e1, e2 , ,en евклидова пространства En называется

ортонормированным, если он ортогонален, а все его векторы нормированы,

т. е.

Итак, c1, c2 , c3 искомая ортонормированная система.

8

УТВЕРЖДЕНИЕ 3. Всякое евклидово пространство обладает

ортонормированными базисами.

ДОКАЗАТЕЛЬСТВО. Достаточно взять любой ортогональный базис и нормировать все его векторы. Базис останется при этом ортогональным, так как при любых и из a, b 0 следует

a, b a, b 0. □

ТЕОРЕМА 2. Базис e1, e2 , ,en евклидова пространства En тогда и только тогда будет ортонормированным, если скалярное произведение любых двух векторов пространства равно сумме произведений соответственных координат этих векторов в указанном базисе, т. е. из

Обратно, если наш базис таков, что для любых векторов a и b , записанных в этом базисе в виде (5), справедливо равенство (6), то, беря и качестве a и b

любые два вектора этого базиса ei и e j , различные или одинаковые, мы из

(6) выведем равенства (4). □

Сопоставляя полученный сейчас результат с изложенным ранее доказательством существования n мерных евклидовых пространств для любого n , можно высказать следующее:

УТВЕРЖДЕНИЕ 4. Если в n мерном линейном пространстве Ln

выбран произвольный базис, то в Ln можно так задать скалярное

9

умножение, что в полученном евклидовом пространстве выбранный базис будет одним из ортонормированных. □

Евклидовы пространства E и E/ называются изоморфными, если между векторами этих пространств можно установить такое взаимно

однозначное соответствие, что выполняются следующие требования:

1) это соответствие является изоморфным соответствием между E и

E/ , рассматриваемыми как линейные пространства;

2) при этом соответствии сохраняется скалярное произведение; иными словами, если образами векторов a и b из E служат соответственно векторы

a/ и b/ из E/ , то

Из условия 1) сразу следует, что изоморфные евклидовы пространства имеют одну и ту же размерность. Докажем обратное утверждение:

ТЕОРЕМА 3. Любые евклидовы пространства E и E/ , имеющие одну и ту же размерность n , изоморфны между собой.

ДОКАЗАТЕЛЬСТВО. В самом деле, выберем в пространствах E и E/

базисе e1, e2 , ,en , мы получим, очевидно, изоморфное соответствие между

линейными пространствами E и E/ . Покажем, что выполняется и равенство

(7): если

то, в силу (6):

10