Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

0085730_32E51_mosin_v_g_matematicheskie_osnovy

.pdf
Скачиваний:
31
Добавлен:
12.03.2016
Размер:
1.22 Mб
Скачать

B.1. Системы векторов

191

Определение 79 (матрица перехода) Пусть V — векторное пространство, и пусть e1, e2, . . . , en — его базис. Рассмотрим еще один базис пространства V : пусть он состоит из векторов f1, f2, . . . , fn. Векторы fi, будучи векторами векторного пространства V , раскладываются по базису E:

f2

= a21e1

+ a22e2

+

· · ·

+ a2nen

f1

= a11e1

+ a12e2

+

 

+ a1nen

..

..

..

 

·.·.·

..

 

.

.

 

.

.

.

 

 

 

 

 

 

 

 

fn

= an1e1

+ an2e2

+ · · ·

+ annen

 

 

 

 

 

 

Матрицей AE→F перехода от базиса e1, e2, . . . , en к базису f1, f2, . . . , fn называется матрица коэффициентов разложений, выписанных по столбцам:

 

 

 

a12

a22

·· ·· ··

an2

 

 

 

 

 

a11

a21

 

an1

 

 

 

F =

.. .. . . .

..

 

AE

 

a

. .

 

.

 

.

 

 

 

1n

a

2n

a

 

 

 

 

 

 

nn

 

 

 

 

 

 

 

 

 

· · ·

 

 

 

Теорема 93 (о замене базиса) Пусть V — векторное пространство и пусть e1, e2, . . . , en — его базис. Пусть f1, f2, . . . , fn — еще один базис пространства V . Тогда

xF = A1xE x V,

где xF — координатное представление вектора x в базисе f1, f2, . . . , fn, xE — координатное представление вектора x в базисе e1, e2, . . . , en, A — матрица перхода от базиса E к базису F .

Пример 131 Пусть R2 — двухмерное векторное пространство с базисом e1, e2. Пусть f1, f2 — новый базис в R2, и пусть

f1 = 2e1 + e2 f2 = e1 + e2

Требуется найти координаты вектора x в базисе f1, f2, если в базисе e1, e2 вектор x имеет координаты (1, −1).

Будем действовать согласно теореме о замене базиса (см. теор. 93, стр. 191). Мы можем выразить координатное представление вектора x в новом базисе через его координатное представление в старом базисе при помощи матрицы перехода (см. опр. 79, стр. 191):

xF = A1xE .

Матрица перехода выписывается из разложений базиса F по базису E:

A =

2

1

,

следовательно,

xF =

2

1

 

1

 

1

.

1

1

1

1

 

1

Для нахождения матрицы, обратной к матрице перехода, восползуемся методом Гаусса (см. теор. 88, стр. 169):

1

1

 

0

1

II

 

1

1

 

0

1

 

I

 

0

1

 

 

1

2

.

2

1

 

1

0

 

 

1

0

 

1

1

 

 

1

0

 

1

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Окончательно выражение для координат вектора x в базисе F имеет следующий вид:

xF =

2

1

 

1

 

1

=

1

1

 

1

=

2

.

1

1

 

1

1

2

1

3

192

Приложение B. Векторные пространства

Пример 132 Усложним задачу. Пусть на плоскости R2 фиксирован базис e1, e2, и пусть имеются еще два базиса:

f1

= 3e1

+ e2

h1

= e1 + e2

f2

= 2e1

+ e2

h2

= − e2

Требуется найти координатное представление ветора x в базисе H, если известны его координаты в базисе F : xF = (1, 2).

Задача опять-таки решается при помощи матрицы перехода (см. опр. 79, стр. 191). Только на этот раз переходить придется от базиса F к базису H:

xH = A1xF , где A — матрица перехода от базиса F к базису H.

