Q.5 Flashcards
PARTIAL ORDER on X
⪯ if
1. x⪯x, ∀x∈X
2. x⪯y and y⪯x ⟹ x=y
3. x⪯y and y⪯z ⟹ x ⪯ z
X nonempty set
TOTAL ORDER
partial order ⪯ where x ⪯ y or y ⪯ x, ∀x,y∈X
UPPER BOUND for V⊆X
y∈X
if x⪯y, ∀x∈X
- ⪯ partial order on X
MAXIMAL ELEMENT of X
y∈X
if y⪯x ⟹ y=x
ZORN’S LEMMA
let X ≠ ∅ be partially ordered
if every totally ordered subset of X has an upper bound in X, then X has a maximal element
HAHN-BANACH THEOREM
ASSUME
1. X is linear space
2. V ⊆ X is a proper linear subspace
3. p:X->[0, ∞) is a semi-norm
4. f∈L(V,K) satisfies |f(x)|<=p(x), ∀x∈V
THEN
there exists F∈L(X,K) such that
F|V = f and |F(x)|<=p(x), ∀x∈X
HAHN-BANACH THEOREM (2)
if X NLS and V ⊆ X is a linear subspace, then for all f∈V’ there exists F∈X’ such that F|V=f and ||F||=||f||