06.09.2021 Views

Measure, Integration & Real Analysis, 2021a

Measure, Integration & Real Analysis, 2021a

Measure, Integration & Real Analysis, 2021a

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

Section 8B Orthogonality 231<br />

The next result states that if U is a<br />

closed subspace of a Hilbert space V,<br />

then V is the direct sum of U and U ⊥ ,<br />

often written V = U ⊕ U ⊥ , although<br />

we do not need to use this terminology<br />

or notation further.<br />

The key point to keep in mind is<br />

that the next result shows that the picture<br />

here represents what happens in<br />

general for a closed subspace U of a<br />

Hilbert space V: every element of V<br />

can be uniquely written as an element<br />

of U plus an element of U ⊥ .<br />

8.43 orthogonal decomposition<br />

Suppose U is a closed subspace of a Hilbert space V. Then every element f ∈ V<br />

can be uniquely written in the form<br />

f = g + h,<br />

where g ∈ U and h ∈ U ⊥ . Furthermore, g = P U f and h = f − P U f .<br />

Proof<br />

Suppose f ∈ V. Then<br />

f = P U f +(f − P U f ),<br />

where P U f ∈ U [by definition of P U f as the element of U that is closest to f ] and<br />

f − P U f ∈ U ⊥ [by 8.37(a)]. Thus we have the desired decomposition of f as the<br />

sum of an element of U and an element of U ⊥ .<br />

To prove the uniqueness of this decomposition, suppose<br />

f = g 1 + h 1 = g 2 + h 2 ,<br />

where g 1 , g 2 ∈ U and h 1 , h 2 ∈ U ⊥ . Then g 1 − g 2 = h 2 − h 1 ∈ U ∩ U ⊥ , which<br />

implies that g 1 = g 2 and h 1 = h 2 , as desired.<br />

In the next definition, the function I depends upon the vector space V. Thus a<br />

notation such as I V might be more precise. However, the domain of I should always<br />

be clear from the context.<br />

8.44 Definition identity map; I<br />

Suppose V is a vector space. The identity map I is the linear map from V to V<br />

defined by If = f for f ∈ V.<br />

The next result highlights the close relationship between orthogonal projections<br />

and orthogonal complements.<br />

<strong>Measure</strong>, <strong>Integration</strong> & <strong>Real</strong> <strong>Analysis</strong>, by Sheldon Axler

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!