Ensemble ordonné filtrant

Ensemble ordonné filtrant

Sommaire

Définitions

Soit (I,\leq) un ensemble ordonné (partiellement ordonné en général).

On dit que (I,\leq) est un ensemble ordonné filtrant (ou précise parfois filtrant à droite) si

\forall (i,j)\in I^2,\exists k\in I, i\leq k\ et\ j\leq k

On dit qu'il est filtrant à gauche si l'ordre opposé est filtrant, c'est-à-dire si

\forall (i,j)\in I^2,\exists k\in I, k\leq i\ et\ k\leq j

On peut généraliser les définitions ci-dessus aux relations de préordre.

Exemples

  • (\mathbb N,\leq) 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.

Lien avec les filtres

Soit (I,\leq) un ensemble ordonné filtrant à gauche. L'ensemble

\mathcal B =\{[x,+\infty[ \mid x\in I \} est une base de filtre.

Lorsque I admet un plus grand élément ω, ce filtre est le filtre principal \mathcal F_{\omega}.

Parties cofinales

Soit (I,\leq) un ensemble ordonné filtrant et J une partie de I. On dit que J est cofinale (en) si \forall x\in I,\ \exists y\in J,\ x\leq y .

Dans les différentes définitions de la limites, 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.

On dit que J est une suite cofinale si (J,\leq) est isomorphe à (\mathbb N,\leq). L'avantage d'une suite cofinale est est de revenir à une définition fondamentale de la limite.[réf. nécessaire]

Tout ensemble ordonné filtrant qui admet une partie cofinale dénombrable admet une suite cofinale. En particulier[pas clair], dans un espace topologique, si tout point admet une base de voisinages dénombrable, alors c'est un espace séquentiel, c'est-à-dire qu'on peut décrire complètement la topologie avec des suites. Par exemple, un tel espace est compact si et seulement s'il est séparé et séquentiellement compact (i.e. : toute suite admet une valeur d'adhérence).


Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Ensemble ordonné filtrant de Wikipédia en français (auteurs)

Игры ⚽ Поможем написать курсовую

Regardez d'autres dictionnaires:

  • Limite inductive — Sommaire 1 Avant propos 2 Ensemble ordonné filtrant 3 Système inductif 4 Propriété universelle de la limite inductive …   Wikipédia en Français

  • Algebre universelle — Algèbre universelle L algèbre universelle est la branche de l algèbre qui a pour but de traiter de manière générale et simultanée les différentes structures algébriques : groupes, monoïdes, anneaux, espaces vectoriels, etc. Elle permet de… …   Wikipédia en Français

  • Algèbre Universelle — L algèbre universelle est la branche de l algèbre qui a pour but de traiter de manière générale et simultanée les différentes structures algébriques : groupes, monoïdes, anneaux, espaces vectoriels, etc. Elle permet de définir de manière… …   Wikipédia en Français

  • Algèbre universelle — Pour les articles homonymes, voir Algèbre (homonymie). L algèbre universelle est la branche de l algèbre qui a pour but de traiter de manière générale et simultanée les différentes structures algébriques : groupes, monoïdes, anneaux, espaces …   Wikipédia en Français

  • Limite projective — En mathématiques, formalisée dans le langage des catégories, la limite projective est une généralisation du produit. Cette notion est duale de celle de limite inductive. Sommaire 1 Limite projective d ensembles 2 Système projectif …   Wikipédia en Français

  • TOPOLOGIQUE (ALGÈBRE) — L’algèbre topologique est consacrée à l’étude d’ensembles munis d’une topologie et d’une structure algébrique définie par des lois de composition continues (cf. TOPOLOGIE, ALGÈBRE). Les exemples les plus importants sont les groupes topologiques,… …   Encyclopédie Universelle

  • Projet:Mathématiques/Liste des articles de mathématiques — Cette page n est plus mise à jour depuis l arrêt de DumZiBoT. Pour demander sa remise en service, faire une requête sur WP:RBOT Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou… …   Wikipédia en Français

  • Filtre (mathématiques) — Pour les articles homonymes, voir Filtre.  Ne pas confondre avec une filtration. En mathématiques, et plus particulièrement en topologie générale, un filtre est une structure définie sur un ensemble, et permettant d étendre la notion de… …   Wikipédia en Français

  • Suite généralisée — En mathématiques, la notion de suite généralisée, ou suite de Moore Smith (en), étend celle de suite, en indexant les éléments d une famille par des éléments d un ensemble ordonné qui n est plus nécessairement celui des entiers naturels.… …   Wikipédia en Français

  • Limites inférieure et supérieure — Exemple de recherche de limites inférieure et supérieure. La suite xn est représentée en bleu. En analyse réelle, les limites inférieures et supérieures sont des outils d étude des suites de nombres réels. Une telle suite n est en général ni… …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”