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

Konspekt_po_algebre

.pdf
Скачиваний:
5
Добавлен:
28.05.2022
Размер:
1.11 Mб
Скачать

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

c

 

 

 

x · xy · y

 

c

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

cos xy

=

 

 

 

x · y

 

 

 

 

 

xy

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

òåx

 

y

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

где по леднее рав нство(x, y)полученоx y

cosпримененениемxy = x y

ðå· ìû Ïè= xàãy,ðà:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

≡ | | | |

 

c | | | | x · xy

· y

 

 

·

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

|x| =

2

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x1

+ x2

 

 

 

2

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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

 

векторîв в некоторой декар-

|y| =

y1

+ y2 . × ðåç x1

 

x2

, y1 y2

 

 

 

 

 

 

 

÷òî

 

 

 

 

 

 

2

 

2

 

p 2

 

2

.

 

цательныйЛюбойОпределениеИтак,вектор

 

 

îмсинусомвиденазываетсяпроизведенияктор,. Для этого будетднонаправленногоквадратполезноx xкоторогоследующееx xемуравен, îðòày 1.y = y

+ y

-

p

 

разбираемсскалярпредставим11..5.ДействитяОртс к

 

 

 

 

 

 

 

 

 

 

 

 

 

 

·

 

=

1 +

2

·

на 1неотри2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ëüíî,

 

 

x

2

 

x x

 

 

 

 

 

 

 

 

 

x

îðò,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

=

 

 

·

 

= 1,

 

òî åñòü

ex =

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x2

 

 

x2

 

 

x2

 

. Очевидно

ãåîìåòрически,

÷òî

xy = exey

. Следовательно достаточно

 

 

 

 

 

 

новить, что

 

 

 

 

 

 

x = x

· x ex

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

óñòà-

 

 

 

 

 

 

 

 

 

x

 

y

y2 .

 

 

 

 

 

 

c

 

 

d

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

cos exey = √x2·

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

d

 

 

 

 

 

p

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

странстве)Так кактакой,ортечтоимеет единичную длинусоответственно,тосуществует

 

угол ϕ (в двумерном про-

 

 

 

 

 

e = (cos ϕ, sin ϕ). È,

 

 

 

 

 

 

 

 

 

ex = (cos ϕx, sin ϕx) =

x

2

,

 

 

 

 

 

y

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

Найдем скалярное ïðî

изведениеОтсюда косину

угла между

 

 

è

 

åñòü

 

 

 

 

 

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ey = (cos ϕy , sin ϕy ) = py2 .

 

 

 

 

ex · ey по пункту 1):

 

ex

 

ey

 

 

cos(ϕx − ϕy )

 

 

 

 

 

 

ex · ey = cos ϕx · cos ϕy + sin ϕx · sin ϕy = cos(ϕx − ϕy ).

§J11.2. Теория рама-Шмидта

1882ERHARD6Oгодассмотрим•GEN.11.2.1PEDERSENSCHMIDT. Критерийсемействекторов)(1876GRAMвектороврама-1953)(1850.линейной-1916).езависимостирам разрабатывал свою теорию с 1879 по

ранству

комбинацийEnэтих.Возьмем ñòолбец из элементов

xi

ектор из их

