Related Research Articles
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 [0,1] would be compact. Similarly, the space of rational numbers is not compact, because it has infinitely many "punctures" corresponding to the irrational numbers, and the space of real numbers is not compact either, because it excludes the two limiting values and . However, the extended real number linewould 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.
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.
This is a glossary of some terms used in the branch of mathematics known as topology. Although there is no absolute distinction between different areas of topology, the focus here is on general topology. The following definitions are also fundamental to algebraic topology, differential topology and geometric topology.
In mathematics, a Borel set is any set in a topological space that can be formed from open sets through the operations of countable union, countable intersection, and relative complement. Borel sets are named after Émile Borel.
In topology and related branches of mathematics, a normal space is a topological space X that satisfies Axiom T4: every two disjoint closed sets of X have disjoint open neighborhoods. A normal Hausdorff space is also called a T4 space. These conditions are examples of separation axioms and their further strengthenings define completely normal Hausdorff spaces, or T5 spaces, and perfectly normal Hausdorff spaces, or T6 spaces.
In mathematics, a paracompact space is a topological space in which every open cover has an open refinement that is locally finite. These spaces were introduced by Dieudonné (1944). Every compact space is paracompact. Every paracompact Hausdorff space is normal, and a Hausdorff space is paracompact if and only if it admits partitions of unity subordinate to any open cover. Sometimes paracompact spaces are defined so as to always be Hausdorff.
In the mathematical discipline of general topology, Stone–Čech compactification is a technique for constructing a universal map from a topological space X to a compact Hausdorff space βX. The Stone–Čech compactification βX of a topological space X is the largest, most general compact Hausdorff space "generated" by X, in the sense that any continuous map from X to a compact Hausdorff space factors through βX. If X is a Tychonoff space then the map from X to its image in βX is a homeomorphism, so X can be thought of as a (dense) subspace of βX; every other compact Hausdorff space that densely contains X is a quotient of βX. For general topological spaces X, the map from X to βX need not be injective.
In the mathematical field of topology, the Alexandroff extension is a way to extend a noncompact topological space by adjoining a single point in such a way that the resulting space is compact. It is named after the Russian mathematician Pavel Alexandroff. More precisely, let X be a topological space. Then the Alexandroff extension of X is a certain compact space X* together with an open embedding c : X → X* such that the complement of X in X* consists of a single point, typically denoted ∞. The map c is a Hausdorff compactification if and only if X is a locally compact, noncompact Hausdorff space. For such spaces the Alexandroff extension is called the one-point compactification or Alexandroff compactification. The advantages of the Alexandroff compactification lie in its simple, often geometrically meaningful structure and the fact that it is in a precise sense minimal among all compactifications; the disadvantage lies in the fact that it only gives a Hausdorff compactification on the class of locally compact, noncompact Hausdorff spaces, unlike the Stone–Čech compactification which exists for any topological space.
In mathematics, Tychonoff's theorem states that the product of any collection of compact topological spaces is compact with respect to the product topology. The theorem is named after Andrey Nikolayevich Tikhonov, who proved it first in 1930 for powers of the closed unit interval and in 1935 stated the full theorem along with the remark that its proof was the same as for the special case. The earliest known published proof is contained in a 1935 article of Tychonoff, A., "Uber einen Funktionenraum", Mathematical Annals, 111, pp. 762–766 (1935).
In mathematics, general topology is the branch of topology that deals with the basic set-theoretic definitions and constructions used in topology. It is the foundation of most other branches of topology, including differential topology, geometric topology, and algebraic topology.
In the mathematical discipline of general topology, a Polish space is a separable completely metrizable topological space; that is, a space homeomorphic to a complete metric space that has a countable dense subset. Polish spaces are so named because they were first extensively studied by Polish topologists and logicians—Sierpiński, Kuratowski, Tarski and others. However, Polish spaces are mostly studied today because they are the primary setting for descriptive set theory, including the study of Borel equivalence relations. Polish spaces are also a convenient setting for more advanced measure theory, in particular in probability theory.
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 is second-countable if there exists some countable collection of open subsets of such that any open subset of can be written as a union of elements of some subfamily of . 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.
In mathematics, a function between topological spaces is called proper if inverse images of compact subsets are compact. In algebraic geometry, the analogous concept is called a proper morphism.
In topology and related areas of mathematics, a topological property or topological invariant is a property of a topological space that is invariant under homeomorphisms. Alternatively, a topological property is a proper class of topological spaces which is closed under homeomorphisms. That is, a property of spaces is a topological property if whenever a space X possesses that property every space homeomorphic to X possesses that property. Informally, a topological property is a property of the space that can be expressed using open sets.
In mathematics, a locally compact group is a topological group G for which the underlying topology is locally compact and Hausdorff. Locally compact groups are important because many examples of groups that arise throughout mathematics are locally compact and such groups have a natural measure called the Haar measure. This allows one to define integrals of Borel measurable functions on G so that standard analysis notions such as the Fourier transform and spaces can be generalized.
In topology and related fields of mathematics, a sequential space is a topological space whose topology can be completely characterized by its convergent/divergent sequences. They can be thought of as spaces that satisfy a very weak axiom of countability, and all first-countable spaces are sequential.
In mathematics, in the field of topology, a topological space is said to be pseudocompact if its image under any continuous function to R is bounded. Many authors include the requirement that the space be completely regular in the definition of pseudocompactness. Pseudocompact spaces were defined by Edwin Hewitt in 1948.
Johannes de Groot was a Dutch mathematician, the leading Dutch topologist for more than two decades following World War II.
In mathematics, a weak Hausdorff space or weakly Hausdorff space is a topological space where the image of every continuous map from a compact Hausdorff space into the space is closed. In particular, every Hausdorff space is weak Hausdorff. As a separation property, it is stronger than T1, which is equivalent to the statement that points are closed. Specifically, every weak Hausdorff space is a T1 space.
References
- Banaschewski, B. (1993), "Supercompactness, products and the axiom of choice", Kyungpook Math Journal, 33 (1): 111–114
- Bell, Murray G. (1978), "Not all compact Hausdorff spaces are supercompact", General Topology and Its Applications, 8 (2): 151–155, doi:10.1016/0016-660X(78)90046-6
- Bula, W.; Nikiel, J.; Tuncali, H. M.; Tymchatyn, E. D. (1992), "Continuous images of ordered compacta are regular supercompact", Topology and Its Applications, 45 (3): 203–221, doi:10.1016/0166-8641(92)90005-K
- de Groot, J. (1969), "Supercompactness and superextensions", in Flachsmeyer, J.; Poppe, H.; Terpe, F. (eds.), Contributions to extension theory of topological structures. Proceedings of the Symposium held in Berlin, August 14—19, 1967, Berlin: VEB Deutscher Verlag der Wissenschaften
- Engelking, R (1977), General topology, Taylor & Francis, ISBN 978-0-8002-0209-5
- Malykhin, VI; Ponomarev, VI (1977), "General topology (set-theoretic trend)", Journal of Mathematical Sciences, New York: Springer, 7 (4): 587–629, doi:10.1007/BF01084982, S2CID 120365836
- Mills, Charles F. (1979), "A simpler proof that compact metric spaces are supercompact", Proceedings of the American Mathematical Society , American Mathematical Society, Vol. 73, No. 3, 73 (3): 388–390, doi: 10.2307/2042369 , JSTOR 2042369, MR 0518526
- Mills, Charles F.; van Mill, Jan (1979), "A nonsupercompact continuous image of a supercompact space", Houston Journal of Mathematics, 5 (2): 241–247
- Mysior, Adam (1992), "Universal compact T1-spaces", Canadian Mathematical Bulletin , Canadian Mathematical Society, 35 (2): 261–266, doi:10.4153/CMB-1992-037-1
- Strok, M.; Szymański, A. (1975), "Compact metric spaces have binary bases" (PDF), Fundamenta Mathematicae, 89 (1): 81–91, doi:10.4064/fm-89-1-81-91
- van Mill, J. (1977), Supercompactness and Wallman spaces (Mathematical Centre Tracts, No. 85.), Amsterdam: Mathematisch Centrum, ISBN 90-6196-151-3
- Verbeek, A. (1972), Superextensions of topological spaces (Mathematical Centre tracts, No. 41), Amsterdam: Mathematisch Centrum
- Yang, Zhong Qiang (1994), "All cluster points of countable sets in supercompact spaces are the limits of nontrivial sequences", Proceedings of the American Mathematical Society , American Mathematical Society, Vol. 122, No. 2, 122 (2): 591–595, doi: 10.2307/2161053 , JSTOR 2161053