Search results

[[Category:Uniqueness theorems]] [[Category:Theorems in number theory]] ...

#REDIRECT[[Algebraic number field]] [[Category:Theorems in number theory]] ...

'''Separation theorem''' may refer to several theorems in different fields. * [[Fisher separation theorem]] (corporation theory) - asserts that the objective of a corporation will be the maximization of ...

Several theorems in [[mathematical analysis]] bear the name of [[Giuseppe Vitali]]: * '''[[Vitali covering theorem]]''' in the foundations of [[measure theory]] ...

[[Category:Theorems in number theory]] ...

[[:Category:Category theory|Category theory]] | [[:Category:Chaos theory|Chaos theory]] | ...

...er science)|computability theory]] two sets <math>A, B</math> of [[natural number]]s are '''computably isomorphic''' or '''recursively isomorphic''' if there Further, two [[numbering (computability theory)|numbering]]s <math>\nu</math> and <math>\mu</math> are called '''computabl ...

...thematics, '''Lagrange's theorem''' usually refers to any of the following theorems, attributed to [[Joseph Louis Lagrange]]: * [[Lagrange's theorem (group theory)]] ...

...m of curves]] describes classification of [[Regular curve|regular curves]] in space up to [[Translation (geometry)|translation]] and [[rotation]]. ...as a stepping stone to a larger result, rather than as a useful statement in-and-of itself. ...

There are several mathematical theorems named after [[Ferdinand Georg Frobenius]]. They include: * [[Frobenius theorem (differential topology)]] in differential geometry and topology for integrable subbundles ...

{{short description|Result that expresses a function f(x + y) in terms of f(x) and f(y)}} {{About|addition theorems in general|specific addition theorems for trigonometric functions|angle addition formulas}} ...

* [[Riemann–Hurwitz formula]] in algebraic geometry * [[Hurwitz's theorem (number theory)]] ...

===Group theory=== * [[Abelian group]], a group in which the binary operation is commutative ...

{{Short description|The nth prime number exceeds n log(n).}} {{for|Rosser's technique for proving incompleteness theorems|Rosser's trick}} ...

...stated in terms of integral equations, in terms of [[linear algebra]], or in terms of the [[Fredholm operator]] on [[Banach space]]s. The [[Fredholm alternative]] is one of the Fredholm theorems. ...

...alysis''' is the practice of looking at a problem relative to each [[prime number]] ''p'' first, and then later trying to integrate the information gained at ==Group theory== ...

...oth of the [[prime number theorem]] and of [[Dirichlet's theorem on primes in arithmetic progressions]]. Then the theorem states that given any [[real number]] ''N'' there exists a positive constant ''C''_''N'' depending on ...

...omsky&ndash;Schützenberger theorem''' may refer to either of two different theorems derived by [[Noam Chomsky]] and [[Marcel-Paul Schützenberger]] concerning [ *The [[Chomsky–Schützenberger enumeration theorem]] about the number of words of a given length generated by an unambiguous context-free grammar ...

...ical folklore|folklore]].<ref>R. Graham, B. Rothschild, J. Spencer. Ramsey Theory. 2nd ed., Wiley, New-York, 1990.</ref> ...transitive]]'' if given any two elements <math>x</math> and <math>y</math> in <math>S</math>, there exists an element <math>f</math> of <math>G</math> su ...

{{Short description|Theorems generalizing the Brouwer fixed-point theorem}} ...atics]], a number of '''[[fixed point (mathematics)|fixed-point]] theorems in infinite-dimensional spaces''' generalise the [[Brouwer fixed-point theorem ...