Eинейной оболочки (из множества всехстолбецей х

 

= (e1, ..., ek),

 

принадлежащее е кли ову про-

x L(E)

 

P

 

через коорäинатный

x = 1k

eixi = Exˆ, ã коордèíàòíûé

. Выразим скалярный61

квадрат,12.06.2012

 

ãäå x2 = (

 

xˆ)

 

(

 

xˆ) = (( xˆ) )

 

 

 

xˆ = (ˆx

 

)

 

 

xˆ = xˆ e12

 

. . .

e1 · ek

xˆ = xˆ (

 

) xˆ

 

 

 

E

 

·

 

E

 

.

 

E

 

 

· E

 

 

 

E

 

· E

 

ek e1

 

· · ·

ek2

 

E

 

 

 

.2 ...

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

e1

 

 

 

 

 

e1 · ek

 

(

 

) матрица рама. (Тактолькак

 

строка из векторов, то

 

ek e1 · · ·

 

 

ek2

 

 

 

E

 

 

 

 

 

 

 

 

 

 

 

E

 

 

 

 

 

E

T

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Еслитолбецсистемаизвекторов.)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ординатного олбца(e1, ..., ek )

линейно независима, то

о для нулевого значен я ко

нытельно.Вчопределена

 

 

 

 

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

xˆ (E)ˆx

 

 

 

 

стности

 

. Поэтомувекторпо критериюравен0. ЗначитСильвестраквадратичнаявсеугловыесистема,оринорыT полоположитель-

 

Обратное. Пус| ü(E)| > 0. Что влечет

| (E)| 6= 0.

 

 

 

 

 

 

 

с ществует набор òàêèõ| (÷èñE)| 6=ë 0,

 

пусть E линейно зависимая

 

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

нулюУмножим. последнее

 

 

 

 

 

xˆ 6= 0

 

 

 

0 = Exˆ

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

равенство слева, чтона

 

 

, то есть линейная комбинация равна

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ET.

 

 

 

 

 

 

 

 

Íî

 

 

 

 

 

 

 

 

 

 

 

 

 

ET0 = ETExˆ 0 = (E)ˆx.

 

 

 

 

 

 

 

равенство:

 

 

 

 

÷òî

 

 

 

 

 

 

−1

(E). Умножим слева на обратную матрицу последнее

 

| (E)| 6= 0,

 

−1

влечет

 

 

предположение( (E))ëèíå0 =íîéIxˆзависимости= xˆ = xˆ = 0.

Получелинейнопротиворечие. Его источник

 

 

 

 

 

 

 

 

ерийсистемарама линейнойвекторовзависимости.Значит,линей езависимостнезависимой.сима.

 

 

 

 

 

 

 

 

чтобы

 

 

 

 

 

 

 

 

 

 

 

E

 

 

 

E

 

 

 

 

 

 

 

 

Äляоказантогокри

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ûрожденала.

 

 

 

 

необходимо и до-

статочно,Если•11.2чтобыв.2конечномерном.Общийматрицавидевклидовоскалярногорама былампроизведенияневEпространствеб

 

 

 

 

 

 

 

 

En n-мерное

 

 

 

про транство,

существует n-м рный базис

Аналогичн. Тîãäà

( x n

 

n

)( xˆ) x =

Exˆ

, ãäå

 

вектоалярное,

 

столбец.

E = (e1

...en)

 

E

 

 

x

 

 

 

 

 

( y E )( yˆ) y = Eyˆ. Исследуем ск

 

произведение.

 

 

 

 

 

 

n

 

 

 

n

 

 

n

T

 

 

 

 

 

 

X

 

 

X

X

 

номЗдесьвидепоследняя сумма является билинейной ормой. Ее можно представить в матрич-

 

x · y = (Exˆ) · (Eyˆ) =

1 eixi!

·

1

ej yj !

= i,j=1 ei · ej xiyj .

 

 

 

 

 

2

e1.en

 

y.1

 

 

 

 

 

 

 

 

 

e1.e ...

 

 

 

 

 

 

 

·

 

ene1 · · ·

en2

yn

 

E

 

 

 

 

 

 

 

 

 

 

b

b

(11.6)

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

 

 

 

 

 

Таким

 

скалярное произведение векторов

= x (

 

)y.

 

образом,x y = (x1...xn)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

E представимо

x · y

конечномерного евклидова

 

 

 

 

 

 

 

 

 

 

виде билинейной ормы (11заданного.6),де

ïðинтегралом;актическиординатндлявычислениянечномерноестолбцы,л жн гоматрицаскалярногорамапрîтизведения,. Этот результатнапример,применяется

xˆ yˆ

(E)

E

 

 

 

 

 

n

аточновычислитьпрстнствоматрункций,цурама.пример,Это

E

2

= L(sin x, cos x)

.

Следует взятьEнекоткîрый базиснайденными

 

 

 

 

разлокооржить12.06динатными.2012оба векторастолбцамипобазису.

и скалярныхвычислить

значениепроизведенийбилинейн.Затойпотомормыдост 62

n(n + 1)/2

 

она диагональна. Это случается когда все векторы б зиса ортогональны друг другу:

 

1906

 

ei · eÝòîj = когда базиснаяi 6= j. Ещесистемапрощеортонормирована:вычисления, если матрица рама единичная.

Тогда

 

ei · ej = 0 i 6= j ei2 = 1, i = 1, n.

 

n

 

тонормированнойныйДляИз.В•не11любой.ртогонального2.4..ШмидтлинейноАлгоритм, чтоссохранениемдаетоткрылнезависимойбазисаШмидтаметоихможноTд,линейныхортогонализациисистемыкотпîрыйлучитьвекторовоболочексводиорòогональныйсистемсистему.векторовк ортогональнойилиортонормилированор-

(E) = I

x · y = xˆ xˆ = P1

xiyi.

чтобы система составляла базис) алг ритм рекурентно находит для линейной(не обязательно,оболочки

 

 

 

 

 

 

 

 

 

 

 

E = (a1, . . . , an)

L(E)Âàîðианттогональбезнормировкиый или ортонормирîванный базис B = (b1, . . . , bn).

 

 

 

 

 

b1 := α1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

b2 := a2 − α21b1, α21 такой, чтобы b2 было ортогонально b1.

 

 

 

0 = b1 · a2

α21b12 =

α21 =

b1a2

.

 

 

 

b2

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

b3 = a3 − α31b1 − α32b2, b3 должно быть ортогонально b1 è b2.

 

0 = b1a3 − α31b12 =

α31 =

b1a3

,

 

 

 

 

 

b2

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

0 = b2a3 − α32b22 =

α32 =

b2a3

,

 

 

 

 

 

b2

 

 

 

 

 

............ ...........

 

 

 

2

 

 

 

 

 

 

 

a3bi−1

 

 

 

i−1

aibj

 

 

 

a3b1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

X

 

 

 

bi = ai

b12

· b1 · · ·

bi2−1

 

· bi−1 = ai

 

bj2

bj

 

 

 

 

 

 

 

 

 

 

 

j=1

 

 

Вариант с нормировкой.........................Вводятся промежуточные элементы:

b1 := a1, b1 :=

 

b1

 

 

,

 

 

 

 

 

 

 

p

 

 

 

 

 

 

 

 

 

 

(b

)2

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

b2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

b2

:= a2 − (a2 · b1)b1, b2 :=

 

 

 

 

 

 

,

 

 

 

 

 

 

 

 

2

 

........................

 

 

 

 

 

p(b2)

 

 

P

 

 

 

 

 

 

 

 

bi

 

i−1

 

 

 

 

 

 

 

 

bi

= ai

j=1(aibj ) · bi, bi :=

 

(b)2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i

63

12.06.2012

.........................

p

какие-то векторыб

ужепрострбыли ор

огональбесконечноы, то(континуум)меньше. А вообще.

количество ортонор

мированныхЗ ч н

2.

 

 

 

 

 

 

ебольшой моди ик цией можно применять и для ли-

нейно зависимыхазисовсистеАлгоритм. Тогдаанства некоторых -x шагах могут появляться нулевые

bi.

Их вместе

 

 

 

 

 

 

 

 

 

i

 

 

 

 

Упражнения.a1)i ледуетОртонормироватьизъять. систему ункций

 

 

 

 

 

