Attributes | Values |
---|
rdfs:label
| - Hartogs number (en)
- Número de Hartogs (pt)
- Ordinal de Hartogs (fr)
- ハルトークス数 (ja)
- 哈特格斯数 (zh)
|
rdfs:comment
| - En théorie des ensembles, l'ordinal de Hartogs d'un ensemble A désigne le plus petit ordinal qui ne s'injecte pas dans A. Son existence utilise le remplacement et se démontre sans l'axiome du choix, contrairement au théorème de Zermelo qui revient à l'existence d'un ordinal en bijection avec A, et équivaut, lui, à l'axiome du choix. Hartogs en déduit que la comparabilité cardinale (étant donné deux ensembles, il existe une injection de l'un dans l'autre) entraîne l'axiome du choix, et donc est équivalente à ce dernier. (fr)
|
rdfs:seeAlso
| |
sameAs
| |
Wikipage page ID
| |
Wikipage revision ID
| |
dbo:wikiPageWikiLink
| |
Link from a Wikipage to an external page
| |
page length (characters) of wiki page
| |
dct:subject
| |
prop-fr:wikiPageUsesTemplate
| |
prov:wasDerivedFrom
| |
prop-fr:année
| |
prop-fr:isbn
| |
prop-fr:langue
| |
prop-fr:lienAuteur
| - Friedrich Moritz Hartogs (fr)
|
prop-fr:lienPériodique
| - Mathematische Annalen (fr)
|
prop-fr:lieu
| |
prop-fr:lireEnLigne
| |
prop-fr:nom
| - Herrlich (fr)
- Hartogs (fr)
|
prop-fr:pagesTotales
| |
prop-fr:passage
| |
prop-fr:prénom
| - Horst (fr)
- Friedrich Moritz (fr)
|
prop-fr:titre
| - Axiom of Choice (fr)
- Über das Problem der Wohlordnung (fr)
|
prop-fr:url
| |
prop-fr:éditeur
| |
prop-fr:revue
| |
prop-fr:vol
| |
foaf:isPrimaryTopicOf
| |
named after
| |
has abstract
| - En théorie des ensembles, l'ordinal de Hartogs d'un ensemble A désigne le plus petit ordinal qui ne s'injecte pas dans A. Son existence utilise le remplacement et se démontre sans l'axiome du choix, contrairement au théorème de Zermelo qui revient à l'existence d'un ordinal en bijection avec A, et équivaut, lui, à l'axiome du choix. L'ordinal de Hartogs étant nécessairement un ordinal initial, ou cardinal, on parle également de cardinal de Hartogs. En présence de l'axiome du choix, le cardinal de Hartogs de A est le plus petit cardinal strictement supérieur au cardinal de A, au sens où il s'injecte dans tout ensemble qui ne s'injecte pas dans A. Le théorème de Hartogs sous sa forme originale énonce que l'on peut associer à tout ensemble A un ensemble bien ordonné qui ne s'injecte pas dans A. Il particularise à l'ensemble A la construction qui mène au paradoxe de Burali-Forti. Cette version ne nécessite pas le schéma d'axiomes de remplacement, et se démontre donc dans la théorie de Zermelo sans axiome du choix. Hartogs en déduit que la comparabilité cardinale (étant donné deux ensembles, il existe une injection de l'un dans l'autre) entraîne l'axiome du choix, et donc est équivalente à ce dernier. (fr)
|
is dbo:wikiPageWikiLink
of | |