Tópicos de Matemática. Teoria elementar de conjuntos

Documentos relacionados
Notas de aula: Cálculo e Matemática Aplicados às Notas de aula: Ciências dos Alimentos

Teoria das Linguagens. Linguagens Formais e Autómatos (Linguagens)

Capítulo 1. Conjuntos e Relações. 1.1 Noção intuitiva de conjuntos. Notação dos conjuntos

Em matemática definimos e estudamos conjuntos de números, pontos, retas curvas, funções etc.

Matemática Discreta - 07

Matemática Discreta - 07

é uma proposição verdadeira. tal que: 2 n N k, Φ(n) = Φ(n + 1) é uma proposição verdadeira. com n N k, tal que:

Por meio de uma figura fechada, dentro da qual podem-se escrever seus elementos. Diagrama de Venn-Euler.

Já falamos que, na Matemática, tudo se baseia em axiomas. Já estudamos os números inteiros partindo dos seus axiomas.

Dado um inteiro positivo n, definimos U(n) como sendo o conjunto dos inteiros positivos menores que n e primos com n. Não é difícil ver que a

Matemática para Ciência de Computadores

ÁLGEBRA. AULA 1 _ Conjuntos Professor Luciano Nóbrega. Maria Auxiliadora

Introdução a Teoria de Conjuntos

1 Conjuntos, Números e Demonstrações

Apontamentos de Matemática Discreta

Aulas 10 e 11 / 18 e 20 de abril

Capítulo 2. Retas no plano. 1. Retas verticais e não-verticais. Definição 1

1) Seja o conjunto A = (0;1). Quantas relações binárias distintas podem ser definidas sobre o conjunto A?

Cálculo Diferencial e Integral I

Interbits SuperPro Web

Teoria intuitiva de conjuntos

Definição: Todo objeto parte de um conjunto é denominado elemento.

Teoria dos Conjuntos. Teoria dos Conjuntos. Teoria dos Conjuntos. Teoria dos Conjuntos. Teoria dos Conjuntos. Teoria dos Conjuntos

Exercícios de revisão para a primeira avaliação Gabaritos selecionados

Reticulados e Álgebras de Boole

Interbits SuperPro Web

Teoria Elementar dos Conjuntos

A = B, isto é, todo elemento de A é também um elemento de B e todo elemento de B é também um elemento de A, ou usando o item anterior, A B e B A.

Teoria Elementar dos Conjuntos

MATEMÁTICA I. Ana Paula Figueiredo

Diagrama de Venn O diagrama de Venn representa conjunto da seguinte maneira:

Matemática I. 1 Propriedades dos números reais

CM Funções. Notas de Aula PSE Departamento de Matemática - UFPR

INTRODUÇÃO À TEORIA DOS CONJUNTOS

