Présentation
RÉSUMÉ
La théorie des ensembles ordonnés est une sous-branche de la théorie des ensembles qui traite du concept d’ordre en utilisant les relations binaires. Les notions d’ordre sont présentes partout en mathématiques et dans de nombreuses autres disciplines scientifiques, ainsi que dans les domaines variés de l’ingénierie. La première partie de cet article porte sur les différents types de relations d’ordre conduisant aux espaces, sur leurs éléments remarquables et sous-ensembles particuliers, et les applications entre espaces ordonnés. La deuxième partie porte sur les collections de sous-ensembles d’un ensemble ambiant donné en présentant les principales propriétés, puis les catégories de collections les plus utilisées. Les notions présentées sont illustrées par des exemples et contre-exemples.
Lire cet article issu d'une ressource documentaire complète, actualisée et validée par des comités scientifiques.
Lire l'articleAUTEUR(S)
-
Jean-Charles PINOLI : Professeur - École Nationale Supérieure des Mines de Saint-Étienne, Saint-Étienne, France
INTRODUCTION
La théorie des ensembles ordonnés est une sous-branche de la théorie des ensembles qui traite du concept d’ordre en utilisant les relations binaires. Les notions d’ordre sont présentes partout en mathématiques et dans de nombreuses autres disciplines scientifiques, ainsi que dans les domaines variés de l’ingénierie. La première partie de cet article porte sur les différents types de relations d’ordre conduisant aux espaces ordonnés, sur leurs éléments remarquables et sous-ensembles particuliers, et les applications entre espaces ordonnés. La deuxième partie porte sur les collections de sous-ensembles d’un ensemble ambiant donné en présentant les principales propriétés, puis les catégories de collections les plus utilisées. Les notions présentées sont illustrées par des exemples et contre-exemples.
Préambule
La théorie des ensembles ordonnés (
Ordered Set Theory
) est une sous-branche de la théorie des ensembles (
Set Theory
)
La définition d’un ensemble partiellement ordonné a été clairement formulée par F. Hausdorff (1914), même si les axiomes qui apparaissent dans la définition d’une relation d’ordre avaient été considérées préalablement par G. Leibniz (vers 1690). Une définition précise d’un ensemble totalement ordonné a été publiée par G. Cantor (1895).
La première structure de treillis est apparue implicitement au milieu du XIX e siècle sous la forme d’algèbres booléennes (G. Boole, 1847), puis vint l’utilisation des treillis dans l’approche algébrique en théorie des nombres par R. Dedekind (1894, 1897).
Les plus grands mérites dans les premiers développements conséquents de la...
Cet article est réservé aux abonnés. Il vous reste 92 % à découvrir.
Déjà abonné ? Se connecter
MOTS-CLÉS
théorie des ensembles | relation d'ordre | treillis | piles
DOI (DIGITAL OBJECT IDENTIFIER)
Théorie des ensembles ordonnés
Relations binaires
Sources bibliographiques
Cet article est réservé aux abonnés. Il vous reste 92 % à découvrir.
Déjà abonné ? Se connecter
Quiz et tests de validation présents dans cet article
Entraînez-vous autant que vous le voulez avec les quiz d'entraînement.
Article inclus dans l'offre
"Mathématiques"
(
228 articles
)
Actualisée et enrichie d’articles validés par nos comités scientifiques.
Quiz, médias, tableaux, formules, vidéos, etc.
Opérationnels et didactiques, pour garantir l'acquisition des compétences transverses.
Un ensemble de services exclusifs en complément des ressources.
