Ê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 GraphSearch.
Concept
Ensemble ordonné filtrant
Résumé
En mathématiques, un ensemble ordonné filtrant est un ensemble ordonné (c'est-à-dire dans lequel on peut dire que certains éléments sont plus grands que d'autres) tel que pour toute paire d'éléments, il existe un élément qui est plus grand que chaque élément de la paire. Cela sous-entend en premier lieu que ce troisième élément peut être comparé aux deux premiers, ce qui n'est pas automatique dans un ensemble ordonné (implicitement partiellement ordonné, par opposition à totalement ordonné).
En topologie, cette notion est utilisée pour définir les suites généralisées où au lieu d'être indexées par , elles sont indexées par un ensemble ordonné filtrant. L'idée étant que pour exprimer que quelque chose « tend vers l'infini » il n'est pas nécessaire d'avoir un ordre total comme sur mais simplement que pour tout sous-ensemble fini, on puisse dire qu'il y a un élément plus grand que tous.
Un ensemble ordonné (I, ≤) est dit :
filtrant (à droite) si
filtrant à gauche si l'ordre opposé est filtrant à droite, c'est-à-dire si
On peut généraliser les définitions ci-dessus aux relations de préordre.
est filtrant, plus généralement, tout ensemble totalement ordonné est filtrant.
Pour tout ensemble X, l'ensemble des parties finies de X (ordonné par l'inclusion) est filtrant.
Les treillis sont filtrants à droite et à gauche.
Les filtres et plus généralement les bases de filtres sont filtrants à gauche pour l'inclusion.
Soit un ensemble ordonné filtrant à gauche. L'ensemble
est une base de filtre, où, pour tout de I, désigne la partie .
Lorsque I admet un plus grand élément , ce filtre est le filtre principal .
Soit un ensemble ordonné (filtrant ou pas) et J une partie de I. On dit que J est si .
Dans les différentes définitions de la limite, la limite en analyse ou la limite inductive ou projective en algèbre, on ne change pas la (ou parfois les) limite(s) en remplaçant un système filtrant par une partie cofinale.
Tout ensemble ordonné filtrant qui admet une partie cofinale dénombrable admet une suite cofinale.
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.