Portal:Formação Intermediária/Matemática/Conjuntos

Em Matemática, conjunto é uma coleção de objetos (chamados elementos). Os elementos podem representar qualquer coisa — números, pessoas, letras, etc - até mesmo outros conjuntos. Um conjunto pode conter outro(s) conjunto(s), inclusive. Incorretamente chamada de "Teoria dos Conjuntos" no ensino médio. Essa teoria existe, mas não é tratada no ensino médio, sendo a Teoria mais conhecida, a Axiomática de Zermello Frankel (ZFC, C relacionado ao Axioma da Escolha), tratada de forma elementar no livro "Teoria Ingênua dos Conjuntos" de Paul Halmos, traduzida para o português pelo prof. Irineu Bicudo.

Trata-se de um conceito primitivo. Um conjunto possui como única propriedade os elementos que contém. Ou seja, dois conjuntos são iguais se eles tem os mesmos elementos.

Representação

editar

Matematicamente o conjunto é representado por uma letra do alfabeto latino, maiúscula (A, B, C, ...). Já os elementos do conjunto são representados por letras latinas minúsculas. E a representação completa do conjunto envolve a colocação dos elementos entre chaves, da seguinte maneira:

 

Para um conjunto A de 4 elementos v, x, y e z

A exceção é feita a conjuntos que contenham elementos que devem ser representados por letras maiúsculas — por exemplo, pontos geométricos:

 

Especificando conjuntos

editar

A maneira mais simples de representar algebricamente um conjunto é através de uma lista de seus elementos entre chaves ({ }), conforme descrito nas seções anteriores:

 

Informalmente, usa-se o sinal ... quando a regra de formação do conjunto é óbvia a partir da enumeração de alguns elementos. Por exemplo, os conjuntos abaixo, o primeiro com um número finito, e o segundo com um número infinito de elementos:

 
 

Conjuntos que são elementos de outros conjuntos são representados com chaves dentro de chaves:

 

Porém há notações alternativas para representar os conjuntos, como a chamada notação de composição do conjunto, que utiliza uma condição P para definir os elementos do conjunto:

 

P é uma função na variável x que tem o domínio igual ao conjunto A. A variável x pode estar limitada por outro conjunto, indicando-se a relação de pertinência adequada. Por exemplo:

 

O conjunto A será formado, de acordo com o desenvolvimento da equação dada, por 2 e 4 (únicos números inteiros que satisfazem a condição P, ou seja, que tornam verdadeira a equação). Logo,  .

Um cuidado deve ser tomado com a propriedade P(x), já que a formação de conjuntos através deste método pode gerar resultados paradoxais.

Terminologia

editar

Conjunto unitário

editar

Um conjunto unitário possui um único elemento.

Conjunto vazio

editar

Todo conjunto também possui como subconjunto o conjunto vazio representado por  ,  ,   ou  . Podemos mostrar isto supondo que se o conjunto vazio não está contido no conjunto em questão, então o conjunto vazio deve possuir um elemento ao menos que não pertença a este conjunto. Como o conjunto vazio não possui elementos, isto não é possível. Como todos os conjuntos vazios são iguais uns aos outros, é permissível falar de um único conjunto sem elementos.

Conjuntos numéricos

editar

Existem também os conjuntos numéricos, que em consideração especial em matemática. Os principais conjuntos númericos são listados a seguir.

Conjunto dos números naturais

editar

Os números naturais são usados para contar. O símbolo   usualmente representa este conjunto.

Conjunto dos números inteiros

editar

O conjunto dos números inteiros aparecem como soluções de equações como x + a = b. O símbolo   usualmente representa este conjunto (do termo alemão Zahlen que significa números).

Conjunto dos números racionais

editar

O conjunto dos números racionais são todos os números que podem ser representados por frações (e são expressos tanto na forma fracionária quanto na forma decimal - por exemplo 3/4 e 0,75). Eles aparecem como soluções de equações como a + bx = c. O símbolo   usualmente representa este conjunto (da palavra quociente).

Tópicos

Conjunto dos números irracionais

editar

O conjunto dos números irracionais contém todos os números que não podem ser representados por frações do tipo p/q, onde p e q são números inteiros, com q diferente de zero. Estes números podem, no entanto, ser associados a pontos numa reta, a reta real. O símbolo   usualmente representa este conjunto.

Conjunto dos números reais

editar

O conjunto dos números reais é uma expansão do conjunto dos números racionais que engloba não só os inteiros e os fracionários, positivos e negativos, mas também todos os números irracionais. Os números reais podem ser dispostos ordenadamente em uma reta que é chamada reta real.

 

Tópicos


Conjunto dos números complexos

