Skip to main content

Question 8.9

Solutions

TZ
leumasicOfficial

3 months ago

a) We know that cf\|cf\| must exist since {cf(x):x[0,1]}\{|cf(x)|:x\in[0,1]\} is bounded. For contradiction, suppose that cfcf|c|\|f\|\ne\|cf\| for some c0c\ne 0.

If cf<cf|c|\|f\|<\|cf\|, there must exist x[0,1]x\in[0,1] such that

cf(cfcf)<cf(x)cf.\|cf\|-\left(\|cf\|-|c|\|f\|\right)<|cf(x)|\le \|cf\|.

Since cf\|cf\| is the least upper bound of {cf(x):x[0,1]}\{|cf(x)|:x\in[0,1]\}, this means that

cf<cf(x)    f<f(x),|c|\|f\|<|c||f(x)| \implies \|f\|<|f(x)|,

which cannot be because f\|f\| is an upper bound of f(y)|f(y)| for y[0,1]y\in[0,1].

Likewise, if cf>cf|c|\|f\|>\|cf\|, then f>1ccf\|f\|>\frac{1}{|c|}\|cf\|, and there must exist x[0,1]x\in[0,1] such that

f(f1ccf)<f(x)f.\|f\|-\left(\|f\|-\frac{1}{|c|}\|cf\|\right)<|f(x)|\le\|f\|.

This implies

cf<cf(x)cf,\|cf\|<|cf(x)|\le |c|\|f\|,

which invalidates cf\|cf\| as an upper bound. Hence, it ensues that cf=cf\|cf\|=|c|\|f\| for all cc. We left out the proof that cf=cf\|cf\|=|c|\|f\| for c=0c=0 because it is bafflingly trivial.

b) Since f+g\|f+g\| is a least upper bound, for any ε>0\varepsilon>0 there exists x[0,1]x\in[0,1] such that

f+gε<f(x)+g(x)f+g.\|f+g\|-\varepsilon<|f(x)+g(x)|\le \|f+g\|.

This implies that

f+g<ε+f(x)+g(x)ε+f(x)+g(x)ε+f+g.\|f+g\|<\varepsilon+|f(x)+g(x)|\le \varepsilon+|f(x)|+|g(x)|\le \varepsilon+\|f\|+\|g\|.

Hence,

f+gf+g.\|f+g\|\le \|f\|+\|g\|.

c) This inequality follows from b) by defining s=hgs=h-g and p=gfp=g-f; we then have

s+ps+p.\|s+p\|\le \|s\|+\|p\|.
0
Submit a solution
Optional • Markdown

Sign in to share your solution for this question.

Sign in

Navigate

Q 8.9

Navigate

Q 8.9