|
Gδ Space
In mathematics, particularly topology, a Gδ space is a topological space in which closed sets are in a way ‘separated’ from their complements using only countably many open sets. A Gδ space may thus be regarded as a space satisfying a different kind of separation axiom. In fact normal Gδ spaces are referred to as perfectly normal spaces, and satisfy the strongest of separation axioms. Gδ spaces are also called perfect spaces. The term ''perfect'' is also used, incompatibly, to refer to a space with no isolated points; see Perfect set. Definition A countable intersection of open sets in a topological space is called a Gδ set. Trivially, every open set is a Gδ set. Dually, a countable union of closed sets is called an Fσ set. Trivially, every closed set is an Fσ set. A topological space ''X'' is called a Gδ space if every closed subset of ''X'' is a Gδ set. Dually and equivalently, a ''Gδ space'' is a space in which every open set is an Fσ set. Properties and ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Topology
In mathematics, topology (from the Greek language, Greek words , and ) is 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, Twist (mathematics), 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 continuity (mathematics), 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 homotopy, homotopies. A property that is invariant under such deformations is a topological property. Basic exampl ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
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 , \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 and Tychonoff) and 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 maps than a metric space to which it is homeomorphic. Metrization theorems One of the first widely recognized metrization theorems was . This states that every ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
General Topology
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. Another name for general topology is point-set topology. The fundamental concepts in point-set topology are ''continuity'', ''compactness'', and ''connectedness'': * Continuous functions, intuitively, take nearby points to nearby points. * Compact sets are those that can be covered by finitely many sets of arbitrarily small size. * Connected sets are sets that cannot be divided into two pieces that are far apart. The terms 'nearby', 'arbitrarily small', and 'far apart' can all be made precise by using the concept of open sets. If we change the definition of 'open set', we change what continuous functions, compact sets, and connected sets are. Each choice of definition for 'open set' is called a ''t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Counterexamples In Topology
''Counterexamples in Topology'' (1970, 2nd ed. 1978) is a book on mathematics by topologists Lynn Steen and J. Arthur Seebach, Jr. In the process of working on problems like the metrization problem, topologists (including Steen and Seebach) have defined a wide variety of topological properties. It is often useful in the study and understanding of abstracts such as topological spaces to determine that one property does not follow from another. One of the easiest ways of doing this is to find a counterexample which exhibits one property but not the other. In ''Counterexamples in Topology'', Steen and Seebach, together with five students in an undergraduate research project at St. Olaf College, Minnesota in the summer of 1967, canvassed the field of topology for such counterexamples and compiled them in an attempt to simplify the literature. For instance, an example of a first-countable space which is not second-countable is counterexample #3, the discrete topology on an uncoun ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Topological Sum
In general topology and related areas of mathematics, the disjoint union (also called the direct sum, free union, free sum, topological sum, or coproduct) of a Indexed family, family of topological spaces is a space formed by equipping the disjoint union of the underlying sets with a natural topology called the disjoint union topology. Roughly speaking, in the disjoint union the given spaces are considered as part of a single new space where each looks as it would alone and they are isolated from each other. The name ''coproduct'' originates from the fact that the disjoint union is the categorical dual of the product space construction. Definition Let be a family of topological spaces indexed by ''I''. Let :X = \coprod_i X_i be the disjoint union of the underlying sets. For each ''i'' in ''I'', let :\varphi_i : X_i \to X\, be the canonical injection (defined by \varphi_i(x)=(x,i)). The disjoint union topology on ''X'' is defined as the finest topology on ''X'' for which all the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Sorgenfrey Line
In mathematics, the lower limit topology or right half-open interval topology is a topology defined on the set \mathbb of real numbers; it is different from the standard topology on \mathbb (generated by the open intervals) and has a number of interesting properties. It is the topology generated by the basis of all half-open intervals ''a'',''b''),_where_''a''_and_''b''_are_real_numbers. The_resulting_topological_space.html" ;"title="/nowiki>''a'',''b''), where ''a'' and ''b'' are real numbers. The resulting topological space">/nowiki>''a'',''b''), where ''a'' and ''b'' are real numbers. The resulting topological space is called the Sorgenfrey line after Robert Sorgenfrey or the arrow and is sometimes written \mathbb_l. Like the Cantor set and the long line (topology), long line, the Sorgenfrey line often serves as a useful counterexample to many otherwise plausible-sounding conjectures in general topology. The product of \mathbb_l with itself is also a useful counterexample, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Lexicographic Order Topology On The Unit Square
In general topology, the lexicographic ordering on the unit square (sometimes the dictionary order on the unit square) is a topology on the unit square ''S'', i.e. on the set of points (''x'',''y'') in the plane such that and Construction The lexicographical ordering gives a total ordering \prec on the points in the unit square: if (''x'',''y'') and (''u'',''v'') are two points in the square, if and only if either or both and . Stated symbolically, (x,y)\prec (u,v)\iff (x Properties The order topology makes ''S'' into a |
Singleton (mathematics)
In mathematics, a singleton, also known as a unit set or one-point set, is a set with exactly one element. For example, the set \ is a singleton whose single element is 0. Properties Within the framework of Zermelo–Fraenkel set theory, the axiom of regularity guarantees that no set is an element of itself. This implies that a singleton is necessarily distinct from the element it contains, thus 1 and are not the same thing, and the empty set is distinct from the set containing only the empty set. A set such as \ is a singleton as it contains a single element (which itself is a set, however, not a singleton). A set is a singleton if and only if its cardinality is . In von Neumann's set-theoretic construction of the natural numbers, the number 1 is ''defined'' as the singleton \. In axiomatic set theory, the existence of singletons is a consequence of the axiom of pairing: for any set ''A'', the axiom applied to ''A'' and ''A'' asserts the existence of \, which is the same a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
T1 Space
In topology and related branches of mathematics, a T1 space is a topological space in which, for every pair of distinct points, each has a neighborhood not containing the other point. An R0 space is one in which this holds for every pair of topologically distinguishable points. The properties T1 and R0 are examples of separation axioms. Definitions Let ''X'' be a topological space In mathematics, a topological space is, roughly speaking, a geometrical space in which closeness is defined but cannot necessarily be measured by a numeric distance. More specifically, a topological space is a set whose elements are called points ... and let ''x'' and ''y'' be points in ''X''. We say that ''x'' and ''y'' are if each lies in a neighbourhood (mathematics), neighbourhood that does not contain the other point. * ''X'' is called a T1 space if any two distinct points in ''X'' are separated. * ''X'' is called an R0 space if any two topologically distinguishable points in ''X'' are separa ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
First Countable
In topology, a branch of mathematics, a first-countable space is a topological space satisfying the "first axiom of countability". Specifically, a space X is said to be first-countable if each point has a countable neighbourhood basis (local base). That is, for each point x in X there exists a sequence N_1, N_2, \ldots of neighbourhoods of x such that for any neighbourhood N of x there exists an integer i with N_i contained in N. Since every neighborhood of any point contains an open neighborhood of that point, the neighbourhood basis can be chosen without loss of generality to consist of open neighborhoods. Examples and counterexamples The majority of 'everyday' spaces in mathematics are first-countable. In particular, every metric space is first-countable. To see this, note that the set of open balls centered at x with radius 1/n for integers form a countable local base at x. An example of a space which is not first-countable is the cofinite topology on an uncountable set ( ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Niemytzki Plane
In mathematics, the Moore plane, also sometimes called Niemytzki plane (or Nemytskii plane, Nemytskii's tangent disk topology), is a topological space. It is a completely regular Hausdorff space (also called Tychonoff space) that is not normal. It is named after Robert Lee Moore and Viktor Vladimirovich Nemytskii. Definition If \Gamma is the (closed) upper half-plane \Gamma = \, then a topology may be defined on \Gamma by taking a local basis \mathcal(p,q) as follows: *Elements of the local basis at points (x,y) with y>0 are the open discs in the plane which are small enough to lie within \Gamma. *Elements of the local basis at points p = (x,0) are sets \\cup A where ''A'' is an open disc in the upper half-plane which is tangent to the ''x'' axis at ''p''. That is, the local basis is given by :\mathcal(p,q) = \begin \, & \mbox q > 0; \\ \, & \mbox q = 0. \end Thus the subspace topology inherited by \Gamma\backslash \ is the same as the subspace topology inherited from the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Sorgenfrey Plane
In topology, the Sorgenfrey plane is a frequently-cited counterexample to many otherwise plausible-sounding conjectures. It consists of the product of two copies of the Sorgenfrey line, which is the real line \mathbb under the half-open interval topology. The Sorgenfrey line and plane are named for the American mathematician Robert Sorgenfrey. A basis for the Sorgenfrey plane, denoted \mathbb from now on, is therefore the set of rectangles that include the west edge, southwest corner, and south edge, and omit the southeast corner, east edge, northeast corner, north edge, and northwest corner. Open sets in \mathbb are unions of such rectangles. \mathbb is an example of a space that is a product of Lindelöf spaces that is not itself a Lindelöf space. The so-called anti-diagonal \Delta = \ is an uncountable discrete subset of this space, and this is a non- separable subset of the separable space \mathbb. It shows that separability does not inherit to closed subspaces. Note ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