Definição 3.1: Seja x um número real. O módulo de x, denotado por x, é definido como: { x se x 0 x se x < 0

Pontifícia Universidade Católica do Rio Grande do Sul

ALGEBRA I Maria L ucia Torres Villela Instituto de Matem atica Universidade Federal Fluminense Junho de 2007 Revis ao em Fevereiro de 2008

RACIOCÍNIO LÓGICO. Curso Superior de Tecnologia. Aula 02 TEORIA DOS CONJUNTOS

Aula Distância entre duas retas paralelas no espaço. Definição 1. Exemplo 1

SMA0341 e SLC Elementos de Matemática Notas de Aulas

INTRODUÇÃO À TEORIA DOS CONJUNTOS1

Humberto José Bortolossi x 1 < 0 x2 x 12 < 0. x 1 x + 12 (x + 3)(x 4)

Programa Combinatória Aritmética Racional MATEMÁTICA DISCRETA. Patrícia Ribeiro. Departamento de Matemática, ESTSetúbal 2018/ / 52

Conjuntos: Noções Básicas Parte I

Cálculo Diferencial e Integral Química Notas de Aula

Sumário. 2 Índice Remissivo 9

Lógica e Matemática Discreta

A Ideia de Continuidade. Quando dizemos que um processo funciona de forma contínua, estamos dizendo que ele ocorre sem interrupção.

Pensamento. (Provérbio Chinês) Prof. MSc. Herivelto Nunes

Aula 4 Colinearidade, coplanaridade e dependência linear

J. Delgado - K. Frensel - L. Crissaff Geometria Analítica e Cálculo Vetorial

Lógica. Fernando Fontes. Universidade do Minho. Fernando Fontes (Universidade do Minho) Lógica 1 / 65

CÁLCULO I. 1 Número Reais. Objetivos da Aula

Teoria dos Conjuntos. (Aula 6) Ruy de Queiroz. O Teorema da. (Aula 6) Ruy J. G. B. de Queiroz. Centro de Informática, UFPE

CONJUNTOS RELAÇÕES DE PERTINÊNCIA, INCLUSÃO E IGUALDADE; OPERAÇÕES ENTRE CONJUNTOS, UNIÃO, INTER- SEÇÃO E DIFERENÇA

Matemática Básica Noções Básicas de Operações com Conjuntos / Conjuntos Numéricos

Aula 4: Elementos da Teoria de Conjuntos

Matemática Conjuntos - Teoria

Revisão de conceitos Matemáticos. Matemática e Fundamentos de Informática

Generalidades sobre conjuntos

O Plano no Espaço. Sumário

Generalidades sobre conjuntos

Fundamentos de Álgebra Moderna Profª Ana Paula CONJUNTOS

Teoria dos Conjuntos MATEMÁTICA DISCRETA CONCEITOS PRELIMINARES. Fundamentos de Lógica Técnicas Elementares de Prova A NOÇÃO DE CONJUNTO

CM Funções. Notas de Aula PSE Departamento de Matemática - UFPR

Práticas de Investigação Quantitativa

Universidade do Estado de Santa Catarina - UDESC Centro de Ciências Tecnológicas - CCT Licenciatura em Matemática

Linguagem Básica de Conjuntos

2019/01. Estruturas Básicas: Conjuntos, Funções, Sequências, e Somatórios Área de Teoria DCC/UFMG /01 1 / 76

Teoria dos Conjuntos. Prof. Jorge

Curso: Ciência da Computação Disciplina: Matemática Discreta 3. CONJUNTOS. Prof.: Marcelo Maraschin de Souza

ENFOQUE USANDO CORTES DE DEDEKIND

PC Polícia Civil do Estado de São Paulo PAPILOSCOPISTA

Plano cartesiano, Retas e. Alex Oliveira. Circunferência

Álgebra Linear e Geometria Analítica

x B A x X B B A τ x B 3 B 1 B 2

Teoria dos Conjuntos FBV. Prof. Rossini Bezerra

MATEMÁTICA. Aula 2 Teoria dos Conjuntos. Prof. Anderson

Aula 5 Equações paramétricas de retas e planos

Revisões de Conjuntos

MATEMÁTICA DISCRETA CONCEITOS PRELIMINARES

Fundamentos de Matemática Curso: Informática Biomédica

Notas de Aulas 1 - Conjuntos Prof Carlos A S Soares

A LINGUAGEM DO DISCURSO MATEMÁTICO E SUA LÓGICA

FICHA de AVALIAÇÃO de MATEMÁTICA A 10.º Ano de escolaridade Versão 4

. Um termo ou designação é uma expressão que nomeia ou designa um ente.. Uma proposição é toda a expressão p susceptível de ser verdadeira ou falsa.

Notas de aula de MAC0329 Álgebra Booleana e Aplicações

Bases Matemáticas. Definição ingênua de conjunto. Aula 3 Conjuntos. Rodrigo Hausen

Elementos de Matemática Finita

Fundamentos de Matemática

DISCIPLINA: MATEMÁTICA BÁSICA PROF. ELIONARDO ROCHELLY TEC. ALIMENTOS TEC. SISTEMAS INTERNET MATUTINO/VESPERTINO

FICHA de AVALIAÇÃO de MATEMÁTICA A 10.º Ano de escolaridade Versão 3

Introdução à Teoria dos Números - Notas 4 Tópicos Adicionais II

Geometria Espacial Curso de Licenciatura em Matemática parte I. Prof.a Tânia Preto Departamento Acadêmico de Matemática UTFPR

1. Funções Reais de Variável Real Vamos agora estudar funções definidas em subconjuntos D R com valores em R, i.e. f : D R R

Curso de Administração Centro de Ciências Sociais Aplicadas Universidade Católica de Petrópolis. Matemática 1. Revisão - Conjuntos e Relações v. 0.

Elementos de Matemática Finita

Transcrição:

Tópicos de Matemática Lic. em Ciências da Computação Teoria elementar de conjuntos Carla Mendes Dep. Matemática e Aplicações Universidade do Minho 2010/2011 Tóp. de Matemática - LCC - 2010/2011 Dep. Matemática e Aplicações - Univ. do Minho 1 / 31

A noção de conjuntos e o estudo de conjuntos (designada por Teoria de conjuntos), hoje essenciais em muitos campos da Matemática e das Ciências da Computação, foram introduzidos por Georg Cantor nos finais do século XIX. A teoria de Cantor, um tanto intuitiva, foi posteriormente tratada e organizada de forma axiomática. Nesta unidade curricular vamos considerar a noção de conjunto como um conceito primitivo, i.e. como uma noção intuitiva, a partir da qual serão definidas outras noções. Intuitivamente, um conjunto é uma colecção de objectos chamados os elementos ou membros do conjunto. Os conjuntos serão representados por letras maiúsculas A, B, C,..., X, Y, Z (possivelmente com índices) e os elementos de um conjunto serão representados por letras minúsculas a, b, c,..., x, y, z (também possivelmente com índices). Tóp. de Matemática - LCC - 2010/2011 Dep. Matemática e Aplicações - Univ. do Minho 2 / 31

Dado um conjunto A e um objecto x, diz-se que: x pertence a A, e escrevemos x A, se x é um dos objectos de A; x não pertence a A, e escreve-se x A, caso x não seja um dos objectos de A. Exemplo 2.1 1 São exemplos de conjuntos as colecções: a) de disciplinas do 1 o ano do plano de estudos de LCC; b) de pessoas presentes numa festa; c) de meses com 30 dias; d) dos números naturais, inteiros, racionais, reais e complexos, representados, respectivamente, por N, Z, Q, R e C. 2 Tem-se, por exemplo, 3 N, 0 N, 1 2 Q, 2 Q. Tóp. de Matemática - LCC - 2010/2011 Dep. Matemática e Aplicações - Univ. do Minho 3 / 31

