|
Metrizability
In topology and related areas of mathematics, a metrizable space is a topological space that is homeomorphic to a metric space. That is, a topological space (X, \mathcal) is said to be metrizable if there is a metric d : X \times X \to , \infty) such that the topology induced by d is \mathcal. Metrization theorems are theorems that give sufficient conditions for a topological space to be metrizable. Properties Metrizable spaces inherit all topological properties from metric spaces. For example, they are Hausdorff paracompact spaces (and hence Normal space">normal and Tychonoff) and First-countable space">first-countable. However, some properties of the metric, such as completeness, cannot be said to be inherited. This is also true of other structures linked to the metric. A metrizable uniform space, for example, may have a different set of Contraction mapping, contraction maps than a metric space to which it is homeomorphic. Metrization theorems One of the first widely recog ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Nagata–Smirnov Metrization Theorem
The Nagata–Smirnov metrization theorem in topology characterizes when a topological space is metrizable. The theorem states that a topological space X is metrizable if and only if it is regular, Hausdorff and has a countably locally finite (that is, -locally finite) basis. A topological space X is called a regular space if every non-empty closed subset C of X and a point p not contained in C admit non-overlapping open neighborhoods. A collection in a space X is countably locally finite (or -locally finite) if it is the union of a countable family of locally finite collections of subsets of X. Unlike Urysohn's metrization theorem In topology and related areas of mathematics, a metrizable space is a topological space that is homeomorphic to a metric space. That is, a topological space (X, \mathcal) is said to be metrizable if there is a metric d : X \times X \to , \inft ..., which provides only a sufficient condition for metrizability, this theorem provides both a necess ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Second-countable
In topology, a second-countable space, also called a completely separable space, is a topological space whose topology has a countable base. More explicitly, a topological space T is second-countable if there exists some countable collection \mathcal = \_^ of open subsets of T such that any open subset of T can be written as a union of elements of some subfamily of \mathcal. A second-countable space is said to satisfy the second axiom of countability. Like other countability axioms, the property of being second-countable restricts the number of open sets that a space can have. Many "well-behaved" spaces in mathematics are second-countable. For example, Euclidean space (R''n'') with its usual topology is second-countable. Although the usual base of open balls is uncountable, one can restrict to the collection of all open balls with rational radii and whose centers have rational coordinates. This restricted set is countable and still forms a basis. Properties Second-countabili ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Metric Space
In mathematics, a metric space is a set together with a notion of '' distance'' between its elements, usually called points. The distance is measured by a function called a metric or distance function. Metric spaces are the most general setting for studying many of the concepts of mathematical analysis and geometry. The most familiar example of a metric space is 3-dimensional Euclidean space with its usual notion of distance. Other well-known examples are a sphere equipped with the angular distance and the hyperbolic plane. A metric may correspond to a metaphorical, rather than physical, notion of distance: for example, the set of 100-character Unicode strings can be equipped with the Hamming distance, which measures the number of characters that need to be changed to get from one string to another. Since they are very general, metric spaces are a tool used in many different branches of mathematics. Many types of mathematical objects have a natural notion of distance a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Manifold
In mathematics, a manifold is a topological space that locally resembles Euclidean space near each point. More precisely, an n-dimensional manifold, or ''n-manifold'' for short, is a topological space with the property that each point has a neighborhood that is homeomorphic to an open subset of n-dimensional Euclidean space. One-dimensional manifolds include lines and circles, but not lemniscates. Two-dimensional manifolds are also called surfaces. Examples include the plane, the sphere, and the torus, and also the Klein bottle and real projective plane. The concept of a manifold is central to many parts of geometry and modern mathematical physics because it allows complicated structures to be described in terms of well-understood topological properties of simpler spaces. Manifolds naturally arise as solution sets of systems of equations and as graphs of functions. The concept has applications in computer-graphics given the need to associate pictures with coordinates ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Neighbourhood (mathematics)
In topology and related areas of mathematics, a neighbourhood (or neighborhood) is one of the basic concepts in a topological space. It is closely related to the concepts of open set and interior. Intuitively speaking, a neighbourhood of a point is a set of points containing that point where one can move some amount in any direction away from that point without leaving the set. Definitions Neighbourhood of a point If X is a topological space and p is a point in X, then a of p is a subset V of X that includes an open set U containing p, p \in U \subseteq V \subseteq X. This is also equivalent to the point p \in X belonging to the topological interior of V in X. The neighbourhood V need be an open subset X, but when V is open in X then it is called an . Some authors have been known to require neighbourhoods to be open, so it is important to note conventions. A set that is a neighbourhood of each of its points is open since it can be expressed as the union of open ... [...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 && \left(x_j ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hilbert Cube
In mathematics, the Hilbert cube, named after David Hilbert, is a topological space that provides an instructive example of some ideas in topology. Furthermore, many interesting topological spaces can be embedded in the Hilbert cube; that is, can be viewed as subspaces of the Hilbert cube (see below). Definition The Hilbert cube is best defined as the topological product of the intervals , 1/''n''for ''n'' = 1, 2, 3, 4, ... That is, it is a cuboid of countably infinite dimension, where the lengths of the edges in each orthogonal direction form the sequence \lbrace 1/n \rbrace_. The Hilbert cube is homeomorphic to the product of countably infinitely many copies of the unit interval , 1 In other words, it is topologically indistinguishable from the unit cube of countably infinite dimension. Some authors use the term "Hilbert cube" to mean this Cartesian product instead of the product of the ,\frac/math>. If a point in the Hilbe ... [...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, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Bing Metrization Theorem
In topology, the Bing metrization theorem, named after R. H. Bing, characterizes when a topological space is metrizable. Formal statement The theorem states that a topological space X is metrizable if and only if it is regular The term regular can mean normal or in accordance with rules. It may refer to: People * Moses Regular (born 1971), America football player Arts, entertainment, and media Music * "Regular" (Badfinger song) * Regular tunings of stringed instrum ... and T0 and has a σ-discrete basis. A family of sets is called σ-discrete when it is a union of countably many discrete collections, where a family \mathcal of subsets of a space X is called discrete, when every point of X has a neighborhood that intersects at most one member of \mathcal. History The theorem was proven by Bing in 1951 and was an independent discovery with the Nagata–Smirnov metrization theorem that was proved independently by both Nagata (1950) and Smirnov (1951). Both theore ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Locally Finite Collection
In the mathematical field of topology, local finiteness is a property of collections of subsets of a topological space. It is fundamental in the study of paracompactness and topological dimension. A collection of subsets of a topological space X is said to be locally finite if each point in the space has a neighbourhood that intersects only finitely many of the sets in the collection. Note that the term locally finite has different meanings in other mathematical fields. Examples and properties A finite collection of subsets of a topological space is locally finite. Infinite collections can also be locally finite: for example, the collection of all subsets of \mathbb of the form (n, n+2) for an integer n. A countable collection of subsets need not be locally finite, as shown by the collection of all subsets of \mathbb of the form (-n, n) for a natural number ''n''. If a collection of sets is locally finite, the collection of all closures of these sets is also locally ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Separable Space
In mathematics, a topological space is called separable if it contains a countable, dense subset; that is, there exists a sequence \_^ of elements of the space such that every nonempty open subset of the space contains at least one element of the sequence. Like the other axioms of countability, separability is a "limitation on size", not necessarily in terms of cardinality (though, in the presence of the Hausdorff axiom, this does turn out to be the case; see below) but in a more subtle topological sense. In particular, every continuous function on a separable space whose image is a subset of a Hausdorff space is determined by its values on the countable dense subset. Contrast separability with the related notion of second countability, which is in general stronger but equivalent on the class of metrizable spaces. First examples Any topological space that is itself finite or countably infinite is separable, for the whole space is a countable dense subset of itself. ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