Для того, чтобы выписать матрицу A, нужно знать, как выражаются базисные векторы h1, h2 через базисные векторы f1, f2. Исходя из разложений этих векторов по базису e1, e2, мы можем получить нужное нам выражение. Прежде всего, запишем разложения h1, h2 и f1, f2 в матричной форме:

f2

=

2

1

e2

,

h2

=

0

1

e2

.

f1

 

3

1

e1

 

h1

 

1

1

e1

 

Из этих двух матричных соотношений мы можем получить выражения для e1, e2:

 

e1

=

3

1

 

1

 

f1

,

 

e1

=

1

1

 

1

 

h1

.

e2

2

1

 

f2

e2

0

1

 

h2

Приравнивая левые части, получим матричное соотношение, связывающее векторы f1, f2 и h1, h2:

 

3

1

 

1

 

f1

=

1

1

 

1

 

h1

.

2

1

 

f2

0

1

 

h2

Домножим это соотношение на

 

1

 

1

слева. Тем самым — выразим h1, h2:

 

0

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

h1

=

 

1

1

 

 

3

1

 

1

f1

 

 

 

 

 

 

 

 

h2

0 1

 

2 1

 

f2 .

 

 

 

 

 

Для нахождения матрицы

3

1

1

воспользуемся методом Гаусса (см. теор. 88,

 

 

 

 

 

 

2

1

 

 

 

 

 

 

 

 

 

 

 

 

 

стр. 169):

 

 

 

 

 

 

 

1

 

 

 

0 1

 

 

 

3

.

2 1

 

0 1

II

2 1

0

I 2

 

2

3 1

 

1 0

 

 

1 0

 

1

 

1

1 0

 

1

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Таким образом, мы получили выражение для векторов h1, h2 через f1, f2:

h2

=

0

1

2

3

f2

=

2

3

f2

.

h1

 

1

1

1

1

f1

 

1

2

f1

 

Разложение векторов h1, h2 по базису f1, f2 таково:

h2

=

2f1

3f2

 

2

3

h1

=

−f1

+ 2f2

и матрица перехода нам известна: A =

1

2 .

Теперь мы можем вернуться к нахождению координатного представления вектора x в базисе F :

xH = A1xF =

1

2

 

1

 

1

.

2

3

 

2

B.2. Линейные операторы

 

 

 

 

 

 

 

 

 

 

193

Для нахождения матрицы

1

 

2

 

1

 

 

 

 

 

 

2

3

 

воспользуемся методом Гаусса (см.

теор. 88, стр. 169):

3

 

 

+I 2

0 1

2 1 II 2

 

2

 

0 1

 

1

2

 

1

0

 

 

 

 

 

1

2

 

1

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1 0

 

 

3

 

2

( 1)

 

1 0

 

3 2

 

0 1

 

2

1

 

0 1

 

2 1 .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Таким образом, координатное представление вектора x в базисе F таково:

xH = A1xF =

2

1

2

=

4 .

 

3

2

1

 

7

B.2 Линейные операторы

Линейные операторы образуют обширный класс преобразований плоскости, или, в более общем смысле, векторного пространства произвольной размерности. Во второй главе (см. главу 2, стр. 17) мы развили теоретический аппарат, посвященный таким преобразованиям. Здесь мы подробно разберем конкретные примеры.

Определение 80 (линейные операторы)

Пусть V — векторное про-

странство, и пусть ϕ : V → V — некоторое преобразование пространства V .

Оно называется линейным оператором, если

 

ϕ(x + y) = ϕ(x) + ϕ(y)

и

ϕ(αx) = αϕ(x)

для любых векторов x, y из пространства V и для любого числового коэффициента α.

Пример 133 Рассмотрим несколько важных примеров (см. раздел 2.3, стр. 44). В качестве векторного пространства возьмем плоскость R2. Такие преобразования плоскости как:

1.поворот плоскости на угол α относительно начала координат (мы будем обозначать его в дальнейшем Rα),

2.симметричное отражение плоскости относительно прямой l, проходящей через начало координат (обозначаемое в дальнейшем Ql),