2)

 

 

 

 

 

 

 

 

 

(1, x), åñëè f · g = Z0

1 f (t)g(t) dt;

(sin x, cos x), åñëè f · g = Z0

 

 

 

 

 

π/2 f (t)g(t) dt.

 

 

 

 

 

ат3. мстрОртогональныенепространстве,11выводят.6. Линейноеизэтогодляпоподпрострдпространкот рогостранстваоперацииñтвова сложенияэто.Инымиподпрострподмножество,элеловамиментов.Пустьсодержащиесяумножени

навОпределениевекторноопер§11.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

торное пр

 

анство. Множество

 

 

V âåê-

 

 

 

 

 

 

 

 

 

 

L называется его

анство когда

(11.7)

всехОпределениевекторов,

 

 

 

 

 

 

( x L) ( t P )

tx L

 

 

 

 

 

 

 

V

 

L

 

( x, y L) x + y

L

 

 

 

 

ортогональных11.7. Ортогональноевсемвекторамдополнениепространстваподпространства L это множество

 

 

 

 

 

 

 

 

 

 

 

L.

 

 

 

 

Очевидно,

 

 

 

 

 

 

 

L := {x| ( y L) x · y = 0} .

 

 

(11.8)

дует,ДТравноеоремак чтоисхзт11дномуел.6ь.сL

= L

 

 

 

 

 

 

 

 

 

 

 

 

 

 

