Proof Portfolio
Proof Portfolio
Jeffrey Strachan
November 16, 2015
Let B(R) be the set of all bounded functions from R to R. For f B(R),
let ||f || = sup{|f (x)| : x R}. This norm is called the sup norm on B(R).
Prove that || || defines a norm on B(R). This means that:
(a) ||f || 0 for all f B(R).
(b) ||f || = 0 if and only if f = 0, for all f B(R).
(c) ||f || = || ||f || for all f B(R) and R.
(d) ||f + g|| ||f || + ||g|| for all f, g B(R)
Proof. Since |f | 0 for all f , any upper bound u 0, so ||f || 0. Now
since B(R) is a vector space the function f = 0 B(R) and since |f | = 0 if
and only if f = 0, we get ||f || = 0. Also if ||f || = 0 then |f | = 0, so f = 0
for all x R. Now to verify property (c) let R. Then
||f || = sup{|f (x)| : x R} = sup{|||f (x)| : x R} = ||sup{|f (x)| :
x R} = || ||f || for all f B(R)
Finally to verify property (c) we apply the triangle inequality and property of sups to get
||f + g|| = sup{|f (x) + g(x)| : x R} sup{|f (x)| + |g(x)| : x R} =
sup{|f (x)| : x R} + sup{|g(x)| : x R} = ||f || + ||g||
a) C() = =
B
then
Suppose x
/ (A)(B) then x (A
B . If x A
c
x A\(A)B \(B) implies x AB \(AB). If x A B then
x
/ A B = A B (A B). Thus (A B) (A) (B). Now let
x A B then x A B (A B) implies x A B (A) (B)
implies x A B.
then x A or x B
implies x A (A)
Now suppose x A B
or B (B) implies x A B (A) (B) implies x A B since
(A B) (A) (b). So we conclude C(A B) = C(A) C(B).
= A = A = C(A).
d) C(A) = A We have C(C(A)) = C(A)
Thus A A is a Kuratowski closure operator.