Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?
Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur Graph Search.
Concept
Disjoint union (topology)
Résumé
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.
The name coproduct originates from the fact that the disjoint union is the categorical dual of the product space construction.
Let {Xi : i ∈ I} 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 is open in Xi for each i ∈ I. 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.
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 : Xi → Y is a continuous map for each i ∈ I, then there exists precisely one continuous map f : X → Y such that the following set of diagrams commute:
This shows that the disjoint union is the coproduct in the . It follows from the above universal property that a map f : X → Y is continuous iff fi = f o φi is continuous for all i in I.
In addition to being continuous, the canonical injections φi : Xi → X 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.
Source officielle
À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.