линейностиоеортогональноедополнен. и дèстрибутивностие являетсядополнениелинейнымкскортогональномуалярногоп дпространствомпроизведениядополнению.сле-

 

 

Ортогональподпространствув. Из

 

 

 

 

 

 

t R1

 

x L

 

 

 

 

 

= x L ,

 

 

 

 

( y L) (tx) · y = t(x · y) = 0

 

другу,Определениекогдаx, y 11L

 

( z L)

(x + y) · z = x · z + y · z = 0

= (x + y) L .

 

 

 

 

 

 

 

 

 

 

 

 

 

.8. Два линейных подпространства называются ортогональными друг

åòñÿ

( x L1) ( y L2) x · y = 0.

Обозначение

: L1 L2

 

 

ортогональность вектора

 

 

 

 

. Аналогично определя-

xОпределениеL.

11.9. Пусть

 

x подпространству L : ( y L) x ·y = 0. Обозначение:

 

 

 

 

 

 

цией вектора

 

 

 

L подпространс во, x вектор. Орт гональной проек-

pr

 

x на подпространство Lназывается

акой вектор prLx, ÷òî (L −

обозначениеpr . азность

x

pr

Lx

ортогональной составляющей. Ее

Lx)

Lx

 

 

 

 

 

: ortLx. Иногда

o Lx. 64

12.06.2012

обозначение:§

 

 

 

 

 

 

 

декартовом.

 

квадратеρ(x, y), x,некоторогоy M . Метрикмножествапространствахэтоивещественнозначнаяудовлетворяющая следующимункция, заксиомам:данная на

.ρ(x, y) ≤ ρ(x, z) + ρ(z, y) x, y, z M .

 

III.ρ(x, x) = 0 x M .

 

 

В нормированныхρ(x, y) ≥ 0 x, yв кторныхM .

обычно вво ится естественнаяметрика:

ρ(x, y) =

k

x

y

. А в евклидовых

обычно вводитс

норма

 

 

 

 

k

 

 

kxkE =

x2

 

 

 

 

 

 

задают так: .

 

Это п водит тому, что метрику в е клид вом пространстве обычно

Ïðî

 

 

 

 

 

 

 

 

метрики приE.двух аргументах

 

 

значениеρ(x, y) = kx − yk

x y говорят, что это

асстояние между

 

 

 

 

 

 

 

 

 

 

xОпределениеy.

11.10. Пусть элемент

 

 

понимаетсяна которо

определена метрика

x и множе тво M принадлежат множеству S,

 

 

 

 

 

 

 

 

 

ρ. Тогда под раñст янием от точки до множества

Теорема 11.7. Пусть

ρ(x, M ) = inf ρ(x, y).

(11.9)

y M

 

векторного пространстваL конечномерное линейное подпространство размерности r

Приче

åñëè

V . И пусть

x V .

 

Тогда существует prLx

ortLx.

Ä

ç

проекциил ьx âL .тоПустьможно назначить

ortLx =равносиль0 prLx = x.

 

 

твован

 

 

prL

(b1...br )

=:

B

базис подпространства L. Тогда суще-

 

 

 

 

x согласно определению

 

 

 

 

 

 

сущест ованию столбца

ñледствием системыT, акого,. что

(x

− Bβ) · Bβ = 0

.

Последнее ж

âенство является

β = (β1

, ..., βr )

 

 

 

 

 

 

 

 

 

 

 

матричном виде, системы(x − Bβ) · bi

 

 

 

 

 

 

 

Òî åñòü,

= 0,

i = 1, r.

.

 

(11.10)

 

Система

 

 

 

=

 

 

 

...

 

...

 

...

 

 

 

 

 

 

 

 

 

x. · b1

 

 

 

 

 

b12

 

...

b1

 

·

br

 

β.1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(11.11) всегда разрешима относительно

 

 

βr

 

 

(11.11)

 

 

 

 

x · br

 

 

 

br · b1

...

 

br2

 

 

 

 

и у нее при неизвестных матрица рама

 

 

 

 

 

 

 

β1, ..., βr, ибо это линейная система,

È

åñëè

 

 

 

 

 

 

 

 

 

(B), ê

 

 

 

 

тогональнаяневырождена,проекция,такак B базис.

ортогональнаяЕслиβ ее составлрешениÿ,ютоаяпо. построению

