Concept

Preclosure operator

Résumé
In topology, a preclosure operator or Čech closure operator is a map between subsets of a set, similar to a topological closure operator, except that it is not required to be idempotent. That is, a preclosure operator obeys only three of the four Kuratowski closure axioms. Definition A preclosure operator on a set X is a map [\ \ ]_p :[\ \ ]_p:\mathcal{P}(X) \to \mathcal{P}(X) where \mathcal{P}(X) is the power set of X. The preclosure operator has to satisfy the following properties:

[\varnothing]_p = \varnothing ! (Preservation of nullary unions);

A \subseteq [A]_p (Extensivity);

[A \cup B]_p = [A]_p \cup [B]_p (Preservation of binary unions).

The last axiom implies the following: : 4. A \subseteq B implies [A]_p \subseteq [B]_p. Topology A set A is closed (with respect to the preclosure) if [A]_p
À 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.
Publications associées

Chargement

Personnes associées

Chargement

Unités associées

Chargement

Concepts associés

Chargement

Cours associés

Chargement

Séances de cours associées

Chargement