Um conjunto pode ser descrito de várias formas. Uma delas consiste em enumerar explicitamente os seus elementos, os quais são colocados entre chavetas e separados por vírgulas - neste caso diz-se que o conjunto é descrito por extensão. Quando numa descrição por extensão não é possível ou praticável a enumeração de todos os elementos do conjunto, utiliza-se uma notação sugestiva e não ambígua que permita intuir os elementos não expressos. Um conjunto também pode ser descrito por compreensão, i.e., dado um predicado 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) é verdadeira. Tóp. de Matemática - LCC - 2010/2011 Dep. Matemática e Aplicações - Univ. do Minho 4 / 31

Exemplo 2.2 1 O conjunto dos números naturais menores do que 5 pode ser descrito, por extensão, do seguinte modo {1,2,3,4}. 2 O conjunto dos números naturais divisores de 4 pode ser descrito, por compreensão, da seguinte forma {n N : n 4}. 3 Os conjuntos dos números naturais e dos números inteiros são usualmente representados por extensão utilizando a seguinte notação: N = {1,2,3,...}, Z = {..., 2, 1,0,1,2,...}. O conjunto cujos elementos são o número 0 e os números naturais é representado por N 0 = {0,1,2,...}. Definição 2.3 Ao único conjunto que não tem qualquer elemento chamamos conjunto vazio e será representado por ou por {}. Tóp. de Matemática - LCC - 2010/2011 Dep. Matemática e Aplicações - Univ. do Minho 5 / 31

