|
Locally Simply Connected
In mathematics, a locally simply connected space is a topological space that admits a Base (topology), basis of simply connected sets. Every locally simply connected space is also locally path-connected and locally connected. The circle is an example of a locally simply connected space which is not simply connected. The Hawaiian earring is a space which is neither locally simply connected nor simply connected. The cone (topology), cone on the Hawaiian earring is contractible space, contractible and therefore simply connected, but still not locally simply connected. All topological manifolds and CW complexes are locally simply connected. In fact, these satisfy the much stronger property of being locally contractible space, locally contractible. A strictly weaker condition is that of being semi-locally simply connected. Both locally simply connected spaces and simply connected spaces are semi-locally simply connected, but neither converse holds. References Properties of top ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematics
Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many areas of mathematics, which include number theory (the study of numbers), algebra (the study of formulas and related structures), geometry (the study of shapes and spaces that contain them), Mathematical analysis, analysis (the study of continuous changes), and set theory (presently used as a foundation for all mathematics). Mathematics involves the description and manipulation of mathematical object, abstract objects that consist of either abstraction (mathematics), abstractions from nature orin modern mathematicspurely abstract entities that are stipulated to have certain properties, called axioms. Mathematics uses pure reason to proof (mathematics), prove properties of objects, a ''proof'' consisting of a succession of applications of in ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Circle
A circle is a shape consisting of all point (geometry), points in a plane (mathematics), plane that are at a given distance from a given point, the Centre (geometry), centre. The distance between any point of the circle and the centre is called the radius. The length of a line segment connecting two points on the circle and passing through the centre is called the diameter. A circle bounds a region of the plane called a Disk (mathematics), disc. The circle has been known since before the beginning of recorded history. Natural circles are common, such as the full moon or a slice of round fruit. The circle is the basis for the wheel, which, with related inventions such as gears, makes much of modern machinery possible. In mathematics, the study of the circle has helped inspire the development of geometry, astronomy and calculus. Terminology * Annulus (mathematics), Annulus: a ring-shaped object, the region bounded by two concentric circles. * Circular arc, Arc: any Connected ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Locally Contractible Space
In mathematics, a topological space ''X'' is contractible if the identity map on ''X'' is null-homotopic, i.e. if it is homotopic to some constant map. Intuitively, a contractible space is one that can be continuously shrunk to a point within that space. Properties A contractible space is precisely one with the homotopy type of a point. It follows that all the homotopy groups of a contractible space are trivial. Therefore any space with a nontrivial homotopy group cannot be contractible. Similarly, since singular homology is a homotopy invariant, the reduced homology groups of a contractible space are all trivial. For a nonempty topological space ''X'' the following are all equivalent: *''X'' is contractible (i.e. the identity map is null-homotopic). *''X'' is homotopy equivalent to a one-point space. *''X'' deformation retracts onto a point. (However, there exist contractible spaces which do not ''strongly'' deformation retract to a point.) *For any path-connected space '' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
CW Complex
In mathematics, and specifically in topology, a CW complex (also cellular complex or cell complex) is a topological space that is built by gluing together topological balls (so-called ''cells'') of different dimensions in specific ways. It generalizes both manifolds and simplicial complexes and has particular significance for algebraic topology. It was initially introduced by J. H. C. Whitehead to meet the needs of homotopy theory. (open access) CW complexes have better categorical properties than simplicial complexes, but still retain a combinatorial nature that allows for computation (often with a much smaller complex). The C in CW stands for "closure-finite", and the W for "weak" topology. Definition CW complex A CW complex is constructed by taking the union of a sequence of topological spaces \emptyset = X_ \subset X_0 \subset X_1 \subset \cdots such that each X_k is obtained from X_ by gluing copies of k-cells (e^k_\alpha)_\alpha, each homeomorphic to the open k- bal ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Topological Manifold
In topology, a topological manifold is a topological space that locally resembles real ''n''- dimensional Euclidean space. Topological manifolds are an important class of topological spaces, with applications throughout mathematics. All manifolds are topological manifolds by definition. Other types of manifolds are formed by adding structure to a topological manifold (e.g. differentiable manifolds are topological manifolds equipped with a differential structure). Every manifold has an "underlying" topological manifold, obtained by simply "forgetting" the added structure. However, not every topological manifold can be endowed with a particular additional structure. For example, the E8 manifold is a topological manifold which cannot be endowed with a differentiable structure. Formal definition A topological space ''X'' is called locally Euclidean if there is a non-negative integer ''n'' such that every point in ''X'' has a neighborhood which is homeomorphic to real ''n''-space R ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Contractible Space
In mathematics, a topological space ''X'' is contractible if the identity map on ''X'' is null-homotopic, i.e. if it is homotopic to some constant map. Intuitively, a contractible space is one that can be continuously shrunk to a point within that space. Properties A contractible space is precisely one with the homotopy type of a point. It follows that all the homotopy groups of a contractible space are trivial. Therefore any space with a nontrivial homotopy group cannot be contractible. Similarly, since singular homology is a homotopy invariant, the reduced homology groups of a contractible space are all trivial. For a nonempty topological space ''X'' the following are all equivalent: *''X'' is contractible (i.e. the identity map is null-homotopic). *''X'' is homotopy equivalent to a one-point space. *''X'' deformation retracts onto a point. (However, there exist contractible spaces which do not ''strongly'' deformation retract to a point.) *For any path-connected space ' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Cone (topology)
In topology, especially algebraic topology, the cone of a topological space X is intuitively obtained by stretching ''X'' into a cylinder and then collapsing one of its end faces to a point. The cone of X is denoted by CX or by \operatorname(X). Definitions Formally, the cone of ''X'' is defined as: :CX = (X \times ,1\cup_p v\ =\ \varinjlim \bigl( (X \times ,1 \hookleftarrow (X\times \) \xrightarrow v\bigr), where v is a point (called the vertex of the cone) and p is the projection to that point. In other words, it is the result of attaching the cylinder X \times ,1/math> by its face X\times\ to a point v along the projection p: \bigl( X\times\ \bigr)\to v. If X is a non-empty compact subspace of Euclidean space, the cone on X is homeomorphic to the union of segments from X to any fixed point v \not\in X such that these segments intersect only in v itself. That is, the topological cone agrees with the geometric cone for compact spaces when the latter is defined. H ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hawaiian Earring
In mathematics, the Hawaiian earring \mathbb is the topological space defined by the union of circles in the Euclidean plane \R^2 with center \left(\tfrac,0\right) and radius \tfrac for n = 1, 2, 3, \ldots endowed with the subspace topology: \mathbb=\bigcup_^\left\. The space \mathbb is homeomorphic to the one-point compactification of the union of a countable family of disjoint open intervals. The Hawaiian earring is a one-dimensional, compact, locally path-connected metrizable space. Although \mathbb is locally homeomorphic to \R at all non-origin points, \mathbb is not semi-locally simply connected at (0,0). Therefore, \mathbb does not have a simply connected covering space and is usually given as the simplest example of a space with this complication. The Hawaiian earring looks very similar to the wedge sum of countably infinitely many circles; that is, the rose with infinitely many petals, but these two spaces are not homeomorphic. The difference between their topolo ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Topological Space
In mathematics, a topological space is, roughly speaking, a Geometry, geometrical space in which Closeness (mathematics), closeness is defined but cannot necessarily be measured by a numeric Distance (mathematics), distance. More specifically, a topological space is a Set (mathematics), set whose elements are called Point (geometry), points, along with an additional structure called a topology, which can be defined as a set of Neighbourhood (mathematics), neighbourhoods for each point that satisfy some Axiom#Non-logical axioms, axioms formalizing the concept of closeness. There are several equivalent definitions of a topology, the most commonly used of which is the definition through open sets, which is easier than the others to manipulate. A topological space is the most general type of a space (mathematics), mathematical space that allows for the definition of Limit (mathematics), limits, Continuous function (topology), continuity, and Connected space, connectedness. Common types ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Locally Connected
In topology and other branches of mathematics, a topological space ''X'' is locally connected if every point admits a neighbourhood basis consisting of open connected sets. As a stronger notion, the space ''X'' is locally path connected if every point admits a neighbourhood basis consisting of open path connected sets. Background Throughout the history of topology, connectedness and compactness have been two of the most widely studied topological properties. Indeed, the study of these properties even among subsets of Euclidean space, and the recognition of their independence from the particular form of the Euclidean metric, played a large role in clarifying the notion of a topological property and thus a topological space. However, whereas the structure of ''compact'' subsets of Euclidean space was understood quite early on via the Heine–Borel theorem, ''connected'' subsets of \R^n (for ''n'' > 1) proved to be much more complicated. Indeed, while any compact Hausdorff sp ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Locally Path-connected
In topology and other branches of mathematics, a topological space ''X'' is locally connected if every point admits a neighbourhood basis consisting of open connected sets. As a stronger notion, the space ''X'' is locally path connected if every point admits a neighbourhood basis consisting of open path connected sets. Background Throughout the history of topology, connectedness and compactness have been two of the most widely studied topological properties. Indeed, the study of these properties even among subsets of Euclidean space, and the recognition of their independence from the particular form of the Euclidean metric, played a large role in clarifying the notion of a topological property and thus a topological space. However, whereas the structure of ''compact'' subsets of Euclidean space was understood quite early on via the Heine–Borel theorem, ''connected'' subsets of \R^n (for ''n'' > 1) proved to be much more complicated. Indeed, while any compact Hausdor ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
