| Attributes | Values |
|---|
| 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: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)
|
| 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:auteur
| |
| prop-fr:fr
| - Ensemble héréditairement fini (fr)
- théorie des ensembles de Tarski-Grothendieck (fr)
|
| prop-fr:langue
| |
| prop-fr:texte
| - ensembles héréditairement finis (fr)
|
| prop-fr:titre
| - Des catégories abéliennes (fr)
|
| prop-fr:trad
| - Tarski–Grothendieck set theory (fr)
- Hereditarily finite set (fr)
|
| prop-fr:url
| |
| prop-fr:p.
| |
| prop-fr:revue
| |
| prop-fr:vol
| |
| foaf:isPrimaryTopicOf
| |
| dbo:discoverer
| |
| named after
| |
| has 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)
|
| is dbo:wikiPageWikiLink
of | |
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)