Matemática para Ciência de Computadores

Propaganda
Matemática para Ciência de Computadores
1 o Ano - LCC & ERSI
Luı́s Antunes
[email protected]
DCC-FCUP
Luis Antunes DCC-FCUP
Complexidade 2002/03
1
Teoria de Conjuntos
Um conjunto é uma colecção de objectos/elementos/membros. (Cantor 1895)
• lista de elementos entre chavetas:
S = {a, b, c, d} = {b, c, a, d}
• especificado usando predicados
S = {x : P (x)}
•
S = {1, 2, 3, 4, . . .}
• x é um elemento de S (ou x pertence a S) x ∈ S
Luis Antunes DCC-FCUP
Complexidade 2002/03
2
Conjuntos: exemplos
• {1, {1}}.
• R = reais.
• R = naturais = {1, 2, 3, 4, . . .}
• Z = inteiros = {. . . , −3, −2, −1, 0, 1, 2, 3, . . .}.
• Z+ = inteiros positivos.
• {x ∈ R : −2 < x < 5}.
Luis Antunes DCC-FCUP
Complexidade 2002/03
3
Subconjuntos
Definição: Um conjunto A é um subconjunto do conjunto B (A ⊆ B) sse
∀x(x ∈ A ⇒ x ∈ B)
O conjunto A é um subconjunto de si mesmo.
Definição: O conjunto vazio, ∅, é o único conjunto que não contém elementos.
(x ∈ ∅ é sempre falso!)
∀x(x ∈ ∅ ⇒ x ∈ B)
logo ∅ é um subconjunto de qualquer conjunto.
Luis Antunes DCC-FCUP
Complexidade 2002/03
4
Subconjuntos
Definição: Se A ⊆ B e A 6= B então A é um subconjunto próprio de B A ⊂ B.
Definição: o conjunto de todos os subconjuntos de um conjunto A é chamado o
conjunto das partes de A (P (A)).
Exemplo: Se A = {a, b} então P (A) = {∅, {a}, {b}, {a, b}}.
Exercı́cios: Seja A = {1, 2, 5, 7}, B = {1, 5} e C = {3, 7}.
(a) B ⊆ A?
Luis Antunes DCC-FCUP
(b) C ⊆ A?
(c) B ⊆ B?
Complexidade 2002/03
5
Cardinalidade
Definição: o número de elementos (distintos!) em A, |A|, é chamado a
cardinalidade de A.
Se a cardinalidade de um conjunto é um número natural (N), então o conjunto é
finito caso contrário é infinito.
Exemplo: Se A = {a, b} então |{a, b}| = 2 e |P (A) = 4.
Nota 1: se |A| = n, então |P (A)| = 2n.
Nota 2: Conjuntos podem ser elementos e subconjuntos de outros conjuntos.
Cuidado com o uso de ∈ e ⊆!
Luis Antunes DCC-FCUP
Complexidade 2002/03
6
Produto cartesiano de conjuntos
Definição: o produto cartesiano de o conjunto A com o conjunto B, A × B, é o
conjunto de pares ordenados {(a, b) : a ∈ A ∧ b ∈ B}.
Definição: o produto cartesiano dos conjuntos A1, A2, . . . , An, A1 × A2 × . . . An,
é o conjuntos de todos os ntuplos ordenados
{(a1, a2, . . . , an) : a1 ∈ A1, a2 ∈ A2 . . . an ∈ An}.
Exemplo: Seja A = {a, b} e B = {1, 2, 3}.
A × B = {(a, 1), (a, 2), (a, 3), (b, 1), (b, 2), (b, 3)}.
(a) Determine B × A e A × B × A.
(b) Determine |A × B|.
Exercı́cio: Se |A| = m e |B| = n, determine |A × B|.
Luis Antunes DCC-FCUP
Complexidade 2002/03
7
Operações sobre conjuntos
O cálculo proposicional e a teoria de conjuntos são ambos instâncias de um
sistema algébrico chamado
Álgebra Booleana.
As operações na teoria de conjuntos são definidas em termos do operador
correspondente no calculo proposicional.
Luis Antunes DCC-FCUP
Complexidade 2002/03
8
Igualdade
Definição: Dois conjuntos A e B são iguais, A = B, se e só se
∀x(x ∈ A ⇔ x ∈ B)
ou
A = B se e só se ∀x[(x ∈ A ⇒ x ∈ B) ∧ (x ∈ B ⇒ x ∈ A)]
ou
A = B se e só se A ⊆ B e B ⊆ A
Luis Antunes DCC-FCUP
Complexidade 2002/03
9
Definições (A e B conjuntos)
1. A união entre A e B, A ∪ B, é o conjunto
{x : x ∈ A ∨ x ∈ B}
2. A intersecção entre A e B, A ∩ B, é o conjunto
{x : x ∈ A ∧ x ∈ B}
3. O complemento de A, A (Ac), é o conjunto
{x : x 6∈ A
4. A diferença entre A e B (ou complemento de B relativamente a A), A − B, é
o conjunto A ∩ B.
Luis Antunes DCC-FCUP
Complexidade 2002/03
10
Exemplo
Seja U = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10}, A = {1, 2, 3, 4, 5} e B = {6, 7, 8}.
Então:
• A ∪ B = {1, 2, 3, 4, 5, 6, 7, 8}.
• A ∩ B = {4, 5}.
• A = {0, 6, 7, 8, 9, 10}.
• A − B = {1, 2, 3}.
Luis Antunes DCC-FCUP
Complexidade 2002/03
11
Conjuntos: propriedades
1. Para todo o conjunto A e B; A ∩ B ⊆ A e A ∩ B ⊆ B.
2. Para todo o conjunto A e B; A ⊆ A ∪ B e B ⊆ A ∪ B.
3. Para todo o conjunto A, B e C; se A ⊆ B e B ⊆ C, então A ⊆ C.
4. Para todo o conjunto A e B; A ∪ B = A ∩ B.
5. Para todo o conjunto A e B; A ∩ B = A ∪ B.
Luis Antunes DCC-FCUP
Complexidade 2002/03
12
Conjuntos: propriedades
1. Comutatividade: para todo o conjunto A e B; A ∩ B = B ∩ A e A ∪ B = B ∪ A.
2. Associatividade: para todo o conjunto A, B e C; A ∩ (B ∩ C) = (A ∩ B) ∩ C e
A ∪ (B ∪ C) = (A ∪ B) ∪ C.
3. Distributividade: para todo o conjunto A, B e C; A∪(B ∩C) = (A∪B)∩(A∪C)
e A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C).
4. Complemento duplo: para todo o conjunto A, A = A.
5. Idempotência: para todo o conjunto A, A ∪ A = A e A ∩ A = A.
Luis Antunes DCC-FCUP
Complexidade 2002/03
13
Provas...
Exercı́cio: Mostre que A ∪ B = A ∩ B.
Prova: Vamos mostrar que
∀x(x ∈ A ∪ B) ⇔ x ∈ A ∩ B
Começamos por aplicar a seguinte regra de inferência
Instanciação Universal
Numa prova podemos eliminar o quantificador universal que afecta uma variável
se assumirmos que a variável é um elemento arbitrario do domı́nio. Tratamos o
predicado resultante como uma proposição.
Luis Antunes DCC-FCUP
Complexidade 2002/03
14
Provas...
Assumimos
Seja x um elemento arbitrario do domı́nio
x ∈ A ∪ B ⇔ x 6∈ (A ∪ B)
x 6∈ (A ∪ B) ⇔ ¬(x ∈ (A ∪ B))
¬(x ∈ A ∨ x ∈ B))
¬x ∈ A ∧ ¬x ∈ B
x 6∈ A ∧ x 6∈ B
x∈A∧x∈B
x ∈ (A ∩ B)
Def. de Complemento
Def. de 6∈
Def. de união
Leis de DeMorgan
Def. de 6∈
Def. de complemento
Def. de intersecção
Logo
x∈A∪B ⇔x∈A∩B
é uma tautologia
Luis Antunes DCC-FCUP
Complexidade 2002/03
15
Provas...
Como
• x é arbitrario
• usamos equivalências lógicas, asserções e definições
podemos aplicar outra regra de inferência chamada
Generalização Universal
Podemos aplicar um quantificador universal para ligar uma variável se mostramos
que o predicado é válido para todas as variáveis no universo.
e afirmar que a asserção é válida para todo o x, i.e.,
∀x(x ∈ A ∪ B) ⇔ x ∈ A ∩ B
Luis Antunes DCC-FCUP
Complexidade 2002/03
16
Conjunto vazio
Definição: O conjunto vazio, ∅, é o único conjunto que não contém elementos.
Nota: para provar que um conjunto A é igual ao conjunto vazio, mostre que A
não contém elementos. Para o fazer, suponha que A contém um elemento e
deduza uma contradição.
Teorema: Para todo o conjunto A, A ∩ ∅ = ∅.
Luis Antunes DCC-FCUP
Complexidade 2002/03
17
Prova
Seja A um conjunto (fixo, mas genericamente escolhido), para mostrar que
A ∩ ∅ = ∅ basta mostrar que A ∩ ∅ não contém nenhum elemento.
Suponhamos que x ∈ (A ∩ ∅), por definição de intersecção x ∈ A e x ∈ ∅. Em
particular x ∈ ∅, o que é impossı́vel por definição de ∅.
Esta contradição mostra que a hipótese de existir um x ∈ (A ∩ ∅) é falsa. Logo
A ∩ ∅ não contém elementos e A ∩ ∅ = ∅.
Luis Antunes DCC-FCUP
Complexidade 2002/03
18
Exercı́cios
• Das seguintes afirmações idenfifique as verdadeiras:
(a) 2 ∈ {1, 2, 3}
(b) {2} ∈ {1, 2, 3}
(c) 2 ⊆ {1, 2, 3}
(d) {2} ⊆ {1, 2, 3} (e) {2} ⊆ {{1}}, {{2}} (f ) {2} ∈ {{1}}, {{2}}
• Mostre que para todo o conjunto A e B, A ∩ B ⊆ A.
• Mostre que para todo o conjunto A e B, A ∪ B = A ∩ B.
• Mostre que para todo o conjunto A,B e C (A ∪ B) − C = (A − C) ∪ (B − C).
Luis Antunes DCC-FCUP
Download