Property |
Value |
dbo:abstract
|
- En mathématiques, un univers de Grothendieck est un ensemble U ayant les propriétés suivantes : 1.
* si x appartient à U et si y appartient à x, alors y appartient à U (on dit que U est un ensemble transitif) ; 2.
* si x et y appartiennent à U alors {x, y} aussi ; 3.
* si x appartient à U, alors l'ensemble P(x) des parties de x aussi ; 4.
* si (xi)i∈I est une famille d'éléments de U et si I appartient à U, alors l'union ⋃i∈I xi appartient à U. Alexandre Grothendieck a introduit et utilisé cette idée pour éviter les classes propres en géométrie algébrique. Les univers de Grothendieck non dénombrables fournissent des modèles de la théorie des ensembles. Dans ZFC, leur existence n'est pas démontrable, puisqu'elle équivaut à l'existence de cardinaux (fortement) inaccessibles non dénombrables. La (en) est une extension propre de ZFC dans laquelle tout ensemble appartient à au moins un univers de Grothendieck.Le concept d'univers de Grothendieck peut aussi être défini dans un topos. (fr)
- En mathématiques, un univers de Grothendieck est un ensemble U ayant les propriétés suivantes : 1.
* si x appartient à U et si y appartient à x, alors y appartient à U (on dit que U est un ensemble transitif) ; 2.
* si x et y appartiennent à U alors {x, y} aussi ; 3.
* si x appartient à U, alors l'ensemble P(x) des parties de x aussi ; 4.
* si (xi)i∈I est une famille d'éléments de U et si I appartient à U, alors l'union ⋃i∈I xi appartient à U. Alexandre Grothendieck a introduit et utilisé cette idée pour éviter les classes propres en géométrie algébrique. Les univers de Grothendieck non dénombrables fournissent des modèles de la théorie des ensembles. Dans ZFC, leur existence n'est pas démontrable, puisqu'elle équivaut à l'existence de cardinaux (fortement) inaccessibles non dénombrables. La (en) est une extension propre de ZFC dans laquelle tout ensemble appartient à au moins un univers de Grothendieck.Le concept d'univers de Grothendieck peut aussi être défini dans un topos. (fr)
|
dbo:discoverer
| |
dbo:namedAfter
| |
dbo:wikiPageExternalLink
| |
dbo:wikiPageID
| |
dbo:wikiPageLength
|
- 7397 (xsd:nonNegativeInteger)
|
dbo:wikiPageRevisionID
| |
dbo:wikiPageWikiLink
| |
prop-fr:année
| |
prop-fr:auteur
| |
prop-fr:fr
|
- Ensemble héréditairement fini (fr)
- théorie des ensembles de Tarski-Grothendieck (fr)
- Ensemble héréditairement fini (fr)
- théorie des ensembles de Tarski-Grothendieck (fr)
|
prop-fr:langue
| |
prop-fr:p.
| |
prop-fr:revue
| |
prop-fr:texte
|
- ensembles héréditairement finis (fr)
- ensembles héréditairement finis (fr)
|
prop-fr:titre
|
- Des catégories abéliennes (fr)
- Des catégories abéliennes (fr)
|
prop-fr:trad
|
- Tarski–Grothendieck set theory (fr)
- Hereditarily finite set (fr)
- Tarski–Grothendieck set theory (fr)
- Hereditarily finite set (fr)
|
prop-fr:url
| |
prop-fr:vol
| |
prop-fr:wikiPageUsesTemplate
| |
dct:subject
| |
rdfs:comment
|
- En mathématiques, un univers de Grothendieck est un ensemble U ayant les propriétés suivantes : 1.
* si x appartient à U et si y appartient à x, alors y appartient à U (on dit que U est un ensemble transitif) ; 2.
* si x et y appartiennent à U alors {x, y} aussi ; 3.
* si x appartient à U, alors l'ensemble P(x) des parties de x aussi ; 4.
* si (xi)i∈I est une famille d'éléments de U et si I appartient à U, alors l'union ⋃i∈I xi appartient à U. Alexandre Grothendieck a introduit et utilisé cette idée pour éviter les classes propres en géométrie algébrique. (fr)
- En mathématiques, un univers de Grothendieck est un ensemble U ayant les propriétés suivantes : 1.
* si x appartient à U et si y appartient à x, alors y appartient à U (on dit que U est un ensemble transitif) ; 2.
* si x et y appartiennent à U alors {x, y} aussi ; 3.
* si x appartient à U, alors l'ensemble P(x) des parties de x aussi ; 4.
* si (xi)i∈I est une famille d'éléments de U et si I appartient à U, alors l'union ⋃i∈I xi appartient à U. Alexandre Grothendieck a introduit et utilisé cette idée pour éviter les classes propres en géométrie algébrique. (fr)
|
rdfs:label
|
- Grothendieck universe (en)
- Grothendieck-Universum (de)
- Univers de Grothendieck (ca)
- Univers de Grothendieck (fr)
- Universo de Grothendieck (pt)
- Universo di Grothendieck (it)
|
rdfs:seeAlso
| |
owl:sameAs
| |
prov:wasDerivedFrom
| |
foaf:isPrimaryTopicOf
| |
is dbo:wikiPageWikiLink
of | |
is oa:hasTarget
of | |
is foaf:primaryTopic
of | |