|
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 cor ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematics
Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many areas of mathematics, which include number theory (the study of numbers), algebra (the study of formulas and related structures), geometry (the study of shapes and spaces that contain them), Mathematical analysis, analysis (the study of continuous changes), and set theory (presently used as a foundation for all mathematics). Mathematics involves the description and manipulation of mathematical object, abstract objects that consist of either abstraction (mathematics), abstractions from nature orin modern mathematicspurely abstract entities that are stipulated to have certain properties, called axioms. Mathematics uses pure reason to proof (mathematics), prove properties of objects, a ''proof'' consisting of a succession of applications of in ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Coarea Formula
In the mathematical field of geometric measure theory, the coarea formula expresses the integral of a function over an open set in Euclidean space in terms of integrals over the level sets of another function. A special case is Fubini's theorem, which says under suitable hypotheses that the integral of a function over the region enclosed by a rectangular box can be written as the iterated integral over the level sets of the coordinate functions. Another special case is integration in spherical coordinates, in which the integral of a function on R''n'' is related to the integral of the function over spherical shells: level sets of the radial function. The formula plays a decisive role in the modern study of isoperimetric problems. For smooth functions the formula is a result in multivariate calculus which follows from a change of variables. More general forms of the formula for Lipschitz functions were first established by Herbert Federer , and for ' functions by . A precis ... [...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 became the first president while Fiske became secretary. The society soon decided to publish a journal, but ran into some resistance over 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 influentia ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Annals Of Mathematics
The ''Annals of Mathematics'' is a mathematical journal published every two months by Princeton University and the Institute for Advanced Study. History The journal was established as ''The Analyst'' in 1874 and with Joel E. Hendricks as the founding editor-in-chief. It was "intended to afford a medium for the presentation and analysis of any and all questions of interest or importance in pure and applied Mathematics, embracing especially all new and interesting discoveries in theoretical and practical astronomy, mechanical philosophy, and engineering". It was published in Des Moines, Iowa, and was the earliest American mathematics journal to be published continuously for more than a year or two. This incarnation of the journal ceased publication after its tenth year, in 1883, giving as an explanation Hendricks' declining health, but Hendricks made arrangements to have it taken over by new management, and it was continued from March 1884 as the ''Annals of Mathematics''. T ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Commentarii Mathematici Helvetici
The ''Commentarii Mathematici Helvetici'' is a quarterly peer-reviewed scientific journal in mathematics. The Swiss Mathematical Society (SMG) started the journal in 1929 after a meeting in May of the previous year. The Swiss Mathematical Society still owns and operates the journal; the publishing is currently handled on its behalf by the European Mathematical Society. The scope of the journal includes research articles in all aspects in mathematics. The editors-in-chief have been Rudolf Fueter (1929–1949), J.J. Burckhardt (1950–1981), P. Gabriel (1982–1989), H. Kraft (1990–2005), and Eva Bayer-Fluckiger (2006–present). Abstracting and indexing The journal is abstracted and indexed in: According to the ''Journal Citation Reports'', the journal has a 2019 impact factor of 0.854. History The idea for a society-owned research journal emerged in June 1926, when the SMG petitioned the Swiss Confederation for a CHF 3,500 subsidy "to establish its own scientific jour ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Systolic Geometry
In mathematics, systolic geometry is the study of systolic invariants of manifolds and polyhedra, as initially conceived by Charles Loewner and developed by Mikhail Gromov, Michael Freedman, Peter Sarnak, Mikhail Katz, Larry Guth, and others, in its arithmetical, ergodic, and topological manifestations. See also Introduction to systolic geometry. The notion of systole The ''systole'' of a compact metric space ''X'' is a metric invariant of ''X'', defined to be the least length of a noncontractible loop in ''X'' (i.e. a loop that cannot be contracted to a point in the ambient space ''X''). In more technical language, we minimize length over free loops representing nontrivial conjugacy classes in the fundamental group of ''X''. When ''X'' is a graph, the invariant is usually referred to as the girth, ever since the 1947 article on girth by W. T. Tutte. Possibly inspired by Tutte's article, Loewner started thinking about systolic questions on surfaces in the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Gromov's Inequality (other)
The following pages deal with inequalities due to Mikhail Gromov: * Bishop–Gromov inequality * Gromov's inequality for complex projective space * 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 ... * Lévy–Gromov inequality {{disambiguation ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Filling Area Conjecture
In differential geometry, Mikhail Gromov's filling area conjecture asserts that the hemisphere has minimum area among the orientable surfaces that fill a closed curve of given length without introducing shortcuts between its points. Definitions and statement of the conjecture Every smooth surface or curve in Euclidean space is a metric space, in which the (intrinsic) distance between two points of is defined as the infimum of the lengths of the curves that go from to ''along'' . For example, on a closed curve C of length , for each point of the curve there is a unique other point of the curve (called the antipodal of ) at distance from . A compact surface fills a closed curve if its border (also called boundary, denoted ) is the curve . The filling is said to be isometric if for any two points of the boundary curve , the distance between them along is the same (not less) than the distance along the boundary. In other words, to fill a curve isometrically is t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Grushko Theorem
In the mathematical subject of group theory, the Grushko theorem or the Grushko–Neumann theorem is a theorem stating that the rank (that is, the smallest cardinality of a generating set) of a free product of two groups is equal to the sum of the ranks of the two free factors. The theorem was first obtained in a 1940 article of Grushko and then, independently, in a 1943 article of Neumann. Statement of the theorem Let ''A'' and ''B'' be finitely generated groups and let ''A''∗''B'' be the free product of ''A'' and ''B''. Then :rank(''A''∗''B'') = rank(''A'') + rank(''B''). It is obvious that rank(''A''∗''B'') ≤ rank(''A'') + rank(''B'') since if X is a finite generating set of ''A'' and ''Y'' is a finite generating set of ''B'' then ''X''∪''Y'' is a generating set for ''A''∗''B'' and that , ''X'' ∪ ''Y'', ≤ , ''X'', + , ''Y'', . The opposite inequality, rank(''A''∗''B'') ≥ rank(''A'') + rank(''B''), requires proof. Grushko, but not Neumann, proved a mor ... [...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 bo ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Filling Radius
In Riemannian geometry, the filling radius of a Riemannian manifold ''X'' is a metric invariant of ''X''. It was originally introduced in 1983 by Mikhail Gromov (mathematician), Mikhail Gromov, who used it to prove his Gromov's systolic inequality for essential manifolds, systolic inequality for essential manifolds, vastly generalizing Loewner's torus inequality and Pu's inequality, Pu's inequality for the real projective plane, and creating systolic geometry in its modern form. The filling radius of a simple loop ''C'' in the plane is defined as the largest radius, ''R'' > 0, of a circle that fits inside ''C'': :\mathrm(C\subset \mathbb^2) = R. Dual definition via neighborhoods There is a kind of a dual point of view that allows one to generalize this notion in an extremely fruitful way, as shown by Gromov. Namely, we consider the \varepsilon-neighborhoods of the loop ''C'', denoted :U_\varepsilon C \subset \mathbb^2. As \varepsilon>0 increases, the \varepsilon ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
