|
Clifton–Pohl Torus
In geometry, the Clifton–Pohl torus is an example of a compact Lorentzian manifold that is not geodesically complete. While every compact Riemannian manifold is also geodesically complete (by the Hopf–Rinow theorem), this space shows that the same implication does not generalize to pseudo-Riemannian manifolds.. It is named after Yeaton H. Clifton and William F. Pohl, who described it in 1962 but did not publish their result.. Definition Consider the manifold \mathrm = \mathbb^2 \setminus \ with the metric :g= \frac Any homothety is an isometry of M, in particular including the map: :\lambda(x,y)=2\cdot(x, y) Let \Gamma be the subgroup of the isometry group generated by \lambda. Then \Gamma has a proper, discontinuous action on M. Hence the quotient T = M/\Gamma, which is topologically the torus, is a Lorentz surface that is called the Clifton–Pohl torus. Sometimes, by extension, a surface is called a Clifton–Pohl torus if it is a finite covering of the quotient of M by a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Geometry
Geometry (; ) is, with arithmetic, one of the oldest branches of mathematics. It is concerned with properties of space such as the distance, shape, size, and relative position of figures. A mathematician who works in the field of geometry is called a ''geometer''. Until the 19th century, geometry was almost exclusively devoted to Euclidean geometry, which includes the notions of point, line, plane, distance, angle, surface, and curve, as fundamental concepts. During the 19th century several discoveries enlarged dramatically the scope of geometry. One of the oldest such discoveries is Carl Friedrich Gauss' ("remarkable theorem") that asserts roughly that the Gaussian curvature of a surface is independent from any specific embedding in a Euclidean space. This implies that surfaces can be studied ''intrinsically'', that is, as stand-alone spaces, and has been expanded into the theory of manifolds and Riemannian geometry. Later in the 19th century, it appeared that geometries ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
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] |
Lorentzian Manifold
In differential geometry, a pseudo-Riemannian manifold, also called a semi-Riemannian manifold, is a differentiable manifold with a metric tensor that is everywhere nondegenerate. This is a generalization of a Riemannian manifold in which the requirement of positive-definiteness is relaxed. Every tangent space of a pseudo-Riemannian manifold is a pseudo-Euclidean vector space. A special case used in general relativity is a four-dimensional Lorentzian manifold for modeling spacetime, where tangent vectors can be classified as timelike, null, and spacelike. Introduction Manifolds In differential geometry, a differentiable manifold is a space which is locally similar to a Euclidean space. In an ''n''-dimensional Euclidean space any point can be specified by ''n'' real numbers. These are called the coordinates of the point. An ''n''-dimensional differentiable manifold is a generalisation of ''n''-dimensional Euclidean space. In a manifold it may only be possible to defi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Geodesically Complete
In mathematics, a complete manifold (or geodesically complete manifold) is a (pseudo-) Riemannian manifold for which, starting at any point , you can follow a "straight" line indefinitely along any direction. More formally, the exponential map at point , is defined on , the entire tangent space at . Equivalently, consider a maximal geodesic \ell\colon I\to M. Here I is an open interval of \mathbb, and, because geodesics are parameterized with "constant speed", it is uniquely defined up to transversality. Because I is maximal, \ell maps the ends of I to points of , and the length of I measures the distance between those points. A manifold is geodesically complete if for any such geodesic \ell, we have that I=(-\infty,\infty). Examples and non-examples Euclidean space \mathbb^n, the spheres \mathbb^n, and the tori \mathbb^n (with their natural Riemannian metrics) are all complete manifolds. All compact Riemannian manifolds and all homogeneous manifolds are geodesically com ... [...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] |
Hopf–Rinow Theorem
Hopf–Rinow theorem is a set of statements about the geodesic completeness of Riemannian manifolds. It is named after Heinz Hopf and his student Willi Rinow, who published it in 1931. Stefan Cohn-Vossen extended part of the Hopf–Rinow theorem to the context of certain types of metric spaces. Statement Let (M, g) be a connected and smooth Riemannian manifold. Then the following statements are equivalent: # The closed and bounded subsets of M are compact; # M is a complete metric space; # M is geodesically complete; that is, for every p \in M, the exponential map exp''p'' is defined on the entire tangent space \operatorname_p M. Furthermore, any one of the above implies that given any two points p, q \in M, there exists a length minimizing geodesic connecting these two points (geodesics are in general critical points for the length functional, and may or may not be minima). In the Hopf–Rinow theorem, the first characterization of completeness deals purely with the topolog ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Academic Press
Academic Press (AP) is an academic book publisher founded in 1941. It was acquired by Harcourt, Brace & World in 1969. Reed Elsevier bought Harcourt in 2000, and Academic Press is now an imprint of Elsevier. Academic Press publishes reference books, serials and online products in the subject areas of: * Communications engineering * Economics * Environmental science * Finance * Food science and nutrition * Geophysics * Life sciences * Mathematics and statistics * Neuroscience * Physical sciences * Psychology Well-known products include the ''Methods in Enzymology'' series and encyclopedias such as ''The International Encyclopedia of Public Health'' and the ''Encyclopedia of Neuroscience''. See also * Akademische Verlagsgesellschaft (AVG) — the German predecessor, founded in 1906 by Leo Jolowicz (1868–1940), the father of Walter Jolowicz Walter may refer to: People * Walter (name), both a surname and a given name * Little Walter, American blues harmonica player Marion Wa ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
William Francis Pohl
William Francis Pohl (16 September 1937 – 9 December 1988) was an American mathematician, specializing in differential geometry and known for the Clifton–Pohl torus. Pohl received from the University of Chicago his B.A in 1957 and his M.A.1958. He completed his Ph.D. at Berkeley in 1961 under the direction of Shiing-Shen Chern with dissertation ''Differential Geometry of Higher Order''. His dissertation was published in 1962 in the journal ''Topology'' and has received over 120 citations in the mathematical literature. He was a member of the mathematics faculty at the University of Minnesota from September 1964 until his untimely death. Pohl engaged in a famous controversy arguing against Francis Crick Francis Harry Compton Crick (8 June 1916 – 28 July 2004) was an English molecular biologist, biophysicist, and neuroscientist. He, James Watson, Rosalind Franklin, and Maurice Wilkins played crucial roles in deciphering the helical struc ... but, in view of additiona ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Homothetic Transformation
In mathematics, a homothety (or homothecy, or homogeneous dilation) is a transformation of an affine space determined by a point ''S'' called its ''center'' and a nonzero number ''k'' called its ''ratio'', which sends point X to a point X' by the rule : \overrightarrow=k\overrightarrow for a fixed number k\ne 0. Using position vectors: :\mathbf x'=\mathbf s + k(\mathbf x -\mathbf s). In case of S=O (Origin): :\mathbf x'=k\mathbf x, which is a uniform scaling and shows the meaning of special choices for k: :for k=1 one gets the ''identity'' mapping, :for k=-1 one gets the ''reflection'' at the center, For 1/k one gets the ''inverse'' mapping defined by k. In Euclidean geometry homotheties are the similarities that fix a point and either preserve (if k>0) or reverse (if k<0) the direction of all vectors. Together with the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Isometry (Riemannian Geometry)
In mathematics, an isometry (or congruence, or congruent transformation) is a distance-preserving transformation between metric spaces, usually assumed to be bijective. The word isometry is derived from the Ancient Greek: ἴσος ''isos'' meaning "equal", and μέτρον ''metron'' meaning "measure". Introduction Given a metric space (loosely, a set and a scheme for assigning distances between elements of the set), an isometry is a transformation which maps elements to the same or another metric space such that the distance between the image elements in the new metric space is equal to the distance between the elements in the original metric space. In a two-dimensional or three-dimensional Euclidean space, two geometric figures are congruent if they are related by an isometry; the isometry that relates them is either a rigid motion (translation or rotation), or a composition of a rigid motion and a reflection. Isometries are often used in constructions where one space i ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Isometry Group
In mathematics, the isometry group of a metric space is the set of all bijective isometries (i.e. bijective, distance-preserving maps) from the metric space onto itself, with the function composition as group operation. Its identity element is the identity function. The elements of the isometry group are sometimes called motions of the space. Every isometry group of a metric space is a subgroup of isometries. It represents in most cases a possible set of symmetries of objects/figures in the space, or functions defined on the space. See symmetry group. A discrete isometry group is an isometry group such that for every point of the space the set of images of the point under the isometries is a discrete set. In pseudo-Euclidean space the metric is replaced with an isotropic quadratic form; transformations preserving this form are sometimes called "isometries", and the collection of them is then said to form an isometry group of the pseudo-Euclidean space. Examples * The isometry ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Group Action (mathematics)
In mathematics, a group action on a space is a group homomorphism of a given group into the group of transformations of the space. Similarly, a group action on a mathematical structure is a group homomorphism of a group into the automorphism group of the structure. It is said that the group ''acts'' on the space or structure. If a group acts on a structure, it will usually also act on objects built from that structure. For example, the group of Euclidean isometries acts on Euclidean space and also on the figures drawn in it. For example, it acts on the set of all triangles. Similarly, the group of symmetries of a polyhedron acts on the vertices, the edges, and the faces of the polyhedron. A group action on a vector space is called a representation of the group. In the case of a finite-dimensional vector space, it allows one to identify many groups with subgroups of , the group of the invertible matrices of dimension over a field . The symmetric group acts on any set wit ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
