Past exam of the analysis course of the University of Oxford / 2011 / 5 / a / ii

Table of contents
- Solution ii

Solution

Put

w = x - y_{0}

. For any

y \in Y

and any real

t

, minimality gives

∥ w - t y ∥^{2} - ∥ w ∥^{2} = - 2 t Re ⟨ w, y ⟩ + t^{2} ∥ y ∥^{2} \geq 0.

The derivative at zero must vanish, so

Re ⟨ w, y ⟩ = 0

. In a complex Hilbert space, apply the same argument to

i y

to get the imaginary part zero as well. In the real case the first conclusion is already enough. Hence

x - y_{0} \in Y^{⊥} .

 Ancestors (12)

 View article source

 Discussion (0) New discussion

There are no discussions about this article yet.

 Articles by others on the same topic (0)

There are currently no matching articles.

  See all articles in the same topic Create my own version