Concept · General topology
Path-connected space
A topological space is path-connected when any two of its points can be joined by a continuous path. Path-connected spaces are connected, but the converse is false.
Concept · General topology
A topological space is path-connected when any two of its points can be joined by a continuous path. Path-connected spaces are connected, but the converse is false.
Theorem · Global analysis, analysis on manifolds
Taking the exterior derivative twice always gives zero, because mixed second partial derivatives are equal while the wedge product changes sign. This one rule contains the facts that gradients have no curl and curls have no divergence.
Builds on Exterior derivative, Wedge product of forms, Schwarz's theorem for C^2 functions, Curl of a gradient is zero
Theorem · Number theory
The greatest common divisor of two Fibonacci numbers is again a Fibonacci number. To find which one, take the greatest common divisor of the two indices.
Builds on Fibonacci sequence
Theorem · Special functions
A full turn around the unit circle has length , and it brings the point back to where it started. So the graphs of sine and cosine repeat after each interval of length .
Builds on Angle addition formulas, cos pi = -1, Periodic function
Example · Manifolds and cell complexes
Take a strip of paper, give one end a half-turn, and glue the two ends together. The result has only one side: an ant can walk to every point of the strip without crossing an edge.
Builds on Quotient topology
Example · Biology and other natural sciences
Prey grow when there are few predators, and predators grow when there is much prey. This feedback makes both populations rise and fall in cycles, with the predator peak after the prey peak.
Builds on Equilibrium point, First integral, Periodic orbit, Linearisation at an equilibrium
Theorem · Real functions
A continuous function takes its average value somewhere. The area under the graph equals the area of a rectangle whose height is a value of .
Builds on Intermediate value theorem, Extreme value theorem, Monotonicity of the integral
Theorem · Real functions
The theorem says that the total circulation of a plane field around a closed curve equals the sum of the small circulations inside. The small circulations of neighbouring squares cancel along shared edges, so only the outer boundary is left.
Builds on Closed curve, Line integral of a vector field, Double integral, Partial derivative
Proposition · Linear and multilinear algebra; matrix theory
To test if a linear map is one to one, we only need to look at the vectors that go to zero. If two vectors have the same image, then their difference goes to zero. So if only goes to , then no two vectors share an image.
Builds on Kernel of a linear map, Linear map
Concept · Linear and multilinear algebra; matrix theory
The determinant of an endomorphism of a finite-dimensional vector space is the determinant of its matrix in any basis.
Theorem · Mathematical logic and foundations
"It is not true that is not prime" says the same as " is prime". Two negations cancel each other.
Builds on Negation, Logical equivalence
Proposition · Sequences, series, summability
When all terms are nonnegative, the running total can only go up. So it either stays below some ceiling and converges, or it grows past every bound.
Builds on Convergent series, Partial sum, Monotone convergence theorem for sequences
Theorem · Real functions
On a closed bounded interval, a continuous function cannot shoot off to infinity. Its graph stays between two horizontal lines.
Builds on Continuous function, Bolzano–Weierstrass theorem
Theorem · Mathematical logic and foundations
The law says that there is no third option: a statement is true, or its negation is true. For example, each natural number is even or not even.
Builds on Disjunction, Negation
Theorem · Number theory
No two Fermat numbers share a prime factor. For example, and are coprime, and has no factor in common with , , , or .
Builds on Fermat number, Coprime integers
Theorem · Real functions
The logarithm goes to infinity, but very slowly. Each positive power of , even , eventually beats it.
Builds on Exponential growth beats polynomial growth, Little o notation, Natural logarithm
Concept · Number theory
A modular multiplicative inverse of an integer modulo is an integer such that leaves the remainder on division by . The definition of the modular multiplicative inverse gives the precise form.
Theorem · Linear and multilinear algebra; matrix theory
A positive definite matrix stretches each of its eigenvector directions by a positive factor. It never flips or crushes a direction. So its eigenvalues, its determinant and its trace are all positive.
Builds on Positive definite matrix, Eigenvalue
Concept · Mathematical logic and foundations
A relation is symmetric when it always holds in both directions.
Proposition · Potential theory
A harmonic function is a function of two real variables whose two pure second derivatives add up to . Each holomorphic function gives two harmonic functions for free: its real part and its imaginary part.
Builds on Holomorphic function, Cauchy–Riemann equations, Holomorphic functions are infinitely differentiable, Real and imaginary parts
Scroll, or press ↓ and ↑