Conjunto: diferenças entre revisões

Conteúdo apagado Conteúdo adicionado
m Foram revertidas as edições de 191.251.209.94 (usando Huggle)
Linha 56:
=== Conjunto potência ou de partes ===
{{Ver artigo principal|[[Conjunto de partes]]}}
[[Ficheiro:Modadaepoca.jpg|175px|right|thumb|]]
O conjunto de todos os subconjuntos de um conjunto dado <math>A</math> é chamado de ''conjunto potência'' (ou ''conjunto das partes'') de <math>A,</math> denotado por <math>P(A).</math> O conjunto potência é uma [[álgebra booleana]] sobre as operações de união e interseção.
 
Sendo o conjunto dado ''A'' finito, com ''n'' elementos, prova-se que o número de subconjuntos ou o número de elementos do conjunto potência ou conjunto das partes de ''A'' é <math>2^n,</math> ou seja, a cardinalidade do conjunto das partes de ''A'' é igual a <math>2^n.</math> Como existe uma [[bijecção]] entre o conjunto das partes de ''A'' e o conjunto <math>\{0,1\}^A,</math> é usual representar-se ''P(A)'' por <math>2^A.</math>
 
O [[Teorema de Cantor]] estabelece que <math>|A| < |P(A)|.</math>
 
=== Produto cartesiano ===