Um conjunto fica determinado quando são conhecidos os seus elementos. Definição 2.4 Dois conjuntos A e B dizem-se iguais, e escreve-se A = B, se têm os mesmos elementos, i.e, A = B se x (x A x B). Consequentemente, A e B dizem-se diferentes, e escreve-se A B, se existir um elemento num conjunto que não se encontra no outro. Exemplo 2.5 1 O conjunto A = {1,2,4} é igual ao conjunto dos divisores naturais de 4, e é também igual ao conjunto B = {x R : x 3 7x 2 +14x 8 = 0}. 2 Os conjuntos A = {x N : x é múltiplo de 3} e B = {6,12,18,24...} são diferentes, pois, 3 A e 3 B. Tóp. de Matemática - LCC - 2010/2011 Dep. Matemática e Aplicações - Univ. do Minho 6 / 31

Definição 2.6 Sejam A e B conjuntos. Diz-se que A está contido em B ou que A é subconjunto de B, e escreve-se A B, se todo o elemento de A é também elemento de B, i.e., A B se x (x A x B). Caso exista um elemento de A que não seja elemento de B diz-se que A não está contido em B ou que A não é subconjunto de B, e escreve-se A B. Simbolicamente, A B se x A x B. Exemplo 2.7 Sejam A e B conjuntos. Diz-se que A está propriamente contido em B ou que A é subconjunto próprio de B, e escreve-se A B ou A B, se A B e A B. Tóp. de Matemática - LCC - 2010/2011 Dep. Matemática e Aplicações - Univ. do Minho 7 / 31

Exemplo 2.8 1 { 1,1} {x R : x 2 1 = 0}. 2 {0, 1,1} {x R : x 2 1 = 0}. 3 N N 0 Z Q R C. Proposição 2.9 Sejam A, B e C conjuntos. Então são válidas as seguintes propriedades: 1 A. 2 A A. 3 se A B e B C, então A C. 4 (A B e B A) se e só se A = B. Tóp. de Matemática - LCC - 2010/2011 Dep. Matemática e Aplicações - Univ. do Minho 8 / 31

Demonstração: 1. No sentido de provar, por redução ao absurdo, que A, admitamos que A. Daqui segue que existe um elemento de que não pertence a A. Mas não tem elementos. Temos, então, uma contradição que resultou de admitirmos que A. Logo A. 2. Todo o elemento de A é 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. Então, como A B, segue que x B. Agora, tendo em conta que x B e que B C, vem que x C. Assim, todo o elemento de A é elemento de C, ou seja, A C. 4. Pretendemos mostrar que (A B e B A) se e só se A = B. ( ) Comecemos por admitir que A B e B A e mostremos que A = B. Tóp. de Matemática - LCC - 2010/2011 Dep. Matemática e Aplicações - Univ. do Minho 9 / 31

Demonstração (continuação): Como A B, todo o elemento de A é elemento de B; por outro lado, como B A, todo o elemento de B é elemento de A. Logo A e B têm os mesmos elementos, i.e., A = B. ( ) Reciprocamente, admitamos que A = B e provemos que A B e B A. Como A = B, estes conjuntos têm os mesmos elementos. Portanto, para todo o objecto x, (x A x B) (x B x A), i.e., A B e B A. Definição 2.10 Sejam A e B subconjuntos de um conjunto X (chamado o universo). Chama-se união ou reunião de A com B, e representa-se por A B, o conjunto cujos elementos são os elementos de A e os elementos de B, ou seja, A B = {x X : x A x B}. Tóp. de Matemática - LCC - 2010/2011 Dep. Matemática e Aplicações - Univ. do Minho 10 / 31

Definição 2.10 (continuação) Chama-se intersecção de A com B, e representa-se por A B, o conjunto cujos elementos pertencem simultaneamente a A e a B, isto é, A B = {x X : x A x B}. Chama-se complementar de B em A, e representa-se por A\B, o conjunto cujos elementos pertencem a A mas não a B, ou seja, A\B = {x X : x A x B}. Por vezes, o complementar de B em A é também designado por diferença de A com B e representado por A B. Quando A é o universo X, A\B = X \B diz-se o complementar de B e representa-se por B ou B. Tóp. de Matemática - LCC - 2010/2011 Dep. Matemática e Aplicações - Univ. do Minho 11 / 31

