Quotient space (topology)In topology and related areas of mathematics, the quotient space of a topological space under a given equivalence relation is a new topological space constructed by endowing the quotient set of the original topological space with the quotient topology, that is, with the finest topology that makes continuous the canonical projection map (the function that maps points to their equivalence classes). In other words, a subset of a quotient space is open if and only if its under the canonical projection map is open in the original topological space.
Zariski topologyIn algebraic geometry and commutative algebra, the Zariski topology is a topology which is primarily defined by its closed sets. It is very different from topologies which are commonly used in real or complex analysis; in particular, it is not Hausdorff. This topology was introduced primarily by Oscar Zariski and later generalized for making the set of prime ideals of a commutative ring (called the spectrum of the ring) a topological space.
Spectrum of a ringIn commutative algebra, the prime spectrum (or simply the spectrum) of a ring R is the set of all prime ideals of R, and is usually denoted by ; in algebraic geometry it is simultaneously a topological space equipped with the sheaf of rings . For any ideal I of R, define to be the set of prime ideals containing I. We can put a topology on by defining the to be This topology is called the Zariski topology. A basis for the Zariski topology can be constructed as follows. For f ∈ R, define Df to be the set of prime ideals of R not containing f.
Spectral spaceIn mathematics, a spectral space is a topological space that is homeomorphic to the spectrum of a commutative ring. It is sometimes also called a coherent space because of the connection to coherent topos. Let X be a topological space and let K(X) be the set of all compact open subsets of X. Then X is said to be spectral if it satisfies all of the following conditions: X is compact and T0. K(X) is a basis of open subsets of X. K(X) is closed under finite intersections. X is sober, i.e.
Particular point topologyIn mathematics, the particular point topology (or included point topology) is a topology where a set is open if it contains a particular point of the topological space. Formally, let X be any non-empty set and p ∈ X. The collection of subsets of X is the particular point topology on X. There are a variety of cases that are individually named: If X has two points, the particular point topology on X is the Sierpiński space. If X is finite (with at least 3 points), the topology on X is called the finite particular point topology.
Alexandrov topologyIn topology, an Alexandrov topology is a topology in which the intersection of every family of open sets is open. It is an axiom of topology that the intersection of every finite family of open sets is open; in Alexandrov topologies the finite restriction is dropped. A set together with an Alexandrov topology is known as an Alexandrov-discrete space or finitely generated space. Alexandrov topologies are uniquely determined by their specialization preorders.
