# Classification of Bounded Sesquilinear Forms

Jump to navigation
Jump to search

## Theorem

Let $\mathbb F \in \set {\R, \C}$.

Let $\HH$ a be Hilbert space over $\mathbb F$ with inner product ${\innerprod \cdot \cdot}_\HH$.

Let $\KK$ a be Hilbert space over $\mathbb F$ with inner product ${\innerprod \cdot \cdot}_\KK$.

Let $u: \HH \times \KK \to \Bbb F$ be a bounded sesquilinear form with bound $M$.

Then there exist unique bounded linear transformations $A : \HH \to \KK$ and $B : \KK \to \HH$ such that:

- $\forall h \in \HH, k \in \KK: \map u {h, k} = \innerprod {A h} k_\KK = \innerprod h {B k}_\HH$

Furthermore:

- $\norm A \le M$

and:

- $\norm B \le M$

where $\norm \cdot$ denotes the norm of a bounded linear transformation.

## Proof

This theorem requires a proof.You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by crafting such a proof.To discuss this page in more detail, feel free to use the talk page.When this work has been completed, you may remove this instance of `{{ProofWanted}}` from the code.If you would welcome a second opinion as to whether your work is correct, add a call to `{{Proofread}}` the page. |

## Also see

- Bounded Linear Transformation Induces Bounded Sesquilinear Form, which shows that considered inner products are in fact bounded sesquilinear forms.

- The notion of the adjoint of a bounded linear transformation, which relies on this theorem for being well-defined.

## Sources

- 1990: John B. Conway:
*A Course in Functional Analysis*(2nd ed.) ... (previous) ... (next) $\text {II}.2.2$