Universo de Grothendieck: diferenças entre revisões
Conteúdo apagado Conteúdo adicionado
m [r2.5.2] Bot: Adicionando: ja:グロタンディーク宇宙 |
Página marcada como sem fontes (usando FastButtons) |
||
Linha 1: | Linha 1: | ||
{{Sem-fontes|data=janeiro de 2012| angola=| arte=| Brasil=| ciência=| geografia=| música=| Portugal=| sociedade=|1=|2=|3=|4=|5=|6=}} |
|||
Na [[teoria dos conjuntos]], um '''Universo de Grothendieck''' (de [[Alexander Grothendieck]], matemático alemão) é um conjunto ''U'' com as propriedades: |
Na [[teoria dos conjuntos]], um '''Universo de Grothendieck''' (de [[Alexander Grothendieck]], matemático alemão) é um conjunto ''U'' com as propriedades: |
||
Revisão das 01h31min de 1 de janeiro de 2012
Este artigo não cita fontes confiáveis. (Janeiro de 2012) |
Na teoria dos conjuntos, um Universo de Grothendieck (de Alexander Grothendieck, matemático alemão) é um conjunto U com as propriedades:
- Se x é um elemento de U e y é um elemento de x, então y é um elemento de U. (U é um conjunto transitivo.)
- Se x e y são elementos de U, então o conjunto {x,y} é um elemento de U.
- Se x é um elemento de U, então o conjunto das partes P(x) é um elemento de U.
- Se I (um conjunto de índices) é um elemento de U, e é uma família de elementos de U, então a união é um elemento de U.
Um Universo de Grothendieck é um conjunto onde toda as operações da matemática podem ser feitas. Ele serve como um modelo para a teoria dos conjuntos (por exemplo, para os axiomas de Zermelo-Fraenkel).