notes

math 115b

linear algebra notes

updated October 27, 2026 · 4 sections

contents
  1. chapter 1
  2. chapter 2
  3. chapter 5
  4. chapter 6

chapter 1

a symmetric matrix is a any matrix AA such that At=AA^t = A.

span(∅)={0}\text{span}(\empty) = \{0\} by definition

the span of any subset SS of a vector space VV is a subspace of VV that also contains SS.

also, any subspace of VV that contains SS must also contain span(S)\text{span}(S).

given S1⊆S2⊆VS_1 \subseteq S_2 \subseteq V, if S2S_2 is linearly independent, then S1S_1 is linearly independent.

😱💯:

  • the vector space of complex numbers over the field of complex numbers has dimension 11. a basis is {1}\{1\}.
  • however, when taken over the field of real numbers, the same vector space has dimension 22. a basis is {1,i}\{1,i\}.

the vector space of polynomials has infinite dimension: {1,x,x2,… }\{1, x, x^2, \dots\}.

if WW is a subspace of a finite dimensional vector space VV, then dim⁡(W)≤dim⁡(V)\dim(W) \leq \dim(V). if dim⁡(W)=dim⁡(V)\dim(W) = \dim(V), then W=VW=V.

if WW is a subspace of a finite dimensional vector space VV, then any basis of WW can be extended to form a basis for VV.

chapter 2

let VVand WW be vector spaces. let T:V→WT:V \rightarrow W be a linear operator. the kernel or the null space of TT is defined as:

ker⁡(T):={x⃗∈V:T(x⃗)=0}\ker(T):=\{\vec{x} \in V:T(\vec{x}) =0\}

the range or the image of TT is defined as:

Im(T):={T(x⃗):x⃗∈V}\text{Im}(T):=\{T(\vec{x}) : \vec{x} \in V\}

both the kernel and the image are subspaces of TT.

the image is a span of the basis vectors of VV.

let VVand WW be vector spaces. let T:V→WT:V \rightarrow W be a linear operator. if VV is finite dimensional, then:

dim⁡(ker⁡(T))+dim⁡(Im(T))=dim⁡(V)\dim(\ker(T)) + \dim(\text{Im}(T)) = \dim(V) nullity(T)+rank(T)=dim⁡(V)\text{nullity}(T) + \text{rank}(T) = \dim(V)

let VVand WW be vector spaces. let T:V→WT:V \rightarrow W be a linear operator. TT is one-to-one or injective   ⟺  \iff ker⁡(T)={0}\ker(T) =\{0\}.

let VVand WW be vector spaces of equal dimension. let T:V→WT:V \rightarrow W be a linear operator. TT is one-to-one   ⟺  \iff TT is onto   ⟺  \iff dim⁡(Im(T))=dim⁡(V)\dim(\text{Im}(T)) = \dim(V)

let VVand WW be vector spaces. let T:V→WT:V \rightarrow W be a linear operator. TT is isomorphic if TT is linear and invertible.

also, VV is isomorphic to W  ⟺  W \iff dim⁡V=dim⁡W\dim{V} = \dim{W}.

let VV be a vector space over F\mathbb{F}. then VV is isomorphic to F\mathbb{F}   ⟺  \iff dim⁡(V)=n\dim(V) = n

V∗:=L(V,F)V^* := \mathcal{L}(V, \mathbb{F})

where V∗V^* is known as the dual space of VV.

given an ordered basis {v1⃗,v2⃗,…,vn⃗}\{\vec{v_1}, \vec{v_2}, \dots, \vec{v_n}\} for a finite dimensional vector space VV, we can define an ordered basis{v1⃗∗,v2⃗∗,…,vn⃗∗}\{\vec{v_1}^*, \vec{v_2}^*, \dots, \vec{v_n}^*\} for the dual V∗V^*. given any f∈V∗f \in V^*,

f=f(v1⃗)v1⃗∗+⋯+f(vn⃗)vn⃗∗f=f(\vec{v_1})\vec{v_1}^* + \dots + f(\vec{v_n})\vec{v_n}^*

