Closed Convex Subset
Closed Convex Subset
Closed Convex Subset
x + y ∈ M, αx ∈ M.
d(xn + yn , x + y) = kxn + yn − x − yk
≤ kxn − xk + kyn − xk
= d(xn , x) + d(yn , y) → 0.
E + x = {y + x : y ∈ E}
is also convex.
Orthogonality. Two elements x, y ∈ H are said to be orthogonal if (x, y) = 0; this is
written
x ⊥ y.
Since (x, y) = 0 implies and is implied by (y, x) = 0, the relation ⊥ is symmetry.
For an element x of H, let x⊥ denote the set of points y ∈ H that are orthogonal to x:
x⊥ = {y ∈ H : x ⊥ y}.
Moreover, x⊥ is precisely the set of points y where the (uniformly) continuous functional
y → (x, y) is zero, i.e., x⊥ is the preimage of 0 for the map y → (x, y).
This implies that x⊥ is a closed subspace of H.
For a subspace M of H, set
M ⊥ = {y ∈ H : x ⊥ y for all x ∈ M }.
Observe that \
M⊥ = x⊥ .
x∈M
⊥ ⊥
Since each x is a closed subspace, then M is the intersection of closed subspaces, and
hence is a closed subspace of H.
The Parallelogram Law. For all x, y ∈ H, there holds
kx + yk2 + kx − yk2 = 2kxk2 + 2kyk2 .
kx + yk2 + kx − yk2 = (x + y, x + y) + (x − y, x − y)
= (x, x) + (x, y) + (y, x) + (y, y) + (x, x) − (x, y) − (y, x) + (y, y)
= 2kxk2 + 2kyk2 ,
kx − yk2 ≤ 0 ⇒ x = y.
Now for the existence: from the definition of δ, there is a sequence {yn } in E such that
kyn k → δ as n → ∞.
Replace x and y by yn and ym in kx − yk2 ≤ 2kxk2 + 2kyk2 − 4δ 2 to get
ky − x0 k ≤ ky − xk for all x ∈ E.