Clopen setIn topology, a clopen set (a portmanteau of closed-open set) in a topological space is a set which is both open and closed. That this is possible may seem counter-intuitive, as the common meanings of and are antonyms, but their mathematical definitions are not mutually exclusive. A set is closed if its complement is open, which leaves the possibility of an open set whose complement is also open, making both sets both open closed, and therefore clopen.
Isomorphism classIn mathematics, an isomorphism class is a collection of mathematical objects isomorphic to each other. Isomorphism classes are often defined as the exact identity of the elements of the set is considered irrelevant, and the properties of the structure of the mathematical object are studied. Examples of this are ordinals and graphs. However, there are circumstances in which the isomorphism class of an object conceals vital internal information about it; consider these examples: The associative algebras consisting of coquaternions and 2 × 2 real matrices are isomorphic as rings.
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.
Domain of a functionIn mathematics, the domain of a function is the set of inputs accepted by the function. It is sometimes denoted by or , where f is the function. In layman's terms, the domain of a function can generally be thought of as "what x can be". More precisely, given a function , the domain of f is X. In modern mathematical language, the domain is part of the definition of a function rather than a property of it. In the special case that X and Y are both subsets of , the function f can be graphed in the Cartesian coordinate system.
Up toTwo mathematical objects a and b are called equal up to an equivalence relation R if a and b are related by R, that is, if aRb holds, that is, if the equivalence classes of a and b with respect to R are equal. This figure of speech is mostly used in connection with expressions derived from equality, such as uniqueness or count. For example, x is unique up to R means that all objects x under consideration are in the same equivalence class with respect to the relation R.
Kuratowski closure axiomsIn topology and related branches of mathematics, the Kuratowski closure axioms are a set of axioms that can be used to define a topological structure on a set. They are equivalent to the more commonly used open set definition. They were first formalized by Kazimierz Kuratowski, and the idea was further studied by mathematicians such as Wacław Sierpiński and António Monteiro, among others. A similar set of axioms can be used to define a topological structure using only the dual notion of interior operator.
Cocountable topologyThe cocountable topology or countable complement topology on any set X consists of the empty set and all cocountable subsets of X, that is all sets whose complement in X is countable. It follows that the only closed subsets are X and the countable subsets of X. Symbolically, one writes the topology as Every set X with the cocountable topology is Lindelöf, since every nonempty open set omits only countably many points of X. It is also T1, as all singletons are closed.
ConnectednessIn mathematics, connectedness is used to refer to various properties meaning, in some sense, "all one piece". When a mathematical object has such a property, we say it is connected; otherwise it is disconnected. When a disconnected object can be split naturally into connected pieces, each piece is usually called a component (or connected component). Connected space A topological space is said to be connected if it is not the union of two disjoint nonempty open sets.
Indexed familyIn mathematics, a family, or indexed family, is informally a collection of objects, each associated with an index from some index set. For example, a family of real numbers, indexed by the set of integers, is a collection of real numbers, where a given function selects one real number for each integer (possibly the same) as indexing. More formally, an indexed family is a mathematical function together with its domain and (that is, indexed families and mathematical functions are technically identical, just point of views are different).
Pseudometric spaceIn mathematics, a pseudometric space is a generalization of a metric space in which the distance between two distinct points can be zero. Pseudometric spaces were introduced by Đuro Kurepa in 1934. In the same way as every normed space is a metric space, every seminormed space is a pseudometric space. Because of this analogy the term semimetric space (which has a different meaning in topology) is sometimes used as a synonym, especially in functional analysis. When a topology is generated using a family of pseudometrics, the space is called a gauge space.
