Ê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
Extension linéaire
Résumé
Dans la branche des mathématiques de la théorie des ordres, une extension linéaire d'un ordre partiel est un ordre total (ou ordre linéaire) qui est compatible avec l'ordre partiel. Un exemple classique est l'ordre lexicographique des ensembles totalement ordonnés qui est une extension linéaire de leur ordre produit.
Étant donnés des ordres partiels quelconques ≤ et ≤* sur un ensemble X, ≤* est une extension linéaire de ≤ si et seulement si (1) ≤* est un ordre total et (2) pour tout x et y dans X, si , alors . C'est cette deuxième propriété qui conduit les mathématiciens à décrire ≤* comme une extension de ≤.
De façon équivalente, une extension linéaire peut être considérée comme une bijection croissante d'un ensemble partiellement ordonné vers un ordre total sur le même ensemble.
L'affirmation que tout ordre partiel peut être étendu en un ordre total est connu comme le principe d'extension d'ordre. Une preuve utilisant l'axiome du choix a d'abord été publiée par Edward Marczewski en 1930 : voir Théorème d'extension de Szpilrajn. Marczewski a écrit que le théorème avait déjà été prouvé par Stefan Banach, Kazimierz Kuratowski et Alfred Tarski, en utilisant également l'axiome du choix, mais que les preuves n'avaient jamais été publiées.
Dans la théorie des ensembles axiomatique moderne, le principe d'extension d'ordre est lui-même pris comme un axiome, de même statut ontologique que l'axiome du choix. Le principe d'extension d'ordre est impliqué par le théorème de l'idéal premier dans une algèbre de Boole ou le théorème de compacité (équivalent), mais la réciproque est fausse
L'application du principe d'extension d'ordre à un ordre partiel dans lequel chaque couple d'éléments sont incomparables montre que (en vertu de ce principe) tout ensemble peut être totalement ordonné. et c'est une version faible du théorème de Zermelo. Cependant, il existe des modèles de la théorie des ensembles dans lesquels le principe de classement est vrai alors que le principe d'extension d'ordre ne l'est pas.
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.