Talk:Classification of Bounded Sesquilinear Forms

From ProofWiki
Jump to navigation Jump to search

This is set up a bit haphazardly in Conway, my approach is to prove we can find a unique $A$ st $\map u {h, k} = {\innerprod {A h} k}_K$ for all $h$, $k$ then call on Existence and Uniqueness of Adjoint to get the second $=$. I will see what refactoring work needs to be done and feel free to implement alternative approaches. (thought I'd explain overwriting the previous redirect here) Caliburn (talk) 21:00, 28 July 2021 (UTC)

I've tidied the code if that helps. --prime mover (talk) 22:48, 28 July 2021 (UTC)