Ê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 Graph Search.
Concept
Idéal (théorie des ordres)
Résumé
En mathématiques, un idéal au sens de la théorie des ordres est un sous-ensemble particulier d'un ensemble ordonné. Bien qu'à l'origine ce terme soit issu de la notion algébrique d'idéal d'un anneau, il a été généralisé en une notion distincte. Les idéaux interviennent dans beaucoup de constructions en théorie des ordres, en particulier des treillis.
Un idéal d'un ensemble ordonné (E, ≤) est une partie non vide I de E telle que :
I est une section commençante, c'est-à-dire que tout minorant d'un élément de I appartient à I ;
I est un ensemble ordonné filtrant, c'est-à-dire que deux éléments quelconques de I possèdent toujours un majorant commun dans I.
Cette définition étend aux ordres quelconques la définition originelle d'idéal d'un treillis :
Si l'ordre (E, ≤) est un treillis — c'est-à-dire si toute paire {a, b} dans E possède une borne supérieure a⋁b et une borne inférieure a⋀b — une section commençante I est un idéal si et seulement si elle est stable par bornes supérieures finies, c'est-à-dire si elle est non vide et si pour tous a et b dans I, a⋁b appartient à I.
La notion duale de celle d'idéal, c'est-à-dire où les ≤ sont inversés et les ⋁ et ⋀ intervertis, est celle de filtre. Les termes « idéal pour l'ordre » et « semi-idéal » sont parfois utilisés pour désigner de simples sections commençantes (et « filtre pour l'ordre » pour de simples sections finissantes). Pour éviter toute confusion, nous n'emploierons les termes « idéal/filtre » que pour des sections (commençantes/finissantes) qui sont filtrantes (à droite/à gauche).
Les notions d' et de généralisent celle d'idéal d'un treillis.
Un idéal ou un filtre de (E, ≤) est dit propre si c'est un sous-ensemble propre de E.
Pour tout élément e de E, le plus petit idéal contenant e est l'ensemble, noté ↓e, des minorants de e. Un tel idéal est dit principal et e est alors appelé un élément principal de cet idéal.
Un idéal I de (E, ≤) est dit premier si son complémentaire est un filtre. Puisque par définition tout filtre est non vide, tout idéal premier est propre.
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.
Proximité ontologique