let VV and WW be finite dimensional vector spaces with bases βV\beta_V and βW\beta_W respectively. for any linear transformation T:V→WT:V \rightarrow W, the map T∗:W∗→V∗T^*:W^* \rightarrow V^* is defined by T∗(g)=g∘TT^*(g)=g \circ T for all g∈W∗g \in W^*. this also satisfies the property [T∗]βW∗βV∗=([T]βVβW)t[T^*]_{\beta_W^*}^{\beta_V^*} = ([T]_{\beta_V}^{\beta_W})^t, which is probably why friedberg calls T∗=TtT^* = T^t 😡

chapter 5

2 n×nn \times n matrices AA and BB are said to be similar if there exists PP such that:

B=P−1APB=P^{-1}AP
  • AA and BB have the same determinant
  • AA and BB have the same eigenvalues
  • AA and BB have the same trace
  • AA and BB have the same rank

PP is usually known as the change of coordinates matrix. essentially, AA and BB are representing the same linear transformation, but in different bases. the choice of basis is completely arbitrary. we just decided to work in the standard basis from the start of time. but similar matrices tell us that if we chose a completely random other basis, and did the “same” linear transformation on that, we would be doing the same thing. 🤯

a linear operator TT is on a vector space VV is called diagonalizable:

  • if there is an ordered basis β\beta for which [T]β[T]_{\beta} is a diagonal matrix.
  • if and only if there exists an ordered basis β\beta consisting of eigenvectors of TT.
  • if and only if pT(t)p_T(t) splits over F\mathbb{F} AND for each eigenvalue, algebraic multiplicity == geometric multiplicity == dim⁡(ker⁡(T−λI))\dim(\ker(T-\lambda I))

if TT is diagonalizable and β={v1⃗,…,vn⃗}\beta = \{\vec{v_1}, \dots, \vec{v_n}\} is an ordered basis of eigenvectors for TT, then the matrix [T]β=D[T]_{\beta}=D is a diagonal matrix where entries on the diagonal are eigenvalues. also, for an eigenvalue djjd_{jj}, it corresponds to the jjth eigenvector vjv_j for 1≤j≤n1 \leq j \leq n.

side note:

  • let’s consider the linear transformation in R2\mathbb{R}^2 that rotates every vector in the plane 9090 degrees CCW (CCW or CW doesn’t actually matter for this example)
  • given any v⃗∈R2\vec{v} \in \mathbb{R^2}, T(v⃗)T(\vec{v}) is never gonna be a scalar multiple of v⃗\vec{v} since it’s being rotated.
  • so, there are transformations that don’t have any eigenvectors/eigenvalues, and so, they’re also not diagonalizable.

let A∈Matn×n(F)A \in \text{Mat}_{n \times n}(\mathbb{F}).

  • t∈Ft \in \mathbb{F} is an eigenvalue   ⟺  det⁡(A−tIn)=0\iff \det(A- tI_n) = 0. this determinant thing is called the characteristic polynomial of AA.
  • pA(t)p_A(t) has degree nn with leading coefficient (−1)n(-1)^n (monic polynomial).
  • AA has at most nn distinct eigenvalues.
  • given t∈Ft \in \mathbb{F} is an eigenvalue, v⃗∈Fn\vec{v} \in \mathbb{F}^n is an eigenvector of AA   ⟺  \iff v⃗≠0\vec{v} \neq 0 and (A−tIn)v⃗=0(A-tI_n)\vec{v}=0

let TT be a linear operator. let λ1,…,λk\lambda_1, \dots, \lambda_k be distinct eigenvalues of TT. for 1≤i≤k1 \leq i \leq k, let SiS_i be a linearly independent finite set of eigenvectors corresponding to λi\lambda_i. then, the set S1∪⋯∪SkS_1 \cup \dots \cup S_k is also linearly independent.