3.масштабирование плоскости относительно начала координат с коэффици-

ентами k1 по горизонтали и k2 по вертикали (обозначаемое в дальнейшем

Sk1,k2 )

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

Сдругой строны, такое важное преобразование плоскости, как

4.смещение (или трансляция) плоскости на вектор a (обозначаемое в дальнейшем Ta), не является линейным оператором.

194

Приложение B. Векторные пространства

B.2.1 Матрицы линейных операторов

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

В данном разделе мы разберем конкретные примеры построения матриц линейных операторов. Теоретический аппарат, обосновывающий эти действия, был разработан нами в первой части книги (см. главу 2, стр. 17). Здесь мы продублируем необходимый теоретический минимум.

Определение 81 (матрица линейного оператора) Пусть V — векторное пространство, в котором фиксирован базис e1, e2, . . . , en, и пусть в V действует линейный оператор ϕ : V → V . Под действием оператора ϕ базисные векторы e1, e2, . . . , en переходят в векторы ϕ(e1), ϕ(e2), . . . , ϕ(en), которые, будучи векторами векторного пространства V , допускают разложение по базису:

ϕ(e2) = a12e1

+ a22e2

+ · · ·

+ an2en

ϕ(e1) = a11e1

+ a21e2

+

 

 

+ an1en

.

.

.

·.

· ·

.

.

.

.

 

.

.

.

.

.

.

 

 

.

 

 

 

 

 

 

 

ϕ(en) = a1ne1 + a2ne2 + · · · + annen

Коэффициенты этих разложений, выписанные по столбцам, называются матрицей оператора ϕ. Как явствует из определения, матрица оператора зависит от выбора базиса в векторном пространстве. Поэтому правильнее говорить о матрице линейного оператора, выписанной в данном базисе:

 

a21

a22

·· ·· ··

a2n

 

 

 

a11

a12

 

a1n

 

 

Matr E (ϕ) =

.. .. . . .

..

 

. .

 

.

 

.

 

a

a

n2

a

 

 

n1

 

nn

 

 

 

 

 

 

· · ·

 

 

 

Пример 134 Пусть на плоскости R2 фиксирован базис e1, e2. Пусть на плоскости действует отображение ϕ:

ϕ :

x2

−→

x1

− x2

.

 

x1

 

x1

+ x2

 

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

Для доказательства линейности ϕ достаточно показать, что этот оператор обладает свойствами, указанными в определении (см. опр. 80, стр. 193). Пусть векторы x и y имеют следующие координаты

x =

x2

,

y =

y2

 

 

x1

 

 

y1

 

B.2. Линейные операторы

 

 

 

 

 

 

 

 

 

 

 

 

 

195

в базисе e1, e2. Тогда выписывается действие оператора ϕ на их сумму x + y:

 

ϕ (x + y) = ϕ x2

+

y2

= ϕ

x2

+ y2

 

= x2

+ y2

− x2

− y2

 

=

 

x1

 

y1

 

x1

+ y1

 

x1

+ y1

+ x2

+ y2

 

 

= (x2

− x2) + (y1

− y2) =

x2

− x2

+ y1

− y2

 

=

 

 

(x1

+ x2) + (y1

+ y2)

x1

+ x2

y1

+ y2

 

 

 

 

= ϕ (x) + ϕ (y) .

Аналогично можно расписать действие ϕ на скалярное кратное α x:

ϕ (α x) = ϕ α x2

 

= ϕ α x2

=

α x2

− α x2

=

 

 

x1

 

 

α x1

 

α x1

+ α x2

 

=

α (x2

− x2)

= α

x2

− x2

= α ϕ (x) .

 

 

α (x1

+ x2)

 

x1

+ x2

 

 

 

Эти соотношения в совокупности означают, что, согласно определению (см. опр. 80, стр. 193), отображение ϕ, действующее на плоскости, действительно является линейным оператором.

