Top Mat LCC 1011 Conjuntos(1)
Embed Size (px)
Transcript of Top Mat LCC 1011 Conjuntos(1)
-
8/8/2019 Top Mat LCC 1011 Conjuntos(1)
1/31
Topicos de Matematica
Lic. em Ciencias da Computacao
Teoria elementar de conjuntos
Carla Mendes
Dep. Matematica e AplicacoesUniversidade do Minho
2010/2011
Top. de Matematica - LCC - 2010/2011 Dep. Matematica e Aplicacoes - Univ. do Minho 1 / 31
-
8/8/2019 Top Mat LCC 1011 Conjuntos(1)
2/31
Teoria elementar de conjuntos
A nocao de conjuntos e o estudo de conjuntos (designada por Teoria deconjuntos), hoje essenciais em muitos campos da Matematica e das
Ciencias da Computacao, foram introduzidos por Georg Cantor nos finaisdo seculo XIX. A teoria de Cantor, um tanto intuitiva, foi posteriormentetratada e organizada de forma axiomatica.Nesta unidade curricular vamos considerar a nocao de conjunto como um
conceito primitivo, i.e. como uma nocao intuitiva, a partir da qual seraodefinidas outras nocoes.
Intuitivamente, um conjunto e uma coleccao de objectos chamados oselementos ou membros do conjunto.
Os conjuntos serao representados por letras maiusculas A, B, C, ..., X,Y, Z (possivelmente com ndices) e os elementos de um conjunto seraorepresentados por letras minusculas a, b, c, ..., x, y, z (tambempossivelmente com ndices).
Top. de Matematica - LCC - 2010/2011 Dep. Matematica e Aplicacoes - Univ. do Minho 2 / 31
-
8/8/2019 Top Mat LCC 1011 Conjuntos(1)
3/31
Teoria elementar de conjuntos
Dado um conjunto A e um objecto x, diz-se que: x pertence a A, eescrevemos x A, se x e um dos objectos de A; x nao pertence a A, eescreve-se x A, caso x nao seja um dos objectos de A.
Exemplo 2.11 Sao exemplos de conjuntos as coleccoes:
a) de disciplinas do 1oano do plano de estudos de LCC;b) de pessoas presentes numa festa;c) de meses com 30 dias;
d) dos numeros naturais, inteiros, racionais, reais e complexos,representados, respectivamente, porN, Z, Q, R eC.
2 Tem-se, por exemplo, 3 N, 0 N, 12 Q,
2 Q.
Top. de Matematica - LCC - 2010/2011 Dep. Matematica e Aplicacoes - Univ. do Minho 3 / 31
-
8/8/2019 Top Mat LCC 1011 Conjuntos(1)
4/31
Teoria elementar de conjuntos
Um conjunto pode ser descrito de varias formas.
Uma delas consiste em enumerar explicitamente os seus elementos, osquais sao colocados entre chavetas e separados por vrgulas - neste casodiz-se que o conjunto e descrito por extensao.
Quando numa descricao por extensao nao e possvel ou praticavel aenumeracao de todos os elementos do conjunto, utiliza-se uma notacaosugestiva e nao ambgua que permita intuir os elementos nao expressos.
Um conjunto tambem pode ser descrito por compreensao, i.e., dado umpredicado p(x), com x a variar num conjunto X, {x X : p(x)}representa o conjunto de todos os elementos de X para os quais p(x) everdadeira.
Top. de Matematica - LCC - 2010/2011 Dep. Matematica e Aplicacoes - Univ. do Minho 4 / 31
-
8/8/2019 Top Mat LCC 1011 Conjuntos(1)
5/31
Teoria elementar de conjuntos
Exemplo 2.2
1 O conjunto dos numeros naturais menores do que 5 pode serdescrito, por extensao, do seguinte modo{1, 2, 3, 4}.
2 O conjunto dos numeros naturais divisores de 4 pode ser descrito,por compreensao, da seguinte forma {n N : n | 4}.
3 Os conjuntos dos numeros naturais e dos numeros inteiros saousualmente representados por extensao utilizando a seguintenotacao: N = {1, 2, 3, . . .}, Z = {. . . , 2, 1, 0, 1, 2, . . .}.O conjunto cujos elementos sao o numero 0 e os numeros naturais erepresentado porN0 =
{0, 1, 2, . . .
}.
Definicao 2.3
Ao unico conjunto que nao tem qualquer elemento chamamos conjuntovazio e sera representado por ou por{}.
Top. de Matematica - LCC - 2010/2011 Dep. Matematica e Aplicacoes - Univ. do Minho 5 / 31
-
8/8/2019 Top Mat LCC 1011 Conjuntos(1)
6/31
Teoria elementar de conjuntos
Um conjunto fica determinado quando sao conhecidos os seus elementos.
Definicao 2.4
Dois conjuntos A e B dizem-se iguais, e escreve-se A = B, se tem osmesmos elementos, i.e, A = B se
x (x
A
x
B).
Consequentemente, A e B dizem-se diferentes, e escreve-se A = B, seexistir um elemento num conjunto que nao se encontra no outro.
Exemplo 2.5
1 O conjunto A = {1, 2, 4} e igual ao conjunto dos divisores naturais de 4, ee tambem igual ao conjunto B = {x R : x3 7x2 + 14x 8 = 0}.
2 Os conjuntos A = {x N : x e m ultiplo de 3} e B = {6, 12, 18, 24...} saodiferentes, pois, 3 A e 3 B.
Top. de Matematica - LCC - 2010/2011 Dep. Matematica e Aplicacoes - Univ. do Minho 6 / 31
-
8/8/2019 Top Mat LCC 1011 Conjuntos(1)
7/31
Teoria elementar de conjuntos
Definicao 2.6
Sejam A e B conjuntos. Diz-se que A esta contido em B ou que A esubconjunto de B, e escreve-se A B, se todo o elemento de A etambem elemento de B, i.e., A B se
x (x A x B).
Caso exista um elemento de A que nao seja elemento de B diz-se que Anao esta contido em B ou que A nao e subconjunto de B, eescreve-se A B. Simbolicamente, A B se
xA x B.
Exemplo 2.7
Sejam A e B conjuntos. Diz-se que A esta propriamente contido emB ou que A e subconjunto proprio de B , e escreve-se A B ouA
B, se A
B e A
= B.
Top. de Matematica - LCC - 2010/2011 Dep. Matematica e Aplicacoes - Univ. do Minho 7 / 31
-
8/8/2019 Top Mat LCC 1011 Conjuntos(1)
8/31
-
8/8/2019 Top Mat LCC 1011 Conjuntos(1)
9/31
Teoria elementar de conjuntos
Demonstracao: 1. No sentido de provar, por reducao ao absurdo, que
A, admitamos que A. Daqui segue que existe um elemento de que nao pertence a A. Mas nao tem elementos. Temos, entao, umacontradicao que resultou de admitirmos que A. Logo A.2. Todo o elemento de A e elemento de A. Portanto, A A.3. Admitamos que A B e B C. Vamos mostrar que A C.Seja x um elemento de A. Entao, como A B, segue que x B. Agora,tendo em conta que x B e que B C, vem que x C. Assim, todo oelemento de A e elemento de C, ou seja, A C.
4. Pretendemos mostrar que(A B e B A) se e so se A = B.
() Comecemos por admitir que A B e B A e mostremos queA = B.
Top. de Matematica - LCC - 2010/2011 Dep. Matematica e Aplicacoes - Univ. do Minho 9 / 31
-
8/8/2019 Top Mat LCC 1011 Conjuntos(1)
10/31
Teoria elementar de conjuntos
Demonstracao (continuacao):Como A
B, todo o elemento de A e elemento de B; por outro lado,
como B A, todo o elemento de B e elemento de A. Logo A e B temos mesmos elementos, i.e., A = B.() Reciprocamente, admitamos que A = B e provemos que A B eB A. Como A = B, estes conjuntos tem os mesmos elementos.Portanto, para todo o objecto x,
(x A x B) (x B x A),i.e., A B e B A.
Definicao 2.10
Sejam A e B subconjuntos de um conjunto X (chamado o universo).
Chama-se uniao ou reuniao de A com B, e representa-se por A B, oconjunto cujos elementos sao os elementos de A e os elementos de B, ouseja, A
B =
{x
X : x
A
x
B
}.
Top. de Matematica - LCC - 2010/2011 Dep. Matematica e Aplicacoes - Univ. do Minho 10 / 31
-
8/8/2019 Top Mat LCC 1011 Conjuntos(1)
11/31
Teoria elementar de conjuntos
Definicao 2.10 (continuacao)
Chama-se interseccao de A com B, e representa-se por A B, oconjunto cujos elementos pertencem simultaneamente a A e a B, isto e,
A B = {x X : x A x B}.
Chama-se complementar de B em A, e representa-se por A \ B, oconjunto cujos elementos pertencem a A mas nao a B, ou seja,
A \ B = {x X : x A x B}.
Por vezes, o complementar de B em A e tambem designado pordiferenca de A com B e representado por A B.Quando A e o universo X, A \ B = X \ B diz-se ocomplementar de B erepresenta-se por B ou B.
Top. de Matematica - LCC - 2010/2011 Dep. Matematica e Aplicacoes - Univ. do Minho 11 / 31
-
8/8/2019 Top Mat LCC 1011 Conjuntos(1)
12/31
Teoria elementar de conjuntos
Exemplo 2.11
Dados os subconjuntos deR, A = {2, 0, 2, , 7} e B =] , 3], tem-se1 A B =] , 3] {, 7};2 A B = {2, 0, 2};3 A \ B = {, 7};4 A B = [3, [], 7[]7, +[.
Apresentam-se de seguida algumas propriedades relativas as operacoes deconjuntos apresentadas anteriormente.
Proposicao 2.12
Sejam A, B e C subconjuntos de um conjunto X. Entao,
1 A A B e B A B.2 A
= A.
Top. de Matematica - LCC - 2010/2011 Dep. Matematica e Aplicacoes - Univ. do Minho 12 / 31
-
8/8/2019 Top Mat LCC 1011 Conjuntos(1)
13/31
Teoria elementar de conjuntos
Proposicao 2.12 (continuacao)
1
A A = A.2 A X = X .3 A B = B A.4 (A B) C = A (B C).5 se A B, A B = B.
Demonstracao: Demonstramos as propriedades 1., 2. e 7., ficando asrestantes como exerccio.
1. Vamos mostrar que A A B.Seja x A. Entao, a proposicao x A x B e verdadeira. Logo,x A B. Assim, para todo o objecto x,
x A x A B.Logo A
A
B. A prova de B
A
B e semelhante.
Top. de Matematica - LCC - 2010/2011 Dep. Matematica e Aplicacoes - Univ. do Minho 13 / 31
T i l d j
-
8/8/2019 Top Mat LCC 1011 Conjuntos(1)
14/31
Teoria elementar de conjuntos
Demonstracao (continuacao): 2. Da propriedade 1. sabemos queA
A
. Para termos a prova de A
= A, falta mostrar que
A A. Consideremos x A . Entao, por definicao, temos quex A x . Dado que nao tem elementos, podemos concluir quex A. Logo, para todo o objecto x,
x A x A
e, portanto, A A. De A A e A A conclumos queA = A
7. Admitamos que A B e mostremos que A B = B. Pela propriedade1., temos B A B. Logo, resta mostrar que A B B. Dado queA B, todo o elemento de A e tambem elemento de B, donde segueque, para todo o objecto x
x A B x A x B x B x B x B.Portanto, A B B.De B
A
B e A
B
B tem-se A
B = B.
Top. de Matematica - LCC - 2010/2011 Dep. Matematica e Aplicacoes - Univ. do Minho 14 / 31
T i l d j
-
8/8/2019 Top Mat LCC 1011 Conjuntos(1)
15/31
Teoria elementar de conjuntos
No seguinte resultado, descrevemos algumas propriedades da operacao de
intersecao de conjuntos.
Proposicao 2.13
Sejam A, B e C subconjuntos de um conjunto X. Entao,
1 A B A e A B B.2 A = .3 A A = A.4 A X = A.5 A B = B A.6 (A B) C = A (B C).7 se A B, A B = A.
Top. de Matematica - LCC - 2010/2011 Dep. Matematica e Aplicacoes - Univ. do Minho 15 / 31
T i l t d j t
-
8/8/2019 Top Mat LCC 1011 Conjuntos(1)
16/31
Teoria elementar de conjuntos
Demonstracao: Apresentamos a prova das propriedades 1., 2. e 6. Aprova das restantes propriedades fica como exerccio.
1. Mostremos que A B A. Dado x A B, tem-se, por definicao,que x A x B. Entao x A e uma proposicao verdadeira. Logo,para todo o objecto x,
x A B x A,e, portanto A B B. A prova de B A B e analoga.
2. Pretendemos mostrar que o conjunto A nao tem elementos. Nosentido de fazer esta prova por reducao ao absurdo, admitamos queA = . Entao existe um objecto x tal que x A x ; emparticular, x . Mas nao tem elementos, logo temos uma contradicaoque resultou de admitirmos que A tinha elementos. Assim, A = .
Top. de Matematica - LCC - 2010/2011 Dep. Matematica e Aplicacoes - Univ. do Minho 16 / 31
T i l t d j t
-
8/8/2019 Top Mat LCC 1011 Conjuntos(1)
17/31
Teoria elementar de conjuntos
Demonstracao (continuacao):
6. A propriedade (A B) C = A (B C) e verdadeira se, para todo oobjecto x,
x (A B) C x A (B C).
Com efeito, atendendo a propriedade de associatividade da operacao ,tem-se, para todo o objecto x,x (A B) C x A x (B C)
x A (x B x C)
(x
A
x
B)
x
C
x (A B) x C x (A B) C.
Logo (A B) C = A (B C).
Top. de Matematica - LCC - 2010/2011 Dep. Matematica e Aplicacoes - Univ. do Minho 17 / 31
Teo ia ele e ta de co j tos
-
8/8/2019 Top Mat LCC 1011 Conjuntos(1)
18/31
Teoria elementar de conjuntos
Apresentam-se de seguida mais algumas propriedades, desta vezrelacionadas com a complementacao de conjuntos.
Proposicao 2.14
Sejam A, B e C subconjuntos de um conjunto X. Entao sao validas aspropriedades seguintes:
1 A A = e A A = X .2 A \ = A e A \ X = .3 se A B, entao A \ B = .4 A \ (B C) = (A \ B) (A \ C).5 A \ (B C) = (A \ B) (A \ C).6 A B = A B.7 A B = A B.8 (A) = A.
Top. de Matematica - LCC - 2010/2011 Dep. Matematica e Aplicacoes - Univ. do Minho 18 / 31
Teoria elementar de conjuntos
-
8/8/2019 Top Mat LCC 1011 Conjuntos(1)
19/31
Teoria elementar de conjuntos
Demonstracao: Apresentamos a prova das propriedades 1., 2. e 5..
1. Facilmente se prova que o conjunto A
A nao tem elementos. Defacto, se admitirmos que este conjunto tem elementos, entao existe umobjecto x tal que x A x A e daqui segue quex A (x X x A). Desta forma, temos uma contradicao,x A x A, que resultou de admitirmos que A A tinha elementos.Logo A A = .Mostremos, agora, que A A = X. Uma vez que A e A sao subconjuntosde X e imediato que A A X. Logo, resta mostrar que X A A.Esta ultima inclusao e tambem simples de verificar, pois, dado x X, aproposicao x
A
x
A e verdadeira. Por outro lado, se x
X e
x A, entao x A. Sendo assim, para todo o objecto x,x X x A x A x A x A x A A.
Logo X A A. Da prova de A A X e de X A A segueA
A = X.
Top. de Matematica - LCC - 2010/2011 Dep. Matematica e Aplicacoes - Univ. do Minho 19 / 31
Teoria elementar de conjuntos
-
8/8/2019 Top Mat LCC 1011 Conjuntos(1)
20/31
Teoria elementar de conjuntos
Demonstracao (continuacao):
2. Por definicao, A \ e o conjunto dos elementos que pertencem a Amas nao pertencem a . Mas nao tem elementos, pelo que nao seretira qualquer elemento a A e, portanto, A \ = A.No sentido de provar, por reducao ao absurdo, que A \ X = ,admitamos que o conjunto A
\X tem elementos. Entao existe um
objecto x tal que x A \ X, ou seja, existe x tal que x A x X.Mas A e um subconjunto de X, pelo que todo o elemento de A etambem elemento de X. Assim, temos uma contradicao: x X x X.Por conseguinte, a hipotese inicial, de que o conjunto A \ X tinhaelementos, esta errada e, portanto, A \ X = .4. Para provar que A \ (B C) = (A \ B) (A \ C), temos de mostrarque para todo o objecto x,
x A \ (B C) x (A \ B) (A \ C).
Top. de Matematica - LCC - 2010/2011 Dep. Matematica e Aplicacoes - Univ. do Minho 20 / 31
Teoria elementar de conjuntos
-
8/8/2019 Top Mat LCC 1011 Conjuntos(1)
21/31
Teoria elementar de conjuntos
Demonstracao (continuacao):
Com efeito, atendendo as leis de De Morgan e a propriedade distributivadas operacoes logicas e , tem-se, para todo o objecto x, o seguinte
x A \ (B C) x A x (B C) x A (x B C) x A (x B x C) x A ((x B) (x C)) x A (x B x C) (x A x B) (x A x C) (x A \ B) (x A \ C) x (A \ B) (A \ C).
Portanto, A \ (B C) = (A \ B) (A \ C).
Top. de Matematica - LCC - 2010/2011 Dep. Matematica e Aplicacoes - Univ. do Minho 21 / 31
Teoria elementar de conjuntos
-
8/8/2019 Top Mat LCC 1011 Conjuntos(1)
22/31
Teoria elementar de conjuntos
Estudamos de seguida outros processos de construir conjuntos a partir deconjuntos dados.
Definicao 2.15
Dado um conjunto A chamamos conjunto das partes de A ouconjunto potencia de A, e representamos por P(A), ao conjunto detodos os subconjuntos de A, i.e.,
P(A) = {X : X A}.
Exemplo 2.16
Sejam A = {a, b, c}, B = {1, {2}} e C = . Entao, tem-se1 P(A) = {, {a}, {b}, {c}, {a, b}, {a, c}, {b, c}, {a, b, c}}.2 P(B) = {, {1}, {{2}}, {1, {2}}}.3 P(C) = {}.
Top. de Matematica - LCC - 2010/2011 Dep. Matematica e Aplicacoes - Univ. do Minho 22 / 31
Teoria elementar de conjuntos
-
8/8/2019 Top Mat LCC 1011 Conjuntos(1)
23/31
Teoria elementar de conjuntos
Proposicao 2.17
Dados conjuntos A e B, tem-se:
1 P(A) e A P(A) .2 Se A B, entao P(A) P(B).3 Se A tem n elementos, entao P(A) tem 2n elementos.
Demonstracao: 1. Para qualquer conjunto A, tem-se A e A A.Logo e A sao elementos de P(A).2. Admitamos que A B. Vamos mostrar que P(A) P(B).Dado X
P(A), tem-se X
A. Logo, como A
B, segue que X
B,
o que significa que X P(B). Provamos, desta forma, que todo oelemento de P(A) e tambem elemento de P(B) e, portanto,P(A) P(B).3. Consultar bibliografia adequada.
Top. de Matematica - LCC - 2010/2011 Dep. Matematica e Aplicacoes - Univ. do Minho 23 / 31
Teoria elementar de conjuntos
-
8/8/2019 Top Mat LCC 1011 Conjuntos(1)
24/31
Teoria elementar de conjuntos
Dados objectos a, b, os conjuntos
{a, b
}e
{b, a
}sao iguais, nao
interessando a ordem pela qual os elementos ocorrem. No entanto, emcertas situacoes, interessa considerar os objectos por determinada ordem.Sendo assim, introduz-se a nocao de par ordenado.
Dados objectos a, b define-se par ordenado de a e de b como sendo o
objecto (a, b) tal que (a, b) = (c, d) se e so se a = c e b = d.
Note-se que num par ordenado a ordem dos elementos e relevante: dadosdois objectos a, b, se a = b, tem-se (a, b) = (b, a).
Num par ordenado (a, b) designa-se o objecto a como a primeiracomponente (ou coordenada) e o objecto b como a segundacomponente (ou coordenada).
Top. de Matematica - LCC - 2010/2011 Dep. Matematica e Aplicacoes - Univ. do Minho 24 / 31
Teoria elementar de conjuntos
-
8/8/2019 Top Mat LCC 1011 Conjuntos(1)
25/31
Teoria elementar de conjuntos
Os pares ordenados sao objectos com os quais se podem formar novosconjuntos.
Definicao 2.18Sejam A, B conjuntos. O produto cartesiano de A por B, representadopor A B, e o conjunto formado por todos os pares ordenados (a, b) emque a A e b B, i.e.,
A B = {(a, b) : a A b B}.
Exemplo 2.19
1 Sejam A = {1, 2} e B = {a, b, c}. Entao
A B = {(1, a), (2, a), (1, b), (2, b), (1, c), (2, c)};B A = {(a, 1), (a, 2), (b, 1), (b, 2), (c, 1), (c, 2)}.2 Sejam A = B = R. Os elementos de A B = R R podem ser
representados geometricamente como pontos dum plano munido deum eixo de coordenadas.
Top. de Matematica - LCC - 2010/2011 Dep. Matematica e Aplicacoes - Univ. do Minho 25 / 31
Teoria elementar de conjuntos
-
8/8/2019 Top Mat LCC 1011 Conjuntos(1)
26/31
Teoria elementar de conjuntos
Apresentam-se, agora, algumas propriedades relacionadas com o produtocartesiano, algumas delas envolvendo, tambem, as operacoes definidas
anteriormente.
Proposicao 2.20
Para quaisquer conjuntos A, B, C e D, tem-se
1 A = = A.2 A C e B D se e so se A B C D.3 C (A B) = (C A) (C B);
(A B) C = (A C) (B C).4 C (A B) = (C A) (C B);(A B) C = (A C) (B C).5 C (A \ B) = (C A) \ (C B);
(A \ B) C = (A C) \ (B C).
Top. de Matematica - LCC - 2010/2011 Dep. Matematica e Aplicacoes - Univ. do Minho 26 / 31
Teoria elementar de conjuntos
-
8/8/2019 Top Mat LCC 1011 Conjuntos(1)
27/31
Teoria elementar de conjuntos
Demonstracao: Mostremos que C
(A
B) = (C
A)
(C
B).
Seja (x, y) C (A B). Entao x C y (A B). Se y A, tem-se(x, y) C A; se y B, tem-se (x, y) C B. Em qualquer dos casos,vem (x, y) (C A) (C B). Logo C (A B) C A) (C B).Para a prova da inclusao contraria basta ter em conta a propriedade 2..De facto, como A A B e B A B, tem-se C A C (A B) eC B C (A B). Logo (C A) (C B) C (A B).Da prova das duas inclusoes resulta a igualdade que se pretendia mostrar.
(A prova das restantes propriedades fica ao cuidado do aluno).
Observacao: Se A e B sao dois conjuntos com p e q elementos(p, q N0), respectivamente, entao A B tem p q elementos.
Top. de Matematica - LCC - 2010/2011 Dep. Matematica e Aplicacoes - Univ. do Minho 27 / 31
Teoria elementar de conjuntos
-
8/8/2019 Top Mat LCC 1011 Conjuntos(1)
28/31
j
As nocoes de uniao, interseccao e produto cartesiano de conjuntospodem ser generalizadas a coleccoes de conjuntos. A uma coleccao deconjuntos da-se a designacao de famlia de conjuntos e, no caso dos seuselementos serem indexados, falamos em famlia de conjuntos indexada.
Definicao 2.21
Seja I um conjunto nao vazio e, para cada i I, seja Ai um conjunto. Acoleccao dos conjuntos Ai da-se a designacao de famlia de conjuntosindexada por I, e representamo-la por (Ai)iI, i.e.,
(Ai)iI =
{Ai : i
I
}.
Ao conjunto I referido na definicao anterior da-se o nome de conjuntode ndices. Este conjunto pode ser finito ou infinito. No caso em que Item n elementos e usual escrever I = {1, 2, . . . , n}.
Top. de Matematica - LCC - 2010/2011 Dep. Matematica e Aplicacoes - Univ. do Minho 28 / 31
Teoria elementar de conjuntos
-
8/8/2019 Top Mat LCC 1011 Conjuntos(1)
29/31
j
Exemplo 2.22
Para cada n
N0, seja An =
{x
N0 : x
n
}. Assim, (Ai)iN0 e uma
famlia de conjuntos indexada porN0.
Vejamos, entao, de que forma se generalizam as nocoes das operacoes deuniao, interseccao e produto cartesiano.
Definicao 2.23
Seja I um conjunto nao vazio eF= (Ai)iI uma famlia de conjuntosindexada por I.
1 Chama-se uniao da famlia
Fe representa-se por
iI
Ai o conjunto
{x : iI x Ai}.2 Chama-se interseccao da famlia Fe representa-se por
iI
Ai o
conjunto
{x :
iI x
Ai
}.
Top. de Matematica - LCC - 2010/2011 Dep. Matematica e Aplicacoes - Univ. do Minho 29 / 31
Teoria elementar de conjuntos
-
8/8/2019 Top Mat LCC 1011 Conjuntos(1)
30/31
j
Definicao 2.23 (continuacao)
3 Se I =
{1, 2, . . . , n
}, o produto cartesiano de A1, A2, ... An,
representado por A1 A2 . . . An ou poriI
Ai, e o conjunto
formado pelos n-uplos ordenados (a1, a2, . . . , an) em que a1 A1,a2 A2, . . . , an An, i.e.,A1
A2
. . .
An =
{(a1, a2, . . . , an) : a1
A1, a2
A2, . . . , an
An
}.
No caso em que A1 = A2 = . . . = An escrevemos An em alternativa a
A1 A2 . . . An.Exemplo 2.24
Para cada n N0, seja An = {x N0 : x n}. Tem-seiI
Ai = N0;
iI
Ai = {0};
i{0,1,2}
Ai = {(0, 0, 0), (0, 0, 1), (0, 0, 2), (0, 1, 0), (0, 1, 1), (0, 1, 2)}.
Top. de Matematica - LCC - 2010/2011 Dep. Matematica e Aplicacoes - Univ. do Minho 30 / 31
Teoria elementar de conjuntos
-
8/8/2019 Top Mat LCC 1011 Conjuntos(1)
31/31
j
Generalizando a nocao de igualdade de pares ordenados, diz-se que doisn-uplos ordenados (a1, a2, . . . , an) e (b1, b2, . . . , bn) de um produtocartesiano A1
A2
. . .
An sao iguais se e so se a1 = b1, a2 = b2, ...
an = bn.
A generalidade das propriedades da uniao, da interseccao e do produtocartesiano tambem sao extensveis a famlias de conjuntos. Sendo (Ai)iIuma famlia de conjuntos, tem-se, por exemplo:
Ai iI
Ai, para todo i I. iI
Ai Ai, para todo i I.B
iI
Ai =
iI
(B Ai). B
iI
Ai =
iI
(B Ai).
B\
i
I
Ai =
i
I
(B\ Ai). B\
i
I
Ai =
i
I
(B\ Ai).
B
iI
Ai =
iI
(B Ai). B
iI
Ai =
iI
(B Ai).
Se I = {1, 2, . . . , n} e se cada conjunto Ai tem pi elementos, entaoiI
Ai tem p1 p2 . . . pn elementos.
Top. de Matematica - LCC - 2010/2011 Dep. Matematica e Aplicacoes - Univ. do Minho 31 / 31