îð

 

 

 

(x − Bβ)

 

да чтобыx L,

то существу

 

столбец

x = (x1, ..., xr )T,

àêîé, ÷òî x

= Bx, è

 

Ò

 

ïðèBβ x = β.

 

 

x

 

 

L

 

b

 

 

 

 

 

ortLx = 0.

B(x − β)Bβ = 0,b ÷òî

 

 

x совпадает со своей проекцией, значит и

b

 

реализуесть

 

была проекцией

 

 

íà

 

достаточно выполнения

 

 

 

 

 

b

 

 

65

 

12.06.2012

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

pr x

 

 

 

 

 

 

 

 

 

x

 

 

 

 

 

 

 

 

L

ort x

 

 

 

 

 

Теорема 11.8. Пусть имеетсяx

подпространство

 

 

 

 

L

 

 

 

 

 

 

 

 

 

 

 

извольное

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

L евклидового пространства E è ïðî-

такой aвекторE \ L. Пусть существует минимайзер для (11.9) в определении 11.10

преобразования:т. .

p LОчевидно,чтоасстояние от него

 

a равно расстоянию от L äî a,

Тогдаρ(a, p) = ρ(a, L)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Ä ê

( xò äåëLü)ñ òxâ î(.a − p). Инымичто любойловами,векторL (a − x).

 

 

 

 

 

 

 

 

 

 

 

x = tz + p,

ã t скаляр,

z L

 

 

 

 

z

2

= 1.

 

 

 

x L можно представить в виде

 

 

 

 

 

 

Совершим некоторые элементарны

 

 

 

2

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

2

 

 

 

 

 

 

 

2

2

 

 

 

 

 

 

 

 

коэ ициент при

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Оказывается,(a здесь− p) =

a − p + p t·z

y

 

= (a − p)

 

+ 2 (a − p) zt + t z .

 

 

 

полняется

(a − p) · z 6= 0,

 

 

 

 

| {z }

 

 

t равен 0. Если допускается противное и вы-

 

то найдется

 

ε > 0, такое, что:

 

 

 

 

 

 

 

 

 

 

 

Выберем

 

 

 

|t| ≤ ε

=

|2 (a − p) · zt| > t2z2.

 

 

 

 

 

 

 

 

 

 

 

тиворечит

минимизирующему

свойству

 

 

 

 

 

 

 

 

 

 

(a − x)

2

< (a − p)

2,

÷ ïðî-

 

 

t =

−ε sign [(a

− p)

· z].

 

 

Тогда получим

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

p.

Следовательно, z (a − p),

 

поэтому и

(Теоремаp +Èçtz)последней· (a11.9p.) Åñëè=теоремы,0 минимайзер. . xочевидно,(a − päëÿ) вытек. . L àåò(a − p).

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ной проекци

вектор

 

 

 

 

 

 

 

(11.9) существует, то он является ортогональ-

ТеоремаОбратно11.10содерж.являетсяЕс

следующемпо пространствопроекцияутверждениивектора. .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ли ортогональнаяa â

 

 

 

 

 

 

L

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ствует, то ортогональнойминим йзером для

 

 

 

 

 

 

 

a на подпространство L ñóùå-

равенД одлинек а з а

å

 

. Â ñилуост определенявляющей.

11( 1.10:.9), и они об единственны. Минимайзер

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ρ a, L

 

inf

 

 

a

 

y 2 = inf

 

 

a

 

 

prLa + prLa

 

 

y

2

 

 

 

 

 

 

 

 

 

(

) = y L p(

 

)

ort y L p(

 

 

 

 

)

 

=

 

 

 

 

 

Ин имум, очевидно, достижимминимайзера= ïinf

 

 

 

 

2

 

 

 

 

 

 

2

.

 

 

 

 

 

 

 

 

 

 

 

единственномLa + (prLa

y)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

y L q

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

составляющаяся что ортогональнаятеоремысуществует,prдокL азаноипрравен.екциято онаединственнаL . Таким.-

 

 

 

 

 

 

 

 

 

 

векторо

 

 

 

 

y =

x

 

 

 

 

 

 

port a

наСобразом,л. СледствиемИз. сединственностиотносительно11теорем.1. асстояниеЕсли11ортогональная.7 11.10 являеследует,утверждение

 

 

 

 

 

 

 

 

