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.
vuoi
o PayPal
tutte le volte che vuoi
ANALISI MATEMATICA I
Elementi di logica — proposizioni logiche (V / F)
p “Z è un numero pari”
p ¬p V F F V“¬p”: “non p”
Congiunzione logica — “p ∧ q” — “e” —
p q p ∧ q V V V V F F F V F F F FDisgiunzione logica — “p ∨ q” — “o” —
p q p ∨ q V V V V F V F V V F F FImplica — “p => q” (NON “→”) —
p q p => q V V V V F F F V V F F VSe e solo se — “p q”
È unione fra (p => q) ∧ (q => p)
p q p => q q => p p q V V V V V V F F V F F V V F F F F V V V p q p => q ¬q ¬p ¬q => ¬p V V V F F F V F F V F F F V V F V V F F V V V Vleggi di De Morgan
(¬(p ∨ q) <=> ¬p ∧ ¬q)
(¬(p ∧ q) <=> ¬p ∨ ¬q)
Cosa vuol dire dimostrare?
Teorema di Pitagora:
△ ABC triangolo rettangolo —> BC2 = AC2 + AB2
Ipotesi Tesi
Impongo che l'ipotesi sia vera dimostrando così la tesi
(p => q) <=> (¬q => ¬p) — dimostrazione
contronominale
prop. n ∈ N dispari => n non è un multiplo di 10
{1, 2} = {x | x ∈ X, x ∈ X}
{x ∈ N : x è dispari}
{x ∈ N | x ≤ 4} = {0, 1, 2, 3, 4}
x ⊆ y → "x è contenuto / è sottoinsieme di y"
{x ∈ X ⇒ x ∈ y}
x = y ↔ x ∈ X ⇔ x ∈ y → se contengono gli stessi elementi
x ⊄ y
∃x ∈ y e x ∉ x − x è sottoinsieme proprio di y
Insieme vuoto → ∅ ⊆ x
Insieme di se stesso → x ⊆ x
Insieme delle parti: → P(x) = { sottoinsiemi di x }
2"2 x"
esercizio: {1, 2, 3} = x ↔ contiene 23 elementi
P(x) = {∅, {1}, {2}, {3}, {1, 2}, {1, 3}, {2, 3}}
Insieme complementare → CX(A) o X \ A → elementi che sono in X ma non in A
Z -> numeri relativi :
{ 0, +1, -1, +2, -2, ... }
N ⊂ Z
Vn ∈ 0, ∃!n n : n = n
∃!n', ∃!n'' n' + n'' = 0 -> l'insieme dei numeri relativi ammette l'opposto dei naturali.
Q -> numeri razionali
∞ modi di rappresentarli
∈ Z × (N - {0}) = (p, q) sono equivalenti se si possono portare agli stessi minimi termini
(p, 1) = p/1 = p : p ∈ Z
Proposizione :
√2 quel numero positivo che (√2)2 = 2
=> √2 ∉ Q
n ∈ N n2 è pari => n è pari
n è dispari => n2 è dispari
n = 2k + 1, K ∈ N, n2 = (2k + 1)2 = 2k2 + 4k + 1 =
Insieme A ⊆ ℝ e' limitato se e' limitato superiormente e inferiormente.
⇔ ∃m, M ∈ ℝ, ∀x ∈ A m ≤ x ≤ M
Esercizio: dimostrare questa proposizione
A ⊆ ℝ e' limitato ⇔ ∃L ∈ ℝ, L > 0, ∀x ∈ A, |x| < L
⇒ |x| < L ⇔ {x < L, x ≥ 0
- x > -L, x < 0}
Dimostrato che c'è un insieme limitato
(1, 2) = {x ∈ ℝ : 1 < x < 2}
1 _____________|_____________ 2
1- 2-
non e' un maggiorante
regola generale
A e' limitato superiormente, si dice estremo superiore di A, S ∈ ℝ tale che:
- S e' un maggiorante di A, ∀x ∈ A, x ≤ S
- S e' il più piccolo dei maggioranti:
∀ > 0, ∃a ∈ A
es. 1 A = (0,1) ∪ (1,2) ∂A = {0,1,2}
es. 2 A = (0,1] ∪ (1,2) ∂A = {0,2}
es. 3 ∂Q = ?
∀x ∈ ℝ ∀Bε (xo),
Bε (x) ∩ ℚ ≠ ∅ ∩
Bε (x) ∩ (ℝ \ ℚ) ≠ ∅
Q ⊂ ℝ A aperto!
es. 2 A = [0,1] ∂A = {0,1} => A chiuso!
es. 3 ℝ, ∀x ∈ ℝ, ∃Bo (x) ∈ ℝ => ℝ aperto!
Int(ℝ) = ∅ ∂ℝ = ∅
∅ è aperto! => ∂ℝ ⊆ ℝ => ∅ ⊆ ℝ
=> ℝ chiuso perché contiene la sua frontiera
Gli unici insiemi sia aperti che chiusi sono ℝ e ∅
f(x) = |x| :
{x, y}:
- y = x, x ≥ 0
- y = -x, x < 0
=>
- {(x, y): y = x, x ≥ 0}
- {(x, y): y = -x, x < 0}
Im f = [0, +∞)
∀ y ∈ (0, +∞), f-1 (y) := {y, -y}
RESTRIZIONE DI UNA FUNZIONE:
f |[0, +∞): [0, +∞) → ℝ è iniettiva
f |(-∞, 0]: (-∞, 0] → ℝ è iniettiva
x ↦ |x|
PROLUNGAMENTO DI UNA FUNZIONE:
Ci sono infiniti modi per prolungare una funzione.
f: ℝ → ℝ
FUNZIONI MONOTÒNE:
funzione monotona crescente (sul dominio f)
x1, x2 ∈ dom f, x1 ≤ x2 => f(x1) ≤ f(x2)
f(x) = x2 non è iniettiva
Questa restrizione è iniettiva e suriettiva
f-1 agisce su tutto il codominio
BIUNIVOCA
A1 o+∞ = [0, +∞) → [0, +∞)
x → x2
si può calcolare l'inverso
∃ g-1 : [0, +∞) → [0, +∞)
x → g-1(x) = y x > 0
g(y) = y2 = x
g-1(x) = √x ≥ 0
arctan x è l'inverso di :
tg x =
sin x / cos x
nell'intero dominio non si può invertire
dom fj : ℝ \ {π/2 + kπ , k ∈ ℤ}
quindi si restringe
tan (−π/2, π/2) → ℝ
= Im (tan)
è BIETTIVA
arctan = g-1 : ℝ → (−π/2, π/2)