editar

O conjunto dos números complexos inclue os números, que resultam de qualquer radiciação possível, tendo uma parte imaginária e uma parte real. O símbolo   usualmente representa este conjunto.

Cada numero complexo é a soma dos números reais e dos imaginários:  . Aqui tanto r quanto s podem ser iguais a zero; então os conjuntos dos números reais e o dos imaginários são subconjuntos do conjunto dos números complexos.

Tópicos


Conjunto dos números imaginários

editar

O conjunto dos números imaginários puros inclui os números que aparecem como soluções de equações como x 2 + r = 0 onde r > 0.

Outros conjuntos numéricos

editar

Há outros conjuntos numéricos definidos na matemática, mas que não interessam nesse nível de estudo.

Exemplo: O conjunto dos números algébricos inclue os números, que aparecem como soluções de equações polinomiais (com coeficientes inteiros) e envolvem raízes e alguns outros números irracionais. O símbolo   ou   usualmente representa este conjunto.

Subconjuntos

editar

Dizemos que um conjunto A é subconjunto de outro conjunto B quando todos os elementos de A também pertencem a B. Por exemplo:

A = { 1,2,3 }
B = { 1,2,3,4,5,6 }

Nesse caso A é subconjunto de B, é indica-se  . Deve-se reparar que B é subconjunto de si mesmo; os subconjuntos de B que não são iguais a B são chamados subconjuntos próprios.

Nota: O conjunto vazio, { } ou Ф (phi), é um subconjunto de todos os conjuntos.

Conjunto das partes ou potência

editar

Dado um conjunto A, definimos o conjunto das partes de A,  , como o conjunto que contém todos os subconjuntos de A (incluindo o conjunto vazio e o próprio conjunto A).

Uma maneira prática de determinar   é pensar em todos os subconjuntos com um elemento, depois todos os subconjuntos com dois elementos, e assim por diante.

Exemplo:

Se A = { 1, 2, 3 }, então   = { ∅, {1}, {2}, {3}, {1, 2}, {1, 3}, {2, 3}, {1, 2, 3} }.

Observação:

Se o conjunto A tem n elementos, o conjunto   terá 2n elementos. Ou seja:
 .

Nota: O conjunto das partes é uma álgebra booleana sobre as operações de união e interseção.

O Teorema de Cantor estabelece que  .

Conjunto Universo

editar

Em certos problemas da teoria dos conjuntos, é preciso que se defina um conjunto que contenha todos os conjuntos considerados. Assim, todos os conjuntos trabalhados no problema seriam subconjuntos de um conjunto maior, que é conhecido como conjunto universo, ou simplesmente universo.

Por exemplo: em um problema envolvendo conjuntos de números inteiros, o conjunto dos números inteiros Z é o conjunto universo; em um problema envolvendo palavras (consideradas como conjuntos de letras), o universo é o alfabeto.

Relações entre conjuntos

editar

Relação de inclusão

editar

Relação de pertinência

editar

Se   é um elemento de  , nós podemos dizer que o elemento   pertence ao conjunto   e podemos escrever  . Se   não é um elemento de  , nós podemos dizer que o elemento   não pertence ao conjunto   e podemos escrever  .

Exemplos:

  •  
  •  
  •  
  •  

Subconjuntos próprios e impróprios

editar

Se   e   são conjuntos e todo o elemento   pertencente a   também pertence a  , então o conjunto   é dito um subconjunto do conjunto  , denotado por  . Note que esta definição inclui o caso em que   e   possuem os mesmos elementos, isto é, são o mesmo conjunto ( ). Se   e ao menos um elemento pertencente a   não pertence a  , então   é chamado de subconjunto próprio de  , denotado por  . Todo conjunto é subconjunto dele próprio, chamado de subconjunto impróprio.

Igualdade de conjuntos

editar

Dois conjuntos A e B são ditos iguais se, e somente se, têm os mesmos elementos. Ou seja, todo elemento de A é elemento de B e vice-versa. A simbologia usada é  . Se um conjunto não é igual a outro, utiliza-se o símbolo  .

Simetria de conjuntos

editar

Um conjunto A é dito simétrico se, para todo elemento a pertencente a ele, houver também um elemento -a pertencente a esse conjunto. Os conjuntos numéricos Z, R, Q e C são simétricos.


Operações com conjuntos

editar

União

editar

A união de dois conjuntos A e B é um conjunto que contém todos os elementos de A, todos os elementos de B, e nada mais além disso. Ou então: Dado um universo U e dois conjuntos A e B, chama-se união de A com B ao conjunto cujos elementos pertencem pelo menos ao conjunto A ou ao conjunto B. Matematicamente:

 

