 Solution

ID: past-exam-of-the-year-1-of-the-computer-science-course-of-the-university-of-oxford/2019/digital-systems-linear-algebra-introduction-to-formal-proof/5/f/i/solution

q_{i}^{T} q_{j} = 0

for

i \neq = j

and one for

i = j

. Therefore

P_{i} P_{j} = q_{i} (q_{i}^{T} q_{j}) q_{j}^{T}

equals zero for different indices and

P_{i}

for equal indices. Expanding the finite sum yields

\overline{P}_{k}^{2} = \sum_{i = 1}^{k} \sum_{j = 1}^{k} P_{i} P_{j} = \sum_{i = 1}^{k} P_{i} = \overline{P}_{k} .

Thus every stated partial sum is a projector. Its image of a linear map is the span of the first

k

 New to topics? Read the docs here!