Exemplo 2.11 Dados os subconjuntos de R, A = { 2,0,2,π,7} e B =],3], tem-se 1 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 às operações de conjuntos apresentadas anteriormente. Proposição 2.12 Sejam A, B e C subconjuntos de um conjunto X. Então, 1 A A B e B A B. 2 A = A. Tóp. de Matemática - LCC - 2010/2011 Dep. Matemática e Aplicações - Univ. do Minho 12 / 31

Proposição 2.12 (continuação) 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. Demonstração: Demonstramos as propriedades 1., 2. e 7., ficando as restantes como exercício. 1. Vamos mostrar que A A B. Seja x A. Então, a proposição x A x B é 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 é semelhante. Tóp. de Matemática - LCC - 2010/2011 Dep. Matemática e Aplicações - Univ. do Minho 13 / 31

Demonstração (continuação): 2. Da propriedade 1. sabemos que A A. Para termos a prova de A = A, falta mostrar que A A. Consideremos x A. Então, por definição, temos que x A x. Dado que não tem elementos, podemos concluir que x A. Logo, para todo o objecto x, x A x A e, portanto, A A. De A A e A A concluímos que A = A 7. Admitamos que A B e mostremos que A B = B. Pela propriedade 1., temos B A B. Logo, resta mostrar que A B B. Dado que A B, todo o elemento de A é também elemento de B, donde segue que, 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. Tóp. de Matemática - LCC - 2010/2011 Dep. Matemática e Aplicações - Univ. do Minho 14 / 31

No seguinte resultado, descrevemos algumas propriedades da operação de intersecão de conjuntos. Proposição 2.13 Sejam A, B e C subconjuntos de um conjunto X. Então, 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. Tóp. de Matemática - LCC - 2010/2011 Dep. Matemática e Aplicações - Univ. do Minho 15 / 31

Demonstração: Apresentamos a prova das propriedades 1., 2. e 6. A prova das restantes propriedades fica como exercício. 1. Mostremos que A B A. Dado x A B, tem-se, por definição, que x A x B. Então x A é uma proposição verdadeira. Logo, para todo o objecto x, x A B x A, e, portanto A B B. A prova de B A B é análoga. 2. Pretendemos mostrar que o conjunto A não tem elementos. No sentido de fazer esta prova por redução ao absurdo, admitamos que A. Então existe um objecto x tal que x A x ; em particular, x. Mas não tem elementos, logo temos uma contradição que resultou de admitirmos que A tinha elementos. Assim, A =. Tóp. de Matemática - LCC - 2010/2011 Dep. Matemática e Aplicações - Univ. do Minho 16 / 31

Demonstração (continuação): 6. A propriedade (A B) C = A (B C) é verdadeira se, para todo o objecto x, x (A B) C x A (B C). Com efeito, atendendo à propriedade de associatividade da operação, 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). Tóp. de Matemática - LCC - 2010/2011 Dep. Matemática e Aplicações - Univ. do Minho 17 / 31

Apresentam-se de seguida mais algumas propriedades, desta vez relacionadas com a complementação de conjuntos. Proposição 2.14 Sejam A, B e C subconjuntos de um conjunto X. Então são válidas as propriedades seguintes: 1 A A = e A A = X. 2 A\ = A e A\X =. 3 se A B, então 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. Tóp. de Matemática - LCC - 2010/2011 Dep. Matemática e Aplicações - Univ. do Minho 18 / 31

Demonstração: Apresentamos a prova das propriedades 1., 2. e 5.. 1. Facilmente se prova que o conjunto A A não tem elementos. De facto, se admitirmos que este conjunto tem elementos, então existe um objecto x tal que x A x A e daqui segue que x A (x X x A). Desta forma, temos uma contradição, 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 são subconjuntos de X é imediato que A A X. Logo, resta mostrar que X A A. Esta última inclusão é também simples de verificar, pois, dado x X, a proposição x A x A é verdadeira. Por outro lado, se x X e x A, então 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 segue A A = X. Tóp. de Matemática - LCC - 2010/2011 Dep. Matemática e Aplicações - Univ. do Minho 19 / 31

