Ponieważ
C
{\displaystyle C}
wypukła jako podprzestrzeń liniowa
H
{\displaystyle H}
zupełna jako domknięta podprzestrzeń przestrzeni zupełnej[a] twierdzenia o zbiorze wypukłym , które dla dowolnego elementu
h
∈
H
{\displaystyle h\in H}
a
∈
C
,
{\displaystyle a\in C,}
h
.
{\displaystyle h.}
h
=
c
+
(
h
−
c
)
.
{\displaystyle h=c+(h-c).}
Z kolei poniższy lemat zapewnia, że element
(
h
−
c
)
⊥
C
,
{\displaystyle (h-c)\perp C,}
h
−
c
∈
C
⊥
,
{\displaystyle h-c\in C^{\perp },}
H
=
C
+
C
⊥
{\displaystyle H=C+C^{\perp }}
H
{\displaystyle H}
jest generowana przez
C
,
C
⊥
{\displaystyle C,C^{\perp }}
x
∈
C
∩
C
⊥
,
{\displaystyle x\in C\cap C^{\perp },}
x
⊥
x
,
{\displaystyle x\perp x,}
x
=
0
{\displaystyle x=0}
[b]
C
∩
C
⊥
=
{
0
}
;
{\displaystyle C\cap C^{\perp }=\{0\};}
H
=
C
⊕
C
⊥
{\displaystyle H=C\oplus C^{\perp }}
sumą prostą podprzestrzeni
C
{\displaystyle C}
dopełnienia ortogonalnego
C
⊥
.
{\displaystyle C^{\perp }.}
Element
c
{\displaystyle c}
h
{\displaystyle h}
h
{\displaystyle h}
C
{\displaystyle C}
P
C
(
h
)
{\displaystyle P_{C}(h)}
Π
C
(
h
)
.
{\displaystyle \Pi _{C}(h).}
Lemat
Niech
X
{\displaystyle X}
‖
⋅
‖
{\displaystyle \|\cdot \|}
⟨
⋅
,
⋅
⟩
,
{\displaystyle \langle \cdot ,\cdot \rangle ,}
Y
{\displaystyle Y}
zupełną podprzestrzenią liniową w
X
.
{\displaystyle X.}
a
{\displaystyle a}
x
{\displaystyle x}
Y
{\displaystyle Y}
a
∈
Y
{\displaystyle a\in Y}
(
x
−
a
)
⊥
Y
{\displaystyle (x-a)\perp Y}
[c]
↑ Niech
(
x
n
)
{\displaystyle (x_{n})}
C
,
{\displaystyle C,}
x
n
→
x
∈
H
,
{\displaystyle x_{n}\to x\in H,}
x
∈
c
l
C
,
{\displaystyle x\in \mathrm {cl} \;C,}
c
l
C
=
C
,
{\displaystyle \mathrm {cl} \;C=C,}
C
{\displaystyle C}
↑ Z definicji
C
⊥
{\displaystyle C^{\bot }}
x
∈
H
,
{\displaystyle x\in H,}
C
;
{\displaystyle C;}
x
∈
C
{\displaystyle x\in C}
C
⊥
,
{\displaystyle C^{\perp },}
x
⊥
x
.
{\displaystyle x\perp x.}
⟨
x
,
x
⟩
=
0
,
{\displaystyle \langle x,x\rangle =0,}
⟨
⋅
,
⋅
⟩
{\displaystyle \langle \cdot ,\cdot \rangle }
iloczyn skalarny przestrzeni
H
,
{\displaystyle H,}
x
=
0.
{\displaystyle x=0.}
↑ Konieczność
a
{\displaystyle a}
x
{\displaystyle x}
Y
{\displaystyle Y}
b
∈
Y
∖
{
0
}
=
Y
0
.
{\displaystyle b\in Y\smallsetminus \{0\}=Y_{0}.}
λ
=
⟨
x
−
a
,
b
‖
b
‖
⟩
{\displaystyle \lambda =\langle x-a,{\frac {b}{\|b\|}}\rangle }
c
=
a
+
λ
b
‖
b
‖
∈
Y
.
{\displaystyle c=a+\lambda {\frac {b}{\|b\|}}\in Y.}
a
{\displaystyle a}
x
{\displaystyle x}
Y
,
{\displaystyle Y,}
‖
x
−
a
‖
2
⩽
‖
x
−
c
‖
2
=
⟨
x
−
c
,
x
−
c
⟩
=
⟨
x
−
a
−
λ
b
‖
b
‖
,
x
−
a
−
λ
b
‖
b
‖
⟩
=
{\displaystyle \|x-a\|^{2}\leqslant \|x-c\|^{2}=\langle x-c,x-c\rangle =\langle x-a-\lambda {\frac {b}{\|b\|}},x-a-\lambda {\frac {b}{\|b\|}}\rangle =}
=
‖
x
−
a
‖
2
−
2
ℜ
(
λ
¯
⋅
⟨
x
−
a
,
b
‖
b
‖
⟩
)
+
|
λ
|
2
=
‖
x
−
a
‖
2
−
2
ℜ
(
λ
¯
⋅
λ
⟩
)
+
|
λ
|
2
=
{\displaystyle =\|x-a\|^{2}-2\Re \left({\overline {\lambda }}\cdot \langle x-a,{\frac {b}{\|b\|}}\rangle \right)+|\lambda |^{2}=\|x-a\|^{2}-2\Re \left({\overline {\lambda }}\cdot \lambda \rangle \right)+|\lambda |^{2}=}
=
‖
x
−
a
‖
2
−
2
|
λ
|
2
+
|
λ
|
2
=
‖
x
−
a
‖
2
−
‖
λ
‖
2
,
{\displaystyle =\|x-a\|^{2}-2|\lambda |^{2}+|\lambda |^{2}=\|x-a\|^{2}-\|\lambda \|^{2},}
ℜ
z
{\displaystyle \Re \;z}
liczby zespolonej
z
,
{\displaystyle z,}
z
¯
{\displaystyle {\overline {z}}}
sprzężenie zespolone .
λ
=
0
,
{\displaystyle \lambda =0,}
0
=
λ
⋅
‖
b
‖
=
⟨
x
−
a
,
b
⟩
.
{\displaystyle 0=\lambda \cdot \|b\|=\langle x-a,b\rangle .}
(
x
−
a
)
⊥
b
.
{\displaystyle (x-a)\perp b.}
Dostateczność
a
∈
Y
{\displaystyle a\in Y}
(
x
−
a
)
⊥
Y
.
{\displaystyle (x-a)\perp Y.}
b
∈
Y
.
{\displaystyle b\in Y.}
Y
{\displaystyle Y}
a
−
b
∈
Y
,
{\displaystyle a-b\in Y,}
(
x
−
a
)
⊥
(
a
−
b
)
.
{\displaystyle (x-a)\perp (a-b).}
‖
x
−
b
‖
2
=
‖
(
x
−
a
)
+
(
a
−
b
)
‖
2
=
⟨
(
x
−
a
)
+
(
a
−
b
)
,
(
x
−
a
)
+
(
a
−
b
)
⟩
=
{\displaystyle \|x-b\|^{2}={\big \|}(x-a)+(a-b){\big \|}^{2}=\langle (x-a)+(a-b),(x-a)+(a-b)\rangle =}
=
‖
x
−
a
‖
2
+
‖
a
−
b
‖
2
−
2
⋅
ℜ
⟨
(
x
−
a
)
,
(
a
−
b
)
⟩
=
‖
x
−
a
‖
2
+
‖
a
−
b
‖
2
⩾
‖
x
−
a
‖
2
,
{\displaystyle =\|x-a\|^{2}+\|a-b\|^{2}-2\cdot \Re \langle (x-a),(a-b)\rangle =\|x-a\|^{2}+\|a-b\|^{2}\geqslant \|x-a\|^{2},}
a
{\displaystyle a}
Y
{\displaystyle Y}
x
.
{\displaystyle x.}
