Insieme
Concetto primitivo. Collezione di elementi distinti individuabili oggettivamente.
Possibili rappresentazioni di un insieme
- Elencazione: A = {a, b, c}
- Proprietà caratteristica A = {x: P(x)}
- Grafica (Eulero-Venn)
Uguaglianza tra insiemi
A = B
Inclusione
A ⊆ B ⟺ ∀ x ∈ A, x ∈ B
A ⊂ B ⟺ A ⊆ B ∧ ∃ x ∈ B, x ∉ A
Insieme delle parti di un insieme
Insieme di tutti i sottoinsiemi possibili di un insieme.
(A) = {x | x ⊆ A}
A = {a, b, c}
(A) = {∅, {a}, {b}, {c}, {a,b}, {a,c}, {b,c}, {a,b,c}}
Cardinalità
|A| = m
|(A)| = 2m
Unione tra insiemi
C = A ∪ B ⟺ ∀ x ∈ C, x ∈ A ∨ x ∈ B
A ∪ ∅ = A
Intersezione
C = A ∩ B ⟺ ∀ x ∈ C, x ∈ A ∧ x ∈ B
A ∩ A = A
Differenza
C = A - B ⟺ ∀ x ∈ C, x ∈ A ∧ x ∉ B
A - ∅ = A
Esempi
Elencazione: A = {1, 7, 17, 31, 49}
Proprietà caratteristica: A = {x | x ∈ ℕ, x = 2k - 1, 1 ≤ k ≤ 5}
Insieme
Concetto primitivo. Collezione di elementi distinti individuabili oggettivamente.
Possibili rappresentazioni di un insieme
- Elencazione: A = { a, b, c }
- Proprietà caratteristica A = { x: P(x) }
- Grafica (Eulero-Venn)
Equivalenza tra insiemi
A = B ⇔ ∀x ∈ A, x ∈ B ∧ ∀x ∈ B, x ∈ A
Inclusione
A ⊆ B ⇔ ∀x ∈ A, x ∈ B
A ⊂ B ⇔ A ⊆ B ∧ ∃x ∈ B, x ∉ A
Insieme delle parti di un insieme
Insieme di tutti i sottoinsiemi possibili di un insieme.
(A) = { x | x ⊆ A }
A = { a, b, c }
(A) = { ∅, { a }, { b }, { c }, { a, b }, { a, c }, { b, c }, { a, b, c } }
Cardinalità
Numero di elementi di un insieme.
|A| = m
|(A)| = 2m
Unione tra insiemi
C = A ∪ B ⇔ ∀x ∈ C, x ∈ A ∨ x ∈ B
A ∪ ∅ = A
Intersezione
C = A ∩ B ⇔ ∀x ∈ C, x ∈ A ∧ x ∈ B
A ∩ A = A
Differenza
C = A - B ⇔ ∀x ∈ C, x ∈ A ∧ x ∉ B
A - ∅ = A
Esempi
Elencazione: A = { 1, 7, 17, 31, 49 }
Proprietà caratteristica: A = { x | x ∈ ℕ, x = 2k - 1, 1 ≤ k ≤ 5 }
Prodotto cartesiano
Dati due insiemi A e B il prodotto cartesiano C è:
C = A × B = {(a, b) | ∀a ∈ A ∀b ∈ B}
|C| = |A|. |B|
Relazione binaria
Sottoinsieme del prodotto cartesiano che soddisfa una relazione R.
Scarica il documento per vederlo tutto.
Scarica il documento per vederlo tutto.
Scarica il documento per vederlo tutto.
Scarica il documento per vederlo tutto.
Scarica il documento per vederlo tutto.
Scarica il documento per vederlo tutto.
Scarica il documento per vederlo tutto.
Scarica il documento per vederlo tutto.
Scarica il documento per vederlo tutto.
Scarica il documento per vederlo tutto.
Scarica il documento per vederlo tutto.