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.
| Symbol | Means | Introduced in |
|---|---|---|
| P and Q | 0.1 How to read a theorem | |
| P or Q (or both) | 0.1 How to read a theorem | |
| not P | 0.1 How to read a theorem | |
| if P then Q | 0.1 How to read a theorem | |
| P if and only if Q | 0.1 How to read a theorem | |
| for every | 0.1 How to read a theorem | |
| there exists an | 0.1 How to read a theorem | |
| the integers | 0.2 Proof techniques | |
| the natural numbers | 0.2 Proof techniques | |
| , | end of proof | 0.2 Proof techniques |
| , | is an element of ; is not an element of | 0.3 Sets, functions, and counting infinity |
| every element of is in (subset, equality allowed) | 0.3 Sets, functions, and counting infinity | |
| , | union and intersection | 0.3 Sets, functions, and counting infinity |
| , | complement of ; the elements of not in | 0.3 Sets, functions, and counting infinity |
| all ordered pairs with , | 0.3 Sets, functions, and counting infinity | |
| the empty set | 0.3 Sets, functions, and counting infinity | |
| a function with domain and codomain | 0.3 Sets, functions, and counting infinity | |
| , | composition (first , then ); inverse function | 0.3 Sets, functions, and counting infinity |
| counting numbers ; integers; rationals; reals | 0.3 Sets, functions, and counting infinity | |
| is related to (read 'a tilde b') | 0.4 Equivalence relations and partitions | |
| the equivalence class of : everything related to | 0.4 Equivalence relations and partitions | |
| the set of all equivalence classes (the quotient set) | 0.4 Equivalence relations and partitions | |
| divides : for some integer | 0.4 Equivalence relations and partitions | |
| divides : for some integer | 0.5 Integers mod n, gcd and Bézout | |
| the greatest common divisor of and | 0.5 Integers mod n, gcd and Bézout | |
| : and leave the same remainder on division by | 0.5 Integers mod n, gcd and Bézout | |
| the remainder of on division by , a number from to | 0.5 Integers mod n, gcd and Bézout | |
| the integers mod : the residue classes | 0.5 Integers mod n, gcd and Bézout | |
| the inverse of mod | 0.5 Integers mod n, gcd and Bézout | |
| the complex numbers | 0.6 Complex numbers and polynomials, done properly | |
| a complex number with real part and imaginary part | 0.6 Complex numbers and polynomials, done properly | |
| the real part and the imaginary part of | 0.6 Complex numbers and polynomials, done properly | |
| the conjugate of | 0.6 Complex numbers and polynomials, done properly | |
| the modulus of | 0.6 Complex numbers and polynomials, done properly | |
| , | an angle (in radians) giving the direction of | 0.6 Complex numbers and polynomials, done properly |
| shorthand for (Euler's formula) | 0.6 Complex numbers and polynomials, done properly | |
| the degree of a polynomial | 0.6 Complex numbers and polynomials, done properly | |
| end of proof (also written Q.E.D. or ) | 0.7 Writing a proof a grader accepts | |
| the rational numbers, fractions of integers with | 1.1 The real numbers and completeness | |
| the supremum (least upper bound) of | 1.1 The real numbers and completeness | |
| the infimum (greatest lower bound) of | 1.1 The real numbers and completeness | |
| epsilon: by convention, a small positive number chosen by the reader | 1.1 The real numbers and completeness | |
| the sequence | 1.2 Sequences and limits, from zero | |
| , | the sequence converges to | 1.2 Sequences and limits, from zero |
| the distance between and | 1.2 Sequences and limits, from zero | |
| a subsequence of | 1.2 Sequences and limits, from zero | |
| tends to as approaches | 1.3 Limits and continuity with epsilon and delta | |
| delta: the input tolerance, chosen by the prover after | 1.3 Limits and continuity with epsilon and delta | |
| the closed interval | 1.3 Limits and continuity with epsilon and delta | |
| , | the derivative of at | 1.4 The derivative as best linear approximation |
| the -th derivative of | 1.4 The derivative as best linear approximation | |
| the Taylor polynomial of degree | 1.4 The derivative as best linear approximation | |
| a partition of : points | 1.5 The Riemann integral: area as a limit | |
| the width of the -th piece | 1.5 The Riemann integral: area as a limit | |
| the supremum and infimum of on the -th piece | 1.5 The Riemann integral: area as a limit | |
| the upper and lower sum of for the partition | 1.5 The Riemann integral: area as a limit | |
| the integral of over (the common value of the lower and upper integrals) | 1.5 The Riemann integral: area as a limit | |
| the series: the limit of the partial sums, if it exists | 1.6 Series, power series, and uniform convergence | |
| the -th partial sum | 1.6 Series, power series, and uniform convergence | |
| uniformly | 1.6 Series, power series, and uniform convergence | |
| the radius of convergence of a power series | 1.6 Series, power series, and uniform convergence | |
| the real numbers | 2.1 Vector spaces and subspaces | |
| ordered lists of real numbers | 2.1 Vector spaces and subspaces | |
| is an element of the set | 2.1 Vector spaces and subspaces | |
| the set of all satisfying the condition | 2.1 Vector spaces and subspaces | |
| every element of is in | 2.1 Vector spaces and subspaces | |
| the zero vector | 2.1 Vector spaces and subspaces | |
| the negative of , equal to | 2.1 Vector spaces and subspaces | |
| polynomials of degree at most | 2.1 Vector spaces and subspaces | |
| by matrices of real numbers | 2.1 Vector spaces and subspaces | |
| the vectors in both and | 2.1 Vector spaces and subspaces | |
| , | the span of : all linear combinations | 2.2 Span, independence, basis, dimension |
| the dimension of | 2.2 Span, independence, basis, dimension | |
| 2.2 Span, independence, basis, dimension | ||
| all sums with , | 2.2 Span, independence, basis, dimension | |
| a function from to | 2.3 Linear maps, null space, range, rank–nullity | |
| is sent to | 2.3 Linear maps, null space, range, rank–nullity | |
| , | the range of | 2.3 Linear maps, null space, range, rank–nullity |
| , | the null space (kernel) of | 2.3 Linear maps, null space, range, rank–nullity |
| , | do first, then | 2.4 Inverses, one-to-one maps, isomorphism |
| the identity map on : | 2.4 Inverses, one-to-one maps, isomorphism | |
| the inverse of | 2.4 Inverses, one-to-one maps, isomorphism | |
| and are isomorphic | 2.4 Inverses, one-to-one maps, isomorphism | |
| the matrix of in the chosen bases (Apostol's notation) | 2.5 Matrices as maps, multiplication, change of basis | |
| the entry of in row , column | 2.5 Matrices as maps, multiplication, change of basis | |
| the matrix product: do first, then | 2.5 Matrices as maps, multiplication, change of basis | |
| the by identity matrix | 2.5 Matrices as maps, multiplication, change of basis | |
| the transpose of : rows become columns | 2.5 Matrices as maps, multiplication, change of basis | |
| the same map as , written in a new basis | 2.5 Matrices as maps, multiplication, change of basis | |
| the augmented matrix of | 2.6 Systems of equations and elimination | |
| the column space of | 2.6 Systems of equations and elimination | |
| the inverse matrix | 2.6 Systems of equations and elimination | |
| , | the determinant of | 2.7 Determinants |
| the sign of a permutation, | 2.7 Determinants | |
| the cofactor | 2.7 Determinants | |
| an eigenvalue | 2.8 Eigenvalues and eigenvectors | |
| the eigenspace of | 2.8 Eigenvalues and eigenvectors | |
| the characteristic polynomial | 2.8 Eigenvalues and eigenvectors | |
| the trace: the sum of the diagonal entries | 2.8 Eigenvalues and eigenvectors | |
| , | the inner product of and | 2.9 Inner products, orthogonality, Gram–Schmidt, projection |
| the norm (length) of | 2.9 Inner products, orthogonality, Gram–Schmidt, projection | |
| and are orthogonal | 2.9 Inner products, orthogonality, Gram–Schmidt, projection | |
| the orthogonal complement of | 2.9 Inner products, orthogonality, Gram–Schmidt, projection | |
| a least squares solution | 2.10 Least squares and regression as projection | |
| the normal equations | 2.10 Least squares and regression as projection | |
| the projection matrix onto the column space | 2.10 Least squares and regression as projection | |
| a stationary distribution: | 2.11 Markov chains and PageRank | |
| the vector of all ones | 2.11 Markov chains and PageRank | |
| the Google matrix with damping | 2.11 Markov chains and PageRank | |
| the adjoint of ; for real matrices the transpose , for complex the conjugate transpose | 3.1 Symmetric matrices and the spectral theorem | |
| the columns of are orthonormal | 3.1 Symmetric matrices and the spectral theorem | |
| orthogonal diagonalization: diagonal, orthogonal | 3.1 Symmetric matrices and the spectral theorem | |
| the quadratic form of the symmetric matrix | 3.2 Quadratic forms and principal axes | |
| is positive definite | 3.2 Quadratic forms and principal axes | |
| the columns of are orthonormal; is orthogonal | 3.3 Orthogonal matrices, rotations and reflections | |
| rotation of the plane by angle | 3.3 Orthogonal matrices, rotations and reflections | |
| is unitary (complex version) | 3.3 Orthogonal matrices, rotations and reflections | |
| the SVD: orthogonal, diagonal with | 3.4 The singular value decomposition and PCA | |
| the -th singular value | 3.4 The singular value decomposition and PCA | |
| the best rank- approximation of | 3.4 The singular value decomposition and PCA | |
| the operator norm: the largest stretch of , equal to | 3.5 Matrix norms, conditioning, and why numerics fail | |
| the condition number | 3.5 Matrix norms, conditioning, and why numerics fail | |
| machine epsilon, about in double precision | 3.5 Matrix norms, conditioning, and why numerics fail | |
| Schur decomposition: unitary, upper triangular | 3.6 Cayley–Hamilton, Schur, and the Jordan form | |
| the minimal polynomial of | 3.6 Cayley–Hamilton, Schur, and the Jordan form | |
| the Jordan block with eigenvalue | 3.6 Cayley–Hamilton, Schur, and the Jordan form | |
| the dual space of : all linear functionals (not the adjoint of 3.1, which is a map ) | 3.7 Dual spaces and quotient spaces | |
| the dual basis of a basis : if and otherwise | 3.7 Dual spaces and quotient spaces | |
| the dual map of , a map , defined by | 3.7 Dual spaces and quotient spaces | |
| the annihilator of : the functionals that are on all of | 3.7 Dual spaces and quotient spaces | |
| the coset of : all vectors with , a copy of moved by | 3.7 Dual spaces and quotient spaces | |
| the quotient space, read 'V mod U': the set of all cosets of in | 3.7 Dual spaces and quotient spaces | |
| the gradient of a scalar function , the column of partial derivatives | 3.8 Matrix calculus and backpropagation | |
| the Jacobian matrix of , the matrix of partial derivatives | 3.8 Matrix calculus and backpropagation | |
| an activation function applied entry by entry (in this chapter only; elsewhere is a singular value) | 3.8 Matrix calculus and backpropagation | |
| or | a group: a set with an operation , often written as a product | 3.9 Groups, rings and fields: a preview built from what you know |
| , | the identity element of a group, and the inverse of (in additive groups: and ) | 3.9 Groups, rings and fields: a preview built from what you know |
| is a subgroup of | 3.9 Groups, rings and fields: a preview built from what you know | |
| , | the number of elements of , and the order of the element | 3.9 Groups, rings and fields: a preview built from what you know |
| the left coset of the subgroup | 3.9 Groups, rings and fields: a preview built from what you know | |
| the kernel of a homomorphism : 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 | |
| , , , | invertible matrices; those of determinant ; all permutations of objects; the even permutations | 3.9 Groups, rings and fields: a preview built from what you know |
| the distance between the points and of a metric space | 4.1 Metric and normed spaces; open and closed sets | |
| the open ball | 4.1 Metric and normed spaces; open and closed sets | |
| the 1-norm (sum of sizes), 2-norm (usual length) and max-norm (largest size) of a vector | 4.1 Metric and normed spaces; open and closed sets | |
| the interior, closure and boundary of the set | 4.1 Metric and normed spaces; open and closed sets | |
| the sequence converges to in a metric space: | 4.2 Convergence, completeness and the contraction mapping theorem | |
| , | the map applied to , and applied times | 4.2 Convergence, completeness and the contraction mapping theorem |
| a contraction constant: with | 4.2 Convergence, completeness and the contraction mapping theorem | |
| a fixed point: | 4.2 Convergence, completeness and the contraction mapping theorem | |
| a subset of a metric space, usually the one we call compact | 4.3 Compactness | |
| a family (cover) of open sets, indexed by | 4.3 Compactness | |
| the diameter of a box : the largest distance between two of its points | 4.3 Compactness | |
| a separation of when and are disjoint, non-empty and open in | 4.4 Connectedness and path-connectedness | |
| a path in : a continuous map from the interval into | 4.4 Connectedness and path-connectedness | |
| the preimage of : all points with | 4.5 Continuity between metric spaces | |
| the distances of the metric spaces and | 4.5 Continuity between metric spaces | |
| the -th coordinate of : the coordinate projection | 4.5 Continuity between metric spaces | |
| , | a scalar field and a vector field defined on a set | 5.1 Scalar and vector fields, limits and continuity |
| the level set of a scalar field | 5.1 Scalar and vector fields, limits and continuity | |
| the point approaches , measured by the usual length | 5.1 Scalar and vector fields, limits and continuity | |
| the derivative of the scalar field at with respect to the vector (Apostol); the directional derivative when | 5.2 Directional derivatives, partial derivatives and the gradient | |
| , , | the partial derivative of in the direction of the -th coordinate axis | 5.2 Directional derivatives, partial derivatives and the gradient |
| , | the gradient: the vector ('del f') | 5.2 Directional derivatives, partial derivatives and the gradient |
| , , | the total derivative of at : a linear map | 5.3 The total derivative, the Jacobian matrix and tangent planes |
| its matrix, the Jacobian matrix of partial derivatives | 5.3 The total derivative, the Jacobian matrix and tangent planes | |
| the error of the linear approximation, with as | 5.3 The total derivative, the Jacobian matrix and tangent planes | |
| the composite field : apply first, then | 5.4 The chain rule for fields | |
| the chain rule: the Jacobian of the composite is the Jacobian of at the image point times the Jacobian of at | 5.4 The chain rule for fields | |
| partial derivatives written as subscripts, read left to right: means differentiate in first, then in . Apostol writes this . Spagnolie's boards are not consistent about the order (his Final Review writes for ), so this book fixes one reading; for the fields met here it never matters (5.5) | 5.4 The chain rule for fields | |
| , , | differentiate in first, then in : . This book reads subscripts left to right, so it writes for it; Apostol writes , and Spagnolie's boards use both readings | 5.5 Higher partial derivatives and the equality of mixed partials |
| , , | differentiate in first, then in : | 5.5 Higher partial derivatives and the equality of mixed partials |
| all partial derivatives of order at most exist and are continuous | 5.5 Higher partial derivatives and the equality of mixed partials | |
| , , | the Hessian matrix of at : the symmetric matrix of second partial derivatives. Its entry is written ; here it is , the Jacobian of the gradient (Apostol and Lecture 24 write , the transpose, which is the same matrix when is ) | 5.6 Taylor's formula, the Hessian and extrema |
| the quadratic form of the Hessian at the step ; Lecture 24 writes it for a row vector | 5.6 Taylor's formula, the Hessian and extrema | |
| the error of the second-order Taylor formula: with | 5.6 Taylor's formula, the Hessian and extrema | |
| , | for with , : the and blocks of the Jacobian matrix | 5.7 Inverse and implicit functions |
| a local inverse of , defined on a neighbourhood of | 5.7 Inverse and implicit functions | |
| the Jacobian determinant of with respect to | 5.7 Inverse and implicit functions | |
| the Lagrangian; its critical points in are the candidates | 5.8 Constrained extrema and Lagrange multipliers | |
| the tangent space of the constraint set at | 5.8 Constrained extrema and Lagrange multipliers | |
| , | Lagrange multipliers: | 5.8 Constrained extrema and Lagrange multipliers |
| , , | partial derivatives of : first in , second in , second in | 5.9 Partial differential equations |
| the Laplacian of (written in many books) | 5.9 Partial differential equations | |
| , | the diffusivity in the heat equation and the wave speed in the wave equation | 5.9 Partial differential equations |
| the learning rate (step size) of gradient descent | 5.10 Gradient descent, momentum and Newton's method | |
| , | the largest and smallest eigenvalues of the Hessian of a quadratic: ; is the condition number | 5.10 Gradient descent, momentum and Newton's method |
| the momentum coefficient: how much of the previous step is carried over | 5.10 Gradient descent, momentum and Newton's method | |
| the line integral of the vector field along the oriented curve : | 6.1 Paths and line integrals | |
| the same integral around a closed curve; the circle on the integral sign says starts and ends at the same point | 6.1 Paths and line integrals | |
| the line integral of , with and | 6.1 Paths and line integrals | |
| the line integral of a scalar field with respect to arc length: | 6.1 Paths and line integrals | |
| is a gradient field and is a potential for it | 6.2 Gradient fields and potentials | |
| the necessary condition for the field to be a gradient | 6.2 Gradient fields and potentials | |
| : the change of the potential, end minus start | 6.2 Gradient fields and potentials | |
| the double integral of over the region ; is the area element, in rectangular coordinates | 6.3 Multiple integrals | |
| an iterated integral: integrate in first (inner), then in | 6.3 Multiple integrals | |
| the lower and upper integral: the sup of step integrals below and the inf of step integrals above | 6.3 Multiple integrals | |
| Green's theorem; is the boundary of run counterclockwise (positively oriented) | 6.4 Green's theorem and change of variables | |
| the Jacobian determinant of the map : the old variables in terms of the new, then differentiate | 6.4 Green's theorem and change of variables | |
| the winding number of the closed path about the point : how many times goes counterclockwise around | 6.4 Green's theorem and change of variables | |
| the cross product of two vectors in space: a vector perpendicular to both, whose length is the area of the parallelogram they span | 6.5 Surfaces, area and flux | |
| the fundamental vector product of a parametrized surface : a normal vector to the surface, of length equal to the area stretching factor | 6.5 Surfaces, area and flux | |
| the surface integral of a scalar field: | 6.5 Surfaces, area and flux | |
| the flux of through the oriented surface with unit normal : when points the way does | 6.5 Surfaces, area and flux | |
| the vector of derivative operators; is the gradient, the curl, the divergence | 6.6 Curl, divergence, Stokes' theorem and Gauss's theorem | |
| for | 6.6 Curl, divergence, Stokes' theorem and Gauss's theorem | |
| for | 6.6 Curl, divergence, Stokes' theorem and Gauss's theorem | |
| the boundary curve of the surface (or, for a solid , its boundary surface ) | 6.6 Curl, divergence, Stokes' theorem and Gauss's theorem | |
| , , | the basic 1-forms: takes a displacement vector and returns its component | 6.7 Differential forms and the one big theorem |
| the wedge product of two forms: and | 6.7 Differential forms and the one big theorem | |
| the exterior derivative of : it raises the degree by one. On functions is the gradient, on 1-forms it is the curl, on 2-forms it is the divergence | 6.7 Differential forms and the one big theorem | |
| the pullback of along a map : substitute and | 6.7 Differential forms and the one big theorem | |
| the generalized Stokes theorem | 6.7 Differential forms and the one big theorem | |
| , | the electric and magnetic field vectors; is force per unit charge, and is defined through the force on a moving charge | 6.8 Maxwell's equations, conservation laws and heat |
| , | the charge density (charge per unit volume) and current density (charge crossing unit area per unit time) in this chapter; do not confuse with the spherical radius of 6.4 | 6.8 Maxwell's equations, conservation laws and heat |
| , | the permittivity and permeability of free space: F/m and N/A in the units used here | 6.8 Maxwell's equations, conservation laws and heat |
| the continuity equation: the density of a conserved quantity changes only because of the flux through the boundary | 6.8 Maxwell's equations, conservation laws and heat | |
| , | the first and the -th derivative of with respect to | 7.1 Existence and uniqueness for differential equations |
| a Lipschitz constant of the right-hand side | 7.1 Existence and uniqueness for differential equations | |
| the Picard iterates, each one built from the one before | 7.1 Existence and uniqueness for differential equations | |
| the Picard operator: | 7.1 Existence and uniqueness for differential equations | |
| the differentiation operator, | 7.2 Linear differential equations | |
| a linear equation, with | 7.2 Linear differential equations | |
| the characteristic polynomial of the constant-coefficient operator | 7.2 Linear differential equations | |
| the null space of : all solutions of | 7.2 Linear differential equations | |
| the Wronskian: the determinant of the matrix whose rows are the functions and their derivatives up to order | 7.3 The Wronskian, variation of parameters and undetermined coefficients | |
| the derivative of the unknown coefficient function in variation of parameters | 7.3 The Wronskian, variation of parameters and undetermined coefficients | |
| a particular solution of the inhomogeneous equation | 7.3 The Wronskian, variation of parameters and undetermined coefficients | |
| the matrix exponential of : | 7.4 Systems of equations and the matrix exponential | |
| in this chapter, the entrywise sum norm used in MATH 376 | 7.4 Systems of equations and the matrix exponential | |
| a nilpotent matrix: some power is the zero matrix | 7.4 Systems of equations and the matrix exponential | |
| a linear system with constant coefficients; is a vector function | 7.4 Systems of equations and the matrix exponential | |
| a power series solution about the point ; are the unknown coefficients | 7.5 Power series solutions, Legendre and Bessel | |
| the Legendre polynomial of degree , normalised so that | 7.5 Power series solutions, Legendre and Bessel | |
| the indicial polynomial of a regular singular point | 7.5 Power series solutions, Legendre and Bessel | |
| the Bessel function of order zero, | 7.5 Power series solutions, Legendre and Bessel | |
| an equilibrium of : a point where | 7.6 Phase portraits, stability and linearization | |
| the trace and the determinant of a matrix | 7.6 Phase portraits, stability and linearization | |
| the Jacobian matrix of at the equilibrium | 7.6 Phase portraits, stability and linearization | |
| the derivative of along solutions: | 7.6 Phase portraits, stability and linearization | |
| the natural frequency and the mode shape of the -th normal mode: | 7.7 Applications to springs, circuits, epidemics and qubits | |
| for an RLC circuit: the decay rate , the natural frequency and the quality factor | 7.7 Applications to springs, circuits, epidemics and qubits | |
| SIR model: infection rate, recovery rate and their ratio | 7.7 Applications to springs, circuits, epidemics and qubits | |
| the state vector, the Hamiltonian matrix and the reduced Planck constant of a quantum system | 7.7 Applications to springs, circuits, epidemics and qubits | |
| a probability space: outcomes, events, probabilities | 10.1 Probability as measure | |
| the probability of given | 10.1 Probability as measure | |
| the distribution function of | 10.1 Probability as measure | |
| the expectation and the variance of | 10.1 Probability as measure | |
| the average | 10.1 Probability as measure | |
| the interpolating polynomial of degree at most | 15.1 Numerical analysis | |
| the Lagrange basis polynomial that is at and at the other nodes | 15.1 Numerical analysis | |
| the divided difference of at those nodes | 15.1 Numerical analysis | |
| the Chebyshev polynomial of degree , with | 15.1 Numerical analysis | |
| the width of one subinterval, | 15.1 Numerical analysis |