let TT operate on a finite dimensional vector space with dimension nn. if TT has nn distinct eigenvalues, then TT is diagonalizable. not the other way around though

the algebraic multiplicity of an eigenvalue λ\lambda is the largest positive integer mm for which (t−λ)m(t-\lambda)^m is a factor of pT(t)p_T(t).

an eigenspace is defined as:

Eλ:={v⃗∈V:T(v⃗)=λv⃗}=ker⁡(T−λI)E_{\lambda}:=\{\vec{v} \in V:T(\vec{v})=\lambda \vec{v}\}=\ker(T-\lambda I)

imma define dim⁡(Eλ)\dim(E_\lambda) as the geometric multiplicity of λ\lambda. then 1≤dim⁡(Eλ)≤m1 \leq \dim(E_{\lambda})\leq m, where mm is the algebraic multiplicity of λ\lambda

let TT be a linear operator on a finite dimensional vector space. let’s say TT has distinct eigenvalues λ1,…,λk\lambda_1, \dots, \lambda_k and that pT(t)p_T(t) splits. then we know that:

  • TT is diagonalizable   ⟺  \ifffor each eigenvalue, the algebraic multiplicity == geometric multiplicity.
  • given an ordered basis βi\beta_i for EλiE_{\lambda_i}, β1∪⋯∪βk\beta_1 \cup \dots \cup \beta_k forms an ordered basis for VV consisting of eigenvectors.

direct sums

given subspaces W1,…,WkW_1, \dots, W_k and WW of a vector space VV such that Wi⊆WW_i \subseteq W for 1≤i≤k1 \leq i \leq k. we call WW the direct sum of the subspaces W1,…,WkW_1, \dots, W_k and write V=W1⊕⋯⊕WkV=W_1 \oplus \dots \oplus W_k if:

  • V=∑i=1kWiV= \sum_{i=1}^k W_i
  • Wj∩∑i≠jWi={0},∀j:1≤j≤kW_j \cap \sum_{i \neq j} W_i = \{0\}, \forall j : 1 \leq j \leq k

these are equivalent:

  • V=W1⊕⋯⊕WkV=W_1 \oplus \dots \oplus W_k.
  • if v⃗=v1⃗+⋯+vk⃗=0\vec{v} = \vec{v_1} + \dots + \vec{v_k}=0, where vi⃗∈Wi\vec{v_i} \in W_i, then v1⃗=⋯=…vk=0\vec{v_1} = \dots = \dots{v_k} = 0.
  • for any v⃗∈V\vec{v} \in V, v⃗\vec{v} can uniquely be written as a sum: v⃗=v1⃗+⋯+vk⃗\vec{v} = \vec{v_1} + \dots + \vec{v_k}, where vi⃗∈Wi\vec{v_i} \in W_i.
  • for any choice of bases γi\gamma_i for WiW_i, their union γ1∪⋯∪γk\gamma_1 \cup \dots \cup \gamma_k forms a basis for VV.
  • there exists at least one choice of bases γi\gamma_i for WiW_i, such that their union γ1∪⋯∪γk\gamma_1 \cup \dots \cup \gamma_k forms a basis for VV.

a linear operator TT on a finite dimensional vector space is diagonalizable   ⟺  \iff VV is the direct sum of the eigenspaces of TT

invariant subspaces

given a linear operator TT on a finite dimensional vector space VV, a subspace WW is called TT invariant if T(W)⊆WT(W) \subseteq W, that is, T(v⃗)∈W,∀v⃗∈W.T(\vec{v}) \in W, \forall \vec{v} \in W.

here are some examples of TT invariant subspaces:

  • {0⃗}\{\vec{0}\}
  • VV
  • Im(T)\text{Im}(T)
  • ker⁡(T)\ker(T)
  • EλE_{\lambda}, where λ\lambda is any eigenvalue of TT

cyclic subspaces

W:=span{x⃗,T(x⃗),T2(x⃗),… }W:= \text{span}\{\vec{x}, T(\vec{x}), T^2(\vec{x}), \dots\}

