|
Cocountable Topology
The cocountable topology, also known as the countable complement topology, is a topology that can be defined on any infinite set X. In this topology, a set is open if its complement in X is either countable or equal to the entire set. Equivalently, the open sets consist of the empty set and all subsets of X whose complements are countable, a property known as cocountability. The only closed sets in this topology are X itself and the countable subsets of X. Definitions Let X be an infinite set and let \mathcal be the set of subsets of X such that H \in \mathcal \iff X \setminus H \mbox\, H = \varnothing then \mathcal is the countable complement toplogy on X , and the topological space T = ( X , \mathcal ) is a countable complement space. Symbolically, the topology is typically written as \mathcal = \. Double pointed cocountable topology Let X be an uncountable set. We define the topology \mathcal as all open sets whose complements are countable, along with \varn ... [...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] |
Set Intersection
In set theory, the intersection of two sets A and B, denoted by A \cap B, is the set containing all elements of A that also belong to B or equivalently, all elements of B that also belong to A. Notation and terminology Intersection is written using the symbol "\cap" between the terms; that is, in infix notation. For example: \\cap\=\ \\cap\=\varnothing \Z\cap\N=\N \\cap\N=\ The intersection of more than two sets (generalized intersection) can be written as: \bigcap_^n A_i which is similar to capital-sigma notation. For an explanation of the symbols used in this article, refer to the table of mathematical symbols. Definition The intersection of two sets A and B, denoted by A \cap B, is the set of all objects that are members of both the sets A and B. In symbols: A \cap B = \. That is, x is an element of the intersection A \cap B if and only if x is both an element of A and an element of B. For example: * The intersection of the sets and is . * The number 9 is in th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Subspace Topology
In topology and related areas of mathematics, a subspace of a topological space (''X'', ''𝜏'') is a subset ''S'' of ''X'' which is equipped with a topology induced from that of ''𝜏'' called the subspace topology (or the relative topology, or the induced topology, or the trace topology).; see Section 26.2.4. Submanifolds, p. 59 Definition Given a topological space (X, \tau) and a subset S of X, the subspace topology on S is defined by :\tau_S = \lbrace S \cap U \mid U \in \tau \rbrace. That is, a subset of S is open in the subspace topology if and only if it is the intersection of S with an open set in (X, \tau). If S is equipped with the subspace topology then it is a topological space in its own right, and is called a subspace of (X, \tau). Subsets of topological spaces are usually assumed to be equipped with the subspace topology unless otherwise stated. Alternatively we can define the subspace topology for a subset S of X as the coarsest topology for which the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Indiscrete Topology
In topology, a topological space with the trivial topology is one where the only open sets are the empty set and the entire space. Such spaces are commonly called indiscrete, anti-discrete, concrete or codiscrete. Intuitively, this has the consequence that all points of the space are "lumped together" and cannot be distinguished by topological means. Every indiscrete space can be viewed as a pseudometric space in which the distance between any two points is zero. Details The trivial topology is the topology with the least possible number of open sets, namely the empty set and the entire space, since the definition of a topology requires these two sets to be open. Despite its simplicity, a space ''X'' with more than one element and the trivial topology lacks a key desirable property: it is not a T0 space. Other properties of an indiscrete space ''X''—many of which are quite unusual—include: * The only closed sets are the empty set and ''X''. * The only possible basi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Metrizable
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, \tau) is said to be metrizable if there is a metric d : X \times X \to , \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 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 metric space to which it is homeomorphic. Metrization theorems One of the first widely recognized metrization theorems was '. T ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Standard Topology
In mathematics, the real coordinate space or real coordinate ''n''-space, of dimension , denoted or , is the set of all ordered -tuples of real numbers, that is the set of all sequences of real numbers, also known as ''coordinate vectors''. Special cases are called the ''real line'' , the ''real coordinate plane'' , and the ''real coordinate three-dimensional space'' . With component-wise addition and scalar multiplication, it is a real vector space. The coordinates over any basis of the elements of a real vector space form a ''real coordinate space'' of the same dimension as that of the vector space. Similarly, the Cartesian coordinates of the points of a Euclidean space of dimension , ( Euclidean line, ; Euclidean plane, ; Euclidean three-dimensional space, ) form a ''real coordinate space'' of dimension . These one to one correspondences between vectors, points and coordinate vectors explain the names of ''coordinate space'' and ''coordinate vector''. It allows using ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Metacompact Space
In the mathematical field of general topology, a topological space is said to be metacompact if every open cover has a point-finite open refinement. That is, given any open cover of the topological space, there is a refinement that is again an open cover with the property that every point is contained only in finitely many sets of the refining cover. A space is countably metacompact if every countable open cover has a point-finite open refinement. Properties The following can be said about metacompactness in relation to other properties of topological spaces: * Every paracompact space is metacompact. This implies that every compact space is metacompact, and every metric space is metacompact. The converse does not hold: a counter-example is the Dieudonné plank. * Every metacompact space is orthocompact. * Every metacompact normal space is a shrinking space * The product of a compact space and a metacompact space is metacompact. This follows from the tube lemma. * An e ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Limit Point Compact
In mathematics, a topological space X is said to be limit point compactSteen & Seebach, p. 19 or weakly countably compact if every infinite subset of X has a limit point in X. This property generalizes a property of compact spaces. In a metric space, limit point compactness, compactness, and sequential compactness are all equivalent. For general topological spaces, however, these three notions of compactness are not equivalent. Properties and examples * In a topological space, subsets without limit point are exactly those that are closed and discrete in the subspace topology. So a space is limit point compact if and only if all its closed discrete subsets are finite. * A space X is limit point compact if and only if it has an infinite closed discrete subspace. Since any subset of a closed discrete subset of X is itself closed in X and discrete, this is equivalent to require that X has a countably infinite closed discrete subspace. * Some examples of spaces that are not limit ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Pseudocompact Space
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. Properties related to pseudocompactness * For a Tychonoff space ''X'' to be pseudocompact requires that every locally finite collection of non-empty open sets of ''X'' be finite. There are many equivalent conditions for pseudocompactness (sometimes some separation axiom should be assumed); a large number of them are quoted in Stephenson 2003. Some historical remarks about earlier results can be found in Engelking 1989, p. 211. *Every countably compact space is pseudocompact. For normal Hausdorff spaces the converse is true. *As a consequence of the above result, every sequentially compact space is pseudocompact. The converse is true for metric spaces. A ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Locally Connected Space
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] |
Connected Space
In topology and related branches of mathematics, a connected space is a topological space that cannot be represented as the union (set theory), union of two or more disjoint set, disjoint Empty set, non-empty open (topology), open subsets. Connectedness is one of the principal topological properties that distinguish topological spaces. A subset of a topological space X is a if it is a connected space when viewed as a Subspace topology, subspace of X. Some related but stronger conditions are #Path connectedness, path connected, Simply connected space, simply connected, and N-connected space, n-connected. Another related notion is Locally connected space, locally connected, which neither implies nor follows from connectedness. Formal definition A topological space X is said to be if it is the union of two disjoint non-empty open sets. Otherwise, X is said to be connected. A subset of a topological space is said to be connected if it is connected under its subspace topology. So ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hyperconnected Space
In the mathematical field of topology, a hyperconnected space or irreducible space is a topological space ''X'' that cannot be written as the union of two proper closed subsets (whether disjoint or non-disjoint). The name ''irreducible space'' is preferred in algebraic geometry. For a topological space ''X'' the following conditions are equivalent: * No two nonempty open sets are disjoint. * ''X'' cannot be written as the union of two proper closed subsets. * Every nonempty open set is dense in ''X''. * Every open set is connected. * The interior of every proper closed subset of ''X'' is empty. * Every subset is dense or nowhere dense in ''X''. * No two points can be separated by disjoint neighbourhoods. A space which satisfies any one of these conditions is called ''hyperconnected'' or ''irreducible''. Due to the condition about neighborhoods of distinct points being in a sense the opposite of the Hausdorff property, some authors call such spaces anti-Hausdorff. The empty s ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
