Math 2.0

Concept · Functions of a complex variable

Evaluation of real integrals by residues

A hard real integral can become easy when you view the real line as part of a closed curve in the complex plane. The residue theorem gives the integral over the closed curve from a few residues. Then you show that the extra part of the curve contributes nothing in the limit.

Read the page

Object · Linear and multilinear algebra; matrix theory

Orthogonal group

The orthogonal group collects all rotations and reflections of nn-dimensional space that fix the origin. Composing two of them gives another one, and each one can be undone. In the plane, it consists of the rotations about the origin and the reflections in lines through the origin.

Builds on Orthogonal matrix

Read the page

Problem · Probability theory and stochastic processes

Coupon collector's problem

To collect all nn pictures of a series, you need about nln⁡nn \ln n purchases, not nn. The last pictures are the slow ones: when only one type is missing, you wait on average nn draws for it. For n=50n = 50, E[T]=50H50≈225E[T] = 50 H_{50} \approx 225.

Builds on Geometric distribution, Linearity of expectation, Mean of the geometric distribution, Variance of a sum of independent random variables

Read the page

Concept · Real functions

Partial fraction decomposition

A complicated fraction of polynomials splits into a sum of simple fractions. For example, 1x(x+1)=1x−1x+1\frac{1}{x(x+1)} = \frac{1}{x} - \frac{1}{x+1}.

Read the page

Concept · General topology

Subbasis

A subbasis of a topology is a family of open sets that generates the topology. The topology is the smallest one in which all members of the family are open. The finite intersections of members of a subbasis form a basis.

Read the page

Theorem · Real functions

Mean value theorem

Somewhere between aa and bb, the tangent line is parallel to the chord from (a,f(a))(a, f(a)) to (b,f(b))(b, f(b)). If a car travels 100 km in one hour, at some moment its speed is exactly 100 km per hour.

Builds on Rolle's theorem

Read the page

Object · Mathematical logic and foundations

Empty set

The empty set is an empty bag. For example, the set of real numbers xx with x2=−1x^2 = -1 is empty. It is useful in the same way that the number 00 is useful.

Builds on Set

Read the page

Concept · Real functions

Construction of the reals from Cauchy sequences

A real number is something that rational numbers can approximate as well as you like. The construction takes the approximating sequences themselves as the new numbers. Two sequences that get closer and closer to each other count as the same real number.

Read the page

Concept · Real functions

Floor function

The floor function sends a real number xx to the greatest integer that is less than or equal to xx. We write ⌊x⌋\lfloor x \rfloor for it. For example, ⌊2.7⌋=2\lfloor 2.7 \rfloor = 2 and ⌊−2.7⌋=−3\lfloor -2.7 \rfloor = -3.

Read the page

Object · Group theory and generalizations

General linear group

The general linear group collects all the invertible matrices of one size. We can multiply two of them, and we can undo each of them, so they form a group. Geometrically, its elements are all the ways to transform space linearly without flattening it.

Read the page

Concept · Linear and multilinear algebra; matrix theory

Coordinate vector

The coordinate vector of a vector in a finite basis is the list of the coefficients of the vector in that basis.

Read the page

Concept · Statistics

Mean squared error

The mean squared error of an estimator is the expected squared distance between the estimator and the true value. It combines the variance and the bias of the estimator. The node mean squared error gives the precise definition.

Read the page

Concept · Linear and multilinear algebra; matrix theory

Scalar matrix

A scalar matrix is a diagonal matrix whose diagonal entries are all equal, that is, a scalar multiple of the identity matrix.

Read the page

Proposition · Linear and multilinear algebra; matrix theory

Vector triple product

The vector b×cb \times c is perpendicular to the plane of bb and cc. A second cross product with aa gives a vector perpendicular to b×cb \times c, so the result lies back in the plane of bb and cc. The formula tells you exactly which combination of bb and cc it is.

Builds on Cross product

Read the page