|
Santaló's Formula
In differential geometry, Santaló's formula describes how to integrate a function on the unit sphere bundle of a Riemannian manifold by first integrating along every geodesic separately and then over the space of all geodesics. It is a standard tool in integral geometry and has applications in isoperimetric and rigidity results. The formula is named after Luis Santaló, who first proved the result in 1952. Formulation Let (M,\partial M,g) be a compact, oriented Riemannian manifold with boundary. Then for a function f: SM \rightarrow \mathbb , Santaló's formula takes the form : \int_ f(x,v) \, d\mu(x,v) = \int_ \left \int_0^ f(\varphi_t(x,v)) \, dt \right\langle v, \nu(x) \rangle \, d \sigma(x,v), where * (\varphi_t)_t is the geodesic flow and \tau(x,v) = \sup\ is the exit time of the geodesic with initial conditions (x,v)\in SM , * \mu and \sigma are the Riemannian volume forms with respect to the Sasaki metric on SM and \partial S M respectively ( \mu is als ... [...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] |
Sphere Bundle
In the mathematical field of topology, a sphere bundle is a fiber bundle in which the fibers are spheres S^n of some dimension ''n''. Similarly, in a disk bundle, the fibers are disks D^n. From a topological perspective, there is no difference between sphere bundles and disk bundles: this is a consequence of the Alexander trick, which implies \operatorname(D^) \simeq \operatorname(S^n). An example of a sphere bundle is the torus, which is orientable and has S^1 fibers over an S^1 base space. The non-orientable Klein bottle also has S^1 fibers over an S^1 base space, but has a twist that produces a reversal of orientation as one follows the loop around the base space. A circle bundle is a special case of a sphere bundle. Orientation of a sphere bundle A sphere bundle that is a product space is orientable, as is any sphere bundle over a simply connected space. If ''E'' be a real vector bundle on a space ''X'' and if ''E'' is given an orientation, then a sphere bundle formed from ... [...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] |
Geodesic
In geometry, a geodesic () is a curve representing in some sense the shortest path ( arc) between two points in a surface, or more generally in a Riemannian manifold. The term also has meaning in any differentiable manifold with a connection. It is a generalization of the notion of a "straight line". The noun '' geodesic'' and the adjective ''geodetic'' come from ''geodesy'', the science of measuring the size and shape of Earth, though many of the underlying principles can be applied to any ellipsoidal geometry. In the original sense, a geodesic was the shortest route between two points on the Earth's surface. For a spherical Earth, it is a segment of a great circle (see also great-circle distance). The term has since been generalized to more abstract mathematical spaces; for example, in graph theory, one might consider a geodesic between two vertices/nodes of a graph. In a Riemannian manifold or submanifold, geodesics are characterised by the property of having vanishin ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Integral Geometry
In mathematics, integral geometry is the theory of measures on a geometrical space invariant under the symmetry group of that space. In more recent times, the meaning has been broadened to include a view of invariant (or equivariant) transformations from the space of functions on one geometrical space to the space of functions on another geometrical space. Such transformations often take the form of integral transforms such as the Radon transform and its generalizations. Classical context Integral geometry as such first emerged as an attempt to refine certain statements of geometric probability theory. The early work of Luis Santaló and Wilhelm Blaschke was in this connection. It follows from the classic theorem of Crofton expressing the length of a plane curve as an expectation of the number of intersections with a random line. Here the word 'random' must be interpreted as subject to correct symmetry considerations. There is a sample space of lines, one on which the affin ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Luis Santaló
Luís Antoni Santaló Sors (October 9, 1911 – November 22, 2001) was a Spanish mathematician. He graduated from the University of Madrid and he studied at the University of Hamburg, where he received his Ph.D. in 1936. His advisor was Wilhelm Blaschke. Because of the Spanish Civil War, he moved to Argentina as a professor in the National University of the Littoral, National University of La Plata and University of Buenos Aires. His work with Blaschke on convex sets is now cited in its connection with Mahler volume. Blaschke and Santaló also collaborated on integral geometry. Santaló wrote textbooks in Spanish on non-Euclidean geometry, projective geometry, and tensors. Works Luis Santaló published in both English and Spanish: ''Introduction to Integral Geometry'' (1953) Chapter I. Metric integral geometry of the plane including densities and the isoperimetric inequality. Ch. II. Integral geometry on surfaces including Blaschke's formula and the isoperimetric inequalit ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Geodesic Flow
In geometry, a geodesic () is a curve representing in some sense the shortest path ( arc) between two points in a surface, or more generally in a Riemannian manifold. The term also has meaning in any differentiable manifold with a connection. It is a generalization of the notion of a "straight line". The noun '' geodesic'' and the adjective ''geodetic'' come from '' geodesy'', the science of measuring the size and shape of Earth, though many of the underlying principles can be applied to any ellipsoidal geometry. In the original sense, a geodesic was the shortest route between two points on the Earth's surface. For a spherical Earth, it is a segment of a great circle (see also great-circle distance). The term has since been generalized to more abstract mathematical spaces; for example, in graph theory, one might consider a geodesic between two vertices/nodes of a graph. In a Riemannian manifold or submanifold, geodesics are characterised by the property of having vani ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Riemannian Volume Form
In mathematics, a volume form or top-dimensional form is a differential form of degree equal to the differentiable manifold dimension. Thus on a manifold M of dimension n, a volume form is an n-form. It is an element of the space of sections of the line bundle \textstyle^n(T^*M), denoted as \Omega^n(M). A manifold admits a nowhere-vanishing volume form if and only if it is orientable. An orientable manifold has infinitely many volume forms, since multiplying a volume form by a function yields another volume form. On non-orientable manifolds, one may instead define the weaker notion of a density. A volume form provides a means to define the integral of a function on a differentiable manifold. In other words, a volume form gives rise to a measure with respect to which functions can be integrated by the appropriate Lebesgue integral. The absolute value of a volume form is a volume element, which is also known variously as a ''twisted volume form'' or ''pseudo-volume form''. It als ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Sasaki Metric
The Sasaki metric is a natural choice of Riemannian metric on the tangent bundle of a Riemannian manifold. Introduced by Shigeo Sasaki in 1958. Construction Let (M,g) be a 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 ..., denote by \tau\colon\mathrm M\to M the tangent bundle over M. The Sasaki metric \hat g on \mathrm M is uniquely defined by the following properties: *The map \tau\colon\mathrm M\to M is a Riemannian submersion. *The metric on each tangent space \mathrm_p\subset \mathrm M is the Euclidean metric induced by g. *Assume \gamma(t) is a curve in M and v(t)\in\mathrm_ is a parallel vector field along \gamma. Note that v(t) forms a curve in \mathrm M. For the Sasaki metric, we have v'(t)\perp \mathrm_for any t; that is, the curve v(t) normally cros ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Liouville Measure
In differential geometry, a subject of mathematics, a symplectic manifold is a smooth manifold, M , equipped with a closed nondegenerate differential 2-form \omega , called the symplectic form. The study of symplectic manifolds is called symplectic geometry or symplectic topology. Symplectic manifolds arise naturally in abstract formulations of classical mechanics and analytical mechanics as the cotangent bundles of manifolds. For example, in the Hamiltonian formulation of classical mechanics, which provides one of the major motivations for the field, the set of all possible configurations of a system is modeled as a manifold, and this manifold's cotangent bundle describes the phase space of the system. Motivation Symplectic manifolds arise from classical mechanics; in particular, they are a generalization of the phase space of a closed system. In the same way the Hamilton equations allow one to derive the time evolution of a system from a set of differential equations, t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Unit Normal
In geometry, a normal is an object such as a line, ray, or vector that is perpendicular to a given object. For example, the normal line to a plane curve at a given point is the (infinite) line perpendicular to the tangent line to the curve at the point. A normal vector may have length one (a unit vector) or its length may represent the curvature of the object (a ''curvature vector''); its algebraic sign may indicate sides (interior or exterior). In three dimensions, a surface normal, or simply normal, to a surface at point P is a vector perpendicular to the tangent plane of the surface at P. The word "normal" is also used as an adjective: a line ''normal'' to a plane, the ''normal'' component of a force, the normal vector, etc. The concept of normality generalizes to orthogonality (right angles). The concept has been generalized to differentiable manifolds of arbitrary dimension embedded in a Euclidean space. The normal vector space or normal space of a manifold at point P is ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Second Fundamental Form
In differential geometry, the second fundamental form (or shape tensor) is a quadratic form on the tangent plane of a smooth surface in the three-dimensional Euclidean space, usually denoted by \mathrm (read "two"). Together with the first fundamental form, it serves to define extrinsic invariants of the surface, its principal curvatures. More generally, such a quadratic form is defined for a smooth immersed submanifold in a Riemannian manifold. Surface in R3 Motivation The second fundamental form of a parametric surface in was introduced and studied by Gauss. First suppose that the surface is the graph of a twice continuously differentiable function, , and that the plane is tangent to the surface at the origin. Then and its partial derivatives with respect to and vanish at (0,0). Therefore, the Taylor expansion of ''f'' at (0,0) starts with quadratic terms: : z=L\frac + Mxy + N\frac + \text\,, and the second fundamental form at the origin in the coordinates is the qu ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
