Separated sets

In topology and related branches of mathematics, separated sets are pairs of subsets of a given topological space that are related to each other in a certain way: roughly speaking, neither overlapping nor touching. The notion of when two sets are separated or not is important both to the notion of connected spaces (and their connected components) as well as to the separation axioms for topological spaces. Separated sets should not be confused with separated spaces (defined below), which are somewhat related but different. Separable spaces are again a completely different topological concept. There are various ways in which two subsets and of a topological space can be considered to be separated. A most basic way in which two sets can be separated is if they are disjoint, that is, if their intersection is the empty set. This property has nothing to do with topology as such, but only set theory. Each of the properties below is stricter than disjointness, incorporating some topological information. The properties are presented in increasing order of specificity, each being a stronger notion than the preceding one. A more restrictive property is that and are in if each is disjoint from the other's closure: This property is known as the . Since every set is contained in its closure, two separated sets automatically must be disjoint. The closures themselves do not have to be disjoint from each other; for example, the intervals and are separated in the real line even though the point 1 belongs to both of their closures. A more general example is that in any metric space, two open balls and are separated whenever The property of being separated can also be expressed in terms of derived set (indicated by the prime symbol): and are separated when they are disjoint and each is disjoint from the other's derived set, that is, (As in the case of the first version of the definition, the derived sets and are not required to be disjoint from each other.) The sets and are if there are neighbourhoods of and of such that and are disjoint.

À 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.

Concepts associés (22)

Cours associés (3)

Séances de cours associées (31)

MATH-225: Topology

On étudie des notions de topologie générale: unions et quotients d'espaces topologiques; on approfondit les notions de revêtements et de groupe fondamental,et d'attachements de cellules et on démontre

MATH-513: Metric embeddings

The course aims to introduce the basic concepts and results on metric embeddings, or more precisely on approximate embeddings. This area has been under rapid development since the 90's and it has stro

MATH-502: Distribution and interpolation spaces

The aim of this course is to provide a solid foundation of theory of distributions, Sobolev spaces and an introduction to the more general theory of interpolation spaces.

Actions de groupe : quotients et homomorphismes

Discute des actions de groupe, des quotients et des homomorphismes, en mettant l'accent sur les implications pratiques pour divers groupes et la construction d'espaces projectifs complexes.

Espaces projectifs : séparation et définitions

Couvre les espaces séparés, les propriétés de saturation et les espaces projectifs, y compris le plan projectif réel et la compacité.

Critère de séparation dans le recollement

Se concentre sur un critère de séparabilité dans le recollement, démontrant les propriétés et les applications du fer dans divers cas.

La topologie cofinie est la topologie que l'on peut définir sur tout ensemble X de la manière suivante : l'ensemble des ouverts est constitué de l'ensemble vide et parties de X cofinies, c'est-à-dire dont le complémentaire dans X est fini. Formellement, si l'on note τ la topologie cofinie sur X, on a : ou plus simplement, en définissant la topologie via les fermés : les fermés de X sont X et ses parties finies. La topologie induite sur une partie Y de X est la topologie cofinie sur Y.

In mathematics, the Sierpiński space (or the connected two-point set) is a finite topological space with two points, only one of which is closed. It is the smallest example of a topological space which is neither trivial nor discrete. It is named after Wacław Sierpiński. The Sierpiński space has important relations to the theory of computation and semantics, because it is the classifying space for open sets in the Scott topology.