Наша следующая цель — выписать матрицу этого оператора в указанном базисе. Для этого надо знать, во что переходят базисные векторы e1, e2 под действием оператора ϕ. Заметим, что в базисе e1, e2 базисные векторы имеют следующие координаты:

 

e1 = 0

, e2 =

1 .

 

 

 

1

 

 

0

 

 

Поэтому:

0

=

1 0

=

1

= e1 + e2 ,

ϕ (e1) = ϕ

 

1

 

1 + 0

 

1

 

 

ϕ (e2) = ϕ

1

=

0 1

=

1

= e1 − e2 ,

 

0

 

0 + 1

 

1

 

 

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

ϕ(e2) = e1

− e2

Отсюда Matr (ϕ) =

1

1

.

ϕ(e1) = e1

+ e2

 

1

1

 

Пример 135 Пусть в физическом пространстве R3 фиксирован базис e1, e2, e3 и пусть в R3 действует оператор

ϕ :

x2

 

 

2x1 + x2

+ x3

.

 

x1

−→

x1

+ 2x2

− x3

 

 

x3

 

x2 + x3

 

Доказательство того, что этот оператор является линейными, проводится так же, как и в предыдущем примере. Здесь мы ограничимся тем, что выпишем матрицу оператора в том базисе, в котором указаны координаты всех векторов. Для этого подействуем оператором ϕ на базисные векторы e1, e2, e3, координаты которых таковы:

e1

=

0

,

e2

=

1

,

e3

=

0 .

 

 

 

1

 

 

 

 

 

0

 

 

 

 

 

0

 

 

 

 

0

 

 

 

 

 

0

 

 

 

 

 

1

 

196

Приложение B. Векторные пространства

Будем действовать по тому правилу, которое указано в определении данного оператора:

ϕ (e1) = ϕ

0

=

2 · 1 +·

0 + 0

=

2

= e1 + 2e2 ,

 

1

 

1 + 2

0

0

 

 

1

 

 

0

0 + 0

0

 

ϕ (e2) = ϕ

1

=

2 · 0 +·

1 + 0

=

1

= 2e1 + e2 + e3 ,

 

0

 

0 + 2

1

0

 

 

2

 

 

0

1 + 0

1

 

ϕ (e3) = ϕ

0

=

2 · 0 +·

0 + 1

=

1 = e1 + e2 + e3 .

 

0

 

0 + 2

0

1

 

 

1

 

 

1

0 + 1

 

1

Теперь мы можем записать разложения образов базисных векторов по базису:

ϕ (e2) =

2e1

+

e2

+

· e3

Отсюда Matr (ϕ) =

2

1

1

.

ϕ (e1) =

 

e1

+ 2e2

+ 0

e3

 

1

2

1

 

ϕ (e3) =

e1

+

e2

+

e3

 

0

1

1

 

 

 

 

 

 

 

 

 

 

 

 

 

Пример 136 Рассмотрим в трехмерном физическом пространстве R3 тройку линейно независимых векторов a1, a2, a3 и тройку произвольных векторов b1, b2, b3. Заметим, что тогда существует единственный линейный оператор ϕ, переводящий векторы ai в bi. Требуется найти матрицу этого оператора в том базисе, в котором даны координаты всех векторов, если:

a1 = (0, 0, 1)

a2 = (0, 1, 1)

a3 = (1, 1, 1)

b1 = (1, 3, −2)

b2 = (1, 1, 1)

b3 = (2, 2, 1)

Итак, по условию, оператор ϕ переводит векторы ai в векторы bi:

ϕ (a2) = b2

то есть

ϕ (

 

e2

+ e3) =

 

e1

+ e2

+

e3

 

ϕ (a1) = b1

 

 

ϕ (

 

 

e3) = e1

+ 3e2

2e3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ϕ (a

) = b

3

 

 

ϕ (e

1

+ e + e

) = 2e

1

