X-Nico

unusual facts about Savitch's theorem


Savitch's theorem

In computational complexity theory, Savitch's theorem, proved by Walter Savitch in 1970, gives a relationship between deterministic and non-deterministic space complexity.


Beck's theorem

Both appeared, alongside several other important theorems, in a well-known paper by József Beck.

Bloch's theorem

For the theorem named after Felix Bloch on wave functions of a particle in a periodic potential, see Bloch wave.

Ceva's theorem

But it was proven much earlier by Yusuf Al-Mu'taman ibn Hűd, an eleventh-century king of Zaragoza.

Chaplygin sleigh

Because this constraint is nonholonomic, Liouville's theorem does not apply, and although energy is conserved, the motion is dissipative in the sense that phase space volume is not conserved.

Chow's theorem

Chow–Rashevskii theorem: In sub-Riemannian geometry, the theorem that asserts that any two points are connected by a horizontal curve.

Copeland–Erdős constant

The constant is irrational; this can be proven with Dirichlet's theorem on arithmetic progressions or Bertrand's postulate (Hardy and Wright, p. 113) or Ramare's theorem that every even integer is a sum of at most six primes.

De Bruijn's theorem

In a 1969 paper, Dutch mathematician Nicolaas Govert de Bruijn proved several results about packing congruent rectangular bricks (of any dimension) into larger rectangular boxes, in such a way that no space is left over.

Electromagnetic suspension

Emile Bachelet applied Earnshaw's theorem and the Braunbeck extension and stabilized magnetic force by controlling current intensity and turning on and off power to the electromagnets at desired frequencies.

Endre Szemerédi

Ajtai and Szemerédi proved the corners theorem, an important step toward higher dimensional generalizations of the Szemerédi theorem.

Fáry's theorem

Heiko Harborth raised the question of whether every planar graph has a straight line representation in which all edge lengths are integers.

Fermat's theorem

The works of 17th century mathematician Pierre de Fermat engendered many theorems.

Fermat polygonal number theorem, about expressing integers as a sum of polygonal numbers

Friedrich Schottky

Friedrich Hermann Schottky (24 July 1851 – 12 August 1935) was a German mathematician who worked on elliptic, abelian, and theta functions and introduced Schottky groups and Schottky's theorem.

Fullerene chemistry

According to Euler's theorem these 12 pentagons are required for closure of the carbon network consisting of n hexagons and C60 is the first stable fullerene because it is the smallest possible to obey this rule.

Godunov's theorem

Professor Sergei K. Godunov originally proved the theorem as a Ph.D. student at Moscow State University.

Gravitational lensing formalism

While gravitational lensing preserves surface brightness, as dictated by Liouville's theorem, lensing does change the apparent solid angle of a source.

Greedy embedding

For maximal planar graphs, in which every face is a triangle, a greedy planar embedding can be found by applying the Knaster–Kuratowski–Mazurkiewicz lemma to a weighted version of a straight-line embedding algorithm of Schnyder.

Henstock–Kurzweil integral

Cousin's theorem states that for every gauge \delta, such a \delta-fine partition P does exist, so this condition cannot be satisfied vacuously.

Hilbert's theorem

Hilbert's basis theorem, in commutative algebra, stating every ideal in the ring of multivariate polynomials over a Noetherian ring is finitely generated

Hilbert's irreducibility theorem, in number theory, concerning irreducible polynomials

Hilbert's syzygy theorem, a result of commutative algebra in connection with the syzygy problem of invariant theory

Hilbert's Theorem 90, an important result on cyclic extensions of fields that leads to Kummer theory

Hilbert's Nullstellensatz, the basis of abstract algebra, establishing a fundamental relationship between geometry and algebra

Kellogg's theorem

Kellogg's theorem is a pair of related results in the mathematical study of the regularity of harmonic functions on sufficiently smooth domains by Oliver Dimon Kellogg.

Kirchhoff's theorem

