|
Irreducible Manifold
In topology, a branch of mathematics, a prime manifold is an ''n''- manifold that cannot be expressed as a non-trivial connected sum of two ''n''-manifolds. Non-trivial means that neither of the two is an ''n''-sphere. A similar notion is that of an irreducible ''n''-manifold, which is one in which any embedded (''n'' − 1)-sphere bounds an embedded ''n''- ball. Implicit in this definition is the use of a suitable category, such as the category of differentiable manifolds or the category of piecewise-linear manifolds. The notions of irreducibility in algebra and manifold theory are related. An irreducible manifold is prime, although the converse does not hold. From an algebraist's perspective, prime manifolds should be called "irreducible"; however the topologist (in particular the 3-manifold topologist) finds the definition above more useful. The only compact, connected 3-manifolds that are prime but not irreducible are the trivial 2-sphere bundle over the circle S1 a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Topology
In mathematics, topology (from the Greek words , and ) is concerned with the properties of a geometric object that are preserved under continuous deformations, such as stretching, twisting, crumpling, and bending; that is, without closing holes, opening holes, tearing, gluing, or passing through itself. A topological space is a set endowed with a structure, called a '' topology'', which allows defining continuous deformation of subspaces, and, more generally, all kinds of continuity. Euclidean spaces, and, more generally, metric spaces are examples of a topological space, as any distance or metric defines a topology. The deformations that are considered in topology are homeomorphisms and homotopies. A property that is invariant under such deformations is a topological property. Basic examples of topological properties are: the dimension, which allows distinguishing between a line and a surface; compactness, which allows distinguishing between a line and a circle; co ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
3-manifold
In mathematics, a 3-manifold is a space that locally looks like Euclidean 3-dimensional space. A 3-manifold can be thought of as a possible shape of the universe. Just as a sphere looks like a plane to a small enough observer, all 3-manifolds look like our universe does to a small enough observer. This is made more precise in the definition below. Introduction Definition A topological space ''X'' is a 3-manifold if it is a second-countable Hausdorff space and if every point in ''X'' has a neighbourhood that is homeomorphic to Euclidean 3-space. Mathematical theory of 3-manifolds The topological, piecewise-linear, and smooth categories are all equivalent in three dimensions, so little distinction is made in whether we are dealing with say, topological 3-manifolds, or smooth 3-manifolds. Phenomena in three dimensions can be strikingly different from phenomena in other dimensions, and so there is a prevalence of very specialized techniques that do not generalize to dimensions g ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Non-orientable
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 manifold ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Lens Space
A lens space is an example of a topological space, considered in mathematics. The term often refers to a specific class of 3-manifolds, but in general can be defined for higher dimensions. In the 3-manifold case, a lens space can be visualized as the result of gluing two solid tori together by a homeomorphism of their boundaries. Often the 3-sphere and S^2 \times S^1, both of which can be obtained as above, are not counted as they are considered trivial special cases. The three-dimensional lens spaces L(p,q) were introduced by Heinrich Tietze in 1908. They were the first known examples of 3-manifolds which were not determined by their homology and fundamental group alone, and the simplest examples of closed manifolds whose homeomorphism type is not determined by their homotopy type. J. W. Alexander in 1919 showed that the lens spaces L(5;1) and L(5;2) were not homeomorphic even though they have isomorphic fundamental groups and the same homology, though they do not have th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Product Topology
In topology and related areas of mathematics, a product space is the Cartesian product of a family of topological spaces equipped with a natural topology called the product topology. This topology differs from another, perhaps more natural-seeming, topology called the box topology, which can also be given to a product space and which agrees with the product topology when the product is over only finitely many spaces. However, the product topology is "correct" in that it makes the product space a categorical product of its factors, whereas the box topology is too fine; in that sense the product topology is the natural topology on the Cartesian product. Definition Throughout, I will be some non-empty index set and for every index i \in I, let X_i be a topological space. Denote the Cartesian product of the sets X_i by X := \prod X_ := \prod_ X_i and for every index i \in I, denote the i-th by \begin p_i :\;&& \prod_ X_j &&\;\to\; & X_i \\ .3ex && \l ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
3-sphere
In mathematics, a 3-sphere is a higher-dimensional analogue of a sphere. It may be embedded in 4-dimensional Euclidean space as the set of points equidistant from a fixed central point. Analogous to how the boundary of a ball in three dimensions is an ordinary sphere (or 2-sphere, a two-dimensional surface), the boundary of a ball in four dimensions is a 3-sphere (an object with three dimensions). A 3-sphere is an example of a 3-manifold and an ''n''-sphere. Definition In coordinates, a 3-sphere with center and radius is the set of all points in real, 4-dimensional space () such that :\sum_^3(x_i - C_i)^2 = ( x_0 - C_0 )^2 + ( x_1 - C_1 )^2 + ( x_2 - C_2 )^2+ ( x_3 - C_3 )^2 = r^2. The 3-sphere centered at the origin with radius 1 is called the unit 3-sphere and is usually denoted : :S^3 = \left\. It is often convenient to regard as the space with 2 complex dimensions () or the quaternions (). The unit 3-sphere is then given by :S^3 = \left\ or :S^3 = \left\. This ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Alexander's Horned Sphere
The Alexander horned sphere is a pathological object in topology discovered by . Construction The Alexander horned sphere is the particular embedding of a sphere in 3-dimensional Euclidean space obtained by the following construction, starting with a standard torus:. #Remove a radial slice of the torus. #Connect a standard punctured torus to each side of the cut, interlinked with the torus on the other side. #Repeat steps 1–2 on the two tori just added ''ad infinitum''. By considering only the points of the tori that are not removed at some stage, an embedding results in the sphere with a Cantor set removed. This embedding extends to the whole sphere, since points approaching two different points of the Cantor set will be at least a fixed distance apart in the construction. Impact on theory The horned sphere, together with its inside, is a topological 3-ball, the Alexander horned ball, and so is simply connected; i.e., every loop can be shrunk to a point while staying in ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Euclidean Space
Euclidean space is the fundamental space of geometry, intended to represent physical space. Originally, that is, in Euclid's ''Elements'', it was the three-dimensional space of Euclidean geometry, but in modern mathematics there are Euclidean spaces of any positive integer dimension, including the three-dimensional space and the '' Euclidean plane'' (dimension two). The qualifier "Euclidean" is used to distinguish Euclidean spaces from other spaces that were later considered in physics and modern mathematics. Ancient Greek geometers introduced Euclidean space for modeling the physical space. Their work was collected by the ancient Greek mathematician Euclid in his ''Elements'', with the great innovation of '' proving'' all properties of the space as theorems, by starting from a few fundamental properties, called ''postulates'', which either were considered as evident (for example, there is exactly one straight line passing through two points), or seemed impossible to prov ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Tubular Neighborhood
In mathematics, a tubular neighborhood of a submanifold of a smooth manifold is an open set around it resembling the normal bundle. The idea behind a tubular neighborhood can be explained in a simple example. Consider a smooth curve in the plane without self-intersections. On each point on the curve draw a line perpendicular to the curve. Unless the curve is straight, these lines will intersect among themselves in a rather complicated fashion. However, if one looks only in a narrow band around the curve, the portions of the lines in that band will not intersect, and will cover the entire band without gaps. This band is a tubular neighborhood. In general, let ''S'' be a submanifold of a manifold ''M'', and let ''N'' be the normal bundle of ''S'' in ''M''. Here ''S'' plays the role of the curve and ''M'' the role of the plane containing the curve. Consider the natural map :i : N_0 \to S which establishes a bijective correspondence between the zero section N_0 of ''N'' and t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Homeomorphic
In the mathematical field of topology, a homeomorphism, topological isomorphism, or bicontinuous function is a bijective and continuous function between topological spaces that has a continuous inverse function. Homeomorphisms are the isomorphisms in the category of topological spaces—that is, they are the mappings that preserve all the topological properties of a given space. Two spaces with a homeomorphism between them are called homeomorphic, and from a topological viewpoint they are the same. The word ''homeomorphism'' comes from the Greek words '' ὅμοιος'' (''homoios'') = similar or same and '' μορφή'' (''morphē'') = shape or form, introduced to mathematics by Henri Poincaré in 1895. Very roughly speaking, a topological space is a geometric object, and the homeomorphism is a continuous stretching and bending of the object into a new shape. Thus, a square and a circle are homeomorphic to each other, but a sphere and a torus are not. However, this ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Submanifold
In mathematics, a submanifold of a manifold ''M'' is a subset ''S'' which itself has the structure of a manifold, and for which the inclusion map satisfies certain properties. There are different types of submanifolds depending on exactly which properties are required. Different authors often have different definitions. Formal definition In the following we assume all manifolds are differentiable manifolds of class ''C''''r'' for a fixed , and all morphisms are differentiable of class ''C''''r''. Immersed submanifolds An immersed submanifold of a manifold ''M'' is the image ''S'' of an immersion map ; in general this image will not be a submanifold as a subset, and an immersion map need not even be injective (one-to-one) – it can have self-intersections. More narrowly, one can require that the map be an injection (one-to-one), in which we call it an injective immersion, and define an immersed submanifold to be the image subset ''S'' together with a topology and differe ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Connected Space
In topology and related branches of mathematics, a connected space is a topological space that cannot be represented as the union of two or more disjoint non-empty open subsets. Connectedness is one of the principal topological properties that are used to distinguish topological spaces. A subset of a topological space X is a if it is a connected space when viewed as a subspace of X. Some related but stronger conditions are path connected, simply connected, and n-connected. Another related notion is '' locally connected'', which neither implies nor follows from connectedness. Formal definition A topological space X is said to be if it is the union of two disjoint non-empty open sets. Otherwise, X is said to be connected. A subset of a topological space is said to be connected if it is connected under its subspace topology. Some authors exclude the empty set (with its unique topology) as a connected space, but this article does not follow that practice. For a topol ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
_Side_View.png "Click for more on -> Lens Space")