+ 2e

2

+

e

 

3

 

 

 

 

2

3

 

 

 

 

 

3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Мы можем в левой части последней системы воспользоваться свойствами линейного оператора (см. орп. 80 на стр. 193) и записать ее в терминах образов ϕ (e1),ϕ (e2), ϕ (e3) базисных векторов, разложения которых нам нужны для записи матрицы оператора ϕ:

 

 

ϕ (e2) + ϕ (e3) = e1

+ e2

+

e3

 

 

 

ϕ (e3) = e1

+ 3e2

2e3

 

 

 

 

 

 

 

 

 

ϕ (e

) + ϕ (e

) + ϕ (e

) = 2e

1

+ 2e

2

+

e

 

1

2

3

 

 

 

3

 

 

 

 

 

 

 

 

 

 

Для разрешения этой системы относительно ϕ (e1),ϕ (e2), ϕ (e3) мы воспользуемся еще одним вариантом метода Гаусса, который состоит в следующем. Выпишем в виде единой таблицы коэффициенты при ϕ (e1),ϕ (e2), ϕ (e3) и при e1, e2, e3, после чего при помощи элементарных преобразований строк приведем левую часть к единичному виду. Тогда в правой части окажутся как раз коэффициенты нужных

B.2. Линейные операторы

 

 

 

 

 

 

 

 

 

 

 

 

 

197

нам разложений:

 

 

 

 

 

 

 

 

 

1

III

 

 

 

 

 

 

 

 

 

0

1

1

1

1

 

 

 

 

 

 

 

 

 

 

0

0

1

 

1

3

2

 

I

 

 

 

 

 

 

 

 

 

 

1

1

1

2

2

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1 1 1

 

2 2

 

1

 

II

 

 

1 0 0

 

3

1

 

0

.

0 1 1

1

 

1

 

1

 

III

 

0 1 0

2

2

 

3

 

0 0 1

 

1 3

 

2

 

 

 

 

0 0 1

 

1

3

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Таким образом, мы выписываем разложения образов базисных векторов:

ϕ (e2) = 2e1

2e2

+

3e3

Отсюда Matr (ϕ) =

1

2

 

3

.

ϕ (e1) = 3e1

+ e2

 

 

 

3

2

 

1

 

ϕ (e3) = e1

+ 3e2

2e3

 

0

3

2

 

 

 

 

 

 

 

 

 

 

 

B.2.2 Действие линейного оператора в матричной форме

Матричная реализация линейного оператора позволяет свести его действие к элементарной алгебраической операции: матричному умножению. Координаты вектора, который получается при действии линейного оператора — это результат умножения матрицы линейного оператора на вектор-столбец, составленный из координат исходного вектора1.

В переделах теоретического блока (см. раздел 2.3.4, стр. 54) мы получили соответствующее утверждение: теорему о действии линейного оператора в матричной форме.

Теорема 94 (о действии линейного оператора в матричной форме)

Пусть в векторном пространстве V фиксирован базис e1, . . . , en. И пусть вектор x имеет в этом базисе координатное представление в виде векторастолбца xE . Пусть, кроме того, линейный оператор ϕ, действующий в V , имеет в базисе e1, . . . , en матрицу A = Matr E (ϕ). Тогда образ вектора x, который получается при действии на него оператра ϕ, имеет координатное представление (ϕ(x))E , вычисляемое по формуле:

(ϕ(x))E = Matr E (ϕ)xE .

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

Пример 137 Оператор ϕ, действующий в двумерном векторном пространстве с

базисом e1, e2, имеет в этом базисе матрицу

2

1

.

4

1

Требуется вычислить координаты вектора ϕ(x), если x = (1, 2).

Для решения достаточно применить приведенное выше утверждение (см. теор. 94, стр. 197):

ϕ(x) =

4

1

2

=

6 .

 

2

1

1

 

0

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

198

Приложение B. Векторные пространства