Теоремастранство11.11.

 

между

ì x и конечномерным ли ейным подпро-

L равно

p

2

 

 

2

и реализуется единствеí

вектором

ortLx

 

x − prLx

ortLx.

 

 

 

66

12.06.2012

 

 

 

 

p

 

 

:

и онаД о кединственныйа з а л ь эквивалентновект. Посколькур с такимиx\Lxсвойствамиsup cos x.y,

 

 

 

 

 

 

 

 

 

(11.12)

 

 

 

 

 

 

 

cos

pr

 

= y L

 

c

 

 

 

 

 

 

 

 

 

 

 

утверждение (11.12)

 

 

 

 

 

 

óòâåрждению·

= cos

 

x\prLx

è

x

·

y

= cos x y,

 

 

 

 

 

 

 

 

 

 

x

 

prLx

 

 

 

 

 

 

 

 

 

 

c

 

 

 

 

 

 

 

 

 

kxk kprLxk

 

 

 

 

 

 

 

 

 

kxk kyk

Обозначим проекцию через

·

prLx

=

 

 

sup

 

x

·

y

 

.

 

 

 

 

 

 

(11.13)

 

 

 

 

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

kxk kprLxk

 

 

y2=1 y L kxk kyk

 

 

 

 

 

 

 

 

íîå

 

 

 

 

 

p. Тогда умножая (11.13) на ||x||и ||p||, имеем эквивалент-

Остается доказатьx

·

p

 

 

sup

 

x

· (

y

k

p

 

 

sup

 

 

x

·

y.

 

 

 

(11.14)

 

 

 

= y2=1 y L

 

 

 

k) = y2=p2 y L

 

 

 

 

 

 

Лемма 11.1. Пусть

 

x · y ≤ x · p

при условии y2 = p2 y L.

 

 

 

 

(ÄèçéLñ).тТогдав и т е лp ·ízî<.

y2 = p2 y L y = p + z,

ãäå z некоторая ненулевая добавка

0.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

p2 = y2 = p2 + 2p ·z + z2

 

0 = 2p ·z + z2,

èáî

z 6= 0 = p ·z < 0.

 

 

 

 

 

 

 

 

 

 

 

 

 

...

является подпро-

принять во внимание, что

В пространстве E2 утверждение леммы весьма наглядно, если

Возвращаемспроекциятеор му.

 

 

 

 

 

p z > 90

0.

 

 

 

 

cos p z < 0

 

 

 

 

 

 

 

c p

 

 

c

 

 

(òàê êàê z · p < 0

в силу леммы). Так м образом,x ·

y = x · (p + z) = x · p + z · p < x · p

xминимайзер· yКак.Т известно,естьпоуглумножество.

 

 

 

 

единственный условный максимайзер выражения

 

 

единственныйрешений линейноймаксимайзерсистемыпокосинусу и такж единственный

 

 

 

 

 

 

 

 

 

 

 

 

 

a1x = 0

 

странством. Так же и линей ая оболочка векторов

ak x = 0

 

подпространства ортогональны друг другу:

 

 

 

 

, a подпространство. И эти

 

x

...

 

 

 

=: S

 

 

 

a1, ... k

 

ное(В последнЗадачапроизв

 

îò

 

 

S := L(a1, ..., ak ).использовано скаляр-

 

 

 

a1

·

x = 0

 

 

 

 

 

 

 

 

ak

 

x = 0

 

 

 

 

 

 

 

 

 

·

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

åдение)й1системе. Найти в отличие

предпоследней для наглядности

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ρ(x, S)

,

ãäå 67

 

 

06.2012.

 

 

 

 

 

 

S = L(a1

, ...12,.ak )

 

 

чтобы

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x −pr x

 

 

 

 

 

ρ(x, S

 

 

 

 

 

 

 

 

 

 

 

 

 

 

линейной оболочки

S (отметим, что

1) найти базу илиследует:базис

B

:= (b1, ..., br )

решить систему (11.11) относительно

 

 

 

 

 

 

 

 

 

 

 

 

L(a12), ..., ak) = L(B));

 

 

 

 

 

 

 

 

 

 

 

 

 

β = (β1...βr )T,

í éòè prSx = Bβ;

 

3 вы есть п оекцию из

 

 

 

 

 

 

 

 

 

 

 

 

