Abrir menu principal

Alterações

238 bytes removidos, 19h21min de 14 de abril de 2012
-imprecisões; -maiusculite; +info de en:Universe (mathematics); +Uso de "[Imagem:"; +<gallery> em vez de tabela; +Ver também: Universo de Herbrand
Em certos[[matemática]], problemasprincipalmente dana [[Teoriateoria dos Conjuntosconjuntos]] e nos [[fundamentos da matemática]], um '''universo''' é precisouma classe que secontem defina(como um[[elemento]]s) outodas maisas conjuntosentidades que contenhamse todosdeseja osconsiderar conjuntosem uma certa consideradossituação. Assim, todos os conjuntos trabalhadosem no problemaquestão seriam subconjuntos de um conjunto maior, que é conhecido como '''Conjuntoconjunto Universouniverso''', oue simplesmenteindicado '''Universo'''geralmente por <math>~U</math>.
 
Por exemplo: em um problema envolvendo conjuntos de [[Número inteiro|números inteiros]], o conjunto dos números inteiros <math>\mathbb{Z}</math> épode ser tomado como conjunto universo. O universo também poderia ser o Conjuntoconjunto dos números Universoracionais.
Conjunto universo é o conjunto de todos os elementos em determinadas situações.Em geral,é indicado por U .
 
<gallery>
Por exemplo: em um problema envolvendo conjuntos de [[Número inteiro|números inteiros]], o conjunto dos números inteiros <math>\mathbb{Z}</math> é o Conjunto Universo.
Imagem:Venn1111.svg|<math>U = \varnothing^C</math>
Imagem:Venn0101.svg|<math>~A</math>
Imagem:Venn1010.svg|<math>U \setminus A = A^C</math>
</gallery>
 
== Ver também ==
Vale notar que podemos escolher o conjunto universo do modo que quisermos, mas sempre satisfazendo a condição de que ele contém todos os conjuntos num problema. No exemplo acima, o universo também pode ser o conjunto dos números racionais.
* [[Universo de Herbrand]]
 
{| style="margin: 0 auto;"
| [[File:Venn1111.svg|thumb|<math>U = \varnothing^C</math>]] ||&nbsp;&nbsp;&nbsp;|| [[File:Venn0101.svg|thumb|<math>~A</math>]] ||&nbsp;&nbsp;&nbsp;|| [[File:Venn1010.svg|thumb|<math>U \setminus A = A^C</math>]]
|}
 
{{esboço}}