|
Loewner's Torus Inequality
In differential geometry, Loewner's torus inequality is an inequality due to Charles Loewner. It relates the systole and the area of an arbitrary Riemannian metric on the 2-torus. Statement In 1949 Charles Loewner proved that every metric on the 2-torus \mathbb T^2 satisfies the optimal inequality : \operatorname^2 \leq \frac \operatorname(\mathbb T^2), where "sys" is its systole, i.e. least length of a noncontractible loop. The constant appearing on the right hand side is the Hermite constant \gamma_2 in dimension 2, so that Loewner's torus inequality can be rewritten as : \operatorname^2 \leq \gamma_2\;\operatorname(\mathbb T^2). The inequality was first mentioned in the literature in . Case of equality The boundary case of equality is attained if and only if the metric is flat and homothetic to the so-called ''equilateral torus'', i.e. torus whose group of deck transformations is precisely the hexagonal lattice spanned by the cube roots of unity in \mathbb C. Alter ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Euler Characteristic
In mathematics, and more specifically in algebraic topology and polyhedral combinatorics, the Euler characteristic (or Euler number, or Euler–Poincaré characteristic) is a topological invariant, a number that describes a topological space's shape or structure regardless of the way it is bent. It is commonly denoted by \chi ( Greek lower-case letter chi). The Euler characteristic was originally defined for polyhedra and used to prove various theorems about them, including the classification of the Platonic solids. It was stated for Platonic solids in 1537 in an unpublished manuscript by Francesco Maurolico. Leonhard Euler, for whom the concept is named, introduced it for convex polyhedra more generally but failed to rigorously prove that it is an invariant. In modern mathematics, the Euler characteristic arises from homology and, more abstractly, homological algebra. Polyhedra The Euler characteristic \chi was classically defined for the surfaces of polyhedra, acc ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Geometric Inequalities
Geometry (; ) is, with arithmetic, one of the oldest branches of mathematics. It is concerned with properties of space such as the distance, shape, size, and relative position of figures. A mathematician who works in the field of geometry is called a ''geometer''. Until the 19th century, geometry was almost exclusively devoted to Euclidean geometry, which includes the notions of point, line, plane, distance, angle, surface, and curve, as fundamental concepts. During the 19th century several discoveries enlarged dramatically the scope of geometry. One of the oldest such discoveries is Carl Friedrich Gauss' ("remarkable theorem") that asserts roughly that the Gaussian curvature of a surface is independent from any specific embedding in a Euclidean space. This implies that surfaces can be studied ''intrinsically'', that is, as stand-alone spaces, and has been expanded into the theory of manifolds and Riemannian geometry. Later in the 19th century, it appeared that geometries wi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Differential Geometry
Differential geometry is a mathematical discipline that studies the geometry of smooth shapes and smooth spaces, otherwise known as smooth manifolds. It uses the techniques of differential calculus, integral calculus, linear algebra and multilinear algebra. The field has its origins in the study of spherical geometry as far back as antiquity. It also relates to astronomy, the geodesy of the Earth, and later the study of hyperbolic geometry by Lobachevsky. The simplest examples of smooth spaces are the plane and space curves and surfaces in the three-dimensional Euclidean space, and the study of these shapes formed the basis for development of modern differential geometry during the 18th and 19th centuries. Since the late 19th century, differential geometry has grown into a field concerned more generally with geometric structures on differentiable manifolds. A geometric structure is one which defines some notion of size, distance, shape, volume, or other rigidifying structu ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Riemannian Geometry
Riemannian geometry is the branch of differential geometry that studies Riemannian manifolds, smooth manifolds with a ''Riemannian metric'', i.e. with an inner product on the tangent space at each point that varies smoothly from point to point. This gives, in particular, local notions of angle, length of curves, surface area and volume. From those, some other global quantities can be derived by integrating local contributions. Riemannian geometry originated with the vision of Bernhard Riemann expressed in his inaugural lecture "''Ueber die Hypothesen, welche der Geometrie zu Grunde liegen''" ("On the Hypotheses on which Geometry is Based.") It is a very broad and abstract generalization of the differential geometry of surfaces in R3. Development of Riemannian geometry resulted in synthesis of diverse results concerning the geometry of surfaces and the behavior of geodesics on them, with techniques that can be applied to the study of differentiable manifolds of higher dim ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Pacific J
The Pacific Ocean is the largest and deepest of Earth's five oceanic divisions. It extends from the Arctic Ocean in the north to the Southern Ocean (or, depending on definition, to Antarctica) in the south, and is bounded by the continents of Asia and Oceania in the west and the Americas in the east. At in area (as defined with a southern Antarctic border), this largest division of the World Ocean—and, in turn, the hydrosphere—covers about 46% of Earth's water surface and about 32% of its total surface area, larger than Earth's entire land area combined .Pacific Ocean . '' Britannica Concise.'' 2008: Encyclopædia Britannica, Inc. The centers of both the [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Proc
Proc may refer to: * Proč, a village in eastern Slovakia * '' Proč?'', a 1987 Czech film * procfs or proc filesystem, a special file system (typically mounted to ) in Unix-like operating systems for accessing process information * Protein C (PROC) * Proc, a term in video game terminology * Procedures or process, in the programming language ALGOL 68 * People's Republic of China, the formal name of China China, officially the People's Republic of China (PRC), is a country in East Asia. It is the world's most populous country, with a population exceeding 1.4 billion, slightly ahead of India. China spans the equivalent of five time zones and ... * the official acronym for the Canadian House of Commons Standing Committee on Procedure and House Affairs {{disambiguation ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
American Mathematical Society
The American Mathematical Society (AMS) is an association of professional mathematicians dedicated to the interests of mathematical research and scholarship, and serves the national and international community through its publications, meetings, advocacy and other programs. The society is one of the four parts of the Joint Policy Board for Mathematics and a member of the Conference Board of the Mathematical Sciences. History The AMS was founded in 1888 as the New York Mathematical Society, the brainchild of Thomas Fiske, who was impressed by the London Mathematical Society on a visit to England. John Howard Van Amringe was the first president and Fiske became secretary. The society soon decided to publish a journal, but ran into some resistance, due to concerns about competing with the American Journal of Mathematics. The result was the ''Bulletin of the American Mathematical Society'', with Fiske as editor-in-chief. The de facto journal, as intended, was influential in in ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Systoles Of Surfaces
In mathematics, systolic inequalities for curves on surfaces were first studied by Charles Loewner in 1949 (unpublished; see remark at end of P. M. Pu's paper in '52). Given a closed surface, its systole, denoted sys, is defined to be the least length of a loop that cannot be contracted to a point on the surface. The ''systolic area'' of a metric is defined to be the ratio area/sys2. The ''systolic ratio'' SR is the reciprocal quantity sys2/area. See also Introduction to systolic geometry. Torus In 1949 Loewner proved his inequality for metrics on the torus T2, namely that the systolic ratio SR(T2) is bounded above by 2/\sqrt, with equality in the flat (constant curvature) case of the equilateral torus (see hexagonal lattice). Real projective plane A similar result is given by Pu's inequality for the real projective plane from 1952, due to Pao Ming Pu, with an upper bound of ''π''/2 for the systolic ratio SR(RP2), also attained in the constant curvature case. Klein bottl ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Eisenstein Integer
In mathematics, the Eisenstein integers (named after Gotthold Eisenstein), occasionally also known as Eulerian integers (after Leonhard Euler), are the complex numbers of the form :z = a + b\omega , where and are integers and :\omega = \frac = e^ is a primitive (hence non-real) cube root of unity. The Eisenstein integers form a triangular lattice in the complex plane, in contrast with the Gaussian integers, which form a square lattice in the complex plane. The Eisenstein integers are a countably infinite set. Properties The Eisenstein integers form a commutative ring of algebraic integers in the algebraic number field \mathbb(\omega) — the third cyclotomic field. To see that the Eisenstein integers are algebraic integers note that each is a root of the monic polynomial :z^2 - (2a - b)\;\!z + \left(a^2 - ab + b^2\right)~. In particular, satisfies the equation :\omega^2 + \omega + 1 = 0~. The product of two Eisenstein integers and is given explicitly by :(a + ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Gromov's Inequality For Complex Projective Space
In Riemannian geometry, Gromov's optimal stable 2-systolic inequality is the inequality : \mathrm_2^n \leq n! \;\mathrm_(\mathbb^n), valid for an arbitrary Riemannian metric on the complex projective space, where the optimal bound is attained by the symmetric Fubini–Study metric, providing a natural geometrisation of quantum mechanics. Here \operatorname is the stable 2-systole, which in this case can be defined as the infimum of the areas of rational 2-cycles representing the class of the complex projective line \mathbb^1 \subset \mathbb^n in 2-dimensional homology. The inequality first appeared in as Theorem 4.36. The proof of Gromov's inequality relies on the Wirtinger inequality for exterior 2-forms. Projective planes over division algebras \mathbb In the special case n=2, Gromov's inequality becomes \mathrm_2^2 \leq 2 \mathrm_4(\mathbb^2). This inequality can be thought of as an analog of Pu's inequality for the real projective plane \mathbb^2. In both cases, the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Gromov's Systolic Inequality For Essential Manifolds
In the mathematical field of Riemannian geometry, M. Gromov's systolic inequality bounds the length of the shortest non-contractible loop on a Riemannian manifold in terms of the volume of the manifold. Gromov's systolic inequality was proved in 1983;see it can be viewed as a generalisation, albeit non-optimal, of Loewner's torus inequality and Pu's inequality for the real projective plane. Technically, let ''M'' be an essential Riemannian manifold of dimension ''n''; denote by sys''π''1(''M'') the homotopy 1-systole of ''M'', that is, the least length of a non-contractible loop on ''M''. Then Gromov's inequality takes the form : \left(\operatorname_1(M)\right)^n \leq C_n \operatorname(M), where ''C''''n'' is a universal constant only depending on the dimension of ''M''. Essential manifolds A closed manifold is called ''essential'' if its fundamental class defines a nonzero element in the homology of its fundamental group, or more precisely in the homology of the corre ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
.jpg "Click for more on -> Pacific J")