Dimostrazioni Analisi
1) Unicità Funzione Inversa
Se g è l'inversa di f, essa è unica
Dimostrazione
Ipotesi: ∃ g₁, g₂ inverse di f
Tesi: g₁ = g₂
g₁(y) = g₁(f(g₂(y))) = (g₂ ∘ f)(g₂(y)) = g₂(y)
Scrivo le funzioni come identità:
- g ∘ f = IA
- f ∘ g = IB
2) Funzione Invertibile
Una funzione è invertibile ⟺ è biunivoca
Dimostrazione
- Ipotesi: f-1: B ⟶ A inversa di f
- Tesi: f: A ⟶ B
- Tesi: f: A ⟶1:1 B
∀ y ∈ B → f-1(y) ∈ A → x = f-1(y) → x ∈ A
∀ y ∈ B = f(f-1(y)) = f(x) ⟹ ∀ y ∈ B = OK suriettiva
∀ x₁, x₂ ∈ A = f-1(f(x₁)) = f-1(f(x₂)) → f(x₁) = f(x₂) → x₁ = x₂ ∈ A = OK iniettiva
- Definiamo una relazione
- g = { (y,x) ∈ B×A | (x,y) ∈ f }
- { (y,x) ∈ B×A | y = f(x) }
=>
Dimostrazioni Analisi
Unicità funzione inversa
Se g è l'inversa di f, essa è unica.
Dimostrazione
Ipotesi: g1, g2 inverse di f
Tesi: g1 = g2
g1(y) = g1(f(g2(y))) = (g2 o f)(g2(y)) = g2(y)
Scrivo le funzioni come identità:
- g o f = IA
- f o g = IB
Funzione Invertibile
Una funzione è invertibile se e solo se è biunivoca.
Dimostrazione
Ipotesi: f-1: B → A inversa di f
Tesi: f: A ↔ B
∀y∈B → f-1(y)∈A → x = f-1(y) → x∈A
∀y∈B = f(f-1(y)) = f(x) ∀y∈B = ok suriettiva
Tesi: f: A →1-1 B
∀x1, x2∈A = f-1(f(x1)) = f-1(f(x2)) = x1, x2∈A = ok iniettiva
Definiamo una relazione
g, f {(y, x)∈B×A | (x, y)∈f } = {(y, x)∈B×A | y = f(x)}
1) Dimostro che g è.
g è se.
3) ∀y∈B∃!x∈A|(y,x)∈g
∀y∈B⇔∃ x∈A|y=f(x)⇔f : A⇔→Bok
2) se ( (y,x₁),(y,x₂) ) ⇔⇔x₁=x₂⇒f : A⇔→Bok
2) x=(g∘f)(x)=g(f(x)), g: B→A
(y, x)∈g⇔x=g(y)⇔(y, x)∈g⇔(x, y)∈f
x=(g∘f)(x)=g(f(x))⇔x=f(x)∈f⇔f(x,x)∈g
3) y=(f∘g)(y)=f(g(y))
(y, g(y))∈g⇔(g(y),y)∈f⇔y=f(g(y))
g è⇔inversa g=f⁻¹f invertibile
5) Unicità Max/Min
Se il max questo è unico (⇒maximo)
Dimostrazione
λ₁∈A∩λ̅=ϕ⇒λ1⪯λ₂ ∀a∈A⇒λ₂⪯λ1
⇒Relazioneantisimmetrica
λ₂∈A∩λ̅=ϕ⇒a⪯λ₂ ∀a∈A⇒λ₀⪯λ2)
λ1=λ2
(4) Estremi e Completezza
Se A ⊂ X è un insieme completo ⇒ ∃!a ∈ A, ∀y: y = inf A
Dimostrazione
Sia a ∈ A ⇒ a ∈ B ⇒ ∃B = ∅ ⇒ B sup limit.
⇒ ∃! ∀y sup B ⇔ per definizione insieme completo
∀x inf B ⇒ x = inf A = max B ∈ B ∩ B
∀b ∈ B sup B ⇒ y
l1 = l2 #
8
Limite sottosuccessione
Sia {an} ⊆ ℝ successione. Se ∃ l ∈ ℝ | lim an = l =>
=> lim αkm
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.
-
Dimostrazioni Analisi matematica 1
-
Dimostrazioni Analisi 1
-
Dimostrazioni Analisi 1
-
Dimostrazioni analisi 1 + Elenco dimostrazioni da sapere