Search results
Results from the WOW.Com Content Network
In the mathematical theory of automorphic forms, a converse theorem gives sufficient conditions for a Dirichlet series to be the Mellin transform of a modular form. More generally a converse theorem states that a representation of an algebraic group over the adeles is automorphic whenever the L-functions of various twists of it are well-behaved.
Supporting hyperplane theorem (convex geometry) Swan's theorem (module theory) Sylow theorems (group theory) Sylvester's determinant theorem (determinants) Sylvester's theorem (number theory) Sylvester pentahedral theorem (invariant theory) Sylvester's law of inertia (quadratic forms) Sylvester–Gallai theorem (plane geometry)
For example, the four-vertex theorem was proved in 1912, but its converse was proved only in 1997. [3] In practice, when determining the converse of a mathematical theorem, aspects of the antecedent may be taken as establishing context. That is, the converse of "Given P, if Q then R" will be "Given P, if R then Q".
Casey's theorem and its converse can be used to prove a variety of statements in Euclidean geometry. For example, the shortest known proof [ 1 ] : 411 of Feuerbach's theorem uses the converse theorem.
While it is true that the spectrum of a noetherian ring is a noetherian topological space, the converse is false. For example, most schemes in finite-dimensional algebraic geometry are locally Noetherian, but = is not. logarithmic geometry log structure See log structure. The notion is due to Fontaine-Illusie and Kato.
Such a triple is commonly written (a, b, c), a well-known example is (3, 4, 5). If ( a , b , c ) is a Pythagorean triple, then so is ( ka , kb , kc ) for any positive integer k . A triangle whose side lengths are a Pythagorean triple is a right triangle and called a Pythagorean triangle .
Under the standard duality of plane projective geometry (where points correspond to lines and collinearity of points corresponds to concurrency of lines), the statement of Desargues's theorem is self-dual: axial perspectivity is translated into central perspectivity and vice versa. The Desargues configuration (below) is a self-dual configuration.
In the monoid of binary endorelations on a set (with the binary operation on relations being the composition of relations), the converse relation does not satisfy the definition of an inverse from group theory, that is, if is an arbitrary relation on , then does not equal the identity relation on in general.