Quantificatori
- ∀ "per ogni"
- ∃ "esiste"
- ∃! "esiste un unico"
- ⇒ "implica"
- ⇔ "equivale"
- : "tale che"
- → "risulta"
- ∈ "appartiene"
- ∉ "non appartiene"
- ⊂ "incluso"
Teoria degli insiemi
I insieme famiglia di elementi
Punti elementi degli insiemi
x ∈ I : "x appartiene ad I"
A ⊂ I: "A è incluso in I, A è un sottoinsieme di I"
L ⇔ ∀ x ∈ A : x ∈ I
∅ ⊂ I: "il vuoto è un sottoinsieme di qualunque insieme"
A, I insiemi A ⊂ I
L'A si dice sottoinsieme proprio di I se A ⊂ I e A ≠ I
L quindi se (∀ x ∈ A : x ∈ I) e (∃ x ∈ I: x ∉ A)
Operazioni tra insiemi
I insiemi A, B ⊂ I
- Unione A ∪ B = { x ∈ I | x ∈ A oppure x ∈ B }
- Intersezione A ∩ B = { x ∈ I | x ∈ A e x ∈ B }
- Complementare CI A = { x ∈ I | x ∉ A }
- Differenza B - A = { x ∈ B | x ∉ A }
Quantificatori
- "∀": "per ogni"
- "∃": "esiste"
- "∃!": "esiste un unico"
- "⇒": "implica"
- "⇔": "equivale"
- ":": "tale che"
- "∴": "risulta"
- "∈": "appartiene"
- "∉": "non appartiene"
- "⊂": "incluso"
Teoria degli insiemi
I, insieme = famiglia di elementi
Punti = elementi degli insiemi
x ∈ I: "x appartiene ad I"
A ⊂ I: "A è incluso in I, A è un sottoinsieme di I"
A ⊂ I ⇔ ∀ x ∈ A: x ∈ I
Ø ⊂ I: "il vuoto è un sottoinsieme di qualunque insieme"
A, I insiemi A ⊂ I
A si dice sottoinsieme proprio di I se A ⊂ I e A ≠ I
Quindi se (∀ x ∈ A: x ∈ I) e (∃ x ∈ I: x ∉ A)
Operazioni tra insiemi
I insieme A, B ⊂ I
- Unione A ∪ B = {x ∈ I | x ∈ A oppure x ∈ B}
- Intersezione A ∩ B = {x ∈ I | x ∈ A e x ∈ B}
- Complementare CI A = {x ∈ I | x ∉ A}
- Differenza B - A = {x ∈ B | x ∉ A}
Proprietà
Insieme A, B, C, I
A ⊂ B ⇔ (C_B ⊂ C_A)
Dim: Sia A ⊂ B
Testi: C_B ⊂ C_A
x ∈ C_B ⇒ x ∉ B ⇒ x ∉ A ⇒ x ∈ C_A
Sia C_B ⊂ C_A
Testi: A ⊂ B
x ∈ A ⇒ x ∉ C_A ⇒ x ∉ C_B ⇒ x ∈ B
∅ ⊂ I
C_I = ∅
C_C_A = A
A ⊂ A = ∅
A ∪ C_A = I
Proprietà associative e distributive
Insieme A, B, C ⊂ I
(A ∪ B) ∪ C = A ∪ (B ∪ C)
L'unione è associativa
(A ∩ B) ∩ C = A ∩ (B ∩ C)
L'intersezione è associativa
(A ∪ B) ∩ C = (A ∩ B) ∪ (B ∩ C)
L'unione è distributiva rispetto all'inters.
Dim: Test. a) (A ∪ B) ∩ C = (A ∩ B) ∪ (B ∩ C)
Sia x ∈ (A ∪ B) ∩ C
x ∈ A ∪ B
x ∈ C
{x ∈ A
{x ∈ B
x ∈ C
x ∈ A ∩ C
x ∈ B ∩ C
x ∈ (A ∩ C) ∪ (B ∩ C)
C(A ∪ B) = C_A ∩ C_B
C(A ∩ B) = C_A ∪ C_B
Testi: C(A ∪ B) ⊂ C_A ∩ C_B
x ∈ C(A ∪ B)⇒ x ∉ (A ∪ B)⇒ x ∉ A e x ∉ B⇒ x ∈ C_A e x ∈ C_B
x ∈ C_A ∩ C_B
Numeri reali
Assiomi delle operazioni (somma e prodotto) a, b, c ∈ ℜ
- 1) Proprietà associativa: (a+b)+c = a+(b+c) (a · b) · c = a · (b · c)
- 2) Proprietà commutativa: a+b = b+a a · b = b · a
- 3) Proprietà distributiva: a(b+c) = ab + ac
- 4) Esistenza elementi neutri: ∃ 0ℜ : a + 0 = a ∀ a ∈ ℜ ∃ 1ℜ : 1 · a = a ∀ a ∈ ℜ
- 5) Esistenza dell'opposto: ∀ a ∈ ℜ ∃ (-a) tale che a + (-a) = 0
- 6) Esistenza inverso: ∀ a ≠ 0 ∃ a-1 tale che a · (a-1) = 1 a · a ≠ 0 ba = b · a-1
Regola di semplificazione
Regola di semplificazione: a + c = b + c ⇒ a = b
Dim: Sia a + c = b + c
a(2) = a(3) + 0 = a + ((c) + (-c))
= (a + c) + (-c) = (b + c) + (-c)(5)
= (b + 0) = b
Regola di semplificazione del prodotto
Regola di semplificazione del prodotto: a · c = b · c se c ≠ 0 ⇒ a = b
Dim: Sia a · c = b · c e c ≠ 0
a(4) · c-1 HP = a · (c &mi
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.
-
Appunti di Scienza delle costruzioni - Quaderno 5
-
Appunti di Scienza delle Costruzioni - Quaderno 15
-
Analisi Matematica 2 - Quaderno appunti definitivo 2017/2018
-
Appunti di Scienza delle Costruzioni - Quaderno 6