Cayley's formula follows from Kirchhoff's theorem as a special case, since every vector with 1 in one place, −1 in another place, and 0 elsewhere is an eigenvector of the Laplacian matrix of the complete graph, with the corresponding eigenvalue being n.

Kolmogorov–Smirnov test

This result may also be known as the Kolmogorov theorem; see Kolmogorov's theorem for disambiguation.

Komura

Kōmura's theorem, result on the differentiability of absolutely continuous Banach space-valued functions

Liouville number

The following lemma is usually known as Liouville's theorem (on diophantine approximation), there being several results known as Liouville's theorem.

Montel's theorem

For example, the first version of Montel's theorem stated above is the analog of Liouville's theorem, while the second version corresponds to Picard's theorem.

Morley's theorem

Morley's categoricity theorem, a theorem related to model theory, discovered by Michael D. Morley

Morley's trisector theorem, a theorem related to geometry, discovered by Frank Morley

Okishio's theorem

Between 1999 and 2004, David Laibman, a Marxist economist, published at least nine pieces dealing with the Temporal single-system interpretation (TSSI) of Marx's value theory.

Pfaffian function

In the 1990s, Alex Wilkie showed that one has the same result if instead of adding every analytic function, one just adds the exponential function to R to get the ordered real field with exponentiation, Rexp, a result known as Wilkie's theorem.

Poynting

Poynting's theorem on conservation of energy in electromagnetic field

Rado graph

Then, for any sets U and V, by the Chinese remainder theorem, the numbers that are quadratic resides modulo every prime in U and nonresidues modulo every prime in V form a periodic sequence, so by Dirichlet's theorem on primes in arithmetic progressions this number-theoretic graph has the extension property.

Reflections on the Motive Power of Fire

The Reflections contain a number of principles such as the Carnot cycle, the Carnot heat engine, Carnot's theorem, thermodynamic efficiency.

Representability

Brauer's theorem on the representability of zero by forms over certain fields in sufficiently many variables

Riemann–Roch theorem

The theorem for compact Riemann surfaces can be deduced from the algebraic version using Chow's theorem and the GAGA principle: in fact, every compact Riemann surface is defined by algebraic equations in some complex projective space.

Rouché's theorem

Theodor Estermann (1902–1991) proved in his book Complex Numbers and Functions the following relation: Let K\subset G be a bounded region with continuous boundary \partial K.

Schaefer's theorem

Schaefer's dichotomy theorem, a theorem about the theory of NP-completeness by Thomas J. Schaefer

Superslow process

Stagnation zones theorems are closely related to pre-Liouville's theorems about evaluation of solutions fluctuation, which direct consequences are the different versions of the classic Liouville theorem about conversion of the entire doubly periodic function into the identical constant.

Syamadas Mukhopadhyaya

Syamadas Mukhopadhyaya (June 22, 1866 – May 8, 1937) was an Indian mathematician who introduced the four-vertex theorem and Mukhopadhyaya's theorem in plane geometry.

Taylor's theorem

An earlier version of the result is already mentioned in 1671 by James Gregory.

Thévenin's theorem

The theorem was independently derived in 1853 by the German scientist Hermann von Helmholtz and in 1883 by Léon Charles Thévenin (1857–1926), an electrical engineer with France's national Postes et Télégraphes telecommunications organization.

Thue's theorem

Thue–Siegel–Roth theorem, also known as Roth's theorem, is a foundational result in diophantine approximation to algebraic numbers.

Timeline of women in mathematics worldwide

1930s: British mathematician Mary Cartwright proved her theorem, now known as Cartwright's theorem, which gives an estimate for the maximum modulus of an analytic function that takes the same value no more than p times in the unit disc.

Topological graph

The prototype of such results is Turán's theorem, where there is one forbidden subgraph: a complete graph with k vertices (k is fixed).

Vincent's theorem

Thesis "Vincent's Theorem in Algebraic Manipulation", North Carolina State University, USA, 1978.

Wieferich's theorem

The solution to Waring's problem for cubes, that every integer is the sum of at most 9 cubes


see also