WW is called a TT cyclic subspace generated by x⃗\vec{x}, x⃗∈V,x⃗≠0⃗\vec{x} \in V, \vec{x} \neq \vec{0}.

apparently, any TT invariant subspace of VV containing x⃗\vec{x} must also contain WW.

let WW be a TT invariant subspace of VV. then, pT∣W(t)p_{T|_W}(t) divides pT(t)p_T(t).

let WW be a TT cyclic subspace of VV generated by x⃗∈V,x⃗=0⃗\vec{x} \in V, \vec{x} = \vec{0}. let dim⁡(V)=k\dim(V) = k. the set {x⃗,T(x⃗),T2(x⃗),…,Tk−1(x⃗)}\{\vec{x}, T(\vec{x}), T^2(\vec{x}), \dots, T^{k-1}(\vec{x})\} forms a basis for WW.

cayley hamilton theorem

given pT(t)p_T(t), pT(T)=T0p_T(T) = T_0, the zero transformation.

given pA(t)p_A(t), pA(A)=Op_A(A)=O, the zero matrix.

chapter 6

inner products

an inner product is a function that takes an ordered pair of vectors x⃗,y⃗∈V\vec{x}, \vec{y} \in V and maps it to a scalar in F\mathbb{F}. these properties also hold (axioms):

  • ⟨x+z,y⟩=⟨x,y⟩+⟨z,y⟩\langle x + z, y \rangle = \langle x,y \rangle + \langle z,y \rangle
  • ⟨cx⃗,y⃗⟩=c⟨x⃗,y⃗⟩\langle c\vec{x}, \vec{y} \rangle = c \langle \vec{x}, \vec{y} \rangle
  • ⟨x,y⟩‾=⟨y,x⟩\overline{\langle x, y \rangle} = \langle y, x \rangle

c∈F;x,y∈Vc \in \mathbb{F}; x,y \in V

standard inner product

⟨x,y⟩=∑i=1nxiyi‾\langle x, y \rangle = \sum_{i=1} ^n x_i \overline{y_i}

when F=R\mathbb{F} = \mathbb{R} or C\mathbb{C}.


given AA is an m×nm \times n matrix, the conjugate transpose or adjoint of AA is the n×mn \times m matrix A∗A^* such that (A∗)ij=Aji‾(A^*)_{ij}=\overline{A_{ji}}.


other properties that can be proven (theorem 6.1): x⃗,y⃗,z⃗∈V,c∈F\vec{x}, \vec{y}, \vec{z} \in V, c \in \mathbb{F}

  • ⟨x,y+z⟩=⟨x,y⟩+⟨x,z⟩\langle x, y+z \rangle = \langle x, y \rangle + \langle x, z \rangle
  • ⟨x,cy⟩=c‾⟨x,y⟩\langle x, cy \rangle = \overline{c} \langle x, y \rangle
  • ⟨x,0⟩=⟨0,x⟩=0F\langle x, 0 \rangle = \langle 0, x \rangle = 0_{\mathbb{F}}

** first component linear, second component conjugate linear **


norm: ∣∣x∣∣=⟨x,x⟩||x||=\sqrt{\langle x, x \rangle}


theorem 6.2:

  • ∣∣cx∣∣=∣c∣⋅∣∣x∣∣||cx|| = |c| \cdot ||x||
  • ∣∣x∣∣≥0||x|| \geq 0
  • ∣⟨x,y⟩∣≤∣∣x∣∣⋅∣∣y∣∣|\langle x,y \rangle| \leq ||x|| \cdot ||y|| (cauchy-schwarz inequality)
  • ∣∣x+y∣∣≤∣∣x∣∣+∣∣y∣∣||x+y|| \leq ||x|| + ||y|| (triangle inequality)

theorem 6.3:

given an orthogonal subset S={v1,…,vk}S = \{v_1, \dots, v_k\} of VV and y∈span(S)y \in \text{span}(S), then:

