Definition · Scalar product, length, distance
For , the scalar (dot) product is . The Euclidean length is , and the distance between and is .
The law of cosines applied to the triangle with sides , , gives the angle formula:
Cauchy–Schwarz
, with equality iff and are linearly dependent.
It's what makes a legitimate cosine — the quotient never leaves .
Definition · Orthogonality
means , i.e. (or one of them is ).
Projection — the workhorse
★Key idea
Two checks that catch every projection error: (1) must be a multiple of the vector you projected onto; (2) must be orthogonal to that vector. Verify (2) in one dot product and you're safe.
Worked example
0/4 stepsAngle and projection in
For and , find the angle between them and the vector projection of onto .
Pythagorean law
If then .
Expand and the cross terms vanish. §5.4 shows this needs a norm that comes from an inner product.
Check yourself
Q1
The vector projection of onto is:
T / F
The zero vector is orthogonal to every vector in .
T / F
Equality holds in if and only if and are linearly dependent.