Cohn-Vossen's Inequality
   HOME
*





Cohn-Vossen's Inequality
In differential geometry, Cohn-Vossen's inequality, named after Stefan Cohn-Vossen, relates the integral of Gaussian curvature of a non-compact surface (differential geometry), surface to the Euler characteristic. It is akin to the Gauss–Bonnet theorem for a compact space, compact surface. A divergent path within a Riemannian manifold is a smooth curve in the manifold that is not contained within any compact space, compact subset of the manifold. A complete manifold is one in which every divergent path has infinite arc length, length with respect to the Riemannian metric on the manifold. Cohn-Vossen's inequality states that in every complete Riemannian 2-manifold ''S'' with finite total curvature and finite Euler characteristic, we haveRobert Osserman, ''A Survey of Minimal Surfaces'', Courier Dover Publications, 2002, page 86. : \iint_S K \, dA \le 2\pi\chi(S), where ''K'' is the Gaussian curvature, ''dA'' is the element of area, and ''χ'' is the Euler characteristic. ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

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]  


Stefan Cohn-Vossen
Stefan Cohn-Vossen (28 May 1902 – 25 June 1936) was a mathematician, who was responsible for Cohn-Vossen's inequality and the Cohn-Vossen transformation is also named for him. He proved the first version of the splitting theorem. He was also known for his collaboration with David Hilbert on the 1932 book ''Anschauliche Geometrie'', translated into English language, English as ''Geometry and the Imagination''. He was born in Breslau (then a city in the Kingdom of Prussia; now Wrocław in Poland). He wrote a 1924 doctoral dissertation at the University of Breslau (now the University of Wrocław) under the supervision of Adolf Kneser. He became a professor at the University of Cologne in 1930. He was barred from lecturing in 1933 under Law for the Restoration of the Professional Civil Service, Nazi racial legislation, because he was Jewish.. In 1934 he emigrated to the USSR, with some help from Herman Müntz. While there, he taught at Leningrad University. He died in Moscow fro ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Gaussian Curvature
In differential geometry, the Gaussian curvature or Gauss curvature of a surface at a point is the product of the principal curvatures, and , at the given point: K = \kappa_1 \kappa_2. The Gaussian radius of curvature is the reciprocal of . For example, a sphere of radius has Gaussian curvature everywhere, and a flat plane and a cylinder have Gaussian curvature zero everywhere. The Gaussian curvature can also be negative, as in the case of a hyperboloid or the inside of a torus. Gaussian curvature is an ''intrinsic'' measure of curvature, depending only on distances that are measured “within” or along the surface, not on the way it is isometrically embedding, embedded in Euclidean space. This is the content of the ''Theorema egregium''. Gaussian curvature is named after Carl Friedrich Gauss, who published the ''Theorema egregium'' in 1827. Informal definition At any point on a surface, we can find a Normal (geometry), normal vector that is at right angles to the sur ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Surface (differential Geometry)
In mathematics, the differential geometry of surfaces deals with the differential geometry of smooth surfaces with various additional structures, most often, a Riemannian metric. Surfaces have been extensively studied from various perspectives: ''extrinsically'', relating to their embedding in Euclidean space and ''intrinsically'', reflecting their properties determined solely by the distance within the surface as measured along curves on the surface. One of the fundamental concepts investigated is the Gaussian curvature, first studied in depth by Carl Friedrich Gauss, who showed that curvature was an intrinsic property of a surface, independent of its isometric embedding in Euclidean space. Surfaces naturally arise as graphs of functions of a pair of variables, and sometimes appear in parametric form or as loci associated to space curves. An important role in their study has been played by Lie groups (in the spirit of the Erlangen program), namely the symmetry groups of the ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

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]  


picture info

