|
Locally Metrizable Space
In topology and related areas of mathematics, a metrizable space is a topological space that is Homeomorphism, homeomorphic to a metric space. That is, a topological space (X, \tau) is said to be metrizable if there is a Metric (mathematics), metric d : X \times X \to [0, \infty) such that the topology induced by d is \tau. ''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 space, Hausdorff paracompact spaces (and hence Normal space, normal and Tychonoff space, Tychonoff) and First-countable space, first-countable. However, some properties of the metric, such as Complete metric space, 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 metri ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Topology
Topology (from the Greek language, Greek words , and ) is the branch of mathematics concerned with the properties of a Mathematical object, geometric object that are preserved under Continuous function, continuous Deformation theory, deformations, such as Stretch factor, stretching, Torsion (mechanics), twisting, crumpling, and bending; that is, without closing holes, opening holes, tearing, gluing, or passing through itself. A topological space is a Set (mathematics), set endowed with a structure, called a ''Topology (structure), topology'', which allows defining continuous deformation of subspaces, and, more generally, all kinds of List of continuity-related mathematical topics, continuity. Euclidean spaces, and, more generally, metric spaces are examples of topological spaces, as any distance or metric defines a topology. The deformations that are considered in topology are homeomorphisms and Homotopy, homotopies. A property that is invariant under such deformations is a to ... [...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 subsets 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 this to the collection of all open balls with rational radii and whose centers have rational coordinates. This restricted collection is countable and still forms a basis. Properties ... [...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/math> for n = 1, 2, 3, 4, \ldots. That is, it is a cuboid of countably infinite dimension, where the lengths of the edges in each orthogonal direction form the sequence \left( 1/n \right)_. 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 \left , \tfrac\right/math>. If a point in the Hilbert cube is specified by a se ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Homeomorphic
In mathematics and more specifically in topology, a homeomorphism ( from Greek roots meaning "similar shape", named by Henri Poincaré), also called 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. Very roughly speaking, a topological space is a geometric object, and a homeomorphism results from a continuous deformation 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 description can be misleading. Some continuous deformations do not produce homeomorphisms, such as the deformation of a li ... [...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 and T0 and has a basis. A family of sets is called 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 Bing most often refers to: * Bing Crosby (1903–1977), American singer * Microsoft Bing, a web search engine Bing may also refer to: Food and drink * Bing (bread), a Chinese flatbread * Bing (soft drink), a UK brand * Bing cherry, a varie ... 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 theorems are often merged ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Locally Finite Collection
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. 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. 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 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''. Every locally finite collection of sets is point finite, meaning that every point of the space belongs to only f ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
If And Only If
In logic and related fields such as mathematics and philosophy, "if and only if" (often shortened as "iff") is paraphrased by the biconditional, a logical connective between statements. The biconditional is true in two cases, where either both statements are true or both are false. The connective is biconditional (a statement of material equivalence), and can be likened to the standard material conditional ("only if", equal to "if ... then") combined with its reverse ("if"); hence the name. The result is that the truth of either one of the connected statements requires the truth of the other (i.e. either both statements are true, or both are false), though it is controversial whether the connective thus defined is properly rendered by the English "if and only if"—with its pre-existing meaning. For example, ''P if and only if Q'' means that ''P'' is true whenever ''Q'' is true, and the only case in which ''P'' is true is if ''Q'' is also true, whereas in the case of ''P if Q ... [...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 ( x_n )_^ 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] |
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. The idea is that a compact space has no "punctures" or "missing endpoints", i.e., it includes all ''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 topological spaces. One suc ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Nagata–Smirnov Metrization Theorem
In topology, the Nagata–Smirnov metrization theorem characterizes when a 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 to ... 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, which provides only a sufficient condition for metrizability, this theorem provides both a ne ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Normal Space
Normal(s) or The Normal(s) may refer to: Film and television * Normal (2003 film), ''Normal'' (2003 film), starring Jessica Lange and Tom Wilkinson * Normal (2007 film), ''Normal'' (2007 film), starring Carrie-Anne Moss, Kevin Zegers, Callum Keith Rennie, and Andrew Airlie * Normal (2009 film), ''Normal'' (2009 film), an adaptation of Anthony Neilson's 1991 play ''Normal: The Düsseldorf Ripper'' * ''Normal!'', a 2011 Algerian film * The Normals (film), ''The Normals'' (film), a 2012 American comedy film * Normal (New Girl), "Normal" (''New Girl''), an episode of the TV series Mathematics * Normal (geometry), an object such as a line or vector that is perpendicular to a given object * Normal basis (of a Galois extension), used heavily in cryptography * Normal bundle * Normal cone, of a subscheme in algebraic geometry * Normal coordinates, in differential geometry, local coordinates obtained from the exponential map (Riemannian geometry) * Normal distribution, the Gaussian continuo ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Pavel Samuilovich Urysohn
Pavel Samuilovich Urysohn (in Russian: ; 3 February, 1898 – 17 August, 1924) was a Soviet mathematician who is best known for his contributions in dimension theory, and for developing Urysohn's metrization theorem and Urysohn's lemma, both of which are fundamental results in topology. He also constructed what is now called the Urysohn universal space and his name is also commemorated in the terms Fréchet–Urysohn space, Menger–Urysohn dimension and Urysohn integral equation. He and Pavel Alexandrov formulated the modern definition of compactness in 1923. Biography Pavel Urysohn was born in Odesa in 1898. His mother died when he was little, and he entered the care of his father and sister. The family moved to Moscow in 1912, where Urysohn completed his secondary education. While still at school, he worked at Shanyavsky University on an experimental project on X-ray radiation and was supervised by Petr Lazarev. At that time, Urysohn’s interests lay predominantly ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
