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 \mathbb{N}, 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 \mathbb{N} mais simplement que pour tout sous-ensemble fini, on puisse dire qu'il y a un élément plus grand que tous. Définitions Un ensemble ordonné (I, ≤) e
À 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