Problème de Souslin
- Problème de Souslin
-
En mathématiques, le problème de Souslin est une question sur les ensembles totalement ordonnés, posée par Mikhail Souslin (en) dans un article publié en 1920 peu après sa mort[1].
Formulation
Étant donné un ensemble non vide S totalement ordonné tel que :
- S n' a pas de plus grand ni de plus petit élément ;
- l'ordre sur S est dense (c'est-à-dire qu'entre deux éléments distincts de S il y en a toujours au moins un troisième) ;
- toute partie non vide majorée admet une borne supérieure, et toute partie non vide minorée admet une borne inférieure ;
- toute famille d'intervalles ouverts non vides de S deux à deux disjoints est dénombrable,
existe-t-il nécessairement un isomorphisme pour l'ordre entre S et la droite réelle ? La réponse par l'affirmative constitue ce qui est connu comme l'hypothèse de Souslin.
Tout ensemble non vide totalement ordonné qui satisfait les conditions 1 à 4 et n'est pas isomorphe pour l'ordre à R est une droite de Souslin. L'hypothèse de Souslin est donc qu'il n'existe pas de droite de Souslin.
Il a été démontré que cette hypothèse est indépendante des axiomes ZFC de la théorie des ensembles[2].
Les droites de Souslin existent si l'axiome de constructibilité V = L est ajouté à la théorie.
Notes et références
- ↑ M. Souslin, « Problème 3 », dans Fundamenta Mathematicae, vol. 1, 1920, p. 223
- ↑ (en) R. M. Solovay et S. Tennenbaum, « Iterated Cohen extensions and Souslin's problem », dans Annals of Math. (2), vol. 94, 1971, p. 201-245 [lien DOI]
Wikimedia Foundation.
2010.
Contenu soumis à la licence CC-BY-SA. Source : Article Problème de Souslin de Wikipédia en français (auteurs)
Regardez d'autres dictionnaires:
ENSEMBLES (THÉORIE DES) - Théorie axiomatique — La théorie des ensembles fut créée par Georg Cantor à la fin du XIXe siècle. Cependant, le caractère extrêmement général et abstrait de la notion d’ensemble permit de produire des paradoxes rendant la théorie contradictoire (cf. théorie… … 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
RÉELS (NOMBRES) — Par les différents adjectifs généralement accolés au substantif commun qu’est le nombre, la langue mathématique familière surprend et inquiète, car elle risque de susciter des confusions: nombres rationnels (d’autres nombres seraient donc sans… … Encyclopédie Universelle
Axiome de constructibilité — L axiome de constructibilité est un des axiomes possibles de la théorie des ensembles affirmant que tout ensemble est constructible. Cet axiome est généralement résumé par V = L, où V représente la classe des ensembles et L la classe des… … Wikipédia en Français
Ordre total — On appelle relation d ordre total sur un ensemble E toute relation d ordre ≤ telle que tout élément de E soit comparable avec tout autre élément de E, c est à dire que pour tout x et y éléments de E, x ≤ y ou y ≤ x ; l ensemble E est dit… … Wikipédia en Français
RÉCURSIVITÉ — Les (semi ) fonctions récursives ont été introduites pour donner un équivalent mathématique à la notion métamathématique intuitive de (semi ) fonction effectivement ou mécaniquement calculable (cf. LOGIQUE MATHÉMATIQUE, chap. 4). Par souci de… … Encyclopédie Universelle
Suslin's problem — In mathematics, Suslin s problem is a question about totally ordered sets posed by Mikhail Yakovlevich Suslin in the early 1920s. [cite journal title=Problème 3 last= Souslin first=M. journal=Fundamenta Mathematicae volume=1 date=1920 pages=223]… … Wikipedia
LOGIQUE MATHÉMATIQUE — La logique au sens étroit du terme, c’est à dire la logique formelle par opposition à l’épistémologie ou à la théorie de la connaissance, se propose de donner une théorie de l’inférence formellement valide. Elle considère comme valide toute… … Encyclopédie Universelle
Suslin-Hypothese — In der Mengenlehre postuliert die Suslin Hypothese (benannt nach dem russischen Mathematiker Michail Jakowlewitsch Suslin) eine spezielle Charakterisierung der Menge der reellen Zahlen. Sie ist in dem üblichen System der Zermelo Fraenkel… … Deutsch Wikipedia
LEBESGUE (H.) — Le mathématicien Henri Lebesgue est l’un des fondateurs de l’analyse moderne. Presque tous ses travaux se rattachent à la théorie des fonctions de variables réelles. Sa conception de l’intégration et de la mesure renouvelle l’étude des problèmes… … Encyclopédie Universelle
