Let’s discuss an important theorem.
Part 1 - Cauchy-Schwarz for Sesquilinear Forms
The Cauchy-Schwarz inequality is usually proven for inner products, but we don’t need all the properties of an inner product to show it. It’s sufficient to have a Hermitian positive semi-definite sesquilinear form. So let’s discuss the proof in this case.