Survey of Mathematics

Notation

Every symbol the book uses, in the order you meet it, with what it means and the chapter that introduces it. Search works too: press Ctrl K.

SymbolMeansIntroduced in
P∧QP \land QP and Q0.1 How to read a theorem
P∨QP \lor QP or Q (or both)0.1 How to read a theorem
¬P\neg Pnot P0.1 How to read a theorem
P⇒QP \Rightarrow Qif P then Q0.1 How to read a theorem
P⇔QP \Leftrightarrow QP if and only if Q0.1 How to read a theorem
∀x\forall xfor every xx0.1 How to read a theorem
∃x\exists xthere exists an xx0.1 How to read a theorem
Z\mathbb Zthe integers …,−2,−1,0,1,2,…\dots, -2, -1, 0, 1, 2, \dots0.2 Proof techniques
N\mathbb Nthe natural numbers 1,2,3,…1, 2, 3, \dots0.2 Proof techniques
■\blacksquare, □\squareend of proof0.2 Proof techniques
x∈Ax \in A, x∉Ax \notin Axx is an element of AA; xx is not an element of AA0.3 Sets, functions, and counting infinity
A⊆BA \subseteq Bevery element of AA is in BB (subset, equality allowed)0.3 Sets, functions, and counting infinity
A∪BA \cup B, A∩BA \cap Bunion and intersection0.3 Sets, functions, and counting infinity
AcA^c, A∖BA \setminus Bcomplement of AA; the elements of AA not in BB0.3 Sets, functions, and counting infinity
A×BA \times Ball ordered pairs (a,b)(a, b) with a∈Aa \in A, b∈Bb \in B0.3 Sets, functions, and counting infinity
∅\varnothingthe empty set0.3 Sets, functions, and counting infinity
f:A→Bf: A \to Ba function with domain AA and codomain BB0.3 Sets, functions, and counting infinity
g∘fg \circ f, f−1f^{-1}composition (first ff, then gg); inverse function0.3 Sets, functions, and counting infinity
N,Z,Q,R\mathbb N, \mathbb Z, \mathbb Q, \mathbb Rcounting numbers 1,2,3,…1, 2, 3, \dots; integers; rationals; reals0.3 Sets, functions, and counting infinity
a∼ba \sim baa is related to bb (read 'a tilde b')0.4 Equivalence relations and partitions
[a][a]the equivalence class of aa: everything related to aa0.4 Equivalence relations and partitions
A/∼A / {\sim}the set of all equivalence classes (the quotient set)0.4 Equivalence relations and partitions
n∣mn \mid mnn divides mm: m=nkm = nk for some integer kk0.4 Equivalence relations and partitions
a∣ba \mid baa divides bb: b=akb = ak for some integer kk0.5 Integers mod n, gcd and Bézout
gcd⁡(a,b)\gcd(a, b)the greatest common divisor of aa and bb0.5 Integers mod n, gcd and Bézout
a≡b(modn)a \equiv b \pmod nn∣(a−b)n \mid (a - b): aa and bb leave the same remainder on division by nn0.5 Integers mod n, gcd and Bézout
a mod na \bmod nthe remainder of aa on division by nn, a number from 00 to n−1n - 10.5 Integers mod n, gcd and Bézout
Zn\mathbb Z_nthe integers mod nn: the nn residue classes [0],…,[n−1][0], \dots, [n - 1]0.5 Integers mod n, gcd and Bézout
a−1a^{-1}the inverse of aa mod nn0.5 Integers mod n, gcd and Bézout
C\mathbb Cthe complex numbers0.6 Complex numbers and polynomials, done properly
z=a+biz = a + bia complex number with real part aa and imaginary part bb0.6 Complex numbers and polynomials, done properly
Re⁡z, Im⁡z\operatorname{Re} z,\ \operatorname{Im} zthe real part aa and the imaginary part bb of z=a+biz = a + bi0.6 Complex numbers and polynomials, done properly
zˉ\bar zthe conjugate of zz0.6 Complex numbers and polynomials, done properly
∣z∣|z|the modulus of zz0.6 Complex numbers and polynomials, done properly
θ\theta, arg⁡z\arg zan angle (in radians) giving the direction of zz0.6 Complex numbers and polynomials, done properly
eiθe^{i\theta}shorthand for cos⁡θ+isin⁡θ\cos\theta + i\sin\theta (Euler's formula)0.6 Complex numbers and polynomials, done properly
deg⁡f\deg fthe degree of a polynomial ff0.6 Complex numbers and polynomials, done properly
■\blacksquareend of proof (also written Q.E.D. or □\square)0.7 Writing a proof a grader accepts
Q\mathbb Qthe rational numbers, fractions p/qp/q of integers with q≠0q \ne 01.1 The real numbers and completeness
sup⁡S\sup Sthe supremum (least upper bound) of SS1.1 The real numbers and completeness
inf⁡S\inf Sthe infimum (greatest lower bound) of SS1.1 The real numbers and completeness
ε\varepsilonepsilon: by convention, a small positive number chosen by the reader1.1 The real numbers and completeness
(an)(a_n)the sequence a1,a2,a3,…a_1, a_2, a_3, \dots1.2 Sequences and limits, from zero
an→La_n \to L, lim⁡n→∞an=L\lim_{n \to \infty} a_n = Lthe sequence converges to LL1.2 Sequences and limits, from zero
∣x−y∣|x - y|the distance between xx and yy1.2 Sequences and limits, from zero
(ank)(a_{n_k})a subsequence of (an)(a_n)1.2 Sequences and limits, from zero
lim⁡x→af(x)=L\lim_{x \to a} f(x) = Lf(x)f(x) tends to LL as xx approaches aa1.3 Limits and continuity with epsilon and delta
δ\deltadelta: the input tolerance, chosen by the prover after ε\varepsilon1.3 Limits and continuity with epsilon and delta
[a,b][a, b]the closed interval {x:a≤x≤b}\{x : a \le x \le b\}1.3 Limits and continuity with epsilon and delta
f′(a)f'(a), dfdx(a)\frac{df}{dx}(a)the derivative of ff at aa1.4 The derivative as best linear approximation
f(n)f^{(n)}the nn-th derivative of ff1.4 The derivative as best linear approximation
Tn(x)T_n(x)the Taylor polynomial of degree nn1.4 The derivative as best linear approximation
P={x0,…,xn}P = \{x_0, \dots, x_n\}a partition of [a,b][a, b]: points a=x0<x1<⋯<xn=ba = x_0 < x_1 < \dots < x_n = b1.5 The Riemann integral: area as a limit
Δxi=xi−xi−1\Delta x_i = x_i - x_{i-1}the width of the ii-th piece1.5 The Riemann integral: area as a limit
Mi,miM_i, m_ithe supremum and infimum of ff on the ii-th piece1.5 The Riemann integral: area as a limit
U(f,P),L(f,P)U(f, P), L(f, P)the upper and lower sum of ff for the partition PP1.5 The Riemann integral: area as a limit
∫abf\int_a^b fthe integral of ff over [a,b][a, b] (the common value of the lower and upper integrals)1.5 The Riemann integral: area as a limit
∑k=1∞ak\sum_{k=1}^\infty a_kthe series: the limit of the partial sums, if it exists1.6 Series, power series, and uniform convergence
Sn=a1+⋯+anS_n = a_1 + \dots + a_nthe nn-th partial sum1.6 Series, power series, and uniform convergence
fn→ff_n \to f uniformlysup⁡x∣fn(x)−f(x)∣→0\sup_x |f_n(x) - f(x)| \to 01.6 Series, power series, and uniform convergence
RRthe radius of convergence of a power series1.6 Series, power series, and uniform convergence
R\mathbb Rthe real numbers2.1 Vector spaces and subspaces
Rn\mathbb R^nordered lists of nn real numbers2.1 Vector spaces and subspaces
x∈Sx \in Sxx is an element of the set SS2.1 Vector spaces and subspaces
{x:condition}\{x : \text{condition}\}the set of all xx satisfying the condition2.1 Vector spaces and subspaces
S⊆VS \subseteq Vevery element of SS is in VV2.1 Vector spaces and subspaces
OOthe zero vector2.1 Vector spaces and subspaces
−x-xthe negative of xx, equal to (−1)x(-1)x2.1 Vector spaces and subspaces
PnP_npolynomials of degree at most nn2.1 Vector spaces and subspaces
Rm×n\mathbb R^{m \times n}mm by nn matrices of real numbers2.1 Vector spaces and subspaces
U∩WU \cap Wthe vectors in both UU and WW2.1 Vector spaces and subspaces
L(S)L(S), span⁡(S)\operatorname{span}(S)the span of SS: all linear combinations2.2 Span, independence, basis, dimension
dim⁡V\dim Vthe dimension of VV2.2 Span, independence, basis, dimension
∑i=1kcixi\sum_{i=1}^k c_i x_ic1x1+⋯+ckxkc_1x_1 + \dots + c_kx_k2.2 Span, independence, basis, dimension
U+WU + Wall sums u+wu + w with u∈Uu \in U, w∈Ww \in W2.2 Span, independence, basis, dimension
T:V→WT: V \to Wa function from VV to WW2.3 Linear maps, null space, range, rank–nullity
x↦T(x)x \mapsto T(x)xx is sent to T(x)T(x)2.3 Linear maps, null space, range, rank–nullity
T(V)T(V), R(T)R(T)the range of TT2.3 Linear maps, null space, range, rank–nullity
N(T)N(T), ker⁡T\ker Tthe null space (kernel) of TT2.3 Linear maps, null space, range, rank–nullity
STST, S∘TS \circ Tdo TT first, then SS2.4 Inverses, one-to-one maps, isomorphism
IVI_Vthe identity map on VV: IV(x)=xI_V(x) = x2.4 Inverses, one-to-one maps, isomorphism
T−1T^{-1}the inverse of TT2.4 Inverses, one-to-one maps, isomorphism
V≅WV \cong WVV and WW are isomorphic2.4 Inverses, one-to-one maps, isomorphism
m(T)m(T)the matrix of TT in the chosen bases (Apostol's notation)2.5 Matrices as maps, multiplication, change of basis
aija_{ij}the entry of AA in row ii, column jj2.5 Matrices as maps, multiplication, change of basis
ABABthe matrix product: do BB first, then AA2.5 Matrices as maps, multiplication, change of basis
InI_nthe nn by nn identity matrix2.5 Matrices as maps, multiplication, change of basis
ATA^{\mathsf T}the transpose of AA: rows become columns2.5 Matrices as maps, multiplication, change of basis
C−1ACC^{-1}ACthe same map as AA, written in a new basis2.5 Matrices as maps, multiplication, change of basis
[A∣b][A \mid b]the augmented matrix of Ax=bAx = b2.6 Systems of equations and elimination
C(A)C(A)the column space of AA2.6 Systems of equations and elimination
A−1A^{-1}the inverse matrix2.6 Systems of equations and elimination
det⁡A\det A, ∣A∣|A|the determinant of AA2.7 Determinants
sgn⁡(σ)\operatorname{sgn}(\sigma)the sign of a permutation, ±1\pm 12.7 Determinants
CijC_{ij}the (i,j)(i, j) cofactor2.7 Determinants
λ\lambdaan eigenvalue2.8 Eigenvalues and eigenvectors
E(λ)E(\lambda)the eigenspace of λ\lambda2.8 Eigenvalues and eigenvectors
det⁡(λI−A)\det(\lambda I - A)the characteristic polynomial2.8 Eigenvalues and eigenvectors
tr⁡A\operatorname{tr} Athe trace: the sum of the diagonal entries2.8 Eigenvalues and eigenvectors
⟨x,y⟩\langle x, y \rangle, (x,y)(x, y)the inner product of xx and yy2.9 Inner products, orthogonality, Gram–Schmidt, projection
∥x∥\lVert x \rVertthe norm (length) of xx2.9 Inner products, orthogonality, Gram–Schmidt, projection
x⊥yx \perp yxx and yy are orthogonal2.9 Inner products, orthogonality, Gram–Schmidt, projection
S⊥S^\perpthe orthogonal complement of SS2.9 Inner products, orthogonality, Gram–Schmidt, projection
x^\hat xa least squares solution2.10 Least squares and regression as projection
ATAx^=ATbA^{\mathsf T}A\hat x = A^{\mathsf T}bthe normal equations2.10 Least squares and regression as projection
P=A(ATA)−1ATP = A(A^{\mathsf T}A)^{-1}A^{\mathsf T}the projection matrix onto the column space2.10 Least squares and regression as projection
π\pia stationary distribution: Pπ=πP\pi = \pi2.11 Markov chains and PageRank
1\mathbf 1the vector of all ones2.11 Markov chains and PageRank
G=dP+1−dn11TG = dP + \frac{1-d}{n}\mathbf 1\mathbf 1^{\mathsf T}the Google matrix with damping dd2.11 Markov chains and PageRank
A∗A^*the adjoint of AA; for real matrices the transpose ATA^{\mathsf T}, for complex the conjugate transpose3.1 Symmetric matrices and the spectral theorem
QTQ=IQ^{\mathsf T}Q = Ithe columns of QQ are orthonormal3.1 Symmetric matrices and the spectral theorem
A=QΛQTA = Q\Lambda Q^{\mathsf T}orthogonal diagonalization: Λ\Lambda diagonal, QQ orthogonal3.1 Symmetric matrices and the spectral theorem
q(x)=xTAxq(x) = x^{\mathsf T}Axthe quadratic form of the symmetric matrix AA3.2 Quadratic forms and principal axes
A≻0A \succ 0AA is positive definite3.2 Quadratic forms and principal axes
QTQ=IQ^{\mathsf T}Q = Ithe columns of QQ are orthonormal; QQ is orthogonal3.3 Orthogonal matrices, rotations and reflections
RθR_\thetarotation of the plane by angle θ\theta3.3 Orthogonal matrices, rotations and reflections
U∗U=IU^*U = IUU is unitary (complex version)3.3 Orthogonal matrices, rotations and reflections
A=UΣVTA = U\Sigma V^{\mathsf T}the SVD: U,VU, V orthogonal, Σ\Sigma diagonal with σ1≥σ2≥⋯≥0\sigma_1 \ge \sigma_2 \ge \dots \ge 03.4 The singular value decomposition and PCA
σi\sigma_ithe ii-th singular value3.4 The singular value decomposition and PCA
AkA_kthe best rank-kk approximation of AA3.4 The singular value decomposition and PCA
∥A∥\lVert A \rVertthe operator norm: the largest stretch of AA, equal to σ1\sigma_13.5 Matrix norms, conditioning, and why numerics fail
κ(A)\kappa(A)the condition number σmax⁡/σmin⁡\sigma_{\max}/\sigma_{\min}3.5 Matrix norms, conditioning, and why numerics fail
εmach\varepsilon_{\text{mach}}machine epsilon, about 1.1×10−161.1 \times 10^{-16} in double precision3.5 Matrix norms, conditioning, and why numerics fail
A=UTU∗A = UTU^*Schur decomposition: UU unitary, TT upper triangular3.6 Cayley–Hamilton, Schur, and the Jordan form
mA(λ)m_A(\lambda)the minimal polynomial of AA3.6 Cayley–Hamilton, Schur, and the Jordan form
Jk(λ)J_k(\lambda)the k×kk \times k Jordan block with eigenvalue λ\lambda3.6 Cayley–Hamilton, Schur, and the Jordan form
V∗V^*the dual space of VV: all linear functionals V→RV \to \mathbb R (not the adjoint of 3.1, which is a map V→VV\to V)3.7 Dual spaces and quotient spaces
φ1,…,φn\varphi_1, \dots, \varphi_nthe dual basis of a basis v1,…,vnv_1, \dots, v_n: φi(vj)=1\varphi_i(v_j) = 1 if i=ji = j and 00 otherwise3.7 Dual spaces and quotient spaces
TTT^{\mathsf T}the dual map of T:V→WT:V\to W, a map W∗→V∗W^*\to V^*, defined by TTψ=ψ∘TT^{\mathsf T}\psi = \psi\circ T3.7 Dual spaces and quotient spaces
U0U^0the annihilator of UU: the functionals that are 00 on all of UU3.7 Dual spaces and quotient spaces
v+Uv + Uthe coset of vv: all vectors v+uv + u with u∈Uu \in U, a copy of UU moved by vv3.7 Dual spaces and quotient spaces
V/UV/Uthe quotient space, read 'V mod U': the set of all cosets of UU in VV3.7 Dual spaces and quotient spaces
∇f\nabla fthe gradient of a scalar function f:Rn→Rf: \mathbb R^n \to \mathbb R, the column of partial derivatives3.8 Matrix calculus and backpropagation
JgJ_gthe Jacobian matrix of g:Rn→Rmg: \mathbb R^n \to \mathbb R^m, the m×nm \times n matrix of partial derivatives3.8 Matrix calculus and backpropagation
σ\sigmaan activation function applied entry by entry (in this chapter only; elsewhere σ\sigma is a singular value)3.8 Matrix calculus and backpropagation
(G,∗)(G, \ast) or GGa group: a set GG with an operation ∗\ast, often written as a product abab3.9 Groups, rings and fields: a preview built from what you know
ee, a−1a^{-1}the identity element of a group, and the inverse of aa (in additive groups: 00 and −a-a)3.9 Groups, rings and fields: a preview built from what you know
H≤GH \le GHH is a subgroup of GG3.9 Groups, rings and fields: a preview built from what you know
∣G∣\lvert G\rvert, ord⁡(g)\operatorname{ord}(g)the number of elements of GG, and the order of the element gg3.9 Groups, rings and fields: a preview built from what you know
gHgHthe left coset {gh:h∈H}\{gh : h \in H\} of the subgroup HH3.9 Groups, rings and fields: a preview built from what you know
ker⁡φ\ker\varphithe kernel of a homomorphism φ\varphi: the elements sent to the identity (the null space of 2.3, in group language)3.9 Groups, rings and fields: a preview built from what you know
GLn\mathrm{GL}_n, SLn\mathrm{SL}_n, SnS_n, AnA_ninvertible n×nn\times n matrices; those of determinant 11; all permutations of nn objects; the even permutations3.9 Groups, rings and fields: a preview built from what you know
d(x,y)d(x, y)the distance between the points xx and yy of a metric space4.1 Metric and normed spaces; open and closed sets
B(x,r)B(x, r)the open ball {y:d(x,y)<r}\{y : d(x, y) < r\}4.1 Metric and normed spaces; open and closed sets
∥x∥1, ∥x∥2, ∥x∥∞\lVert x \rVert_1,\ \lVert x \rVert_2,\ \lVert x \rVert_\inftythe 1-norm (sum of sizes), 2-norm (usual length) and max-norm (largest size) of a vector4.1 Metric and normed spaces; open and closed sets
int⁡A, A‾, ∂A\operatorname{int} A,\ \overline A,\ \partial Athe interior, closure and boundary of the set AA4.1 Metric and normed spaces; open and closed sets
xn→xx_n \to xthe sequence (xn)(x_n) converges to xx in a metric space: d(xn,x)→0d(x_n, x) \to 04.2 Convergence, completeness and the contraction mapping theorem
TxT x, TnxT^n xthe map TT applied to xx, and applied nn times4.2 Convergence, completeness and the contraction mapping theorem
qqa contraction constant: d(Tx,Ty)≤q d(x,y)d(Tx, Ty) \le q\,d(x, y) with 0≤q<10 \le q < 14.2 Convergence, completeness and the contraction mapping theorem
x∗x^*a fixed point: Tx∗=x∗T x^* = x^*4.2 Convergence, completeness and the contraction mapping theorem
KKa subset of a metric space, usually the one we call compact4.3 Compactness
{Uα}\{U_\alpha\}a family (cover) of open sets, indexed by α\alpha4.3 Compactness
diam⁡Q\operatorname{diam} Qthe diameter of a box QQ: the largest distance between two of its points4.3 Compactness
A=U∪VA = U \cup Va separation of AA when UU and VV are disjoint, non-empty and open in AA4.4 Connectedness and path-connectedness
γ:[0,1]→X\gamma : [0, 1] \to Xa path in XX: a continuous map from the interval [0,1][0, 1] into XX4.4 Connectedness and path-connectedness
f−1(W)f^{-1}(W)the preimage of WW: all points xx with f(x)∈Wf(x) \in W4.5 Continuity between metric spaces
dX, dYd_X,\ d_Ythe distances of the metric spaces XX and YY4.5 Continuity between metric spaces
πi(x)\pi_i(x)the ii-th coordinate of xx: the coordinate projection4.5 Continuity between metric spaces
f:S→Rf: S \to \mathbb R, F:S→RmF: S \to \mathbb R^ma scalar field and a vector field defined on a set S⊆RnS \subseteq \mathbb R^n5.1 Scalar and vector fields, limits and continuity
L(c)L(c)the level set {x:f(x)=c}\{x : f(x) = c\} of a scalar field ff5.1 Scalar and vector fields, limits and continuity
∥x−a∥→0\lVert x - a \rVert \to 0the point xx approaches aa, measured by the usual length5.1 Scalar and vector fields, limits and continuity
f′(a;y)f'(a; y)the derivative of the scalar field ff at aa with respect to the vector yy (Apostol); the directional derivative when ∥y∥=1\lVert y \rVert = 15.2 Directional derivatives, partial derivatives and the gradient
Dkf(a)D_k f(a), ∂f∂xk(a)\dfrac{\partial f}{\partial x_k}(a), fxk(a)f_{x_k}(a)the partial derivative of ff in the direction of the kk-th coordinate axis5.2 Directional derivatives, partial derivatives and the gradient
∇f(a)\nabla f(a), grad⁡f(a)\operatorname{grad} f(a)the gradient: the vector (D1f(a),…,Dnf(a))(D_1 f(a), \dots, D_n f(a)) ('del f')5.2 Directional derivatives, partial derivatives and the gradient
F′(a)F'(a), DF(a)DF(a), TaT_athe total derivative of FF at aa: a linear map Rn→Rm\mathbb R^n \to \mathbb R^m5.3 The total derivative, the Jacobian matrix and tangent planes
JF(a)J_F(a)its matrix, the m×nm \times n Jacobian matrix of partial derivatives5.3 The total derivative, the Jacobian matrix and tangent planes
∥v∥E(a,v)\lVert v \rVert E(a, v)the error of the linear approximation, with E(a,v)→0E(a, v) \to 0 as v→0v \to 05.3 The total derivative, the Jacobian matrix and tangent planes
h=f∘gh = f \circ gthe composite field h(x)=f(g(x))h(x) = f(g(x)): apply gg first, then ff5.4 The chain rule for fields
Dh(a)=Df(g(a)) Dg(a)Dh(a) = Df(g(a))\,Dg(a)the chain rule: the Jacobian of the composite is the Jacobian of ff at the image point times the Jacobian of gg at aa5.4 The chain rule for fields
fx, fxyf_x,\ f_{xy}partial derivatives written as subscripts, read left to right: fxy=(fx)yf_{xy} = (f_x)_y means differentiate in xx first, then in yy. Apostol writes this D2,1f=D2(D1f)D_{2,1}f = D_2(D_1f). Spagnolie's boards are not consistent about the order (his Final Review writes hyxh_{yx} for (hx)y(h_x)_y), so this book fixes one reading; for the fields met here it never matters (5.5)5.4 The chain rule for fields
fxyf_{xy}, D2,1fD_{2,1}f, ∂2f∂y ∂x\dfrac{\partial^2f}{\partial y\,\partial x}differentiate in xx first, then in yy: (fx)y(f_x)_y. This book reads subscripts left to right, so it writes fxyf_{xy} for it; Apostol writes D2,1f=D2(D1f)D_{2,1}f = D_2(D_1f), and Spagnolie's boards use both readings5.5 Higher partial derivatives and the equality of mixed partials
fyxf_{yx}, D1,2fD_{1,2}f, ∂2f∂x ∂y\dfrac{\partial^2f}{\partial x\,\partial y}differentiate in yy first, then in xx: (fy)x(f_y)_x5.5 Higher partial derivatives and the equality of mixed partials
CkC^kall partial derivatives of order at most kk exist and are continuous5.5 Higher partial derivatives and the equality of mixed partials
Hf(a)H_f(a), ∇2f(a)\nabla^2f(a), [Dijf(a)][D_{ij}f(a)]the Hessian matrix of ff at aa: the symmetric n×nn \times n matrix of second partial derivatives. Its (i,j)(i, j) entry is written DijfD_{ij}f; here it is DjDifD_jD_if, the Jacobian of the gradient (Apostol and Lecture 24 write Di(Djf)D_i(D_jf), the transpose, which is the same matrix when ff is C2C^2)5.6 Taylor's formula, the Hessian and extrema
vTHvv^{\mathsf T}Hvthe quadratic form of the Hessian at the step vv; Lecture 24 writes it vHvTvHv^{\mathsf T} for a row vector vv5.6 Taylor's formula, the Hessian and extrema
E2(a,v)E_2(a, v)the error of the second-order Taylor formula: f(a+v)=f(a)+∇f(a)⋅v+12vTHv+∥v∥2E2(a,v)f(a + v) = f(a) + \nabla f(a)\cdot v + \frac12v^{\mathsf T}Hv + \lVert v \rVert^2E_2(a, v) with E2→0E_2 \to 05.6 Taylor's formula, the Hessian and extrema
DxFD_xF, DyFD_yFfor F(x,y)F(x, y) with x∈Rnx \in \mathbb R^n, y∈Rmy \in \mathbb R^m: the m×nm \times n and m×mm \times m blocks of the Jacobian matrix JF=[DxF  DyF]J_F = [D_xF\ \ D_yF]5.7 Inverse and implicit functions
G=F−1G = F^{-1}a local inverse of FF, defined on a neighbourhood of F(a)F(a)5.7 Inverse and implicit functions
∂(F,G)∂(u,v)\dfrac{\partial(F, G)}{\partial(u, v)}the Jacobian determinant of (F,G)(F, G) with respect to (u,v)(u, v)5.7 Inverse and implicit functions
L(x,λ)=f(x)−∑iλi(gi(x)−ci)L(x, \lambda) = f(x) - \sum_i\lambda_i\big(g_i(x) - c_i\big)the Lagrangian; its critical points in (x,λ)(x, \lambda) are the candidates5.8 Constrained extrema and Lagrange multipliers
Ta=ker⁡Dg(a)T_a = \ker Dg(a)the tangent space of the constraint set at aa5.8 Constrained extrema and Lagrange multipliers
λ\lambda, λi\lambda_iLagrange multipliers: ∇f(a)=∑iλi∇gi(a)\nabla f(a) = \sum_i\lambda_i\nabla g_i(a)5.8 Constrained extrema and Lagrange multipliers
utu_t, uttu_{tt}, uxxu_{xx}partial derivatives of u(x,t)u(x, t): first in tt, second in tt, second in xx5.9 Partial differential equations
∇2u=uxx+uyy\nabla^2u = u_{xx} + u_{yy}the Laplacian of uu (written Δu\Delta u in many books)5.9 Partial differential equations
α\alpha, ccthe diffusivity in the heat equation and the wave speed in the wave equation5.9 Partial differential equations
η\etathe learning rate (step size) of gradient descent5.10 Gradient descent, momentum and Newton's method
LL, μ\muthe largest and smallest eigenvalues of the Hessian of a quadratic: μ I⪯H⪯L I\mu\,I \preceq H \preceq L\,I; κ=L/μ\kappa = L/\mu is the condition number5.10 Gradient descent, momentum and Newton's method
β\betathe momentum coefficient: how much of the previous step is carried over5.10 Gradient descent, momentum and Newton's method
∫CF⋅dr\int_C F \cdot drthe line integral of the vector field FF along the oriented curve CC: ∫abF(r(t))⋅r′(t) dt\int_a^b F(r(t)) \cdot r'(t)\,dt6.1 Paths and line integrals
∮C\oint_Cthe same integral around a closed curve; the circle on the integral sign says CC starts and ends at the same point6.1 Paths and line integrals
∫CP dx+Q dy\int_C P\,dx + Q\,dythe line integral of F=(P,Q)F = (P, Q), with dx=x′(t) dtdx = x'(t)\,dt and dy=y′(t) dtdy = y'(t)\,dt6.1 Paths and line integrals
∫Cφ ds\int_C \varphi\,dsthe line integral of a scalar field with respect to arc length: ∫abφ(r(t)) ∥r′(t)∥ dt\int_a^b \varphi(r(t))\,\lVert r'(t) \rVert\,dt6.1 Paths and line integrals
F=∇φF = \nabla\varphiFF is a gradient field and φ\varphi is a potential for it6.2 Gradient fields and potentials
Py=QxP_y = Q_xthe necessary condition ∂P/∂y=∂Q/∂x\partial P / \partial y = \partial Q / \partial x for the field F=(P,Q)F = (P, Q) to be a gradient6.2 Gradient fields and potentials
φ∣AB\varphi\big|_A^Bφ(B)−φ(A)\varphi(B) - \varphi(A): the change of the potential, end minus start6.2 Gradient fields and potentials
∬Qf dA\iint_Q f\,dAthe double integral of ff over the region QQ; dAdA is the area element, dx dydx\,dy in rectangular coordinates6.3 Multiple integrals
∫cd ⁣∫abf dx dy\int_c^d\!\int_a^b f\,dx\,dyan iterated integral: integrate in xx first (inner), then in yy6.3 Multiple integrals
I‾(f), I‾(f)\underline{I}(f),\ \overline{I}(f)the lower and upper integral: the sup of step integrals below ff and the inf of step integrals above ff6.3 Multiple integrals
∮CP dx+Q dy=∬R(Qx−Py) dA\oint_C P\,dx + Q\,dy = \iint_R (Q_x - P_y)\,dAGreen's theorem; CC is the boundary of RR run counterclockwise (positively oriented)6.4 Green's theorem and change of variables
J=∂(x,y)∂(u,v)J = \dfrac{\partial(x, y)}{\partial(u, v)}the Jacobian determinant of the map (u,v)↦(x,y)(u, v) \mapsto (x, y): the old variables in terms of the new, then differentiate6.4 Green's theorem and change of variables
W(r;p)W(r; p)the winding number of the closed path rr about the point pp: how many times rr goes counterclockwise around pp6.4 Green's theorem and change of variables
a×ba \times bthe cross product of two vectors in space: a vector perpendicular to both, whose length is the area of the parallelogram they span6.5 Surfaces, area and flux
ru×rvr_u \times r_vthe fundamental vector product of a parametrized surface r(u,v)r(u, v): a normal vector to the surface, of length equal to the area stretching factor6.5 Surfaces, area and flux
∬Sf dS\iint_S f\,dSthe surface integral of a scalar field: ∬Tf(r(u,v)) ∥ru×rv∥ du dv\iint_T f(r(u, v))\,\lVert r_u \times r_v \rVert\,du\,dv6.5 Surfaces, area and flux
∬SF⋅n dS\iint_S F \cdot n\,dSthe flux of FF through the oriented surface SS with unit normal nn: ∬TF(r)⋅(ru×rv) du dv\iint_T F(r) \cdot (r_u \times r_v)\,du\,dv when ru×rvr_u \times r_v points the way nn does6.5 Surfaces, area and flux
∇=(∂x,∂y,∂z)\nabla = (\partial_x, \partial_y, \partial_z)the vector of derivative operators; ∇f\nabla f is the gradient, ∇×F\nabla\times F the curl, ∇⋅F\nabla\cdot F the divergence6.6 Curl, divergence, Stokes' theorem and Gauss's theorem
curl⁡F=∇×F\operatorname{curl}F = \nabla\times F(Ry−Qz, Pz−Rx, Qx−Py)(R_y - Q_z,\ P_z - R_x,\ Q_x - P_y) for F=(P,Q,R)F = (P, Q, R)6.6 Curl, divergence, Stokes' theorem and Gauss's theorem
div⁡F=∇⋅F\operatorname{div}F = \nabla\cdot FPx+Qy+RzP_x + Q_y + R_z for F=(P,Q,R)F = (P, Q, R)6.6 Curl, divergence, Stokes' theorem and Gauss's theorem
∂S\partial Sthe boundary curve of the surface SS (or, for a solid EE, its boundary surface ∂E\partial E)6.6 Curl, divergence, Stokes' theorem and Gauss's theorem
dxdx, dydy, dzdzthe basic 1-forms: dxdx takes a displacement vector vv and returns its xx component v1v_16.7 Differential forms and the one big theorem
ω∧η\omega\wedge\etathe wedge product of two forms: dx∧dy=−dy∧dxdx\wedge dy = -dy\wedge dx and dx∧dx=0dx\wedge dx = 06.7 Differential forms and the one big theorem
dωd\omegathe exterior derivative of ω\omega: it raises the degree by one. On functions dfdf is the gradient, on 1-forms it is the curl, on 2-forms it is the divergence6.7 Differential forms and the one big theorem
φ∗ω\varphi^*\omegathe pullback of ω\omega along a map φ\varphi: substitute x=x(u,v)x = x(u,v) and dx=xu du+xv dvdx = x_u\,du + x_v\,dv6.7 Differential forms and the one big theorem
∫∂Mω=∫Mdω\int_{\partial M}\omega = \int_Md\omegathe generalized Stokes theorem6.7 Differential forms and the one big theorem
EE, BBthe electric and magnetic field vectors; EE is force per unit charge, and BB is defined through the force qv×Bqv\times B on a moving charge6.8 Maxwell's equations, conservation laws and heat
ρ\rho, JJthe charge density (charge per unit volume) and current density (charge crossing unit area per unit time) in this chapter; do not confuse ρ\rho with the spherical radius of 6.46.8 Maxwell's equations, conservation laws and heat
ε0\varepsilon_0, μ0\mu_0the permittivity and permeability of free space: ε0≈8.854×10−12\varepsilon_0\approx8.854\times10^{-12} F/m and μ0=4π×10−7\mu_0 = 4\pi\times10^{-7} N/A2^2 in the units used here6.8 Maxwell's equations, conservation laws and heat
∂tu+∇⋅j=0\partial_tu + \nabla\cdot j = 0the continuity equation: the density uu of a conserved quantity changes only because of the flux jj through the boundary6.8 Maxwell's equations, conservation laws and heat
y′y', y(n)y^{(n)}the first and the nn-th derivative of yy with respect to tt7.1 Existence and uniqueness for differential equations
LLa Lipschitz constant of the right-hand side7.1 Existence and uniqueness for differential equations
y0,y1,y2,…y_0, y_1, y_2, \dotsthe Picard iterates, each one built from the one before7.1 Existence and uniqueness for differential equations
(Ty)(t)(Ty)(t)the Picard operator: x0+∫t0tf(s,y(s)) dsx_0 + \int_{t_0}^{t} f(s, y(s))\,ds7.1 Existence and uniqueness for differential equations
DDthe differentiation operator, Df=f′Df = f'7.2 Linear differential equations
Ly=RL y = Ra linear equation, with L=Dn+an−1Dn−1+⋯+a0L = D^n + a_{n-1}D^{n-1} + \dots + a_07.2 Linear differential equations
PA(t)P_A(t)the characteristic polynomial of the constant-coefficient operator A=PA(D)A = P_A(D)7.2 Linear differential equations
ker⁡L\ker Lthe null space of LL: all solutions of Ly=0Ly = 07.2 Linear differential equations
W(f1,…,fn)(t)W(f_1, \dots, f_n)(t)the Wronskian: the determinant of the matrix whose rows are the functions and their derivatives up to order n−1n - 17.3 The Wronskian, variation of parameters and undetermined coefficients
uk′u_k'the derivative of the unknown coefficient function in variation of parameters7.3 The Wronskian, variation of parameters and undetermined coefficients
ypy_pa particular solution of the inhomogeneous equation7.3 The Wronskian, variation of parameters and undetermined coefficients
etAe^{tA}the matrix exponential of tAtA: ∑k≥0tkAk/k!\sum_{k \ge 0} t^kA^k / k!7.4 Systems of equations and the matrix exponential
∥A∥\lVert A \rVertin this chapter, the entrywise sum norm ∑i,j∣aij∣\sum_{i,j}\lvert a_{ij}\rvert used in MATH 3767.4 Systems of equations and the matrix exponential
NNa nilpotent matrix: some power NkN^k is the zero matrix7.4 Systems of equations and the matrix exponential
x′=Axx' = Axa linear system with constant coefficients; x(t)x(t) is a vector function7.4 Systems of equations and the matrix exponential
∑an(x−x0)n\sum a_n (x - x_0)^na power series solution about the point x0x_0; a0,a1,…a_0, a_1, \dots are the unknown coefficients7.5 Power series solutions, Legendre and Bessel
Pn(x)P_n(x)the Legendre polynomial of degree nn, normalised so that Pn(1)=1P_n(1) = 17.5 Power series solutions, Legendre and Bessel
F(s)F(s)the indicial polynomial s(s−1)+p0s+q0s(s-1) + p_0 s + q_0 of a regular singular point7.5 Power series solutions, Legendre and Bessel
J0(x)J_0(x)the Bessel function of order zero, ∑(−1)k(x/2)2k/(k!)2\sum (-1)^k (x/2)^{2k}/(k!)^27.5 Power series solutions, Legendre and Bessel
x∗x^*an equilibrium of x′=F(x)x' = F(x): a point where F(x∗)=0F(x^*) = 07.6 Phase portraits, stability and linearization
τ, Δ\tau,\ \Deltathe trace and the determinant of a 2×22 \times 2 matrix7.6 Phase portraits, stability and linearization
J=DF(x∗)J = DF(x^*)the Jacobian matrix of FF at the equilibrium x∗x^*7.6 Phase portraits, stability and linearization
V˙\dot Vthe derivative of VV along solutions: V˙(x)=∇V(x)⋅F(x)\dot V(x) = \nabla V(x) \cdot F(x)7.6 Phase portraits, stability and linearization
ωj, vj\omega_j,\ v_jthe natural frequency and the mode shape of the jj-th normal mode: Mvj=ωj2vjMv_j = \omega_j^2v_j7.7 Applications to springs, circuits, epidemics and qubits
α, ω0, Q\alpha,\ \omega_0,\ Qfor an RLC circuit: the decay rate R/2LR/2L, the natural frequency 1/LC1/\sqrt{LC} and the quality factor ω0L/R\omega_0L/R7.7 Applications to springs, circuits, epidemics and qubits
β, γ, R0\beta,\ \gamma,\ R_0SIR model: infection rate, recovery rate and their ratio β/γ\beta/\gamma7.7 Applications to springs, circuits, epidemics and qubits
ψ(t), H, ℏ\psi(t),\ H,\ \hbarthe state vector, the Hamiltonian matrix and the reduced Planck constant of a quantum system7.7 Applications to springs, circuits, epidemics and qubits
(Ω,F,P)(\Omega, \mathcal F, P)a probability space: outcomes, events, probabilities10.1 Probability as measure
P(A∣B)P(A \mid B)the probability of AA given BB10.1 Probability as measure
FX(x)=P(X≤x)F_X(x) = P(X \le x)the distribution function of XX10.1 Probability as measure
E[X],Var⁡(X)E[X], \operatorname{Var}(X)the expectation and the variance of XX10.1 Probability as measure
Xˉn\bar X_nthe average (X1+⋯+Xn)/n(X_1 + \dots + X_n)/n10.1 Probability as measure
pnp_nthe interpolating polynomial of degree at most nn15.1 Numerical analysis
ℓj(x)\ell_j(x)the Lagrange basis polynomial that is 11 at xjx_j and 00 at the other nodes15.1 Numerical analysis
f[x0,…,xk]f[x_0, \dots, x_k]the divided difference of ff at those nodes15.1 Numerical analysis
TnT_nthe Chebyshev polynomial of degree nn, with Tn(cos⁡θ)=cos⁡nθT_n(\cos\theta) = \cos n\theta15.1 Numerical analysis
hhthe width of one subinterval, h=(b−a)/nh = (b - a)/n15.1 Numerical analysis