|
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 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 to fill ... [...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 st ... [...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 a slower-paced 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 surfa ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Orientability
In mathematics, orientability is a property of some topological spaces such as real vector spaces, Euclidean spaces, surfaces, and more generally manifolds that allows a consistent definition of "clockwise" and "counterclockwise". A space is orientable if such a consistent definition exists. In this case, there are two possible definitions, and a choice between them is an orientation of the space. Real vector spaces, Euclidean spaces, and spheres are orientable. A space is non-orientable if "clockwise" is changed into "counterclockwise" after running through some loops in it, and coming back to the starting point. This means that a geometric shape, such as , that moves continuously along such a loop is changed into its own mirror image . A Möbius strip is an example of a non-orientable space. Various equivalent formulations of orientability can be given, depending on the desired application and level of generality. Formulations applicable to general topological manifolds of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Genus (mathematics)
In mathematics, genus (plural genera) has a few different, but closely related, meanings. Intuitively, the genus is the number of "holes" of a surface. A sphere has genus 0, while a torus has genus 1. Topology Orientable surfaces The genus of a connected, orientable surface is an integer representing the maximum number of cuttings along non-intersecting closed simple curves without rendering the resultant manifold disconnected. It is equal to the number of handles on it. Alternatively, it can be defined in terms of the Euler characteristic ''χ'', via the relationship ''χ'' = 2 − 2''g'' for closed surfaces, where ''g'' is the genus. For surfaces with ''b'' boundary components, the equation reads ''χ'' = 2 − 2''g'' − ''b''. In layman's terms, it's the number of "holes" an object has ("holes" interpreted in the sense of doughnut holes; a hollow sphere would be considered as having zero holes in this sense). A torus has 1 su ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Chain (algebraic Topology)
In algebraic topology, a -chain is a formal linear combination of the -cells in a cell complex. In simplicial complexes (respectively, cubical complexes), -chains are combinations of -simplices (respectively, -cubes), but not necessarily connected. Chains are used in homology; the elements of a homology group are equivalence classes of chains. Definition For a simplicial complex X, the group C_n(X) of n-chains of X is given by: C_n(X) = \left\ where \sigma_i are singular n-simplices of X. Note that any element in C_n(X) not necessary to be a connected simplicial complex. Integration on chains Integration is defined on chains by taking the linear combination of integrals over the simplices in the chain with coefficients (which are typically integers). The set of all ''k''-chains forms a group and the sequence of these groups is called a chain complex. Boundary operator on chains The boundary of a chain is the linear combination of boundaries of the simplices in the chain. ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hausdorff Measure
In mathematics, Hausdorff measure is a generalization of the traditional notions of area and volume to non-integer dimensions, specifically fractals and their Hausdorff dimensions. It is a type of outer measure, named for Felix Hausdorff, that assigns a number in ,∞to each set in \R^n or, more generally, in any metric space. The zero-dimensional Hausdorff measure is the number of points in the set (if the set is finite) or ∞ if the set is infinite. Likewise, the one-dimensional Hausdorff measure of a simple curve in \R^n is equal to the length of the curve, and the two-dimensional Hausdorff measure of a Lebesgue-measurable subset of \R^2 is proportional to the area of the set. Thus, the concept of the Hausdorff measure generalizes the Lebesgue measure and its notions of counting, length, and area. It also generalizes volume. In fact, there are ''d''-dimensional Hausdorff measures for any ''d'' ≥ 0, which is not necessarily an integer. These measures are fundame ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Stokes' Theorem
Stokes's theorem, also known as the Kelvin–Stokes theorem Nagayoshi Iwahori, et al.:"Bi-Bun-Seki-Bun-Gaku" Sho-Ka-Bou(jp) 1983/12Written in Japanese)Atsuo Fujimoto;"Vector-Kai-Seki Gendai su-gaku rekucha zu. C(1)" :ja:培風館, Bai-Fu-Kan(jp)(1979/01) [] (Written in Japanese) after Lord Kelvin and Sir George Stokes, 1st Baronet, George Stokes, the fundamental theorem for curls or simply the curl theorem, is a theorem in vector calculus on . Given a vector field, the theorem relates the integral of the curl of the vector field over some surface, to the line integral of the vector field around the boundary of the surface. The classical Stokes' theorem can be stated in one sentence: The line integral of a vector field over a loop is equal to the '' flux of its curl'' through the enclosed surface. Stokes' theorem is a special case of the generalized Stokes' theorem. In particular, a vector field on can be considered as a 1-form in which case its curl is its exterior deriv ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Almost Every
In measure theory (a branch of mathematical analysis), a property holds almost everywhere if, in a technical sense, the set for which the property holds takes up nearly all possibilities. The notion of "almost everywhere" is a companion notion to the concept of measure zero, and is analogous to the notion of ''almost surely'' in probability theory. More specifically, a property holds almost everywhere if it holds for all elements in a set except a subset of measure zero, or equivalently, if the set of elements for which the property holds is conull. In cases where the measure is not complete, it is sufficient that the set be contained within a set of measure zero. When discussing sets of real numbers, the Lebesgue measure is usually assumed unless otherwise stated. The term ''almost everywhere'' is abbreviated ''a.e.''; in older literature ''p.p.'' is used, to stand for the equivalent French language phrase ''presque partout''. A set with full measure is one whose complemen ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Rademacher's Theorem
In mathematical analysis, Rademacher's theorem, named after Hans Rademacher, states the following: If is an open subset of and is Lipschitz continuous, then is differentiable almost everywhere in ; that is, the points in at which is ''not'' differentiable form a set of Lebesgue measure zero. Differentiability here refers to infinitesimal approximability by a linear map, which in particular asserts the existence of the coordinate-wise partial derivatives. Sketch of proof The one-dimensional case of Rademacher's theorem is a standard result in introductory texts on measure-theoretic analysis. In this context, it is natural to prove the more general statement that any single-variable function of bounded variation is differentiable almost everywhere. (This one-dimensional generalization of Rademacher's theorem fails to extend to higher dimensions.) One of the standard proofs of the general Rademacher theorem was found by Charles Morrey. In the following, let denote a Lipschitz ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Dual Norm
In functional analysis, the dual norm is a measure of size for a continuous linear function defined on a normed vector space. Definition Let X be a normed vector space with norm \, \cdot\, and let X^* denote its continuous dual space. The dual norm of a continuous linear functional f belonging to X^* is the non-negative real number defined by any of the following equivalent formulas: \begin \, f \, &= \sup &&\ \\ &= \sup &&\ \\ &= \inf &&\ \\ &= \sup &&\ \\ &= \sup &&\ \;\;\;\text X \neq \ \\ &= \sup &&\bigg\ \;\;\;\text X \neq \ \\ \end where \sup and \inf denote the supremum and infimum, respectively. The constant 0 map is the origin of the vector space X^* and it always has norm \, 0\, = 0. If X = \ then the only linear functional on X is the constant 0 map and moreover, the sets in the last two rows will both be empty and consequently, their supremums will equal \sup \varnothing = - \infty instead of the correct value of 0. The ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Holmes–Thompson Volume
In geometry of normed spaces, the Holmes–Thompson volume is a notion of volume that allows to compare sets contained in different normed spaces (of the same dimension). It was introduced by Raymond D. Holmes and Anthony Charles Thompson. Definition The Holmes–Thompson volume \operatorname_\text(A) of a measurable set A\subseteq R^n in a normed space (\mathbb^n,\, -\, ) is defined as the 2''n''-dimensional measure of the product set A\times B^*, where B^* \subseteq \mathbb^n is the dual unit ball of \, -\, (the unit ball of the dual norm \, -\, ^* ). Symplectic (coordinate-free) definition The Holmes–Thompson volume can be defined without coordinates: if A\subseteq V is a measurable set in an ''n''-dimensional real normed space (V,\, -\, ), then its Holmes–Thompson volume is defined as the absolute value of the integral of the volume form \frac 1\overbrace^n over the set A\times B^* , :\operatorname_(A)=\left, \int_\frac1\omega^n\ where \omega is the s ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Pythagorean Equation
In mathematics, the Pythagorean theorem or Pythagoras' theorem is a fundamental relation in Euclidean geometry between the three sides of a right triangle. It states that the area of the square whose side is the hypotenuse (the side opposite the right angle) is equal to the sum of the areas of the squares on the other two sides. This theorem can be written as an equation relating the lengths of the sides ''a'', ''b'' and the hypotenuse ''c'', often called the Pythagorean equation: :a^2 + b^2 = c^2 , The theorem is named for the Greek philosopher Pythagoras, born around 570 BC. The theorem has been proven numerous times by many different methods – possibly the most for any mathematical theorem. The proofs are diverse, including both geometric proofs and algebraic proofs, with some dating back thousands of years. When Euclidean space is represented by a Cartesian coordinate system in analytic geometry, Euclidean distance satisfies the Pythagorean relation: the squared dis ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
