The dot product on (Definition 1 of the LA-I dot-product note) is one specific formula. This note asks what makes that formula work — which properties of are doing the real work — and defines an inner product as any function with those properties, on any vector space, real or complex. The reward is immediate: every geometric fact LA-I proved for (Cauchy-Schwarz, the triangle inequality, orthogonality) is re-derived here once, for every inner product space simultaneously, including complex vector spaces and function spaces that have no "arrow" picture at all.
Learning objectives. By the end of this note you should be able to:
- state the five defining properties of an inner product and verify a candidate function against them;
- compute the induced norm and recognise when a formula is not norm-inducing;
- prove the Cauchy-Schwarz inequality for a general inner product space;
- give at least one inner product space that is not with the dot product.
In this lesson
- The definition
- The induced norm
- The general Cauchy-Schwarz inequality
Before you start
The full lesson, with worked examples and exercise solutions, is for members.
Read the full lessonNew to SelfMadeQuant.com? See membership options or browse the Linear Algebra, Optimisation and Numerical Methods syllabus.