Konspekt_po_algebre
.pdf
§ |
|
|
|
|
|
|
|
|
ленной |
|
|
|
|
|
|
Q(x) |
|
(ÏÎ), если отличие x от нуля ведет к положительности значения этой ормы. |
||||||||
Q x , x |
|
2. x2 |
x2 |
пример к |
определению |
10.5 для вещес венного пространства |
||
|
|
|||||||
âñåõQ(x1 |
, x2) = x2 пример к определению 10.6. Форма всегда неотрицательна, но не для |
|||||||
Определение 10.6. Квадратичнаяx 6= 0îðìà= Q(x) > 0. |
||||||||
|
|
|
|
|
|
|
Q(x) называется положительно полуопреде- |
|
(ÏÏÎ), åñëè |
( x) Q(x) ≥ 0. Примеры |
|||||||
размерности |
= |
|
|
|
|
|
||
( 1 |
|
2) |
|
1 + |
2 |
|
|
|
|
|
|
|
1 |
|
|
|
|
x 6= |
положительна. |
|||||||
|
|
2 |
2 |
è Q(x1, x2) = x1x2 |
||||
Q(x1, x2) = x1 − x2 |
||||||||
определениюТточно,еорема•чтобы10неотрицательна10.5..1410..ееКритерии.Для5, актогоППОположительнойчтобыльныйсогласноаточностькваинäрексопределениючнаянерцииленностиорпримерыавнялсяма10.была6. отрицанияинулю:ППО,полуопреденеобходимокакленностиПО согласнодоста-
Ä |
ê à ç |
ñ â . Äîñò |
. Пусть имеетс |
i−(Q) = 0. |
|
|||||
|
|
|
|
|
|
|
Q(x) |
и есть пр образование |
||
очевидноНеобх, |
|
|
|
|
2 |
2 |
Последняяр, сумма |
|||
y = Sx применениемдимость.Есликотороговдлянормальномвсехполучаетсy, значитвидеяестьчениеQäëÿ(õîòÿx) =всехбыполучимy x+äèí. ... минус,+ y . |
наприм |
|
||||||||
|
|
|
|
|
|
1 |
r |
|
|
|
ïðè àâ |
|
|
|
ys, |
s 6= j |
|
−yj2 |
, òî |
||
нулюТ |
|
yj |
|
|
|
|
|
|||
квадратичнойормыеорема. внялся10значение.5. Дляормыразмерности1того,. прочимчтобыпространстваорма былазнаиПО,отрицательныйнеобходимо0, и индексдостаточно,отрицательноинерциичтобыравнялсязначениеранг
|
|
î |
|
|
|
а тнормальномуес т в . (rang(ДостаточностьQ) = dim(. xУсло)) ие(i−(Q) = 0). |
|
|
|
|
|
|
|
|||||
Ä |
|
ê à ç |
|
|
теоремы, |
оч видно, |
эквивалентно |
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
приводящее к |
. |
Следовательновидуквадратичнуюсуществуеторму:неособое |
преобразование |
|
|
|
, |
|||||||||||
i+(Q) = dim(x) =: n |
|
|
|
|
|
|
|
y = Sx |
||||||||||
í , ÷òî |
|
|
|
|
|
|
|
|
Q(x) = y12 + ... + yn2 =: |
Q |
(y). ßñ- |
|||||||
òî åñòü |
îíà íå ÏÎ. Ýòîy 6= 0необходимость= x 6= 0, 51а. квадратичная12.06.2012 орма при этом неположительна, |
|||||||||||||||||
выражениеQ(y) = 0 |
−1 |
y = 0. Благодаря тому, что преобразование неособое, корректно |
||||||||||||||||
вияд казанаПустьНт |
x = S y. |
|
x 6= 0 y 6= 0 |
утверждение:= Q(y) > 0.нарушениеДостаточностьусло |
||||||||||||||
|
åîремыбходимость.влечет. Докажемне ПОПоэтому. обратное к необходимости |
|
|
|
|
|
|
|
||||||||||
зованием |
|
i := i+(Q) < dim(x) =: n. Приведя кв дратичную орму неособым преобра- |
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
÷àÿ |
2 |
2 |
2 |
|
2 |
ãäå |
δ |
|
принимаетyзначения= Sx к нормальномулибо0,либо1виду,.Тогда,имеемназнаQ(x) = y1 + ... + yi −δyi+1 |
−... −δyn |
|
||||||||||||||||
имеем |
|
|
|
|
|
|
|
y1 = ... = yi = 0, |
yi+1 = ... = yn = 1 |
|||||||||
|
Очевидно,Q(x) ≤÷òî0. |
|
|
|
|
|
|
|
|
|
|
|
|
|||||
Определениеявля доначальником10.7. |
|
|
ериканскойминоро |
матема икиìèí. Открылр, которозакон инерциимножество. |
èí |
||||||||||||||||||||||||||
дексов строк совпадает с множество |
|
|
|
|
|
|
|
|
|
лбцов. В принятых здесь обозначе- |
|||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
илиПО).вПустьлевоугломвымерхнеминороуглум.матрицы, то |
||||||||||||||||
|
|
|
|
|
|
|
Сильвестрай минориндексовпростонаходм,длязывается |
|
|
|
|
|
|
|
|
|
|||||||||||||||
Теоремаоннияхназываетсяэто 10M.JJ6(Aугловым(Критерий). Еслиглавным |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
ричная матрица, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Q(x) = xTAx (A симмет- |
|||||||||
чтобы все угловыеAминорыT = A). Дляматрицытого, чтобы Q(x) |
|
была ПО необходимо и достаточно, |
|||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
миноромы. |
|
|
|
|||||
располоквадратичнойДздимостьлевомс т . Вначале пояснениеA были. положительУгловым |
|
|
|
|
|
|
|||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
T |
|
T |
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
i |
|
|
|
женный |
|
|
|
верхнемуглу матрицы. |
|
|
|
|
|
|
|
|
|
|
называется минор, |
||||||||||||||||
Необх |
|
. 1. Åñëè |
|
|
трица |
|
|
|
|
|
|
|
i = MII , |
|
I = 1, ..., i. |
|
|||||||||||||||
Ä ñ |
|
ü í |
|
|
|
|
диагональномунеособоеПО,преобразованието. |
|
|
|
|
|
|
||||||||||||||||||
|
|
|
|
|
. Ñäåë |
|
|
A |
|
|
|
|
|
|
|A| |
> 0 |
|
|
|
T y = x, приводящее матрицу |
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
A10.5 âñå |
|
îð û Q ê |
|
|
|
T |
|
|
|
|
âèäó |
D = diag(d1, ..., dn). В силу теоремы |
|||||||||||||||||||
|
di > 0. Поэтому |
|D| |
|
|
|
|
|
|
|
T 6 |
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
> 0. Отсюда |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
2. Выделим некото0 < |Dîå| =семейство|T AT | = |перменныхT ||A|| | = |A||T | |
|
|
= |A| > 0. |
|
||||||||||||||||||||||||||
A ее подматрицы AJJ. Очевидно, если |
xi |
= 0 |
|
i |
Ji, |
iòî |
|
|
b |
|
|
|
|
||||||||||||||||||
главный минор симметðично расположенной |
|
относительно главной. Емудиагоналисоответствуетматрицыодин |
|||||||||||||||||||||||||||||
|
|
(x ) |
J |
|
=: x |
|
|
|
|
||||||||||||||||||||||
доказанаглавныеДостаточность.минорыQ тожеПО.ПОПустьматрицыквадратичнаяположительныорма. . |
b |
|
10 |
b |
b |
0 < AJJ |
M (A) |
|
|||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
b |
|
|
|
|
|
|
|
|
|
|
|
|
||||
ßñíî, ÷òî |
b |
|
|
|
|
|
Q(x) = x Ax = x AJJx =: Q(x). |
|
|
|
|
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
| ≡ |
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
И,Ввчастности,силуп.1 и угловые. НеобходимостьJJ . Т.е. все |
||||||||||||||
нойжу ормырегулярныйпроисх.одитСледователно,пометоду( i)Δi >согласноаусса,0. Поскоторыйтеоремеолькунеa |
|
= |
1 |
6= 0 |
|
|
|
|
|||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
меняет.2 изменениеугловые, первыйматрицыминорышагквадратичпо.ПоэтомуЛагран- |
||||||||||
|
|
|
|
|
|
|
|
|
(2) |
|
(2) |
|
= |
|
(2) |
|
|
|
2 > 0. |
|
|
|
|
|
|||||||
Отсюда |
|
|
|
|
|
|
|
1a22 |
= a11a22 |
|
|
2 = |
|
|
|
|
|
|
|||||||||||||
(2) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
Применяемa > 0предыдущиее.Опятьрегулярныйрассуждения:случай. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
22 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2a33(3) = |
|
|
|
|
|
|
= a33(3) > 0. È ò.ä. |
||||||||
Получаем |
|
|
|
(i) |
|
|
|
|
|
|
|
|
|
|
|
(i) |
|
|
3 |
> 0 |
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
i = |
|
|
, i = 2, n. Поэтому |
|
|
> 0, |
|
|
|
|
|
|
|
|
|||||||||||||||
|
|
i− aii |
aii |
i = 1, n. По построению |
|
||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(n) |
|
|
|
X |
(i) |
|
(n) 2 |
|
|
|
|
|
|
||||||
и согласно |
теореме 10.5 это |
Qозначает(x) = QnÏÎ(x |
) ≡ |
aii |
(xi |
|
) |
, |
|
|
|
|
|
||||||||||||||||||
|
|
|
|
|
|
|
|
квадратичной ормы |
|
|
|
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
i=1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
главныеЗ м минорыч 1. Проведя переиндексацию переменных, приходимQ. |
к выводу, что все |
||||||||||||||||||||||||||||||
(не только угловые)52положительны,12.06.2012 если матрица ПО.
(10 5), (10 |
x 6= 0 = Q(x) < 0 |
|
Теорематочно,10.4Теоремы.) чтобы10.(107.8 ее.Для4),положительныйQООтого,x. квадратичной≤чтобы.6)x (КритерийквадратичиндексормыинерцииСильвестраянеобходимоормабыл)былаимеютравени достаточно,ОПОаналоги0. (Cмнеобходимо. доклячтобы-ООво итеоремыидостаОПО-.
ìТеоремаинорыдостаточно,Д к 10збовидульше.9 чередуютс.(критерийКакьнулячтобыви. в. всетеоремеПриводимСильвестранечетные10.по6, угловыеимеемметодуОО).ЛагранжаминорыДляООбыликвадратичнойквадратичнуюменьше нуля,ормыормуа всенеобходичетныек кано-- |
||||||||||||||||||||||||||||||
ническому |
|
|
|
|
|
|
|
|
|
|
rang Q = dim x |
i+(Q) = 0. |
|
|
|
|
|
|
|
|||||||||||
ТезнакиЕслиремаминоров10орма.10.ППОЧтобыиликвадратичнаяяОПО,. то критеоðмаий усложняется, |
. |
i |
|
|
(i), |
, è âñå |
||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 = a11 |
|
= i−1aii |
i = 2 n |
|||||
ДостчтакîовымДбыаточностьквсезтеоремеглавные. ьассмотрим10минорыв.6,.еслиНеобходимостьееследующуютамматрицыв п.1 поменятьбыликвадратичную.ДокнеотазательствострогиебыицатеППО |
|
|
|
|
|
|||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Q(x) |
неравенстваорму:ль необходимодимостиыми.на нестрогиесовпадает. |
|||||||||
|
|
|
|
|
|
T |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
äîñòàточно, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
T |
|
a11 + ε |
|
a12 |
|
... |
a1n |
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
матрице |
|
|
|
|
|
|
|
|
|
|
|
|
a21 |
|
a22 + ε |
|
... |
a2n |
x. |
|||||||||
Применим к Fε(x) = x |
(A + εI) x = x |
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
... |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Φε |
|
|
|
|
|
a |
|
|
|
|
... |
a |
+ ε |
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n1 |
|
|
|
|
|
nn |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
норы. Они суть определители| {z |
критерийугловыхподматрицСильвестра.} |
Для этого рассмотрим угловые ми- |
||||||||||||||||||||||||||||
|
|
|
|
|
|
Φε |
(x) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ϕN: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
a11 + ε |
|
a12 |
... |
|
a1k |
|
|
|
|||||||
|
|
|
|
MNN(Φ ) = ϕN |
= |
|
a21 |
|
a22 + ε ... |
|
a2k |
= |
|
|
||||||||||||||||
|
|
|
|
|
|
|
ε |
| | |
|
|
|
|
|
|
|
|
|
... |
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
a |
|
|
|
|
... |
a |
+ ε |
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n1 |
|
|
|
|
|
|
kk |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
k |
|
|
k−1 |
|
k−2 |
|
|
|
|
|
|
|
k−3 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
N := {1 ..., k}. |
||
|
|
многочлене от |
|
|
|
2 +ε |
|
|
|
3 +... + ε |
|
|
|
NN |
(A), |
|||||||||||||||
= ε +ýòîì aiiε |
|
+ ε |
|
|
|
|
|
|
|
|
k−1 +M |
|
||||||||||||||||||
X |
|
|
|
|
Xêîý |
(определителициентыаковы: |
X |
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
X |
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
первого |
порядксуммапордматрицы |
|
|
|
|
|
|
|
|
|
|
|
aii сумма всех гл вных миноров |
|||||||||||||||||
|
|
|
|
|
|
|
ε |
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
(òàê êàê ýòà |
|
сумма чϕñòèN |
главных мин |
этихров |
|
|
|
|
|
|
|
|||||||||||||||||||
|
|
P подматриц), она неотрицательна |
||||||||||||||||||||||||||||
миноров ловияорого |
ÿäê |
|
ïîäìàтрицы |
|
|
|
|
|
|
Φε); |
|
|
2 сумма всех главных |
|||||||||||||||||
Èç ó |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
вательно,онанетрицательна. И критериюакдалее. |
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ϕN |
|
|
|
|
|
|
P |
|
|
|
|
||||
квадратичная εîðìà> 0 следует, что полин м MNN(Φε) > 0. Согласно |
|
|
|
Сильвестра |
||||||||||||||||||||||||||
Фиксируем какое-тоFε(x) ÏÎчевидно,. Ñëåä |
|
|
|
( x 6= 0)Fε(Tx) > 0. |
|
Следовательно, |
||||||||||||||||||||||||
матрица |
|
|
|
|
|
x |
6= 0 |
. |
|
|
|
|
|
|
0 ≤ |
lim F (x) |
= |
x Ax |
≥ |
0. |
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ε→+0 |
ε |
|
|
|
|
|
|
||||||||
АналогичноA ПОдоказывается. |
|
|
53 |
|
|
12.06.2012 |
|
|
|
|
|
|
|
|||||||||||||||||
Ä î êÒðóà çдоемкà ò ëîñòüâкритерия. смотриСильвестратеоремы (10эквивалентна.9), (10.10). |
трудоемкости метода аусса. |
|
|||
• 10.5.2. |
Конусы ПО и ППО |
атриц |
ва означает, что отрезок, соединяющий |
||
Определение 10.9. Выпуклость |
ìножес |
||||
две точки множества, принадлежи |
этому множеству. |
|
|||
зываОпрлюбыетсяделениеконусоловами,10.10если. МножествосуществуетC,некотороепринадл жащеенаправляющеевекторномумножествопространству,принад |
|
||||
лежащее векторному про транству, такое что |
M |
- |
|||
Иными |
кону это множество лучей,C =пронзающих{x|x = ty yмножествоM t [0, +∞)}. |
||||
|
|
èñ. 1. |
M . |
|
|
дновременно,ЕслимножназываетсествотокнусMзамкнутымоткрназсостоитваетсяиз,еслидвухнеодносвязнымнесвязныхопределении.частейполагаетсяинетлуча, пронзающего их
îткрытоКонус. ÿ , t (0, +∞) è M
пуклыйматТмеораЗð.емаиц,конус.замкнутый)ч10МножествоЗамыкание.12Kи. (О2. Чтобыожествоконусонусеположительноговоритьпололожитеобельноопредеоткрытостильныхt [0определенных, полуопределенных+∞) матрициMзамкнутости,образуютиматрицполуопределенных. нужнаоткрытыйобразуюткакая-âûòî-
∂K |
K K â î.∂K1). |
|
∂Ke |
. |
∂Ke |
|
|
|
K |
|
|
|
замыкание |
||||
конуса K. |
|
|
|
|
|
K |
|
|
¯ , где черта знак замыкания ¯ |
||||||||
|
|
|
|
|
|
|
K = K |
|
|
|
|
|
K |
|
|||
òîãî |
( |
|
состоит из самого множества и всех чточек сгущения.) Кро |
||||||||||||||
|
= e \ = |
e |
|
|
|
= |
|
( |
|
|
|
|
|
|
) |
|
|
Ä à ç à ò å ë ü ñ ò |
|
|
|
Выпуклость¯ |
|
граница |
|
|
|
|
|
|
|||||
|
|
|
. Она эквивалентна¯ авняетсятому,границе K . |
|
|||||||||||||
è |
|
|
|
|
A1 A2 положительно определены. Следовательно, txTA1x > 0 |
||||||||||||
xTA2x > 0. È, |
|
|
того, t и 1 − t54положительны12.06. . |
|
|
||||||||||||
Пусть столбец( A2 |
, A1 |
K) A(t) := tA1 |
+ (1 |
− t)A2 K t (0, 1). |
|
||||||||||||
|
|
x T Rn |
è x 6=T0. Тогда |
|
|
|
T |
2012 |
t [0 1]. |
|
|||||||
Д е й с т в и т екромель нx .A(t)x = tx A1x + (1 − t)x A x > 0 |
|
||||||||||||||||
|
сгущения), |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
t [0, 1] |
|
|
K: |
|
A |
|
|
|
K. Ò.å |
|||||||||||||||||
|
|
|
|
|
|
A(t) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(1 − t) ≥ 0, |
||||||||||||||
|
xTA(t x = txTA1x + (1 − t)xTA2x ≥ 0, |
|
|
кольку t ≥ 0, |
|
xTA1x ≥ 0, |
|||||||||||||||||||||||||||||||||||||||||||||
xTA2)x ≥Замкнутость0. |
|
e |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
{ s}1 |
|
|
|
|
|
||||||||||||||||
|
|
|
T åíèå |
|
|
|
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
точкВыраж |
|
|
|
|
|
|
è âñÿK. последоватПусть сущåльностьствует последовательностьпринадлежит конусуматриц As |
∞→ |
A (A |
||||||||||||||||||||||||||||||||||||||||||
( x)( s) x Asx ≥ 0 |
|
|
|
|
|
, |
|
означает, что если |
(s) |
элеме |
|
|
|
|
|
|
|
e |
|
|
|
(s) |
|
e |
|
|
|||||||||||||||||||||||||
|
|
|
|
|
|
|
|
As |
→ |
A |
|
|
|
|
|
|
|
|
поСледовательно,коэa |
|
|
|
|
|
|
|
As |
|
a |
|
s−→ |
a |
|||||||||||||||||||
емПоэтому в силу очевидной непрерывности |
|
|
ij |
ициентам квадратичной ормы име-. |
|||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ij |
|
→∞ |
ij |
||||
|
|
|
|
|
|
|
|
|
жительн определенности, то точно акж |
|
открытоеазывается |
|
|
|
|
|
, èç ÷åãî |
|
e |
|
|
||||||||||||||||||||||||||||||
|
|
|
замкнутостьT |
|
|
|
|
|
|
|
|
|
|
|
|
. |
|
|
|
|
|
|
|
|
A |
ÏÏÎ, |
|
.å. |
A K, |
|
÷òî |
||||||||||||||||||||
означает( x) 0 ≤ lim x Asx = xT lim Asx = xTAx |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
. |
|
|||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
ýòî |
e |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
Åñëè |
|
|
|
|
|
|
|
|
|
|
|
|
K. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
K K |
|
|
|
|
e |
|
|
|
|
|
K |
|
|
|||||||
K K |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
∞ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
As → A {As}1 |
|
K |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
A K |
|
|
|
|
|
следует |
|||||||||||||||||||||||
¯ |
3) Ко.Впрочем,усполо |
|
|
|
|
|
включенией следует из очевидного |
|
|
|
|
e |
|
и замкнутости |
|
|
|
|
|||||||||||||||||||||||||||||||||
|
e |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ê |
ерывныеK |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Ae |
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
огминорыдасогласносуществунеп |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
жительноположитечислоопределена.Сьны.ательно,.НоТ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||
нечное |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
кминорыло |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
итерию Сильвестраункциимножествоэлементоввсеееугловые.Пустьматрицыкритериюглавныепоих- |
|||||||||||||||||||||||||||
п ложительн сть уг îâых главных миноров εматрицы> 0, àêîå, ÷òî èç |
|
kHkE ≤ ε |
âû |
|
|
àåò |
|||||||||||||||||||||||||||||||||||||||||||||
Сильвестра, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
A + H. |
|
|
Значит, по |
|
|
|
|
|
|
||||||||||||||
äîвательно |
|
îíóñ |
|
|
|
|
|
|
положит ль |
определена, то есть шар |
|
|
ε |
лежит в K |
. |
Ñëå- |
|||||||||||||||||||||||||||||||||||
|
|
|
|
|
ê A + H |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
SA |
|
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
K открыто |
множество. |
Напоминание: |
k · k |
E |
шуровская норма: |
|||||||||||||||||||||||||||||||||||
|
4) Докажем, ÷.òî |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
kHkE := q |
|
|
i,j |
hij2 |
|
|
|
|
|
|
|
|
|
|
|
. Î òîì, ÷òî |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
Берем |
|
|
P |
|
|
|
|
|
|
|
A |
|
e |
|
|
|
|
|
|
¯ |
|
e |
|
|
|
|
δI положительно определена, |
||||||||||||||||||||||||
следуетСледовательно,что |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||
|
|
произв льную |
|
¯ |
|
|
|
|
|
|
|
|
|
|
определенаговорилось, уж |
. |
Покажем |
обратное. |
|||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
матрицу |
|
|
|
|
|
K K |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
Ïî |
|
|
|
|
|
|
|
|
|
|
|
|
K = K |
|
|
|
|
|
|
|
|
|
|
|
A + Iδ |
|
|
K. |
|
|
|
|
|
|
|
|
||||||||||||||
|
|
жимA + Iδ положительноe |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||
матрица. Из того, что |
|
|
|
|
|
|
|
A |
K. ассмотрим |
A + Iδ, |
|
äå |
|
δ > 0, I единичная |
|||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
матриц |
|
, |
положительно полу |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
определена, |
|
значит, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
опреде енных |
|
δs = 1/s |
|
|
s = 1, 2, 3, ... |
|
|
Пост оим последовательность положительно |
|||||||||||||||||||||||||||||||||||||||||||
K 5)K¯ |
|
|
|
|
|
|
|
|
|
|
|
любаяA + матрицаI/s. Ее пределА из матрица A. (A + I/s −→ A). |
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||
|
÷òî |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ñ |
|
|
|
|
|
e |
|
|
|
|
|
|
|
K¯ |
= K. |
|
|
|
|
|
|
|
|
|
|
|
|||||||||
e |
Äëÿ∂Kлюбого= ∂K¯ .открытого множества |
|
|
K принадлежит замыканию конуса K, . . |
|||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
¯ |
|
|
|
|
|
e |
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||
|
|
|
|
|
|
соответственно |
|
|
братным включением дает |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||
граница замыкания открытого множесFваверно ∂F = F \ F . |
|
Однако, в общем |
|
лучае |
|||||||||||||||||||||||||||||||||||||||||||||||
( |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
F принадлежит границе самого множества |
|||||||||||||||||||||||||
внутре них), точекноони не обязаны совпадать |
|
азность |
|
|
|
¯ |
|
состоит |
если не пуста, из |
||||||||||||||||||||||||||||||||||||||||||
¯ |
∂F |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
∂F \ ∂F |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
∂F |
|
¯ |
|
граница |
|
только |
F¯ |
e |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
¯ |
|
|
|
|
|
|
¯ |
|
|
|||||||||||||||||||
полоска. |
|
|
|
|
|
|
|
|
|
|
|
образом, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||
|
Контрпример¯. |
|
|
|
|
|
¯ |
|
|
¯ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
Замыкание |
K = K |
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
F . A |
K = |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
Ó |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
âåñü êðóã. Ó |
|
|
ножества F граница окружность |
|||||||||||||||||||||||||
|
|
|
|
|
F |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
окружность. Таким |
|
|
|
|
|
∂F ∂F ∂F 6= ∂F . |
|
|||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
55 |
|
|
12.06.2012 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
T |
|
¯ |
|
T |
|
|
|
|
¯ |
T |
|
2 |
¯ |
|
∂K := K \ K = ∂K \ K ( ∂K ∂K |
|
¯ |
∂K = ∂K |
¯ |
||||||||||
не положительно определена,∂Kò.å. |
|
|
|
K |
A (∂K \ ∂K) 6= |
|||||||||
|
|
|
|
|
|
|
|
|
|
x 6= 0 è δ 6= 0. Èç (10.12) âèäí , ÷òî |
||||
угодно малое положительное число. Такx 6=êàê0)xTBAxотрицательно≤ 0. ВозьмемопределеннаяB = −δI, гдематрица,δ скольто |
||||||||||||||
Последнееx (A +строгоеB)x = xнеравенство,(A − δI)x |
≤â ñèëó0 − δxòîãî,Ix ÷òî= −δx x = −δ X xi < . |
|
(10.12) |
|||||||||||
дляоположительножительноK, дляполуопределеннаяопределенныхконусаположительноматрица,матриц,полунепоэтмопределенныхжетмуматрицабытьвнутреннейматриц,будучитоточкойåñòü |
||||||||||||||
Aнесгущения+толькB ïî |
|
|
|
|
|
|
|
|
≡ e |
|
|
A |
= e \ e |
|
A / e \ e |
= |
¯ |
= |
|
= |
¯ |
|
|
|
|||||
ратнаяКаждой•матрица10 |
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
пространствеическоеопормепредставлениееделенныхвзаимноразмерностиматрицднозначноконуса. Отсюдасоответствуеттакжследуетимметричная квад. |
|||||||||||
.5положительно.квадратичной3. . раВ |
|
∂K |
|
∂K ∂K |
|
|
K |
|
K ∂K |
|||||
K ∂K |
|
A |
|
∂K |
|
|
|
|
|
|||||
независимымипараметровами. При |
|
|
|
n такая матрица опиñываетс n(n + 1)/2 |
|||||||
мыеормы,трудноститрехассмотримгеоетрическхватаетой |
ллюстраций(иn ≥без3 избытка)их будет.Всилутолькоэнеменеесимметриидляициент6,матрицчтоматрицывызываетразмерностиквадратичнойнепреодоли |
||||||||||
|
|
|
|
|
|
|
|
|
- |
||
Èòàê, |
|
|
√ |
|
. Здесь |
|
|
|
|
2 × 2. |
|
сти,Квводится |
A := y/√2 |
|
|
|
√2 |
|
|
|
|||
z |
|
|
|
|
|
||||||
|
x |
|
y/ |
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
ит рий Сильвестра:дляупрощенияДлякартого,аточн.òèíû |
бы квадратичная орма |
|
, без умаления общн |
||||||||
|
|
|
|
|
|
|
|
A |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
- |
ðåäåëüåíа,ы .необхДля нашейдимоиллюстрацииматрицыдост ихìåòî,положчтобы главльíåêостьыеминорыесть матрицыбыла положительбылистрого |
|||||||||||
ноложитопп |
|
|
|
|
|
|
v |
|
|
v |
|
|
преобразованиеанияповорот в системе коуд |
рбнодинатпр |
åсти оторыйквадратичнуюугол |
ðìó ê ê 2нониче.- |
|||||||
скомуДлявиду,ормиросдела |
|
|
|
|
|
x > 0 |
xz − y /2 > 0 |
||||
|
|
|
|
|
|
|
|
|
|
то естьназнапроизвестичимось |
|
ортогональное |
(ýòî íå |
|
Лагранжа!). Осью вращенияϕ, |
||||||||
y:
x z
= |
cos(ϕ) |
− sin(ϕ) |
x′ |
|
= |
|
sin(ϕ) |
cos(ϕ) |
z′ |
|
xz = (cos(ϕ)x′ − sin(ϕ)z′)(sin(ϕ)x′ + cos(ϕ)z′) =
= sin(2ϕ)x′2/2 + cos2(ϕ)x′z′ − sin(ϕ)x′z′ − sin(2ϕ)z′2/2 =
|
′2 |
′ ′ |
′2 |
|
|
|
|
|
Отсюда видно, что приведение= sin(2ϕ)кx каноническому/2 + cos(2ϕ)x zвиду− sin(2обеспечивает:ϕ)z /2. |
|
|
|
|||||
новые переменные должны удовлетворять неравенству |
|
|
|
ϕ = 45◦. В итоге |
||||
точекПосэòойроимграницы,граикочевидно,границыконусаудовлетворположи |
′2 |
/2 − z |
′2 |
/2 |
− y |
′2 |
/2 > 0 |
|
x |
|
|
||||||
|
яютельноуравнениюопределенных матриц. Координаты. |
|||||||
метрии |
56 |
12.06.2012 |
x′2 − z′2 − y′2 = 0. В аксоно- |
|||||
ассмотр м теперь этот гра ик ракурсов ак, ак это делал в черчении. Левый верхний рисунокрисункразныхвид прямо . Плоскость врисунокоторойобычнонахдятся оси x, z,
′ ′ |
вид слева , ось y |
xнаправлена, z перпендикуот наслярна.Левыйплоскостинижний рисунок.Правыйвид сâåðõíèéó, îñü |
|
|
x′ направлена на нас. |
Для получения иллюстрации конуса ПО матриц без коэ ициента |
√ |
|
|
||||
ùèòü â |
|
|
|
|
|
, следует сплю- |
|
|
√ |
|
|
|
2 |
|
|
|
2 |
ðàçà |
îñè y полученные57гра ики.12.06.2012 |
|
|
|
|
квадратомеденае . Евклидовы§Обо11.1специальная. ченияНачальныепрострскаляранствау сведенияогокцияпроизведения:двухэтоаргументов,вещественныеназывающаясявекторные пространства,скалярным произведеникоторых-
называетс |
|
|
|
x · y = (x, y) =< x, y >= ϕ (x, y). |
Скалярным |
||||||
2 |
|
|
E |
n |
n |
||||||
Определениепростномэто |
x |
:= x ·x |
|
|
|
|
|
||||
|
алярноеарнымобразованнаяноепроизведение.прОб.ммутативностьОбщееизведениеэтомструктурапозжеобозначениеможетвещественно. Аназываетсябытьвначалеевклидоваввденострогоем векторномомплекиомплексномснымпростревклидовымвекторанстве, где - |
||||||||||
анством,остра остьстве11или..1СкТогда.унитСкаля |
|
|
|
|
|
|
|
|
|
||
размер |
|
|
|
|
|
|
|
|
|
|
|
ââ ëÂIV x · x ≥ 0 x V x · x = 0 x = 0. |
|
|
|
|
|
||||||
VудовлетвIэто. îтображениеряетследующимдека акси |
|
V ×V |
поле вещественных чисел, которо |
||||||||
|
|
|
|
êîгоам:квадрата |
|
||||||
|
|
òîâ |
|
|
|
|
|
|
|
||
x · y = y · x |
x, y V |
· |
z x, y, z V |
|
|
линейность |
|
|
|
||
. (x + y) z = x y + y |
|
|
|
|
|
||||||
II (tx) · y·= t (x ··y) |
|
x, y V, t P |
|
|
|
|
|||||
(P вещественное. поле, над которым задано векторное пространство).
тоне применениев1853произведениегоду. Обознаматематченèкее понятие . калярное произведение и название |
|||
àктивнмиль |
|
|
|
произведениету,жения)лярногоеще |
|
|
x·y |
ниемаАксиомыWilliamв1844внутрен.ТакжпроизведениякоммутагодуRowanII.ееуэтоIIIнегоивностиHamiltonразновидностьзначаютестьамильтонследудост(1805етнейностьжения-изобрел1865)скалярнлинейностьвобластисовременниксккватеалярногпридумалпроизведениипотеионывторомуретическойпроизведенияДжСильвес(там..началнетиббсТакимракоммутмеханики.говорить1881Запообразомдесятьпервомуативности.ду. Подлет.скалярноеаргуменрассмандоскно-- |
|||
|
|
11.2. Два вектор |
билинейных орм. |
|
|
называются ортогональными, если их скалярное про- |
|
изведение авно нулю. |
|
||
значениеОпределение 11.3. Косину ом угла между двумя ненулевыми векторами x è y, îáî- |
||||||||||||
Определениеcos x,11y, .4называет. Длина векторñя выражение |
x · y |
, |
ãäå x2 = x |
· |
x, y2 |
= y |
· |
y. |
|
|
||
|
|
|
|
|||||||||
d |
px2y2 |
|
|
|
√ |
|
|
|
||||
ТеореманымиЗ способм ч11ами.1 (теорема. Например,1. В векторномПичерезагорапространствепонятиенав вещественномязыкенормыдлиныскалярного. Углывекторовпространствеæå |
ýòî |
|
|
2 |
|
|||||||
x |
|
|
|
произведения)толькомогуттаквводиться... раз- |
||||||||
|
|
|
|
|
|
|
|
|
x |
|
|
|
x · y = 0 = |
2 |
2 |
2 |
. |
x58+ y |
|
= (x + y) |
(x+y)2 = (x+2y)· x+ратнаяy) = x·теорема(x+y)+y ·(x+y |
= x2 +. x·y +y ·x+y2 = x2 +2x·y +y2 = x2 +y2. |
||||||||||||||||||||||||
Теорема 11.3 |
(обобщенная |
теорема |
|
|
|
2 |
|
2 |
|
|
|
|
2 |
= x |
· y = 0. |
||||||||||
|
|
x .+ Пустьy = (x + y) |
|
||||||||||||||||||||||
влечет |
|
Пи агора) |
|
|
|
|
|
a1, .., an |
|
En è i = j |
|||||||||||||||
|
|
|
|
|
КошинеприконтрпримервернапомощиортогональностьБуняквотовскалярногообратнуюосинусакзамечанию. принятьсторону:векторовпроизведения2значение.из. алярнравенстваостбльшеалосьсуммы1нек.Его |
||||||||||||||||||||
тороеквадрПриВЗатовбеспокчествеопределенииквадратуойствн иупражнения2., неравенствоТеоремасуммыкосинусабудтпривести2нели11угла.требоватьследует32 |
+ ... + an) |
2 |
|
|
|
|
|
|
|
|
|
|
6 - |
||||||||||||
ai · aj |
= 0. |
Тогда a1 |
+ .. + an |
= (a1 |
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
снимает знаменит |
àê: 1 |
|
|
|
- |
|
|
|
|
. В терминах ск |
|
|
|
го произве |
|||||||||||
дения оно выглядит |
|
|
(x · y)2 |
≤ x2y2. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
Теорема 11.4. Неравенство |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(11.1) |
|||||||||
но только в случае, когда |
(11.1) âåð |
î äëÿ âñåõ x, y E. à |
|
нство в (11.1) возмож- |
|||||||||||||||||||||
Д скалярногоз т е л ь произведенияст . Пустьx коллинеареí y. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
IV |
|
|
x, y E, |
t скаляр. ассмотрим вектор x+ty. По аксиоме |
|||||||||||||||||||||
|
|
|
|
|
|
|
2 |
2 |
|
|
|
|
2 |
2 |
|
|
|
|
|
|
|
|
|
(11.2) |
|
В правой части (11.2) стоит0полином≤ (x + ty2-)é =степениx + 2txотносительно· y + t y . |
|
|
|
|
|
|
|
|
|||||||||||||||||
âñåõ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
t и он не отрицателен для |
|||||||||
÷åâè,ñëåäно,овательно его дискриминант |
D ≤ |
0, |
ãäå |
D := (x ·y) |
2 |
|
2 |
|
2 |
≤ 0 |
|
(11.1). |
|||||||||||||
t |
|
2 |
|
|
|
|
|
|
|
|
−x y |
|
|
||||||||||||
Îбычно евклидовомтому, чтопространстверанеебыло названовводитсЭ длинной:яестествколлин |
арностьнная или. |
|
евклидова |
норма, |
|||||||||||||||||||||
соответствующая(x + ty) = 0 |
|
x = |
−ty. |
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
√
Теореманамодуль0, верноВПД.кскполенеравенствоалярного11з .т5.щественныхЕвклидь множителя,треугольнико.ваяНапомнимчисел,рмаонак.являетсяотораянеотрицательнаИнымиопkxеделениеkEóäîâ=словами:ормойxетворяет2нормы. и. равнавекторатремнулюакси.Этолькомам:ункцияможноогдааргументзаданнаявынести(11.3)
II.kt2kE = |t| kxkE.
жительноеkxkE значение≥ 0 (kкорняxkE = èç0 =некоторогоx = 0) (числаkxkE .≥ 0 очевидно, так как берется поло-
скалярногоIII. произведения.) |
kxkE = 0 = x = 0 это аксиома IV |
|
òîðà:Äëÿkпроверкиx + ykE ≤ возведемkxkE + kykнеравенствоE . |
в квадрат, квадрат нормы равен квадрату век- |
|
|
2 |
2 |
ного1КошипрозведеиБуíия,яковскийkx òåì+ ykнеEдоказалименне,≤ kxkEсохранилось+истинностьkykE 59 наименованиенеравенства(x +12.y06).2012(11≤обобщенияx.1) +толькоy +(11äëÿ2.k1)xчастныхkâEèõkyчестьkE случаев. скаляр(11.4)-
x2 + y2 + 2xy ≤ x2 + y2 + 2 kxk kyk
ЭтоПримеры1явля. Пространствотся евклидовыхнеравенствомстолбцовпространствКоши-Буняковскогоx · y ≤ kxk k.yk .
|
|
|
|
|
|
|
|
|
|
|
, |
|
|
|
y := ·y·1 · |
, |
|
|
|||||||
|
|
|
|
|
|
|
|
|
En. x := ·x·1· |
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
xn |
|
|
|
|
|
|
yn |
|
|
|
||
x |
|
T |
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
Пространство строк. . |
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
y2:= x y, x |
· |
y = |
P1 |
xiyi |
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
· 3. |
|
|
|
|
x = (x1, ..., xn), |
y = (y1, ..., yn), |
x · y = xyT. |
|
||||||||||||||||
(Åñëè x · y = xTHy; H симметричная полож тельно определенная матрица. |
|||||||||||||||||||||||||
|
ЛинейнПроверим(ак |
|
|
|
|
|
|
|
|
|
|
мер. III частныйочевиднаслучай.Покажемпримерадистрибутив3.)- |
|||||||||||||
|
|
|
сиома |
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
стьаксиомыII)по.ПустьпервомускTалярного. Таргументуесть |
|
|
||||||||||||||||||||
ность H = I, |
|
|
x |
· y = x y |
|
произведенияпервый.Аксиома |
T |
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
x = u +Tv. ТогдаT |
|
|
|
|
|
|
· y + v · y. |
|
|
|||||||
ПриКоммутативностьтранспонированииx · y.число= (u +íåv)меняетсяHy = u. HПоэтомуy + v Hy = u |
|
|
|||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
T |
|
T |
T |
T |
T |
T |
|
= y |
T |
Hx = y · x. |
|
|
||||
|
|
И последняя аксиомаx ·.yÒàê= (xêàêHyматрица) = y H |
|
(x ) |
|
|
|
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
A положительно определена, верно |
||||||||||||
|
|
|
|
|
|
|
|
|
2 |
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
на интервале |
|
|
|
4. ассмотрим векторноеx пространство≥ 0 x (x интегрируемых= 0 x = 0)ункций. |
|||||||||||||||||||||||
Обозначение |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(a, b). |
|||
|
|
|
|
L (a, b). Введем скалярное произведение так: |
|
|
|
|
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
b |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
пространствотри ксиомынепрерывныхвыполняются, ноункцийвчетвертойd аксиоме сложно |
и. Поэтому рас- |
|||||||||||||||||||||
смотримПервые |
|
|
|
|
|
|
f |
· g := |
Za |
f (t)g(t) t. |
|
|
|
|
|
||||||||||
анализа |
|
íîмуе произведение.Так, пу ть на одн м |
|
|
C (a, b). Тогдапространствепо изве ной теореме из |
||||||||||||||||||||
|
|
|
|
том. же векторном |
|
|
можно опре- |
||||||||||||||||||
делить5. Скалярпоf-·ðàçf = 0 |
= |
f (x) = 0 |
|
x |
(a, b) |
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
V ïðпроизведениестранство многочленов степени не б лее n. Пусть |
||||||||||||||||
|
|
|
примеру |
|
|
|
, |
ã |
|
|
|
n |
|
|
|
n |
|
|
|
|
|
|
|||
этомСогласнорехмерныеж |
|
|
|
1 это скалярное |
|
|
|
|
|
|
. С другойсоответствующиестороны,мок |
||||||||||||||
P, Q V |
|
P · Q := |
Pi=0 PiQi |
|
|
|
{Pi}0 {Qi}0 |
|
|
|
|
|
æíîэ ввестиицентына. |
||||||||||||
|
|
6. ШкольноеV скалярноескалярноепроизведенпроиз еденкак епримере: |
4. |
|
|
|
|
|
|
||||||||||||||||
|
|
|
векторы, |
|
|
|
|
|
|
(x, y) = |x| · |y| · cos xy |
где x, y двухили |
||||||||||||||
|
|
|
|
|
|
|
|
|
очевидномутатихностдлиныДистрибутивность, л. нейности, возможности вы |
сения за знак |
|||||||||||||||
îòо, чтоВы олнение аксиом |êx| |y| |
|
|
|
|
|
|
|
|
|
|
|
|
|
c |
|
|
|||||||||
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
провердвапроизведениюятьскалярныхее напрпроизведения.покажем,1, для.60котордругчто госкалярное12друга,.06дистр.2012 èбутивностьспользуютсяпроизведениедока ать сложужразныеиздоказанаееп. 5Вместообозначенияизомор.Чтобыго,но |
|||||||||||||||||||||||
скалярномуч личатьобыx ≥ |
0 |
x = 0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
ÿìóþ, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