y=∑i=1k⟨y,vi⟩∣∣vi∣∣2viy=\sum_{i=1}^k \dfrac{\langle y, v_i \rangle}{||v_i||^2}v_i

theorem 6.4:

gram-schmidt

basically you can take a linearly independent subset of a finite dimensional inner product space VV, and extend it to a orthogonal/orthonormal basis of VV.


theorem 6.5:

given an orthonormal basis β={v1,…,vn}\beta = \{v_1, \dots, v_n\} and x∈Vx \in V:

x=∑i=1n⟨x,vi⟩vix=\sum_{i=1}^n \langle x, v_i \rangle v_i

theorem 6.6:

given a finite dimensional subspace WW of VV and y∈Vy \in V, there exists unique vectors u∈W,v∈W⊥u \in W, v \in W^\perp such that y=u+vy = u + v.

if β={v1,…,vk}\beta=\{v_1, \dots, v_k\} is an orthonormal basis for WW, then:

u=∑i=1k⟨y,vi⟩viu=\sum_{i=1}^k\langle y, v_i \rangle v_i

theorem 6.7:

given S={v1,…,vk}S = \{v_1, \dots, v_k\} is an orthonormal set:

  • SS can be extended to an orthonormal basis {v1,…,vk,vk+1,…,vn}\{v_1, \dots, v_k, v_{k+1}, \dots, v_n\} for VV.
  • if W=span(S)W = \text{span}(S), then the set {vk+1,…,vn}\{v_{k+1}, \dots, v_n\} is an orthonormal basis for W⊥W^\perp.
  • if WW is any subspace of VV, then dim⁡(V)=dim⁡(W)+dim⁡(W⊥)\dim(V) = \dim(W)+ \dim(W^\perp).

theorem 6.8:

let g:V→Fg: V \rightarrow \mathbb{F} be a linear transformation. then, there exists a unique y∈Vy \in V such that g(x)=⟨x,y⟩,∀x∈Vg(x) = \langle x, y \rangle, \forall x \in V.


theorem 6.9:

given T:V→VT:V \rightarrow V, there exists a unique linear function T∗:V→VT^* : V\rightarrow V such that ⟨T(x),y⟩=⟨x,T∗(y)⟩\langle T(x), y \rangle = \langle x, T^*(y) \rangle.

T∗T^* is called the adjoint of TT.


theorem 6.10:

let β\beta be an orthonormal basis for VV. if TT is a linear endomorphism, then [T∗]β=[T]β∗[T^*]_{\beta}=[T]^*_{\beta}.


theorem 6.11:

let TT and UU be linear endomorphisms whose adjoints for sure exist. then;

  • T+UT+U has an adjoint. (T+U)∗=T∗+U∗(T+U)^*=T^* + U^*
  • cTcT has an adjoint. (cT)∗=c‾T∗(cT)^* = \overline{c}T^*
  • TUTU has an adjoint. (TU)∗=U∗T∗(TU)^* = U^*T^*
  • T∗T^* has an adjoint. T∗∗=TT^{**}=T
  • II has an adjoint. I∗=II^* = I

same holds for matrices.


TT has an eigenvector   ⟹  \implies T∗T^* has an eigenvector


theorem 6.14:

if the characteristic polynomial of TT splits, then there exists an orthonormal basis β\beta for VV such that [T]β[T]_{\beta} is upper triangular.


TT is normal   ⟺  \iff TT∗=T∗TTT^* = T^*T

same for matrices


theorem 6.15:

given TT is normal:

  • ∣∣T(x)∣∣=∣∣T∗(x)∣∣,∀x∈V||T(x)||=||T^*(x)||, \forall x \in V
  • T−cIT-cI is normal ∀c∈F\forall c \in \mathbb{F}
  • T(x)=λx  ⟹  T∗(x)=λ‾xT(x)= \lambda x \implies T^*(x)=\overline{\lambda}x
  • T(x1)=λ1x1T(x_1)= \lambda_1x_1 and T(x2)=λ2x2  ⟹  ⟨x1,x2⟩=0T(x_2) = \lambda_2x_2 \implies \langle x_1, x_2 \rangle = 0 for distinct λ1\lambda_1 and λ2\lambda_2

