Theorema EgregiumGauss's Theorema Egregium (Latin for "Remarkable Theorem") is a major result of differential geometry, proved by Carl Friedrich Gauss in 1827, that concerns the curvature of surfaces. The theorem says that Gaussian curvature can be determined entirely by measuring angles, distances and their rates on a surface, without reference to the particular manner in which the surface is embedded in the ambient 3-dimensional Euclidean space. In other words, the Gaussian curvature of a surface does not change if one bends the surface without stretching it.
Pullback bundleIn mathematics, a pullback bundle or induced bundle is the fiber bundle that is induced by a map of its base-space. Given a fiber bundle π : E → B and a continuous map f : B′ → B one can define a "pullback" of E by f as a bundle fE over B′. The fiber of fE over a point b′ in B′ is just the fiber of E over f(b′). Thus f*E is the disjoint union of all these fibers equipped with a suitable topology. Let π : E → B be a fiber bundle with abstract fiber F and let f : B′ → B be a continuous map.
Hermitian manifoldIn mathematics, and more specifically in differential geometry, a Hermitian manifold is the complex analogue of a Riemannian manifold. More precisely, a Hermitian manifold is a complex manifold with a smoothly varying Hermitian inner product on each (holomorphic) tangent space. One can also define a Hermitian manifold as a real manifold with a Riemannian metric that preserves a complex structure. A complex structure is essentially an almost complex structure with an integrability condition, and this condition yields a unitary structure (U(n) structure) on the manifold.
Gauss mapIn differential geometry, the Gauss map (named after Carl F. Gauss) maps a surface in Euclidean space R3 to the unit sphere S2. Namely, given a surface X lying in R3, the Gauss map is a continuous map N: X → S2 such that N(p) is a unit vector orthogonal to X at p, namely a normal vector to X at p. The Gauss map can be defined (globally) if and only if the surface is orientable, in which case its degree is half the Euler characteristic. The Gauss map can always be defined locally (i.e. on a small piece of the surface).
First fundamental formIn differential geometry, the first fundamental form is the inner product on the tangent space of a surface in three-dimensional Euclidean space which is induced canonically from the dot product of R3. It permits the calculation of curvature and metric properties of a surface such as length and area in a manner consistent with the ambient space. The first fundamental form is denoted by the Roman numeral I, Let X(u, v) be a parametric surface. Then the inner product of two tangent vectors is where E, F, and G are the coefficients of the first fundamental form.
One-form (differential geometry)In differential geometry, a one-form on a differentiable manifold is a smooth section of the cotangent bundle. Equivalently, a one-form on a manifold is a smooth mapping of the total space of the tangent bundle of to whose restriction to each fibre is a linear functional on the tangent space. Symbolically, where is linear. Often one-forms are described locally, particularly in local coordinates. In a local coordinate system, a one-form is a linear combination of the differentials of the coordinates: where the are smooth functions.
Systolic geometryIn 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 a slower-paced Introduction to systolic geometry. 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.
Jacques HadamardJacques Salomon Hadamard (adamaʁ; 8 December 1865 – 17 October 1963) was a French mathematician who made major contributions in number theory, complex analysis, differential geometry and partial differential equations. The son of a teacher, Amédée Hadamard, of Jewish descent, and Claire Marie Jeanne Picard, Hadamard was born in Versailles, France and attended the Lycée Charlemagne and Lycée Louis-le-Grand, where his father taught. In 1884 Hadamard entered the École Normale Supérieure, having placed first in the entrance examinations both there and at the École Polytechnique.
Charles EhresmannCharles Ehresmann (19 April 1905 – 22 September 1979) was a German-born French mathematician who worked in differential topology and . He was an early member of the Bourbaki group, and is known for his work on the differential geometry of smooth fiber bundles, notably the introduction of the concepts of Ehresmann connection and of jet bundles, and for his seminar on category theory. Ehresmann was born in Strasbourg (at the time part of the German Empire) to an Alsatian-speaking family; his father was a gardener.
Radius of curvatureIn differential geometry, the radius of curvature (Rc), R, is the reciprocal of the curvature. For a curve, it equals the radius of the circular arc which best approximates the curve at that point. For surfaces, the radius of curvature is the radius of a circle that best fits a normal section or combinations thereof. In the case of a space curve, the radius of curvature is the length of the curvature vector. In the case of a plane curve, then R is the absolute value of where s is the arc length from a fixed point on the curve, φ is the tangential angle and κ is the curvature.
