1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
|
---
category: Algorithms & Data Structures
name: Set theory
lang: pt-br
contributors:
- ["Andrew Ryan Davis", "https://github.com/AndrewDavis1191"]
translators:
- ["Bárbara Luz", "https://github.com/barbluz"]
---
Teoria de conjuntos é uma área da matemática que estuda conjuntos, suas operações e propriedades.
- Um conjunto é uma coleção de itens disjuntos.
## Símbolos básicos
### Operações
- a operação de união `∪`, significa "ou"
- a operação de interseção `∩`, que significa "e"
- a operação de exclusão `\`, significa "sem" ou "menos"
- a operação de conjunto complementar `'`, que significa "o inverso de"
- a operação de produto cartesiano `×`,que significa "o produto cartesiano de"
### Outros símbolos
- `:` ou `|`, símbolos que significam "tal que"
- o símbolo de pertencimento `∈`, que significa "pertence a"
- o símbolo `⊆`, que significa "subconjunto de" (neste caso, o subconjunto pode ser igual ao conjunto)
- o símbolo `⊂`, que significa "subconjunto próprio" (neste caso, o subconjunto não pode ser igual ao conjunto)
### Conjuntos canônicos
- `∅`, o conjunto vazio, isto é, o conjunto que não possui itens
- `ℕ`, o conjunto de todos os números naturais
- `ℤ`, o conjunto de todos os números inteiros
- `ℚ`, o conjunto de todos os números racionais
- `ℝ`, o conjunto de todos os números reais
Existem algumas ressalvas sobre os conjuntos canônicos:
- Apesar de o conjunto vazio não conter itens, o conjunto vazio é subconjunto de si mesmo (e portanto de todos os outros conjuntos)
- Matemáticos geralmente não concordam sobre o zero ser um número natural e os livros tipicamente explicitam se o autor considera ou não o zero como um número natural
### Cardinalidade
A cardinalidade (ou tamanho) de um conjunto é determinado pela quantidade de itens no conjunto. O operador de cardinalidade é `|...|`
Por exemplo, se `S = {1, 2, 4}`, então `|S| = 3`.
### O Conjunto Vazio
- o conjunto vazio pode ser contruído em notação de conjuntos utilizando condições impossíveis, como por exemplo: `∅ = { x : x ≠ x }`, ou `∅ = { x : x ∈ N, x < 0 }`
- o conjunto vazio é sempre único (ou seja, existe um e apenas um conjunto vazio)
- o conjunto vazio é subconjunto de todos os conjuntos
- a cardinalidade do conjunto vazio é `0`, ou seja, `|∅| = 0`.
## Representando conjuntos
### Definição Literal
Um conjunto pode ser contruído literalmente fornecendo uma lista completa dos itens contigos no conjunto. Por exemplo `S = { a, b, c, d }`
Listas longas podem ser encurtadas com reticências, desde que o contexto seja claro. Por exemplo, `E = { 2, 4, 6, 8, ... }` é claramente o conjunto de todos os números pares, contendo um número infinito de objetos, embora só tenhamos escrito explicitamente quatro deles.
### Definição por compreensão
Conjuntos também podem ser descritos de uma maneira mais descritiva, baseando-se em sujeito e predicado, de forma tal que `S = {sujeito : predicado}`. Por exemplo:
```
A = { x : x é uma vogal } = { a, e, i, o, u } (lê-se x, tal que x é uma vogal)
B = { x : x ∈ N, x < 10 } = { 0, 1, 2, 3, 4, 5, 6, 7, 8, 9 }
C = { x : x = 2k, k ∈ N } = { 0, 2, 4, 6, 8, ... }
```
Ou pode-se também aplicar uma função ao sujeito, ex:
```
D = { 2x : x ∈ N } = { 0, 2, 4, 6, 8, ... }
```
## Relações
### Pertencimento
- Se um valor `a` está contido num conjunto `A`, então dizemos que `a` pertence a `A` e denotamos por `a ∈ A`
- Se o valor `a` não está contido no conjunto `A`, então dizemos que `a` não pertence a `A` e denotamos por `a ∉ A`
### Igualdade
- Se dois conjuntos contém os mesmos itens, então dizemos que os conjuntos são iguals, ex. `A = B`
- A ordenação não importa quando vamos avaliar a igualdade, ex: `{ 1, 2, 3, 4 } = { 2, 3, 1, 4 }`
- Conjuntos são disjuntos, o que significa que os elementos não podem ser repetidos, ex: `{ 1, 2, 2, 3, 4, 3, 4, 2 } = { 1, 2, 3, 4 }`
- Dois conjuntos `A` e `B` são iguais se, e somente se, `A ⊆ B` e `B ⊆ A`
### Conjuntos especiais
O Conjunto das Partes
- Seja `A` um conjunto qualquer. O conjunto que contém todos os possíveis subconjuntos de `A` é chamado "conjunto das partes" e é denotado como `P(A)`. Se o conjunto `A` contém `n` elementos, então o conjunto das partes conterá `2^n` elementos.
```
P(A) = { x : x ⊆ A }
```
## Operações entre dois conjuntos
### União
Dados dois conjuntos `A` e `B`, a união entre esses dois conjuntos são os itens que aparecem em `A` ou em `B`, denotado por `A ∪ B`.
```
A ∪ B = { x : x ∈ A ∪ x ∈ B }
```
### Interseção
Dados dois conjuntos `A` e `B`, a interseção entre esses dois conjuntos são os itens que aparecem em `A` e em `B`, denotado por `A ∩ B`.
```
A ∩ B = { x : x ∈ A, x ∈ B }
```
### Diferença
Dados dois conjuntos `A` e `B`, o conjunto da diferença entre `A` e `B` são todos os itens de `A` que não pertencem a `B`.
```
A \ B = { x : x ∈ A, x ∉ B }
```
### Diferença simétrica
Dados dois conjuntos `A` e `B`, a diferença simétrica são todos os itens entre `A` e `B` que não aparecem na interseção desses dois conjuntos.
```
A △ B = { x : ((x ∈ A) ∩ (x ∉ B)) ∪ ((x ∈ B) ∩ (x ∉ A)) }
A △ B = (A \ B) ∪ (B \ A)
```
### Produto Cartesiano
Dados dois conjuntos `A` e `B`, o produto cartesiano de `A` e `B` consiste no conjunto contendo todas as combinações dos itens de `A` e `B`.
```
A × B = { (x, y) | x ∈ A, y ∈ B }
```
|