theorem 6.16:

TT is normal   ⟺  \iffthere exists an orthonormal basis for complex IPS VV consisting of eigenvectors of TT


TT is called self adjoint if T=T∗T = T^*


if TT is a self adjoint endomorphism on VV, then:

  • every eigenvalue of TT is real
    • if VV is a real IPS, then the characteristic polynomial of TT splits

theorem 6.17:

given TT is a linear endomorphism on a real IPS VV, TT is self-adjoint   ⟺  \iffthere exists an orthonormal basis for VV consisting of eigenvectors of TT.


if ∣∣T(x)∣∣=∣∣x∣∣||T(x)|| = ||x||, ∀x∈V\forall x \in V, then TT is called an orthogonal operator over R\mathbb{R} or a unitary operator over C\mathbb{C}.


note: since this type of operator preserves length, any kind of reflection/rotation in R2\mathbb{R}^2 is an orthogonal operator.


theorem 6.18:

these are equivalent:

  • T∗T=IT^*T=I
  • TT∗=ITT^*=I
  • ⟨T(x),T(y)⟩=⟨x,y⟩,∀x,y∈V\langle T(x), T(y) \rangle = \langle x, y \rangle, \forall x, y \in V
  • if B\mathcal{B} is an orthonormal basis for VV, then T(B)T(\mathcal{B}) is an orthonormal basis for VV
  • there exists an orthonormal basis B\mathcal{B} for VV such that T(B)T(\mathcal{B}) is an orthonormal basis for VV
  • ∣∣T(x)∣∣=∣∣x∣∣,∀x∈V||T(x)|| = ||x||, \forall x \in V

to prove that ∣∣T(x)∣∣=∣∣x∣∣  ⟹  T∗T=I||T(x)|| = ||x|| \implies T^*T=I, we need this lemma:

lemma: given a self-adjoint operator UU and ⟨x,U(x)⟩=0,∀x∈V\langle x, U(x) \rangle = 0, \forall x \in V, U=T0U = T_0, the zero transformation.


corollaries:

given TT, VV has an orthonormal basis of eigenvectors of TT with corresponding eigenvalues ±1\pm 1   ⟺  \iff TT is both self-adjoint and orthogonal for real IPS

OR

TT is unitary for complex IPS


theorem 6.23

given T:R2→R2T: \mathbb{R}^2 \rightarrow \mathbb{R}^2 is an orthogonal linear operator, and A=[T]βA = [T]_{\beta}, where let’s assume β\beta is the standard ordered basis for R2\mathbb{R}^2. exactly one of these statements is true:

  • TT is a rotation, and det⁡(A)=1\det(A) = 1
  • TT is a reflection about a line through the origin, and det⁡(A)=−1\det(A) = -1

let TT be a projection. we say that TT is an orthogonal projection if Im(T)⊥=ker⁡(T)\text{Im}(T)^\perp = \ker(T) and ker⁡(T)⊥=Im(T)\ker(T)^\perp=\text{Im}(T).

  • V=ker⁡(T)⊕Im(T)V = \ker(T) \oplus \text{Im}(T)

note: orthogonal projections are different from orthogonal operators ‼️


theorem 6.24

TT is an orthogonal projection   ⟺  \iff TT has an adjoint T∗T^*, and T2=T=T∗T^2 = T = T^*.


theorem 6.25 (spectral theorem)

