Insiemi: collezione di oggetti distinti
(Es. {1,2,3,...})
Operazioni tra insiemi:
- Intersezione: A ∩ B = {x : x ∈ A e x ∈ B}
- Unione: A ∪ B = {y : y ∈ A oppure y ∈ B}
- Inclusione: A ⊆ B ⇔ ∀a ∈ A : a ∈ B
Casi particolari:
- A ∪ B = A ⇔ B ⊆ A
- A ∩ B = B ⇔ B ⊆ A
Prodotto Cartesiano:
A × B = {(a,b) : se a ∈ A, b ∈ B}
(a,b) := {{a},{a,b}}
Esempio:
A = {1,2,3}
A × A = {(1,1), (1,2), (1,3), (2,1), (2,2), (2,3), (3,1), (3,2), (3,3)}
Sequenza:
(a1, a2, a3, ..., an) ∈ At ⊆ At
dove t indica il numero degli elementi
1,1,2 ≠ {1,2,1}
Due sequenze sono uguali se e solo se ha gli stessi elementi e ordinati nello stesso modo.
Sottoserie (o multinsieme):
Dove conta anche il numero di volte che un elemento si ripete
[1,1,2] = [1,2,1] ≠ {1,1,2}
Non conta l'ordine in cui appaiono gli elementi
Oggetti e Geometria Qualitativa:
Insieme: collezione di oggetti distinti
- Operazioni tra insiemi:
- - Intersezione: A ∩ B = { ... x ∈ A & x ∈ B }
- - Unione: A ∪ B = { ... y ∈ A oppure y ∈ B }
- - Inclusione: A ⊂ B ⇔ ∀ a ∈ A . a ∈ B
- Casi particolari:
- - A ∪ B = A ⇔ B ⊂ A
- - A ∩ B = B ⇔ B ⊂ A
Prodotto Cartesiano:
A x B = { (a, b) : se a ∈ A, b ∈ B }
(a, b) := { {a}, {a, b} }
Esempio:
A = { 1, 2, 3 }
A x A = { (1, 1), (1, 2), (1, 3), (2, 1), (2, 2), (2, 3), (3, 1), (3, 2), (3, 3) }
Sequenza:
(a1 a2 a3 ... at) ∈ At ∀ t
ove a1, a2, ... at ∈ A
{ 1, 1, 2 } ≠ { 1, 2, 1 }
Due sequenze sono uguali se e solo se ha gli stessi elementi e ordinati in modo uguale.
Sistema: (o multinsieme):
Dove conta anche il numero o volte che un elemento si ripete
{ 1, 1, 2 } = { 1, 2, 1 } ≠ { 1, 2 }
Non conta l'ordine in cui appaiono gli elementi
Relazione
Sia A un insieme. Si dice relazione R di A un sottoinsieme del prodotto cartesiano AxA, per cui R ⊆ AxA.
Esempio:
A = {1, 2, 3}
R = {(2,3), (3,1), (3,2), (3,3)}
Relazione riflessiva
La relazione si dice riflessiva se ∀a ∈ A aRa
Relazione simmetrica
La relazione si dice simmetrica se ∀a, b aRb ⇒ bRa
Esempio:
R = {(3,1), (1,3), (2,3), (2,2)}
Relazione transitiva
La relazione si dice transitiva se ∀a, b, c aRb & bRc ⇒ aRc
Relazione di equivalenza
La relazione si dice di equivalenza se è riflessiva, transitiva e simmetrica allora R si dice equivalente.
Esempio: Sia R di equivalenza su A
a ∈ A [a] = {b ∈ A : aRb} [a] si dice classe di equivalenza
Se siano a, b ∈ A
- [a] = [b]
- oppure sono disgiunte [a] ∩ [b] = ∅
- x ∈ [a] ∩ [b]
∃Rk bRx => xRb
- c ∈ [b] => bRc
∃Rx ∋ xRx => ∂Rb or bRc => ∂Rc
- c ∉ [a] (R=[]) ⊄ [b] ⊄ [a]
competondo i reali [a] ⊆ [b] => [a] = [b]
2. ∀a ∈ A ⧸ [a] ⊆ a
A = ℕ
R ∈ A x A
aRb ⟺ |a-b| = 2k, k ∈ ℕ
Riflexiva: |a-a| = 0 = 2k ∙ 0 = 0
Simmetrica: |a-b| = |b-a| or |a-b| = 2k => |b-a| = 2k
Transitiva: |a-b| = 2k
[b-c] = 2R
aRbRc |a-b|+|b-c| = (a-b) + (b-c) = (a-c) = |a-c| =
= 2k +2R, 2(k+R)
Esempio classe
[0] = {0, 2, 4,...} ⟹ numeri pari
[1] = {1, 3, 5,...} ⟹ numeri dispari
Insieme Quoziente:
A insieme R∈A x A è di equivalenza
Si dice insieme quoziente l’insieme di tutte le classi di equivalenza di relazione R:
A/R := {[σ] ⧸ σ∈A}
Relazione d'ordine
Diciamo che la relazione R su A2 è d'ordine se è contemporaneamente
riflessiva, antisimmetrica e transitiva.
- Riflessiva se: ∀a ∈ A
- Antisimmetrica se: aRb & bRa ⇒ a = b
- Transitiva se: aRb & bRc ⇒ aRc
Relazione di inclusione
A insieme
P(A) = {X | X ⊆ A}
Esempio:
A = {1, 2, 3}
P(A) = {∅, {1}, {2}, {3}, {1,2}, {1,3}, {2,3}, {1,2,3}}
La relazione ⊆ (essere contenuti in) è d'
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.
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.
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.