Derivation of the Matrix Representation

Expressing the Inner Product in Terms of Coordinates

  • For vectors , expressed as:
  • where and are coordinates of and with respect to basis .

  • Inner product is:

  • By linearity of inner products:

Defining the Matrix

  • Define for .
  • Matrix is symmetric because .

Rewriting the Inner Product in Matrix Form

  • Substitute into the double sum:

  • Matrix Notation:

    • Let and be coordinate vectors of and with respect to basis :
    • The inner product can now be written as:

Interpreting the Matrix Representation

  • Matrix is called the matrix representation of the inner product with respect to the basis .
  • The expression allows the inner product to be computed using:
    • Coordinates of and with respect to .
    • The symmetric matrix that encodes the inner products .

For any symmetric matrix and for a fixed basis , the formula seems to give rise to an inner product on . In fact, the formula clearly satisfies the first three rules in the definition of the inner product, but not necessarily the fourth rule, positive definiteness. The following theorem gives a necessary condition for a symmetric matrix to give rise to an inner product.

Another Condition for for it to be a Matrix Representation of a vector space

Statement: The matrix representation of an inner product with respect to any basis on a vector space is invertible.

Proof Strategy

The proof shows the column vectors of are linearly independent, which is sufficient for invertibility.

Detailed Proof Steps

  1. Setup:

    • Let be a basis for inner product space
    • Matrix
    • Column vectors denoted as for
  2. Linear Dependence Check:

    • Consider a linear combination of columns equaling zero: where
  3. Key Transform:

    • Define vector
    • In basis coordinates:
  4. System Analysis:

    • The equation becomes a homogeneous system:
  1. Critical Step:

    • Using (standard basis vectors)
    • By Corollary 5.3 (referenced in proof), we get:
  2. Conclusion:

    • This shows
    • Therefore, the columns of are linearly independent
    • Thus, is invertible