Funzioni
Iniettiva
f: A → B è iniettiva se elementi distinti di A hanno immagini distinte di B, ossia a ≠ a' ⇒ f(a) ≠ f(a'); se f(a) = f(a') ⇒ a = a'.
Suriettiva
f: A → B è una funzione
Im(f) = {b ∈ B / ∃ a ∈ A t.c. f(a₂) = b₃} f è suriettiva se B = Im(f).
Invertibile
Sia f: A → B una funzione, f è invertibile se, e solo se, ∃: B→A (inversa di f) t.c. g∘f = Idₐ e f∘g = Id₆.
Dimostrazione: Ip: ∃ g: B→A t.c. g∘f = Idₐ e f∘g = Id₆
Tesi: f è iniettiva e suriettiva.
f(a) = f(a') ⇒ ∀b ∈ B g(f(a)) = g(f(a')) ⇒ (g∘f)(a) = (g∘f)(a') ⇒ Idₐ(a) = Idₐ(a') ⇒ a = a' quindi è iniettiva.
∀b₆ ∈ B ∃ a ∈ A t.c. f(a) = b; b = Id₆(b) = (f∘g)(b) = f(g(b)) ⇒b ∈ Im(f) ⇒ Im(f) = B quindi f è suriettiva.
Dim: Ip: f è iniettiva e suriettiva.
Tesi: ∃ g: B→A t.c. g∘f = Idₐ e f∘g = Id₆.
∀b ∈ B ∃ a ∈ A t.c. f(a) = b {in sintesi metto un ! accanto ad a} a = a' ⇒ f(a) = b ⇔ f(a').
R = {⟨b, c ⟩ ∈ B×A t.c. b ∈ B×A è una funzione g: B→A f(g(b)) = g(f(a)) = a (f∘g)(b) = b ∀b ∈ B ⇒ f∘g = Id₆ ∀a ∈ A (g∘f)(a) = a ⇒ g∘f = Idₐ.
Teorema buon ordinamento
Sia E ⊂ N, E ≠ ∅, esiste un unico elemento e ∈ E t.c. e ≤ x ∀ x ∈ E (e = minE)
Dim: E ≠ ∅ ⇒ ∃ a ∈ E a ∈ E ⇒ xµ ∉ x ∈ E e = a ∃ x ∈ E t.c. x. Basta un numero finito di verifiche per trovare eα ∈ E ≤ x ∀ x ∈ E.
Coefficiente binomiale
(θ) = a!/b!(a-b)!
Funzioni
Iniettiva
f: A → B è iniettiva se elementi distinti di A hanno immagini distinte di B, ossia a ≠ a' → f(a) ≠ f(a'); se f(a) = f(a') → a = a'.
Suriettiva
f: A → B è una funzione Im(f) = {b ∈ B/∃ a ∈ A t.c. f(a) = b} f è suriettiva se B = Im(f).
Invertibile
Sia f: A → B una funzione, f è invertibile se, e solo se, ∃: B → A (inversa di f) t.c. g&of;f = IdA e f&of;g = IdB.
Dim: Ip: ∃ g: B → A t.c. g&of;f = IdA e f&of;g = IdB
Tesi: f è iniettiva e suriettiva.
f(a) = f(a') → b ∈ B → g(f(a1)) = g(f(a1)) → (g&of;f)(a) = (g&of;f)(a') → IdA (a) = IdA (a') → quindi è iniettiva.
b∈B → ∃ a∈A t.c. f(a) = b; b = IdB (b) = (f&of;g)(b) = f(g(b)) → b ∈ Im(f) = B → quindi f è suriettiva.
Dim: Ip: f è iniettiva e suriettiva.
Tesi: ∃ g: B→A t.c. g&of;f = IdA e f&of;g=IdB
∀b ∈ B → ∃ a ∈ A t.c. f(a)=ba ≠ a' → b(a)' = f(a2)
R: {b1(a) = b2 → b1 = b ∧ b ⊂ A è una funzione g: B→A f(a)x ∈ f(a) = b = g(b)b → ∀ b∈B → f&of;g=IdB f-1(a)x ∈ (g&of;f)(a) = a → g&of;f=IdA
Teorema buon ordinamento
Sia E ⊂ N, E ≠ ∅, esiste un unico elemento e ∈ E t.c. e &lxe; ∀x∈E (e=minE)
Dim: E ≠ ∅ → ∃ a ∈ Ex ∈ E → x &lxe; a ∈ E ∀a∈x ∈ E∃x ∈ E t.c. x &lxe; x0 basta un numero finito di verifiche per trovare e∈E&lxe;∀x∈E →
Coefficiente binomiale
C{a}_{b} = a!⁄b!(a-b)!
Principio d'induzione
E S N, E ≠ Ø t.c.
- 1 ∈ E
- p ∈ E, allora d(p) ∈ E
Dim: Sia F = N \ E Se N e E sono lo stesso insieme allora F = Ø. Sia F ≠ Ø allora 1 ∈ E t.c. f := min(F) → buon ordinamento 1 ∉ F perché 1 ∈ E (f = N \ E) Dato che 1 ∈ E e 1 ∉ F, non può essere f (minimo di F) ∀ f min(F) ∈ Ff - 1 ∈ t.c. (f - 1) f - 1 appartiene a E o F? f - 1 appartiene a E perché f è il minimo di F e f - 1 è minore di f (impossibile) Quindi: f ∈ (f - 1) c.c. (f - 1) ∉ F => f - 1 ∈ E ⇒ d(f - 1) ∈ E e f ∈ E Impossibile, quindi non c'è un minimo. L'unico insieme di N senza minimi è l'insieme Ø senza elemento a N ed E sono uguali.
Insiemi
Sia X ⊆ R un sottoinsieme di numeri reali non vuoto. X si dice limitato superiormente se esiste y ∈ R che verifica x ≤ y ∀ x ∈ X. Allo stesso modo, X si dice limitato inferiormente se esiste z ∈ R che verifica x ≥ z ∀ x ∈ X. X è limitato se è limitato sia inferiormente sia superiormente. Se X ⊆ R, è non vuoto e limitato superiormente, esiste un unico numero reale e' che verifica queste 2 proprietà:
- x ≤ e' per ogni x ∈ X;
- ∀ e'0 > e' ∃ x ∈ X t.c. e' - e'0
Dim: Sia B := {y ∈ R | ∀ x ∈ X y >= x ∈ X}, essi sono maggioranti di X. X è limitato superioremente, quindi B non è v.
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.
-
Analisi 1 - formulario
-
Formulario Analisi 1
-
Analisi 1 (formulario - risultati notevoli)
-
Riassunto e formulario Analisi 1