Gauss–Bonnet Theorem
In the mathematical field of differential geometry, the Gauss–Bonnet theorem (or Gauss–Bonnet formula) is a fundamental formula which links the curvature of a surface to its underlying topology. In the simplest application, the case of a triangle on a plane, the sum of its angles is 180 degrees. The Gauss–Bonnet theorem extends this to more complicated shapes and curved surfaces, connecting the local and global geometries. The theorem is named after Carl Friedrich Gauss, who developed a version but never published it, and Pierre Ossian Bonnet, who published a special case in 1848. Statement Suppose is a compact two-dimensional Riemannian manifold with boundary . Let be the Gaussian curvature of , and let be the geodesic curvature of . Then :\int_M K\,dA+\int_k_g\,ds=2\pi\chi(M), \, where is the element of area of the surface, and is the line element along the boundary of . Here, is the Euler characteristic of . If the boundary is piecewise smooth, then ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Compact Space
In mathematics, specifically general topology, compactness is a property that seeks to generalize the notion of a closed and bounded subset of Euclidean space by making precise the idea of a space having no "punctures" or "missing endpoints", i.e. that the space not exclude any ''limiting values'' of points. For example, the open interval (0,1) would not be compact because it excludes the limiting values of 0 and 1, whereas the closed interval ,1would be compact. Similarly, the space of rational numbers \mathbb is not compact, because it has infinitely many "punctures" corresponding to the irrational numbers, and the space of real numbers \mathbb is not compact either, because it excludes the two limiting values +\infty and -\infty. However, the ''extended'' real number line ''would'' be compact, since it contains both infinities. There are many ways to make this heuristic notion precise. These ways usually agree in a metric space, but may not be equivalent in other topologic ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Riemannian Manifold
In differential geometry, a Riemannian manifold or Riemannian space , so called after the German mathematician Bernhard Riemann, is a real manifold, real, smooth manifold ''M'' equipped with a positive-definite Inner product space, inner product ''g''''p'' on the tangent space ''T''''p''''M'' at each point ''p''. The family ''g''''p'' of inner products is called a metric tensor, Riemannian metric (or Riemannian metric tensor). Riemannian geometry is the study of Riemannian manifolds. A common convention is to take ''g'' to be Smoothness, smooth, which means that for any smooth coordinate chart on ''M'', the ''n''2 functions :g\left(\frac,\frac\right):U\to\mathbb are smooth functions. These functions are commonly designated as g_. With further restrictions on the g_, one could also consider Lipschitz continuity, Lipschitz Riemannian metrics or Measurable function, measurable Riemannian metrics, among many other possibilities. A Riemannian metric (tensor) makes it possible to ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Arc Length
ARC may refer to: Business * Aircraft Radio Corporation, a major avionics manufacturer from the 1920s to the '50s * Airlines Reporting Corporation, an airline-owned company that provides ticket distribution, reporting, and settlement services * Airport Regions Conference, a European organization of major airports * Amalgamated Roadstone Corporation, a British stone quarrying company * American Record Company (1904–1908, re-activated 1979), one of two United States record labels by this name * American Record Corporation (1929–1938), a United States record label also known as American Record Company * ARC (American Recording Company) (1978-present), a vanity label for Earth, Wind & Fire * ARC Document Solutions, a company based in California, formerly American Reprographics Company * Amey Roadstone Construction, a former British construction company * Aqaba Railway Corporation, a freight railway in Jordan * ARC/Architectural Resources Cambridge, Inc., Cambridge, Massachusett ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Total Curvature
In mathematical study of the differential geometry of curves, the total curvature of an immersed plane curve is the integral of curvature along a curve taken with respect to arc length: :\int_a^b k(s)\,ds. The total curvature of a closed curve is always an integer multiple of 2, called the index of the curve, or turning number – it is the winding number of the unit tangent vector about the origin, or equivalently the degree of the map to the unit circle assigning to each point of the curve, the unit velocity vector at that point. This map is similar to the Gauss map for surfaces. Comparison to surfaces This relationship between a local geometric invariant, the curvature, and a global topological invariant, the index, is characteristic of results in higher-dimensional Riemannian geometry such as the Gauss–Bonnet theorem. Invariance According to the Whitney–Graustein theorem, the total curvature is invariant under a regular homotopy of a curve: it is the degree of the Gau ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  




Geodesic Curvature
In Riemannian geometry, the geodesic curvature k_g of a curve \gamma measures how far the curve is from being a geodesic. For example, for 1D curves on a 2D surface embedded in 3D space, it is the curvature of the curve projected onto the surface's tangent plane. More generally, in a given manifold \bar, the geodesic curvature is just the usual curvature of \gamma (see below). However, when the curve \gamma is restricted to lie on a submanifold M of \bar (e.g. for curves on surfaces), geodesic curvature refers to the curvature of \gamma in M and it is different in general from the curvature of \gamma in the ambient manifold \bar. The (ambient) curvature k of \gamma depends on two factors: the curvature of the submanifold M in the direction of \gamma (the normal curvature k_n), which depends only on the direction of the curve, and the curvature of \gamma seen in M (the geodesic curvature k_g), which is a second order quantity. The relation between these is k = \sqrt. In particular g ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Compositio Mathematica
''Compositio Mathematica'' is a monthly peer-reviewed mathematics journal established by L.E.J. Brouwer in 1935. It is owned by the Foundation Compositio Mathematica, and since 2004 it has been published on behalf of the Foundation by the London Mathematical Society in partnership with Cambridge University Press. According to the ''Journal Citation Reports'', the journal has a 2020 2-year impact factor of 1.456 and a 2020 5-year impact factor of 1.696. The editors-in-chief are Jochen Heinloth, Bruno Klingler, Lenny Taelman, and Éric Vasserot. Early history The journal was established by L. E. J. Brouwer in response to his dismissal from ''Mathematische Annalen'' in 1928. An announcement of the new journal was made in a 1934 issue of the ''American Mathematical Monthly''. In 1940 the publication of the journal was suspended due to the German occupation of the Netherlands Despite Dutch neutrality, Nazi Germany invaded the Netherlands on 10 May 1940 as part of Fall Gelb (Case ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]