Demonstração (continuação): 2. Por definição, A\ é o conjunto dos elementos que pertencem a A mas não pertencem a. Mas não tem elementos, pelo que não se retira qualquer elemento a A e, portanto, A\ = A. No sentido de provar, por redução ao absurdo, que A\X =, admitamos que o conjunto A\X tem elementos. Então existe um objecto x tal que x A\X, ou seja, existe x tal que x A x X. Mas A é um subconjunto de X, pelo que todo o elemento de A é também elemento de X. Assim, temos uma contradição: x X x X. Por conseguinte, a hipótese inicial, de que o conjunto A\X tinha elementos, está errada e, portanto, A\X =. 4. Para provar que A\(B C) = (A\B) (A\C), temos de mostrar que para todo o objecto x, x A\(B C) x (A\B) (A\C). Tóp. de Matemática - LCC - 2010/2011 Dep. Matemática e Aplicações - Univ. do Minho 20 / 31

Demonstração (continuação): Com efeito, atendendo às leis de De Morgan e à propriedade distributiva das operações lógicas 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). Tóp. de Matemática - LCC - 2010/2011 Dep. Matemática e Aplicações - Univ. do Minho 21 / 31

Estudamos de seguida outros processos de construir conjuntos a partir de conjuntos dados. Definição 2.15 Dado um conjunto A chamamos conjunto das partes de A ou conjunto potência de A, e representamos por P(A), ao conjunto de todos os subconjuntos de A, i.e., P(A) = {X : X A}. Exemplo 2.16 Sejam A = {a,b,c}, B = {1,{2}} e C =. Então, tem-se 1 P(A) = {,{a},{b},{c},{a,b},{a,c},{b,c},{a,b,c}}. 2 P(B) = {,{1},{{2}},{1,{2}}}. 3 P(C) = { }. Tóp. de Matemática - LCC - 2010/2011 Dep. Matemática e Aplicações - Univ. do Minho 22 / 31

Proposição 2.17 Dados conjuntos A e B, tem-se: 1 P(A) e A P(A). 2 Se A B, então P(A) P(B). 3 Se A tem n elementos, então P(A) tem 2 n elementos. Demonstração: 1. Para qualquer conjunto A, tem-se A e A A. Logo e A são 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). Provámos, desta forma, que todo o elemento de P(A) é também elemento de P(B) e, portanto, P(A) P(B). 3. Consultar bibliografia adequada. Tóp. de Matemática - LCC - 2010/2011 Dep. Matemática e Aplicações - Univ. do Minho 23 / 31

Dados objectos a,b, os conjuntos {a,b} e {b,a} são iguais, não interessando a ordem pela qual os elementos ocorrem. No entanto, em certas situações, interessa considerar os objectos por determinada ordem. Sendo assim, introduz-se a noção 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 só se a = c e b = d. Note-se que num par ordenado a ordem dos elementos é relevante: dados dois objectos a,b, se a b, tem-se (a,b) (b,a). Num par ordenado (a,b) designa-se o objecto a como a primeira componente (ou coordenada) e o objecto b como a segunda componente (ou coordenada). Tóp. de Matemática - LCC - 2010/2011 Dep. Matemática e Aplicações - Univ. do Minho 24 / 31

Os pares ordenados são objectos com os quais se podem formar novos conjuntos. Definição 2.18 Sejam A, B conjuntos. O produto cartesiano de A por B, representado por A B, é o conjunto formado por todos os pares ordenados (a,b) em que a A e b B, i.e., Exemplo 2.19 A B = {(a,b) : a A b B}. 1 Sejam A = {1,2} e B = {a,b,c}. Então 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 de um eixo de coordenadas. Tóp. de Matemática - LCC - 2010/2011 Dep. Matemática e Aplicações - Univ. do Minho 25 / 31

Apresentam-se, agora, algumas propriedades relacionadas com o produto cartesiano, algumas delas envolvendo, também, as operações definidas anteriormente. Proposição 2.20 Para quaisquer conjuntos A, B, C e D, tem-se 1 A = = A. 2 A C e B D se e só 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). Tóp. de Matemática - LCC - 2010/2011 Dep. Matemática e Aplicações - Univ. do Minho 26 / 31