given TT on VV over F\mathbb{F} with the distinct eigenvalues λ1,…,λk\lambda_1, \dots, \lambda_k. let’s assume TT is normal if F=C\mathbb{F} = \mathbb{C} or TT is self-adjoint if F=R\mathbb{F} = \mathbb{R}. let EλiE_{\lambda_i} be the eigenspace of TT corresponding to eigenvalue λi\lambda_i, and let TiT_i be the orthogonal projection of VV on EλiE_{\lambda_i}. the following hold:

  • V=Eλ1⊕⋯⊕EλkV=E_{\lambda_1} \oplus \dots \oplus E_{\lambda_k}
  • let Eλi′E_{\lambda_i}' denote the sum of eigenspaces EλjE_{\lambda_j} for i≠ji \neq j, then Eλi′=Eλi⊥E_{\lambda_i}' = E_{\lambda_i}^\perp.
  • TiTj=δijTi,1≤i,j≤kT_iT_j=\delta_{ij}T_i, 1 \leq i,j \leq k
  • I=T1+⋯+TkI=T_1 + \dots + T_k
  • T=λ1T1+⋯+λkTkT=\lambda_1T_1 + \dots + \lambda_k T_k

corollaries:

  • if F=C\mathbb{F} = \mathbb{C}, then TT is unitary   ⟺  \iff TT is normal and ∣λ∣=1|\lambda| = 1 for every eigenvalue λ\lambda of TT.
  • if F=C\mathbb{F} = \mathbb{C}, then TT is self-adjoint   ⟺  \iff TT is normal and every eigenvalue of TT is real.


reflections & rotations

bilinear forms

a function H:V×V→FH:V \times V \rightarrow \mathbb{F} is called a bilinear form on VV if HH is linear in each variable when the other variable is held fixed. aka satisfies the following:

  • H(ax1+x2,y)=aH(x1,y)+H(x2,y)H(ax_1+x_2,y)=aH(x_1,y) + H(x_2,y)
  • H(y,ax1+x2)=aH(y,x1)+H(y,x2)H(y,ax_1+x_2)=aH(y,x_1) + H(y,x_2)

theorem 6.31:

the sum of two bilinear forms and the product of a scalar and a bilinear form on VV are also bilinear forms on VV. the set of all bilinear forms B(V)\mathcal{B}(V) is a vector space with respect to these operations.


given an ordered basis β={v1⃗,…,vn⃗}\beta = \{\vec{v_1}, \dots, \vec{v_n}\} for VV, we can define a matrix AA corresponding to a bilinear form H∈B(V)H \in \mathcal{B}(V). let the ijij entry of AA be defined by:

Aij=H(vi⃗,vj⃗)A_{ij}=H(\vec{v_i}, \vec{v_j})

AA is called the matrix representation of HH with respect to the ordered basis β\beta. it is denoted by ψβ(H):B(V)→Fn×n\psi_{\beta}(H):\mathcal{B}(V) \rightarrow \mathbb{F}^{n \times n}.


theorem 6.32:

ψβ\psi_{\beta} is an isomorphism as defined above.


corollary:

ψβ(H)=A  ⟺  H(x⃗,y⃗)=[ϕβ(x⃗)]tA[ϕβ(y⃗)]\psi_{\beta}(H)=A \iff H(\vec{x}, \vec{y}) = [\phi_{\beta}(\vec{x})]^tA[\phi_{\beta}(\vec{y})]


corollary:

there exists a unique matrix A=ψβ(H)A = \psi_{\beta}(H) such that:

H(x⃗,y⃗)=x⃗tAy⃗H(\vec{x}, \vec{y})=\vec{x}^tA\vec{y}

let A,B∈Fn×nA,B \in \mathbb{F}^{n \times n}. BB is congruent to AA if there exists an invertible matrix Q∈Fn×nQ \in \mathbb{F}^{n \times n} such that B=QtAQB=Q^tAQ.


theorem 6.33:

given two bases β\beta and γ\gamma for VV, let Q=[I]γβQ=[I]_{\gamma}^{\beta}, the change of coordinates matrix from γ\gamma coordinates to β\beta coordinates. for any H∈B(V)H \in \mathcal{B}(V), ψγ(H)=Qtψβ(H)Q\psi_{\gamma}(H)=Q^t\psi_{\beta}(H)Q. thus, ψγ\psi_{\gamma} is congruent to ψβ\psi_{\beta}.