Por exemplo:

 
 
 
 
 
 

Observar no último exemplo que os elementos repetidos (3,5) não aparecem na união.

  • A união de um conjunto  , qualquer que seja, com o conjunto vazio é igual ao próprio conjunto  ,  .
  • Também deve ser observado que a operação de união é comutativa, ou seja,  .

Intersecção

editar

A intersecção de dois conjuntos   e  , é o conjunto de elementos que pertencem aos dois conjuntos. Ou então: Dados dois conjuntos   e  , pertencentes a um universo U, chama-se intersecção de A com B ao conjunto cujos elementos pertencem tanto a   quanto a  . Matematicamente:

 

Por exemplo:

 
 
 
 
 
 

Observar no último exemplo que, dado os conjuntos não terem elementos iguais, a intersecção resulta num conjunto vazio.

Diferença

editar

Dado um universo U ao qual pertencem dois conjuntos A e B, chama-se diferença de A menos B ao conjunto de elementos que pertencem a A e não pertencem a B; chama-se de diferença de B menos A ao conjunto de elementos que pertencem a B e não pertencem a A. Matematicamente:

 
 

Por exemplo, o conjunto definido pela diferença entre os números inteiros e números naturais é igual ao conjunto Z- (números inteiros não-positivos):

Z = {...,-2,-1,0,1,2,...}
N = {1,2,3,4,5,...}
 
  • A subtração de um conjunto A menos um conjunto vazio é igual ao próprio conjunto A,  .

Complementar

editar

Dado um universo U, diz-se complementar de um conjunto A, em relação ao universo U, o conjunto que contém todos os elementos presentes no universo e que não pertençam a A. Também define-se complementar para dois conjuntos, contanto que um deles seja subconjunto do outro. Nesse caso, diz-se, por exemplo, complementar de B em relação a A (sendo B um subconjunto de A) — é o complementar relativo — e usa-se o símbolo  . Matematicamente:

 

Exemplo:

A = { 3,4,9,{10,12},{25,27} }
D = { {10,12} }
 

Cardinalidade

editar

A cardinalidade de um conjunto A representa a quantidade de elementos do conjunto, e é

Exemplos:

Se A = { 7, 8, 9 }, então A = 3
Se A = { }, então A = 0.

Se um conjunto tem n elementos, onde n é um número natural (possivelmente 0), então diz-se que o conjunto é um conjunto finito com uma cardinalidade de n ou número Número cardinal n.

Mesmo se o conjunto não possui um número finito de elementos, pode-se definir a cardinalidade, graças ao trabalho desenvolvido pelo matemático Georg Cantor. Neste caso, a cardinalidade poderá ser   (aleph zero),  .

Nos dois casos a cardinalidade de um conjunto   é denotada por   ou por  . Se para dois conjuntos A e B é possível fazer uma relação um-a-um (ou seja, uma bijeção) entre seus elementos, então  .

Produto cartesiano

editar

Dados dois conjuntos A e B, chama-se produto cartesiano de A em B ao conjunto formado por todos os pares ordenados cuja primeira coordenada seja pertencente a A, e a segunda coordenada seja pertencente a B. O simbolo do produto cartesioano é  . Matematicamente:

 

O produto cartesiano de dois conjuntos A e B é o conjunto de pares ordenados:

 

A soma ou união disjunta de dois conjuntos A e B é o conjunto

 .
  • O produto cartesiano é não-comutativo:  .
  • Quem desenvolveu o conceito de produto cartesiano foi o matemático Descartes, quando desenvolvia a geometria analítica. Ele enunciou, por exemplo, que o produto cartesiano definido por dois conjuntos de números reais R (imagine os eixos das abcissas e ordenadas num gráfico) é igual a um plano.

Par ordenado

editar

Um par ordenado é uma coleção de dois objetos que tem uma ordem definida; existe o primeiro elemento (ou primeira coordenada) e o segundo elemento (ou segunda coordenada). Diferentemente do conjunto { a,b }, um par ordenado — simbolizado por (a,b) — precisa ser apresentado em uma determinada ordem, e dois pares ordenados só são iguais quando os primeiros elementos são iguais e os segundos elementos são iguais. Ou seja,

 

Porém, o par ordenado pode ser representado como um conjunto, tal que não existe ambiguidade quanto à ordem. Esse conjunto é:

 
 

Observar que o formato do conjunto, que inclui um subconjunto contendo os dois elementos do par e um conjunto contendo o primeiro elemento, elimina a possibilidade de ambiguidade quanto à ordem. A notação (a,b) também é conhecida como intervalo aberto.

Referências

editar

Ligações externas

editar