 Home

Codex Wiki

List of universities

University of Oxford

Course of the University of Oxford

Undergraduate course of the University of Oxford

Mathematics course of the University of Oxford

Year 3 of the mathematics course of the University of Oxford

Functional analysis II course of the University of Oxford

Past exam of the functional analysis II course of the University of Oxford

2023

Use the convention that the <inner product> is linear in its first argument. By the defining identity for the <adjoint operator>,
$$
\begin{aligned}
x\in(\operatorname{Im}T^*)^\perp
&\Longleftrightarrow\langle x,T^*y\rangle=0\quad\text{for every }y\in X\\
&\Longleftrightarrow\langle Tx,y\rangle=0\quad\text{for every }y\in X\\
&\Longleftrightarrow Tx=0.
\end{aligned}
$$
For the last implication choose $y=Tx$. This proves the first <image-kernel orthogonality for an adjoint> identity. Taking <orthogonal complements> and using the <double orthogonal complement> theorem for the <vector subspace> $\operatorname{Im}T^*$ gives
$$
\boxed{\ker T=(\operatorname{Im}T^*)^\perp,\qquad(\ker T)^\perp=\overline{\operatorname{Im}T^*}.}
$$

Solution

Past exam of the functional analysis II course of the University of Oxford / 2023 / 3 / a / Solution

Past exam of the functional analysis II course of the University of Oxford / 2023 / 3 / a / Solution

 Ancestors (12)

 Discussion (0)

 Articles by others on the same topic (0)

Past exam of the functional analysis II course of the University of Oxford / 2023 / 3 / a / Solution

 Ancestors (12)

 Discussion (0)  Subscribe (1)

 Articles by others on the same topic (0)

 Discussion (0)