Disjoint union (topology)

Last updated

In general topology and related areas of mathematics, the disjoint union (also called the direct sum, free union, free sum, topological sum, or coproduct) of a family of topological spaces is a space formed by equipping the disjoint union of the underlying sets with a natural topology called the disjoint union topology. Roughly speaking, in the disjoint union the given spaces are considered as part of a single new space where each looks as it would alone and they are isolated from each other.

Contents

The name coproduct originates from the fact that the disjoint union is the categorical dual of the product space construction.

Definition

Let {Xi : iI} be a family of topological spaces indexed by I. Let

be the disjoint union of the underlying sets. For each i in I, let

be the canonical injection (defined by ). The disjoint union topology on X is defined as the finest topology on X for which all the canonical injections are continuous (i.e.: it is the final topology on X induced by the canonical injections).

Explicitly, the disjoint union topology can be described as follows. A subset U of X is open in X if and only if its preimage is open in Xi for each iI. Yet another formulation is that a subset V of X is open relative to X iff its intersection with Xi is open relative to Xi for each i.

Properties

The disjoint union space X, together with the canonical injections, can be characterized by the following universal property: If Y is a topological space, and fi : XiY is a continuous map for each iI, then there exists precisely one continuous map f : XY such that the following set of diagrams commute:

Characteristic property of disjoint unions Coproduct-02.svg
Characteristic property of disjoint unions

This shows that the disjoint union is the coproduct in the category of topological spaces. It follows from the above universal property that a map f : XY is continuous iff fi = f o φi is continuous for all i in I.

In addition to being continuous, the canonical injections φi : XiX are open and closed maps. It follows that the injections are topological embeddings so that each Xi may be canonically thought of as a subspace of X.

Examples

If each Xi is homeomorphic to a fixed space A, then the disjoint union X is homeomorphic to the product space A×I where I has the discrete topology.

Preservation of topological properties

See also

Related Research Articles

<span class="mw-page-title-main">Connected space</span> Topological space that is connected

In topology and related branches of mathematics, a connected space is a topological space that cannot be represented as the union of two or more disjoint non-empty open subsets. Connectedness is one of the principal topological properties that are used to distinguish topological spaces.

In mathematics, any vector space has a corresponding dual vector space consisting of all linear forms on together with the vector space structure of pointwise addition and scalar multiplication by constants.

In topology and related areas of mathematics, a product space is the Cartesian product of a family of topological spaces equipped with a natural topology called the product topology. This topology differs from another, perhaps more natural-seeming, topology called the box topology, which can also be given to a product space and which agrees with the product topology when the product is over only finitely many spaces. However, the product topology is "correct" in that it makes the product space a categorical product of its factors, whereas the box topology is too fine; in that sense the product topology is the natural topology on the Cartesian product.

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 fundamental to algebraic topology, differential topology and geometric topology.

In mathematics, weak topology is an alternative term for certain initial topologies, often on topological vector spaces or spaces of linear operators, for instance on a Hilbert space. The term is most commonly used for the initial topology of a topological vector space with respect to its continuous dual. The remainder of this article will deal with this case, which is one of the concepts of functional analysis.

In the 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 after the Russian mathematician Pavel Alexandroff. More precisely, let X be a topological space. Then the Alexandroff extension of X is a certain compact space X* together with an open embedding c : X → X* such that the complement of X in X* consists of a single point, typically denoted ∞. The map c is a Hausdorff compactification if and only if X is a locally compact, noncompact Hausdorff space. For such spaces the Alexandroff extension is called the one-point compactification or Alexandroff compactification. The advantages of the Alexandroff compactification lie in its simple, often geometrically meaningful structure and the fact that it is in a precise sense minimal among all compactifications; the disadvantage lies in the fact that it only gives a Hausdorff compactification on the class of locally compact, noncompact Hausdorff spaces, unlike the Stone–Čech compactification which exists for any topological space.

<span class="mw-page-title-main">General topology</span> Branch of topology

In mathematics, general topology is the branch of topology that deals with the basic set-theoretic definitions and constructions used in topology. It is the foundation of most other branches of topology, including differential topology, geometric topology, and algebraic topology.

In mathematics, more specifically topology, a local homeomorphism is a function between topological spaces that, intuitively, preserves local structure. If is a local homeomorphism, is said to be an étale space over Local homeomorphisms are used in the study of sheaves. Typical examples of local homeomorphisms are covering maps.

In topology and related branches of mathematics, a totally disconnected space is a topological space that has only singletons as connected subsets. In every topological space, the singletons are connected; in a totally disconnected space, these are the only connected subsets.

In category theory, the coproduct, or categorical sum, is a construction which includes as examples the disjoint union of sets and of topological spaces, the free product of groups, and the direct sum of modules and vector spaces. The coproduct of a family of objects is essentially the "least specific" object to which each object in the family admits a morphism. It is the category-theoretic dual notion to the categorical product, which means the definition is the same as the product but with all arrows reversed. Despite this seemingly innocuous change in the name and notation, coproducts can be and typically are dramatically different from products.

In mathematics, a Cantor space, named for Georg Cantor, is a topological abstraction of the classical Cantor set: a topological space is a Cantor space if it is homeomorphic to the Cantor set. In set theory, the topological space 2ω is called "the" Cantor space.

In mathematics, the Gelfand representation in functional analysis is either of two things:

In mathematics, the category of topological spaces, often denoted Top, is the category whose objects are topological spaces and whose morphisms are continuous maps. This is a category because the composition of two continuous maps is again continuous, and the identity function is continuous. The study of Top and of properties of topological spaces using the techniques of category theory is known as categorical topology.

In topology, a topological space is called a compactly generated space or k-space if its topology is determined by compact spaces in a manner made precise below. There is in fact no commonly agreed upon definition for such spaces, as different authors use variations of the definition that are not exactly equivalent to each other. Also some authors include some separation axiom in the definition of one or both terms, and others don't.

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 X called the subspace topology.

In mathematics, an adjunction space (or attaching space) is a common construction in topology where one topological space is attached or "glued" onto another. Specifically, let X and Y be topological spaces, and let A be a subspace of Y. Let f : AX be a continuous map (called the attaching map). One forms the adjunction space XfY (sometimes also written as X +fY) by taking the disjoint union of X and Y and identifying a with f(a) for all a in A. Formally,

In topology and related areas of mathematics, a topological property or topological invariant is a property of a topological space that is invariant under homeomorphisms. Alternatively, a topological property is a proper class of topological spaces which is closed under homeomorphisms. That is, a property of spaces is a topological property if whenever a space X possesses that property every space homeomorphic to X possesses that property. Informally, a topological property is a property of the space that can be expressed using open sets.

In topology, a branch of mathematics, a topological manifold is a topological space that locally resembles real n-dimensional Euclidean space. Topological manifolds are an important class of topological spaces, with applications throughout mathematics. All manifolds are topological manifolds by definition. Other types of manifolds are formed by adding structure to a topological manifold. Every manifold has an "underlying" topological manifold, obtained by simply "forgetting" the added structure. However, not every topological manifold can be endowed with a particular additional structure. For example, the E8 manifold is a topological manifold which cannot be endowed with a differentiable structure.

In mathematics, a Banach manifold is a manifold modeled on Banach spaces. Thus it is a topological space in which each point has a neighbourhood homeomorphic to an open set in a Banach space. Banach manifolds are one possibility of extending manifolds to infinite dimensions.

In topology, a coherent topology is a topology 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. It is also sometimes called the weak topology generated by the family of subspaces, a notion that is quite different from the notion of a weak topology generated by a set of maps.