Пример 138 Пусть оператор ϕ действует в трехмерном пространстве и переводит при этом векторы ai в векторы bi:

a1 = (0, 0, 1)

a2 = (0, 1, 3)

a3 = (1, 2, 1)

b1 = (2, 3, 2)

b2 = (1, 0, 2)

b3 = (2, 3, 1)

Требуется найти координаты вектора ϕ(x), если x = (1, 0, −1).

Здесь мы, прежде всего, вычислим матрицу оператора ϕ в том базисе, в котором указаны координаты всех векторов так же, как мы это уже делали выше (см. пример 136, стр. 196), а затем применим теорему о действии линейного оператора в матричной форме (см. теор. 94, стр. 197).

Так как оператор ϕ перводит векторы ai в векторы bi, то

ϕ (

 

 

e2

+ 3e3) =

 

e1

+ 3e2

+ e3

 

ϕ (

 

 

 

 

e3) =

 

2e1

+ 2e3

 

ϕ (

e + 2e

2

+ e

) =

2e + 3e

2

+ e

3

 

 

1

 

3

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Пользуясь свойсвами, характеризующими оператор ϕ как линейный оператор (а именно, его действие на суммы и скалярные кратные векторов), получим:

 

 

 

ϕ (e2) + 3ϕ (e3) =

 

e1

 

 

+ e3

 

 

 

 

ϕ (e3) =

 

2e1

+ 3e2

+ 2e3

 

ϕ (e

) + 2ϕ (e

) + ϕ (e

) =

2e

1

+ 3e

2

+ e

3

 

1

2

3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Из полученной системы можно выразить образы базисных векторов через сами базисные векторы:

ϕ (e2) = 5e1

9e2

5e3

Отсюда Matr (ϕ) =

18

9

3

.

ϕ (e1) = 6e1

18e2

9e3

 

6

5

2

 

ϕ (e3) = 2e1

+ 3e2

+ 2e3

 

9

5

2

 

 

 

 

 

 

 

 

 

 

 

 

Дальнейшее решение, согласно теореме о действии линейного оператора в матричной форме (см. теор. 94, стр. 197), сводится к матричному умножению:

ϕ(x) =

18

9

3

0

=

21 .

 

 

6

5

2

1

 

8

 

 

9

5

2 1 11

B.3 Проективные операторы

Переход к проективной плоскости (от плоскости как векторного пространства) позволяет реализовать в матричной форме еще одно важнейшее преобразование плоскости: смещение на некоторый вектор2.

В данном разделе мы разберем примеры работы с произвольными линейными преобразованиями плоскости, в которых участвует смещение: повороты относительно произвольной точки (а не отностительно начала координат), масштабирования относительно произвольной точки и симметрии относительно произвольной прямой (не проходящей через начало координат).

2Напомним, что, как было показано выше (см. пример 33, стр. 48), смещение не является линейным оператором и, следовательно, не реализуется в виде матрицы второго порядка.

B.3. Проективные операторы

199

Все эти преобразования являются проективными. Теоретические основы работы с проективными пространствами и проективными операторами получены нами в завершающей главе первой части (см. главу 3, стр. 63). Здесь мы продублируем остновные понятия и утверждения, доказанные нами выше.

Определение 82 (проективная плоскость) Пусть в физическом пространстве R3 фиксирован ортонормированный базис e1, e2, e3. Плоскость, проведенную через точку (0, 0, 1) параллельно векторам e1, e2, будем называть проективной плоскостью и обозначать P 2.

Определение 83 (проективые координаты) Согласно данному выше определению (см. опр. 82, стр. 199), все точки, лежащие в P 2, имеют координаты (α1, α2, 1), а все векторы, лежащие в P 2, имеют координаты (α1, α2, 0). Эти координаты (снабженные одной “лишней” компонентой) называются соответственно проективными координатами точки и вектора.