Demonstração: Mostremos que C (A B) = (C A) (C B). Seja (x,y) C (A B). Então 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 inclusão contrária basta ter em conta a propriedade 2.. De facto, como A A B e B A B, tem-se C A C (A B) e C B C (A B). Logo (C A) (C B) C (A B). Da prova das duas inclusões resulta a igualdade que se pretendia mostrar. (A prova das restantes propriedades fica ao cuidado do aluno). Observação: Se A e B são dois conjuntos com p e q elementos (p,q N 0 ), respectivamente, então A B tem p q elementos. Tóp. de Matemática - LCC - 2010/2011 Dep. Matemática e Aplicações - Univ. do Minho 27 / 31

As noções de união, intersecção e produto cartesiano de conjuntos podem ser generalizadas a colecções de conjuntos. A uma colecção de conjuntos dá-se a designação de família de conjuntos e, no caso dos seus elementos serem indexados, falamos em família de conjuntos indexada. Definição 2.21 Seja I um conjunto não vazio e, para cada i I, seja A i um conjunto. À colecção dos conjuntos A i dá-se a designação de família de conjuntos indexada por I, e representamo-la por (A i ) i I, i.e., (A i ) i I = {A i : i I}. Ao conjunto I referido na definição anterior dá-se o nome de conjunto de índices. Este conjunto pode ser finito ou infinito. No caso em que I tem n elementos é usual escrever I = {1,2,...,n}. Tóp. de Matemática - LCC - 2010/2011 Dep. Matemática e Aplicações - Univ. do Minho 28 / 31

Exemplo 2.22 Para cada n N 0, seja A n = {x N 0 : x n}. Assim, (A i ) i N0 é uma família de conjuntos indexada por N 0. Vejamos, então, de que forma se generalizam as noções das operações de união, intersecção e produto cartesiano. Definição 2.23 Seja I um conjunto não vazio e F = (A i ) i I uma família de conjuntos indexada por I. 1 Chama-se união da família F e representa-se por i I A i o conjunto {x : i I x A i }. 2 Chama-se intersecção da família F e representa-se por i I A i o conjunto {x : i I x A i }. Tóp. de Matemática - LCC - 2010/2011 Dep. Matemática e Aplicações - Univ. do Minho 29 / 31

Definição 2.23 (continuação) 3 Se I = {1,2,...,n}, o produto cartesiano de A 1, A 2,... A n, representado por A 1 A 2...A n ou por A i, é o conjunto i I formado pelos n-uplos ordenados (a 1,a 2,...,a n ) em que a 1 A 1, a 2 A 2,..., a n A n, i.e., A 1 A 2... A n = {(a 1,a 2,...,a n ) : a 1 A 1,a 2 A 2,...,a n A n }. No caso em que A 1 = A 2 =... = A n escrevemos A n em alternativa a A 1 A 2... A n. Exemplo 2.24 Para cada n N 0, seja A n = {x N 0 : x n}. Tem-se A i = N 0 ; A i = {0}; i {0,1,2} i I i I A i = {(0,0,0),(0,0,1),(0,0,2),(0,1,0),(0,1,1),(0,1,2)}. Tóp. de Matemática - LCC - 2010/2011 Dep. Matemática e Aplicações - Univ. do Minho 30 / 31

Generalizando a noção de igualdade de pares ordenados, diz-se que dois n-uplos ordenados (a 1,a 2,...,a n ) e (b 1,b 2,...,b n ) de um produto cartesiano A 1 A 2... A n são iguais se e só se a 1 = b 1, a 2 = b 2,... a n = b n. A generalidade das propriedades da união, da intersecção e do produto cartesiano também são extensíveis a famílias de conjuntos. Sendo (A i ) i I uma família de conjuntos, tem-se, por exemplo: A i A i, para todo i I. A i A i, para todo i I. i I B A i = (B A i ). B A i = A i ). i I i I i I i I(B B \ A i = (B \A i ). B \ A i = (B \A i ). i I i I i I i I B A i = (B A i ). B A i = (B A i ). i I i I i I i I Se I = {1,2,...,n} e se cada conjunto A i tem p i elementos, então A i tem p 1 p 2... p n elementos. i I i I Tóp. de Matemática - LCC - 2010/2011 Dep. Matemática e Aplicações - Univ. do Minho 31 / 31