равнаЗадакомому ðасстоянию. , что даст

 

 

 

тогональную составляющую, длина которой

ча 2. Найти

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Действия аналогичные решению

 

системы 1, но симметричныезадано .сИмеемпомощью системы.

 

 

 

ρ x, S ),

если подпространство S

 

 

 

 

 

 

Послевойчастиумноженияпоявляется(11.15) на

векторыprSxèç= xортогон− ortSx.льного

дополнения пространства,(11.15)в

ятыниелинейнозависимые (то есть шаг 1 з дачисистему1 æ

 

проделан).уравненийИмеявиду предстужизъав-

 

 

 

 

0. Будем считать, что из равнелинейных,порождающих S

 

ortSx = (a1...ak ) (α1...αk )T,

получàåì

 

 

 

 

 

 

 

 

относительно

1...αk ):

 

 

 

 

0 =

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

,

 

 

 

 

 

 

 

 

 

x

 

a

 

 

 

 

 

 

 

 

α. 1

 

 

 

 

откуда находим

 

 

...·

 

 

1

 

(a1...ak )

 

 

 

 

 

 

 

 

 

 

 

 

x · ak

 

 

 

 

 

 

αk

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

α. 1

 

 

 

 

 

 

 

 

 

 

 

x · a1 .

 

 

 

 

 

 

 

 

Умножаем

слева на

 

 

 

= −1

 

 

 

 

 

 

 

 

 

 

1...αk ):

 

...

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

αk

 

 

 

 

 

 

 

 

 

x · ak

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

в квадрат:

 

 

 

(a1...ak ), и полученную ортогональную составляющую возводим

 

 

 

x

a

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a1

 

 

 

x

a

 

(a1...ak ) −1

 

 

 

 

 

 

 

 

 

 

 

 

ak ) −1

 

 

 

 

=

...·

1

= (x

 

·

a1...x

·

 

...

(a1...ak ) −1

...·

1

 

 

 

x · ak

 

 

 

 

 

 

 

 

 

 

 

 

ak

 

 

 

x · ak

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ak ) −1

x

a

 

 

 

 

 

 

 

 

Поскольку

 

 

 

 

= (x

·

a1

...x

·

...·

1

=: σ.

 

 

 

 

 

 

a

 

 

 

 

 

 

 

 

 

 

 

 

x · ak

 

 

 

a1

 

 

 

Извлекаем квадратный корень

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

...

(a1...ak ) = I.

 

...

(a1...ak ) есть матрица рама ,

имеем −1

 

 

ak

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ak

 

 

 

 

èå

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Определе

 

.11. Линейным многообразием .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ρ(x, S

 

) = σ

 

 

 

 

 

 

 

èç ñóìì îäíîãî11вектора

векторов линейного подпрострM назывàнстваетсямножество,. состоящее

Çм ч н и 1. Очевидно,M = a÷òî+ S := {x|x = a + y y S} .

b68 M = 12b.06+.2012S = M .

R2

 

Л нейное по

которое участво ало в созда

ва, называется параллельным подпространством. Применим

ñòдпрострянияЗадаотчавектнств3. Найтиîдпространство,.до множества

M

к случаю

M = a + S

, ãäå

ïî

x

 

 

 

 

По определению 11ρ.10(x, M )

ãäå

M = a + S.

 

 

 

ρ(x, M ) = inf ρ(x, y) = inf ρ(x, y)

 

 

 

 

y M

ya S

 

линейн го подпростðàñàí- общее пределение

a вектор, S линейное

= inf ρ(x, z + a). Здесь

z S

ñz естественной= yассмотрим− a. метрикой:разновидность метрического пространства нормированное пространство

многообразиюСогласноизмногообразия,Задача ρ4вышеизло.x,поНайтиMдпространствомнужноinfентомxнайтиому,найти(a.äëÿ+разностьz)расстояниетого= infчтобымежду(x междунайтиэтимa) zвекторасстоэтой= infомяниеазностьюρ((xпроизвольнымотвектораa), zпараллельным). до вектоией-

ρ(x, y) = kx − yk. Â íåì

 

 

( ) = z S k −

k

z S k − − k

z S

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ρ M, N

inf

 

ρ(x, y),

ãäå ρ x, y

) = p(

x

y

2,

 

 

 

 

(

) := x M y N

(

 

 

)

 

 

торТеорема 11.13. асстояние между линейными многообразиями M и N равно длине(11век.16)

 

 

 

 

 

M = a0 + S, N = b0

+ P.

 

 

 

 

 

 

 

 

 

ortR(a −ýëåb), ментовгдеR = S P (

 

 

 

R являются результатами

суммирования

 

множесдпространстваэлементыментовожества

 

 

 

 

 

 

 

 

ные вектор

èç

 

 

S

 

ýëå

множества P ), a, b произво -

Ä

ç

ò å ëMü ñè N ,.соответственноПусть по

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

S è P заданы

виде линейных оболочек

S = L(α1, ..., αk0 )

è

 

.69

12.06.2012

 

 

 

 

 

 

 

 

 

P = L(β1, ..., βk0 )

 

 

 

 

 

 

 

 

 

 

 

соответственно.

 

 

11, a è b произвольные вектора из

мы их разности

P

R = S + P = L(α , ..., αk, β1, ..., βk)

1

, ..., αk }

