!"$#&%('*)
+,'.-/%10.2&"&3542&'6#&%7#&%('98:+,-;3%("#&%=<?>[email protected]+,D&"%FE*%(49%(G/0 >A"&3%(3%(HI%("J&KLG/%('906@6%(-;-/%("M4G;'#&%("
E*%(4%(G/0 B12&'N)
%('O8QP&3R2&"&3J
SUT?VXWZY\[^]`_ba
(V, (· | ·))
kvk :=
cbdQeIc7y=o,lbr
q
(v | v)
k·k
jRq{z
V
c(dfehgiAj,k;j,lmnl.oXp,qi a lOjRqrts _ oud _(a p,qvlOw(x
∀v ∈ V
pcQ|
ed}cbl a~
lj,kQk;c
u, v ∈ V
,dQk a
ku + vk2 = kuk2 + 2 Re(u | v) + kvk2 ,
>A2
6D?<v
6D49>A'.BbL"&3R-/%(G/
6Dv2&"3bJ
|(u | v)| ≤ kuk · kvk }
] e Rdfk aL k/cbdwbxx?c(d a cbenjRqhpj,ees
cbee u qvenp v kdQeIc.j,ltj{xv,ev,d _ dfenp ~
%(49%(G/0XJ !.9G;@ (u | v) + (v | u) = (u | v) + (u | v) = 2 Re(u | v) %('.3RG;H&@N0.G/
`D06+A8+,'.@ Q b
(4)
(5)
ku + vk2 = (u + v | u + v) = (u | u) + (u | v) + (v | u) + (v | v) = kuk 2 + 2 Re(u | v) + kvk2 .
!6!6!.!6!.
FE*G/%=%(¢F+,' +,'.4uG;' >?G/F+,£% ¢ %('.GC¤B1G/2&%("'6%(# "¥n FHI %(499%(3G/%(06-;%(@6"¦%("h4+AG;'¡U%(#?"G/% 0.G/
`D>[email protected];G/
`
`DDJ ?<v
6D49>A'.BbL"&3R-/%(G/
6Dv2&"3 bJ
!6!6!§>!¨06@
#>A"&"G/0.@
¥>A-/06+=3RG;-;@ ©>A-/09ª7-/%(G/
6D&D%(G;@X«D& G/%('.HI%(G
¥
&
2
"
#
0. G;"# u 2&"# v v=-;G;o"%X>A'L>AH&D\¬A"&(u3RG;3| Jv) = 0 kuk · kvk = 0
!6!6!©Hn%(@.B1@N06%(G kvk = 1 J&®¯P&'NHI%(-;G/%(H&G;3%10 α ∈ K 3RG;-;@
ϕ(α) : = ku − αvk2 = (u − αv | u − αv) = (u | u) − α(v | u) − α(u | v) + αα
= kuk2 − (u | v) · (v | u) + [α − (u | v)] · [α − (v | u)]
2
2
(∗)
2
= kuk − |(u | v)| + |α − (v | u)| .
)
%('.4%("#&%(@ 42&'6#&%FD&G/%('.HU%(G (u | v) · (v | u) = (u | v) · (u | v) = |(u | v)|2 J°L20 ∗
-;G/%106@u>A"¦>AH¥
#>,060 ϕ 3%("\>A2#>A"&"¦5G;"&G;u>A-^G/0.@X¥?4%("&" α = (v | u) =: α 3RG;-;@XJ±
08+,-;3R@
0
0 ≤ ku − α0 vk2 = ϕ(α0 ) = kuk2 − |(u | v)|2
2&"#²06+,5G;@ |(u | v)| ≤ kuk · 1 J&°L-/06+t3RG;-;@ b¥v8}>A-;-/0 kvk = 1 G/0.@XJ?KLG/%('.HI%(G3RG;-;@LªF-/%(G/
`D&D%(G;@N3%("\>A2
#>A"&"¥&4%("&" u = α v G/0.@X¥>A-/0`+54%("&" u 2&"# v -;G;"%X>A'F>AH&D\¬A"&3RG;3u0.G;"#J
0
¥v"\>,
6D !`!6!Hn3RG;-;@
v J>A"&"²G/0.@
#!6>A!6D!©%(
' !³0.@"2&" v 6= o HI%(-;G/JI%(KLH&G;G/3%('`¥&>A062+t0N068%(+,@.-;BX3R%F@ u>AL" >Aw2
6:=
kwk = 1
kvk
D´G;"´#?G/%106%(µ®\>A-;-/%R¥n%(HU%("06+M#?G/%°L2060`>A3%B12&'
ªF-/%(G/
6D&D|(u%(G;@X|J w)| ≤ kuk · 1
!)=$<v
6D&-;G/%(8¶R+,-;-;G/3R
`@ D·¢%('.G¤B1G/%('6%("·4G;' 7£bJ9hG;@²#&%('$8QP&'t¸.%1#&%10 z ∈ C 3RP&-;@.G;3%("·L"&3R-/%(G/
6D2&"&3
Re z ≤ |z|
ku + vk2 ≤ kuk2 + 2|(u | v)| + kv 2 k ≤ kuk2 + 2kuk kvk + kvk2 = (kuk + kvk)2 ,
(4)
(5)
2&"#¦#?G/%10G;5¹&-;G;B1G/%('.@F#?G/%=F'6%(G/%1
6º?0.2&"&3R-/%(G/
6D2&"&3 7 £bJ
© Copyright 2026 ExpyDoc