Partition topology

Partition topology

In mathematics, the partition topology is a topology that can be induced on any set X by partitioning X into disjoint subsets P; these subsets form the basis for the topology. There are two important examples which have their own names:

• The odd–even topology is the topology where $X = \mathbb{N}$ and $P = {\left \{ \{2k|k\in\mathbb{N}\}, \{2k+1|k\in\mathbb{N}\} \right \} }.$
• The deleted integer topology is defined by letting $X = \begin{matrix}\bigcup_{n\in\mathbb{N}} (n-1,n) \subset \mathbb{R} \end{matrix}$ and $P= {\left \{ (0,1), (1,2), (2,3), \dots \right \} }$.

The trivial partitions yield the discrete topology (each point of X is a set in P) or indiscrete topology (P = {X}).

Any set X with a partition topology generated by a partition P can be viewed as a pseudometric space with a pseudometric given by:

$d(x,y) = \begin{cases} 0 & \text{if }x\text{ and }y\text{ are in the same partition} \\ 1 & \text{otherwise}, \end{cases}$

This is not a metric unless P yields the discrete topology.

The partition topology provides an important example of the independence of various separation axioms. Unless P is trivial, at least one set in P contains more than one point, and the elements of this set are topologically indistinguishable: the topology does not separate points. Hence X is not a Kolmogorov space, nor a T1 space, a Hausdorff space or an Urysohn space. In a partition topology the complement of every open set is also open, and therefore a set is open if and only if it is closed. Therefore, X is a regular, completely regular, normal and completely normal.

We note also that X/P is the discrete topology.

References

Wikimedia Foundation. 2010.

Look at other dictionaries:

• Topology — (Greek topos , place, and logos , study ) is the branch of mathematics that studies the properties of a space that are preserved under continuous deformations. Topology grew out of geometry, but unlike geometry, topology is not concerned with… …   Wikipedia

• Partition de l'unité — En première approche, on peut dire qu une partition de l unité est une famille de fonctions positives telles que, en chaque point, la somme sur toutes les fonctions des valeurs prises par chacune d elle vaille 1 : . Plus précisément, si X… …   Wikipédia en Français

• Counterexamples in Topology —   Author(s) Lynn Arthur Steen J. Ar …   Wikipedia

• List of partition topics — This is a list of partition topics, in the mathematical sense. Partition (disambiguation) lists meanings in other fields. In mathematics, a partition may be a partition of a set or an ordered partition of a set, or a partition of a graph, or a… …   Wikipedia

• Glossary of topology — 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… …   Wikipedia

• Coherent topology — In topology, a coherent topology is one that is uniquely determined by a family of subspaces. Loosely speaking, a topological space is coherent with a family of subspaces if it is a topological union of those subspaces. Contents 1 Definition 2… …   Wikipedia

• Lamination (topology) — Lamination associated with Mandelbrot set Lamination of rabbit Julia s …   Wikipedia

• Interior (topology) — The point x is an interior point of S, since it is contained within S together with an open ball around it. The point y is on the boundary of S. In mathematics, specifically in topology, the interior of a set S of points of a topological space… …   Wikipedia

• List of mathematics articles (P) — NOTOC P P = NP problem P adic analysis P adic number P adic order P compact group P group P² irreducible P Laplacian P matrix P rep P value P vector P y method Pacific Journal of Mathematics Package merge algorithm Packed storage matrix Packing… …   Wikipedia

• Finite topological space — In mathematics, a finite topological space is a topological space for which the underlying point set is finite. That is, it is a topological space for which there are only finitely many points.While topology is mostly interesting only for… …   Wikipedia