Определение 84 (проективный оператор) Пусть проективная плоскость вложена в объемлющее трехмерное пространство P 2 R3, снабженное ортонормированным базисом e1, e2, e3, и пусть в объемлющем пространстве действует линейный оператор ϕ. Он называется проективным оператором, действующим на проективной плоскости P 2, если под его действием плоскость P 2 переходит в себя: ϕ (P 2) = P 2.

Так как проективный оператор является, по сути, линейным оператором, действующим в объемлющем пространстве, то при фиксированном ортонормированном базисе в объемлющем пространстве он реализуется в виде матрицы 3 × 3, причем справедлива следующая теорема.

Теорема 95 (матрицы основных проективных операторов) Мы отнесем к основным преобразованиям проективной плоскости:

1.трансляцию Ta на вектор a с координатами (a1, a2, 1),

2.поворот относительно начала координат Rα,

3.симметричные отражения относительно осей Qx, Qy ,

4.масштабирование вдоль осей Sk1,k2 с коэффициентами k1 по горизонтали и k2 по вертикали.

Все эти преобразования являются проективными операторами, причем, их матрицы в ортонормированном базисе следующие:

Matr ( Ta) =

 

0

1

a2

 

 

Matr ( Qx) =

 

0

1

0

 

 

 

 

1

0

a1

 

 

 

 

1

0

0

 

 

 

0

0

1

 

 

0

0

1

Matr ( Rα) =

sin α

cos α

0

Matr ( Qy ) =

0

1

0

 

 

cos α

sin α

0

 

 

 

1

0

0

 

 

 

0

 

 

0

1

 

0

0

1

200

Приложение B. Векторные пространства

Отметим здесь же, что преобразования отражения являются частными случаями масштабирования. Действительно:

Matr ( Sk1,k2 ) =

0

k2

0

, поэтому

Qy = S 1,1

 

k1

0

0

 

Qx = S1,−1

 

 

 

 

 

0

0

1

Значит, отражение относительно горизонтальной оси — это маштабирование плоскости с единичным коэффициентом по горизонтали и с коэффициентом (1) по вертикали: Qx = S1,−1, отражение относительно вертикальной оси — аналогично: Qy = S1,1. Тем не менее, традиционно отражения так же относят к основным преобразованиям плоскости и, соответственно, к основным проективным операторам.

y

 

π/2

 

0

x

G

 

(a) Поворот на угол π/2 относи-

тельно точки G.

 

 

y

 

 

 

C

 

0

x

(b)

Двукратное

масштабирование

относительно точки C.

Рис. B.1: Примеры проективных преобразования плоскости.

Пример 139 Треугольник с вершинами A(1, 1), B(1, 2), C(3, 1) вращается относительно точки G(2, −1) на угол π/2 (см. рис. B.1, стр. 200). Найти координаты вершин результирующего треугольника A B C .

Поворот плоскости как проективный оператор возможен только относительно начала координат. Поэтому для реализации нужного нам плоского преобразования η в матричной форме необходимо сначала сместить центр вращения G(2, −1) на вектор b = {2, 1} (то есть — выполнить трансляцию Tb), затем выполнить поворот плоскости Rπ/2 на угол π/2 и после этого — выполнить обратное смещение: трансляцию T−b на вектор −b = {−2, −1}.

η = T−bRπ/2Tb =

 

0

1

1

sin π/2

cos π/2

0

 

0

1

1

 

=

 

 

 

 

 

1

0

2

cos π/2

sin π/2

0

 

1

0

2

 

 

 

0

 

 

0

0

1

 

0

0

1 0

0

1

 

=

1

1 1

0

0

0

1

1 =

1

0

1 .

 

 

 

1

0

2

 

 

0

1

0

1

0 2

0

1

 

3

 

 

 

 

0

0

1 0

0

1 0

0

1 0

0

 

1

 

 

 

Теперь можно вычислить координаты результирующего треугольника просто при помощи матричного умножения: для этого нужно предварительно перейти к про-