Schur's theorem

Schur's theorem In discrete mathematics, Schur's theorem is any of several theorems of the mathematician Issai Schur. In differential geometry, Schur's theorem is a theorem of Axel Schur. In functional analysis, Schur's theorem is often called Schur's property, also due to Issai Schur.

Contents 1 Ramsey theory 2 Combinatorics 3 Differential geometry 4 Linear algebra 5 Functional analysis 6 Number theory 7 See also 8 References 9 Further reading Ramsey theory The Wikibook Combinatorics has a page on the topic of: Proof of Schur's theorem In Ramsey theory, Schur's theorem states that for any partition of the positive integers into a finite number of parts, one of the parts contains three integers x, y, z with {displaystyle x+y=z.} For every positive integer c, S(c) denotes the smallest number S such that for every partition of the integers {displaystyle {1,ldots ,S(c)}} into c parts, one of the parts contains integers x, y, and z with {displaystyle x+y=z} . Schur's theorem ensures that S(c) is well-defined for every positive integer c. The numbers of the form S(c) are called Schur's number.

Folkman's theorem generalizes Schur's theorem by stating that there exist arbitrarily large sets of integers, all of whose nonempty sums belong to the same part.

Using this definition, the only known Schur numbers are S(n) = 2, 5, 14, 45, and 161 (OEIS: A030126) The proof that S(5) = 161 was announced in 2017 and took up 2 petabytes of space.[1][2] Combinatorics In combinatorics, Schur's theorem tells the number of ways for expressing a given number as a (non-negative, integer) linear combination of a fixed set of relatively prime numbers. In particular, if {displaystyle {a_{1},ldots ,a_{n}}} is a set of integers such that {displaystyle gcd(a_{1},ldots ,a_{n})=1} , the number of different tuples of non-negative integer numbers {displaystyle (c_{1},ldots ,c_{n})} such that {displaystyle x=c_{1}a_{1}+cdots +c_{n}a_{n}} when {displaystyle x} goes to infinity is: {displaystyle {frac {x^{n-1}}{(n-1)!a_{1}cdots a_{n}}}(1+o(1)).} As a result, for every set of relatively prime numbers {displaystyle {a_{1},ldots ,a_{n}}} there exists a value of {displaystyle x} such that every larger number is representable as a linear combination of {displaystyle {a_{1},ldots ,a_{n}}} in at least one way. This consequence of the theorem can be recast in a familiar context considering the problem of changing an amount using a set of coins. If the denominations of the coins are relatively prime numbers (such as 2 and 5) then any sufficiently large amount can be changed using only these coins. (See Coin problem.) Differential geometry In differential geometry, Schur's theorem compares the distance between the endpoints of a space curve {displaystyle C^{*}} to the distance between the endpoints of a corresponding plane curve {displaystyle C} of less curvature.

Suppose {displaystyle C(s)} is a plane curve with curvature {displaystyle kappa (s)} which makes a convex curve when closed by the chord connecting its endpoints, and {displaystyle C^{*}(s)} is a curve of the same length with curvature {displaystyle kappa ^{*}(s)} . Let {displaystyle d} denote the distance between the endpoints of {displaystyle C} and {displaystyle d^{*}} denote the distance between the endpoints of {displaystyle C^{*}} . If {displaystyle kappa ^{*}(s)leq kappa (s)} then {displaystyle d^{*}geq d} .

Schur's theorem is usually stated for {displaystyle C^{2}} curves, but John M. Sullivan has observed that Schur's theorem applies to curves of finite total curvature (the statement is slightly different).

Linear algebra Main article: Schur decomposition In linear algebra, Schur’s theorem is referred to as either the triangularization of a square matrix with complex entries, or of a square matrix with real entries and real eigenvalues.

Functional analysis In functional analysis and the study of Banach spaces, Schur's theorem, due to I. Schur, often refers to Schur's property, that for certain spaces, weak convergence implies convergence in the norm.

Number theory In number theory, Issai Schur showed in 1912 that for every nonconstant polynomial p(x) with integer coefficients, if S is the set of all nonzero values {displaystyle {begin{Bmatrix}p(n)neq 0:nin mathbb {N} end{Bmatrix}}} , then the set of primes that divide some member of S is infinite.

See also Schur's lemma (from Riemannian geometry) References ^ Heule, Marijn J. H. (2017). "Schur Number Five". arXiv:1711.08076. ^ "Schur Number Five". www.cs.utexas.edu. Retrieved 2021-10-06. Herbert S. Wilf (1994). generatingfunctionology. Academic Press. Shiing-Shen Chern (1967). Curves and Surfaces in Euclidean Space. In Studies in Global Geometry and Analysis. Prentice-Hall. Issai Schur (1912). Über die Existenz unendlich vieler Primzahlen in einigen speziellen arithmetischen Progressionen, Sitzungsberichte der Berliner Math. Further reading Dany Breslauer and Devdatt P. Dubhashi (1995). Combinatorics for Computer Scientists John M. Sullivan (2006). Curves of Finite Total Curvature. arXiv. hide vte Functional analysis (topics – glossary) Spaces BanachBesovFréchetHilbertHölderNuclearOrliczSchwartzSobolevtopological vector Properties barrelledcompletedual (algebraic/topological)locally convexreflexiveseparable Theorems Hahn–BanachRiesz representationclosed graphuniform boundedness principleKakutani fixed-pointKrein–Milmanmin–maxGelfand–NaimarkBanach–Alaoglu Operators adjointboundedcompactHilbert–Schmidtnormalnucleartrace classtransposeunboundedunitary Algebras Banach algebraC*-algebraspectrum of a C*-algebraoperator algebragroup algebra of a locally compact groupvon Neumann algebra Open problems invariant subspace problemMahler's conjecture Applications Hardy spacespectral theory of ordinary differential equationsheat kernelindex theoremcalculus of variationsfunctional calculusintegral operatorJones polynomialtopological quantum field theorynoncommutative geometryRiemann hypothesisdistribution (or generalized functions) Advanced topics approximation propertybalanced setChoquet theoryweak topologyBanach–Mazur distanceTomita–Takesaki theory Categories: Theorems in discrete mathematicsRamsey theoryAdditive combinatoricsTheorems in combinatoricsTheorems in differential geometryTheorems in linear algebraTheorems in functional analysisComputer-assisted proofs