Skip to article frontmatterSkip to article content
Site not loading correctly?

This may be due to an incorrect BASE_URL configuration. See the MyST Documentation for reference.

Open In Colab Binder

This table collects the key concepts, notations, and results used throughout the book, so that you can build a coherent overall picture of linear algebra.

A note on the structure of the book: §2.1 refers to the first section of Chapter 2. Material that is harder than its surroundings is marked with ◆, which means you may skip it on a first reading; material that has been brought forward out of order for the sake of completeness is marked with ◇.

Logic

SymbolMeaning
{x∣P(x)}\{x \mid P(x)\}The set of all xx for which the statement P(x)P(x) holds (the vertical bar ∣\mid is read “such that”).
∀\forall,∃\exists“For all” and “there exists”. For example, ∀x∈A, ∃y∈B\forall x \in A,\ \exists y \in B is read “for every xx in AA there exists some yy in BB”.
⇒\Rightarrow“Implies” (if ... then ...)
⇔\Leftrightarrow“If and only if” (implication in both directions)
∣S∣\mid S\midThe cardinality of the set SS, that is, its number of elements (for a finite set, simply a count).

Sets and Spaces

SymbolMeaning
K\mathbb{K}Abstract field (the symbol comes from German Körper)
R\mathbb{R}The set of real numbers
C\mathbb{C}The set of complex numbers
Rn\mathbb{R}^nnn-dimensional real vector space; Cartesian coordinate system
Cn\mathbb{C}^nnn-dimensional complex vector space
V,WV, WGeneral vector spaces
spanK{v0,v1,…,vn−1}\text{span}_{\mathbb{K}}\{\mathbf{v}_0, \mathbf{v}_1, \ldots, \mathbf{v}_{n-1}\}The span of the vectors v0,v1,…,vn−1\mathbf{v}_0, \mathbf{v}_1, \ldots, \mathbf{v}_{n-1} over the field K\mathbb{K}
P(A)P(A)The power set of the set AA
card⁡(A)\operatorname{card}(A)The number of elements in the set AA
Pn(R)P_n(\mathbb{R})The space of real polynomials of degree at most nn
Mm×n(R)M_{m \times n}(\mathbb{R})The space of m×nm \times n real matrices
Sn(R)S_n(\mathbb{R})The space of n×nn \times n real symmetric matrices

Vectors and Matrices

SymbolMeaning
v\mathbf{v} or v⟩\mathbf{v}⟩ or v⃗\vec{v}Vector (a column vector by default)
uv→\overrightarrow{\mathbf{uv}}The line segment from the point u\mathbf{u} to the point v\mathbf{v}
v⊤\mathbf{v}^{\top}The transpose of a vector
⟨v⟨\mathbf{v} or v∗\mathbf{v}^{*}The conjugate transpose of a vector
∣v∣|\mathbf{v}| or ∣∣v∣∣||\mathbf{v}||The l2l_2 length (modulus, norm) of a vector
∣∣v∣∣lp||\mathbf{v}||_{l_p}The lpl_p norm of a vector
0\mathbf{0}Zero vector; zero matrix
ei\mathbf{e}_iStandard basis vector (its ii-th component is 1 and all others are 0)
A\mathbf{A}Matrix
∣∣A∣∣||\mathbf{A}||The norm (modulus) of a matrix
aija_{ij} or [A]ij[\mathbf{A}]_{ij} or (A)ij(\mathbf{A})_{ij}The entry of the matrix in row ii and column jj
In\mathbf{I}_nThe n×nn \times n identity matrix
A⊤\mathbf{A}^{\top}The transpose of the matrix A\mathbf{A}
A∗\mathbf{A}^{*}The conjugate transpose of the matrix A\mathbf{A}
A−1\mathbf{A}^{-1}The inverse of the matrix A\mathbf{A}
A+\mathbf{A}^{+}The pseudoinverse of the matrix A\mathbf{A}
rowi(A)\text{row}_i(\mathbf{A})The ii-th row of the matrix A\mathbf{A}
colj(A)\text{col}_j(\mathbf{A})The jj-th column of the matrix A\mathbf{A}
Row(A)\text{Row}(\mathbf{A})The row space of the matrix A\mathbf{A}
Col(A)\text{Col}(\mathbf{A}) or Im(A)\text{Im}(\mathbf{A})The column space (image) of the matrix A\mathbf{A}
det⁡(A)\det(\mathbf{A}) or ∣A∣|\mathbf{A}|The determinant of the matrix A\mathbf{A}
tr(A)\text{tr}(\mathbf{A})The trace of the matrix A\mathbf{A}

Operations

SymbolMeaning
:=,=::= , =: Definitional equality (the colon marks the side being defined)
u⋅v\mathbf{u} \cdot \mathbf{v} or u⊤v\mathbf{u}^{\top} \mathbf{v}Inner product (dot product) of real vectors
⟨u∣v⟩⟨\mathbf{u}|\mathbf{v}⟩ or u∗v\mathbf{u}^{*} \mathbf{v}Inner product of (complex) vectors
u×v\mathbf{u} \times \mathbf{v}Cross product of vectors, defined only in (two and) three dimensions
A∘B\mathbf{A} \circ \mathbf{B}Hadamard product (entrywise multiplication)
A⊗B\mathbf{A} \otimes \mathbf{B}Kronecker product
uv∗\mathbf{u}\mathbf{v}^* or ∣u⟩⟨v∣|\mathbf{u}\rangle\langle\mathbf{v}|Outer product (a rank-1 matrix)
Projv(u)\text{Proj}_{\mathbf{v}}(\mathbf{u}) or ∣v⟩⟨v∣u⟩⟨v∣v⟩\frac{|\mathbf{v}\rangle\langle\mathbf{v}|\mathbf{u}\rangle}{\langle\mathbf{v}|\mathbf{v}\rangle}The projection of the vector u\mathbf{u} onto the vector v\mathbf{v}

Mappings and Subspaces

SymbolMeaning
f:X→Yf: X \rightarrow YA mapping from the set XX to the set YY
T:V→WT: V \rightarrow WA linear transformation from the vector space VV to WW
TA:V→WT_{\mathbf{A}}: V \rightarrow WThe linear transformation from VV to WW represented by the matrix A\mathbf{A}
ker⁡(T)\ker(T)The kernel (null space) of the linear transformation TT
Im(T)\text{Im}(T)The image of the linear transformation TT
f[A]f[A]The image of the set AA under the mapping ff
f−1[B]f^{-1}[B]The preimage of the set BB under the mapping ff
rank(A)\text{rank}(\mathbf{A}) or dim⁡Im(TA)\dim \text{Im}(T_{\mathbf{A}}) or dim⁡Im(A)\dim \text{Im}(\mathbf{A})The rank of the matrix A\mathbf{A} (the dimension of its image)
nullity(A)\text{nullity}(\mathbf{A}) or dim⁡ker⁡(TA)\dim \ker(T_{\mathbf{A}}) or dim⁡ker⁡(A)\dim \ker(\mathbf{A})The nullity of the matrix A\mathbf{A} (the dimension of its kernel)

Eigenvalues and Eigenvectors

SymbolMeaning
λ\lambdaEigenvalue
vλ\mathbf{v}_\lambdaThe eigenvector corresponding to the eigenvalue λ\lambda
Av=λv\mathbf{A}\mathbf{v} = \lambda\mathbf{v}The eigenvalue equation
det⁡(A−λI)=0\det(\mathbf{A}-\lambda\mathbf{I})=0The characteristic polynomial equation