Extension topology

In topology, a branch of mathematics, an extension topology is a topology placed on the disjoint union of a topological space and another set.

There are various types of extension topology, described in the sections below.

Contents

Extension topology

Let X be a topological space and P a set disjoint from X. Consider in X ∪ P the topology whose open sets are of the form: A ∪ Q, where A is an open set of X and Q is a subset of P.

Note that the closed sets of X ∪ P are of the form: B ∪ Q, where B is a closed set of X and Q is a subset of P.

For these reasons this topology is called the extension topology of X plus P, with which one extends to X ∪ P the open and the closed sets of X. Note that the subspace topology of X as a subset of X ∪ P is the original topology of X, while the subspace topology of P as a subset of X ∪ P is the discrete topology.

Being Y a topological space and R a subset of Y, one might ask whether the extension topology of Y - R plus R is the same as the original topology of Y, and the answer is in general no.

Note the similitude of this extension topology construction and the Alexandroff one-point compactification, in which case, having a topological space X which one wishes to compactify by adding a point ∞ in infinity, one considers the closed sets of X ∪ {∞} to be the sets of the form: K, where K is a closed compact set of X, or B ∪ {∞}, where B is a closed set of X.

Open extension topology

Let X be a topological space and P a set disjoint from X. Consider in X ∪ P the topology whose open sets are of the form: X ∪ Q, where Q is a subset of P, or A, where A is an open set of X.

For this reason this topology is called the open extension topology of X plus P, with which one extends to X ∪ P the open sets of X. Note that the subspace topology of X as a subset of X ∪ P is the original topology of X, while the subspace topology of P as a subset of X ∪ P is the discrete topology.

Note that the closed sets of X ∪ P are of the form: Q, where Q is a subset of P, or B ∪ P, where B is a closed set of X.

Being Y a topological space and R a subset of Y, one might ask whether the extension topology of Y - R plus R is the same as the original topology of Y, and the answer is in general no.

Note that the open extension topology of X ∪ P is smaller than the extension topology of X ∪ P.

Being Z a set and p a point in Z, one obtains the excluded point topology construction by considering in Z the discrete topology and applying the open extension topology construction to Z - {p} plus p.

Closed extension topology

Let X be a topological space and P a set disjoint from X. Consider in X ∪ P the topology whose closed sets are of the form: X ∪ Q, where Q is a subset of P, or B, where B is a closed set of X.

For this reason this topology is called the closed extension topology of X plus P, with which one extends to X ∪ P the closed sets of X. Note that the subspace topology of X as a subset of X ∪ P is the original topology of X, while the subspace topology of P as a subset of X ∪ P is the discrete topology.

Note that the open sets of X ∪ P are of the form: Q, where Q is a subset of P, or A ∪ P, where A is an open set of X.

Being Y a topological space and R a subset of Y, one might ask whether the extension topology of Y - R plus R is the same as the original topology of Y, and the answer is in general no.

Note that the closed extension topology of X ∪ P is smaller than the extension topology of X ∪ P.

Being Z a set and p a point in Z, one obtains the particular point topology construction by considering in Z the discrete topology and applying the closed extension topology construction to Z - {p} plus p.

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

  • Extension (mathematics) — In mathematics, the word extension has many uses. See:Analysis* Carathéodory s extension theorem * Continuous linear extension * M. Riesz extension theorem * Krein extension theorem * Hahn Banach theoremAlgebra* Abelian extension * Algebraic… …   Wikipedia

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

  • Particular point topology — In mathematics, the particular point topology (or included point topology) is a topology where sets are considered open if they are empty or contain a particular, arbitrarily chosen, point of the topological space. Formally, let X be any set and… …   Wikipedia

  • Excluded point topology — In mathematics, the excluded point topology is a topological structure where exclusion of a particular point defines openness. Let X be any set and pin X. A proper subset of X is open if and only if it does not contain p . There are a variety of… …   Wikipedia

  • Geospatial topology — Topology In a Geographic Information System GIS, topology is a set of rules which define the relationship between points, lines, and polygons. ESRI enables topology generation within their geodatabase feature classes. Network topology explores… …   Wikipedia

  • Alexandroff extension — In mathematical field of topology, the Alexandroff extension is a way to extend a noncompact topological space by adjoining a single point in such a way that the resulting space is compact. It is named for the Russian mathematician Pavel… …   Wikipedia

  • Tietze extension theorem — In topology, the Tietze extension theorem states that, if X is a normal topological space and is a continuous map from a closed subset A of X into the real numbers carrying the standard topology, then there exists a continuous map with F(a) =… …   Wikipedia

  • List of general topology topics — This is a list of general topology topics, by Wikipedia page. Contents 1 Basic concepts 2 Limits 3 Topological properties 3.1 Compactness and countability …   Wikipedia

  • Differential topology — In mathematics, differential topology is the field dealing with differentiable functions on differentiable manifolds. It is closely related to differential geometry and together they make up the geometric theory of differentiable manifolds.… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.