Flat Manifold
In mathematics, a Riemannian manifold is said to be flat if its Riemann curvature tensor is everywhere zero. Intuitively, a flat manifold is one that "locally looks like" Euclidean space in terms of distances and angles, e.g. the interior angles of a triangle add up to 180°. The universal cover of a complete flat manifold is Euclidean space. This can be used to prove the theorem of that all compact flat manifolds are finitely covered by tori; the 3-dimensional case was proved earlier by . Examples The following manifolds can be endowed with a flat metric. Note that this may not be their 'standard' metric (for example, the flat metric on the 2-dimensional torus is not the metric induced by its usual embedding into \mathbb^3). Dimension 1 Every one-dimensional Riemannian manifold is flat. Conversely, given that every connected one-dimensional smooth manifold is diffeomorphic to either \mathbb or S^1, it is straightforward to see that every connected one-dimensional Riemannian mani ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics with the major subdisciplines of number theory, algebra, geometry, and analysis, respectively. There is no general consensus among mathematicians about a common definition for their academic discipline. Most mathematical activity involves the discovery of properties of abstract objects and the use of pure reason to prove them. These objects consist of either abstractions from nature orin modern mathematicsentities that are stipulated to have certain properties, called axioms. A ''proof'' consists of a succession of applications of deductive rules to already established results. These results include previously proved theorems, axioms, andin case of abstraction from naturesome basic properties that are considered true starting points of ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Crystallographic Group
In mathematics, physics and chemistry, a space group is the symmetry group of an object in space, usually in three dimensions. The elements of a space group (its symmetry operations) are the rigid transformations of an object that leave it unchanged. In three dimensions, space groups are classified into 219 distinct types, or 230 types if chiral copies are considered distinct. Space groups are discrete cocompact groups of isometries of an oriented Euclidean space in any number of dimensions. In dimensions other than 3, they are sometimes called Bieberbach groups. In crystallography, space groups are also called the crystallographic or Fedorov groups, and represent a description of the symmetry of the crystal. A definitive source regarding 3-dimensional space groups is the ''International Tables for Crystallography'' . History Space groups in 2 dimensions are the 17 wallpaper groups which have been known for several centuries, though the proof that the list was complete was ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Hadamard Space
In geometry, an Hadamard space, named after Jacques Hadamard, is a non-linear generalization of a Hilbert space. In the literature they are also equivalently defined as complete CAT(0) spaces. A Hadamard space is defined to be a nonempty complete metric space such that, given any points x and y, there exists a point m such that for every point z, d(z, m)^2 + \leq . The point m is then the midpoint of x and y: d(x, m) = d(y, m) = d(x, y)/2. In a Hilbert space, the above inequality is equality (with m = (x+y)/2), and in general an Hadamard space is said to be if the above inequality is equality. A flat Hadamard space is isomorphic to a closed convex subset of a Hilbert space. In particular, a normed space is an Hadamard space if and only if it is a Hilbert space. The geometry of Hadamard spaces resembles that of Hilbert spaces, making it a natural setting for the study of rigidity theorems. In a Hadamard space, any two points can be joined by a unique geodesic between them; in p ... [...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]   |
|
Hans Werner Ballmann
Hans Werner Ballmann (known as Werner Ballmann; born 11 April 1951) is a German mathematician. His area of research is differential geometry with focus on geodesic flows, spaces of negative curvature as well as spectral theory of Dirac operators Ballmann earned his doctorate from the University of Bonn in 1979, under the supervision of Wilhelm Klingenberg. He currently is a professor at the University of Bonn, and the managing director of the Max Planck Institute for Mathematics in Bonn, Germany, since 2007. He has advised 16 doctoral students at Bonn, including Christian Bär and Anna Wienhard. He is a member of the German Academy of Sciences Leopoldina since 2007, and a member of the scientific committee of the Mathematical Research Institute of Oberwolfach since 2004. Selected works''Lectures on spaces of non positive curvatures''(PDF; 818 kB), DMV Seminar, Birkhäuser 1995 *''Spaces of non positive curvature'', Jahresbericht DMV, vol. 103, 2001, pp. 52–65 *' ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Fundamental Group
In the mathematical field of algebraic topology, the fundamental group of a topological space is the group of the equivalence classes under homotopy of the loops contained in the space. It records information about the basic shape, or holes, of the topological space. The fundamental group is the first and simplest homotopy group. The fundamental group is a homotopy invariant—topological spaces that are homotopy equivalent (or the stronger case of homeomorphic) have isomorphic fundamental groups. The fundamental group of a topological space X is denoted by \pi_1(X). Intuition Start with a space (for example, a surface), and some point in it, and all the loops both starting and ending at this point— paths that start at this point, wander around and eventually return to the starting point. Two loops can be combined in an obvious way: travel along the first loop, then along the second. Two loops are considered equivalent if one can be deformed into the other without breakin ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Amenable Group
In mathematics, an amenable group is a locally compact topological group ''G'' carrying a kind of averaging operation on bounded functions that is invariant under translation by group elements. The original definition, in terms of a finitely additive measure (or mean) on subsets of ''G'', was introduced by John von Neumann in 1929 under the German name "messbar" ("measurable" in English) in response to the Banach–Tarski paradox. In 1949 Mahlon M. Day introduced the English translation "amenable", apparently as a pun on "''mean''". The amenability property has a large number of equivalent formulations. In the field of analysis, the definition is in terms of linear functionals. An intuitive way to understand this version is that the support of the regular representation is the whole space of irreducible representations. In discrete group theory, where ''G'' has the discrete topology, a simpler definition is used. In this setting, a group is amenable if one can say what proport ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Sectional Curvature
In Riemannian geometry, the sectional curvature is one of the ways to describe the curvature of Riemannian manifolds. The sectional curvature ''K''(σ''p'') depends on a two-dimensional linear subspace σ''p'' of the tangent space at a point ''p'' of the manifold. It can be defined geometrically as the Gaussian curvature of the surface which has the plane σ''p'' as a tangent plane at ''p'', obtained from geodesics which start at ''p'' in the directions of σ''p'' (in other words, the image of σ''p'' under the exponential map at ''p''). The sectional curvature is a real-valued function on the 2-Grassmannian fiber bundle, bundle over the manifold. The sectional curvature determines the Riemann curvature tensor, curvature tensor completely. Definition Given a Riemannian manifold and two linearly independent tangent vectors at the same point, ''u'' and ''v'', we can define :K(u,v)= Here ''R'' is the Riemann curvature tensor, defined here by the convention R ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Glide Plane
In geometry and crystallography, a glide plane (or transflection) is a symmetry operation describing how a reflection in a plane, followed by a translation parallel with that plane, may leave the crystal unchanged. Glide planes are noted by ''a'', ''b'' or ''c'', depending on which axis the glide is along. If the axis is not defined, then the glide plane may be noted by ''g''. When the glide plane is parallel to the screen, these planes may be indicated by a bent arrow in which the arrowhead indicates the direction of the glide. When the glide plane is perpendicular to the screen, these planes can be represented either by dashed lines when the glide is parallel to the plane of the screen or dotted lines when the glide is perpendicular to the plane of the screen. Additionally, a centered lattice can cause a glide plane to exist in two directions at the same time. This type of glide plane may be indicated by a bent arrow with an arrowhead on both sides when the glide plan is parallel t ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Chimney
A chimney is an architectural ventilation structure made of masonry, clay or metal that isolates hot toxic exhaust gases or smoke produced by a boiler, stove, furnace, incinerator, or fireplace from human living areas. Chimneys are typically vertical, or as near as possible to vertical, to ensure that the gases flow smoothly, drawing air into the combustion in what is known as the stack, or chimney effect. The space inside a chimney is called the ''flue''. Chimneys are adjacent to large industrial refineries, fossil fuel combustion facilities or part of buildings, steam locomotives and ships. In the United States, the term ''smokestack industry'' refers to the environmental impacts of burning fossil fuels by industrial society, including the electric industry during its earliest history. The term ''smokestack'' (colloquially, ''stack'') is also used when referring to locomotive chimneys or ship chimneys, and the term ''funnel'' can also be used. The height of a chim ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Hantzsche–Wendt Manifold
The Hantzsche–Wendt manifold, also known as the HW manifold or didicosm, is a compact, orientable, flat 3-manifold, first studied by Walter Hantzsche and Hilmar Wendt in 1934. It is the only closed flat 3-manifold with first Betti number zero. Its holonomy group is \mathbb_2^2. It has been suggested as a possible shape of the universe because its complicated geometry can obscure the features in the cosmic microwave background that would arise if the universe is a closed flat manifold, such as the 3-torus. Construction The HW manifold can be built from two cubes that share a face. One construction proceeds as follows: # The top and bottom faces are glued to one another. # One of the remaining sides is glued to the opposite side with a 180° rotation. # One of the remaining faces on the top cube is glued to the matching face of the bottom cube, reflected across an axis parallel to the long axis of the double-cube. # Repeat step 3 for the remaining pair of faces. Generalizations I ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Hexagonal Prism
In geometry, the hexagonal prism is a prism with hexagonal base. Prisms are polyhedrons; this polyhedron has 8 faces, 18 edges, and 12 vertices.. Since it has 8 faces, it is an octahedron. However, the term ''octahedron'' is primarily used to refer to the ''regular octahedron'', which has eight triangular faces. Because of the ambiguity of the term ''octahedron'' and tilarity of the various eight-sided figures, the term is rarely used without clarification. Before sharpening, many pencils take the shape of a long hexagonal prism. As a semiregular (or uniform) polyhedron If faces are all regular, the hexagonal prism is a semiregular polyhedron, more generally, a uniform polyhedron, and the fourth in an infinite set of prisms formed by square sides and two regular polygon caps. It can be seen as a truncated hexagonal hosohedron, represented by Schläfli symbol t. Alternately it can be seen as the Cartesian product of a regular hexagon and a line segment, and represented by ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |