| Property |
Value |
| dbo:abstract
|
- En mathématiques, un ensemble de parties de caractère fini d'un ensemble E est un ensemble de parties de E tel que pour toute partie A de E, on a l'équivalence entre l'appartenance de A à d'une part et la propriété que toute partie finie de A appartient à d'autre part. Tout comme la notion d'ensemble inductif permet d'énoncer le lemme de Zorn, la notion d'ensemble de caractère fini permet d'énoncer un principe de maximalité équivalent à l'axiome du choix. Ce principe de maximalité permet de démontrer certains théorèmes d'existence, tels que l'existence d'une base pour tout espace vectoriel, plus simplement qu'avec le lemme de Zorn. Il a été introduit par Nicolas Bourbaki en 1938, puis énoncé par Oswald Teichmüller en 1939 et John Tukey en 1940. (fr)
- En mathématiques, un ensemble de parties de caractère fini d'un ensemble E est un ensemble de parties de E tel que pour toute partie A de E, on a l'équivalence entre l'appartenance de A à d'une part et la propriété que toute partie finie de A appartient à d'autre part. Tout comme la notion d'ensemble inductif permet d'énoncer le lemme de Zorn, la notion d'ensemble de caractère fini permet d'énoncer un principe de maximalité équivalent à l'axiome du choix. Ce principe de maximalité permet de démontrer certains théorèmes d'existence, tels que l'existence d'une base pour tout espace vectoriel, plus simplement qu'avec le lemme de Zorn. Il a été introduit par Nicolas Bourbaki en 1938, puis énoncé par Oswald Teichmüller en 1939 et John Tukey en 1940. (fr)
|
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 8311 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:nom
|
- Définition (fr)
- Définition (fr)
|
| prop-fr:wikiPageUsesTemplate
| |
| prop-fr:énoncé
|
- Soit un ensemble. On dit qu'un ensemble de parties de est de caractère fini si la relation « » est équivalente à la relation « toute partie finie de appartient à ». (fr)
- Soit un ensemble. On dit qu'un ensemble de parties de est de caractère fini si la relation « » est équivalente à la relation « toute partie finie de appartient à ». (fr)
|
| dct:subject
| |
| rdfs:comment
|
- En mathématiques, un ensemble de parties de caractère fini d'un ensemble E est un ensemble de parties de E tel que pour toute partie A de E, on a l'équivalence entre l'appartenance de A à d'une part et la propriété que toute partie finie de A appartient à d'autre part. (fr)
- En mathématiques, un ensemble de parties de caractère fini d'un ensemble E est un ensemble de parties de E tel que pour toute partie A de E, on a l'équivalence entre l'appartenance de A à d'une part et la propriété que toute partie finie de A appartient à d'autre part. (fr)
|
| rdfs:label
|
- Ensemble de parties de caractère fini (fr)
- Finite character (en)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageWikiLink
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