1 ..., βk}

 

 

 

 

 

где, согласноρзамечаниюM, N

êinfопределениюx y 11=.

inf

a

b

p

s)

||

E

(

) = x M y N || − ||E

 

p P s S ||(

 

) − (

 

 

 

S

M è N

ρ M, N

 

inf

||

(a

b)

z

||E

=

inf

||

(a

b)

pr

 

(a

 

b) + pr

 

(a

b)

z

||E

=

(

 

) = z R

 

 

 

 

z R

 

 

 

 

R

 

 

 

 

 

R

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

bбудет) (z минимальноpr (a b))

2

.ïðè

Легкоinfзаметить,(ort (a ÷òîb) выражение(z pr единствен(a ïîb)))знаком= inf радикалаort (a

 

= z R p

R

 

− − −

R

 

 

 

z R q

 

 

R

− −

R

 

 

 

z = prR(a − b)

этот минимайзер

 

 

 

. Отсюда

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ρ(N, M ) = q

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

Формально,

 

 

 

 

 

 

 

 

 

ortR2 (a − b)

 

 

 

 

 

 

 

 

 

 

 

 

(11.17)

èõ â âèäå

 

 

 

ρ(N, M )

зависит от выбора a è b, покажем что это не так. Представим

 

 

a = a0 + s,

 

b = b0 + p. Тогда

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(p

 

 

 

s

 

 

 

 

 

 

 

 

 

ort2 a

0

b ) = ρ(M, N

=

 

inf

 

||

(a

b )

+ p

s)

||E

 

=

 

 

q

R

0

 

 

 

 

 

 

 

p P s S

 

0

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

многообрТакФормулыкакзиямиподмноже.в17)ормулеи(11твоinf.18)(11свидетельствуют. (a îòb)выбора(p sпринадлежащихо) òîì,=÷òî ortзависимость(a bвекторов). расстоянияотсутству(11между.18)ет.

 

 

(11

 

 

 

=

p P s S ||17)

 

||E

 

 

q

R

 

 

 

 

 

 

 

 

 

 

 

çденияиемадачеОказывается,.Тоортогональной1.естьмножествомножествоñоставляющейR решенийзадановможнолинейнойвиделинейнойвоспользоватьссистемыоболочкиявляетсалгоритмом,векторов,ялинейнымтописаннымдлямногообранахжв--

ïî

 

x

...

 

 

= M

 

 

 

 

 

 

a1

· x = b1

 

отвом,(11.док19)отороетем,чтоопределяетсявсе(11.19)с

 

 

ak

 

x = bk

 

 

 

 

 

 

 

·

 

 

 

 

 

 

 

 

 

 

 

 

 

естьощьюлинейноелинейноймног(Смотриобразиеднороднойспараллельнымсистемы,котораяподпроотличнаанс

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

X

частное решение системы (11.19), X(0)

 

b , . , bk

заменены на

 

 

 

 

 

 

 

 

0.

мето усса прошлый семестр). Было

азано, что

ãäå

 

X(11.19) = X(11.

+ X(0),

 

(11.20)

(11.19)

решений системы (11.19)70есть линейное12.06.2012многообразиеобщее решениепоопределениюсистемы(11. .19).

Множество

 

 

 

 

 

 

 

 

 

Соседние файлы в предмете Алгебра (общая)