Estratto del documento

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

∀ 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

∀ 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→B OK

2) Se ( (y,x₁),(y,x₂) ) ⇔x₁=x₂f : A→B OK

2) x=(g∘f)(x)=g(f(x)), g: B→A

(y, x)∈gx=g(y)(y, x)∈g(x, y)∈f

x=(g∘f)(x)=g(f(x))x=f(x)∈ff(x,x)∈g

3) y=(f∘g)(y)=f(g(y))

(y, g(y))∈g(g(y),y)∈fy=f(g(y))

g èinversa g=f⁻¹

f invertibile

5) Unicità max/min

Se il max questo è unico (⇒maximo)

Dimostrazione

λ₁∈A∩λ̄=ϑλ1λ₂ ∀a∈Aλ₂λ₁⇒ Relazione antisimmetrica

λ₂∈A∩λ̄=ϑaλ₂ ∀a∈Aλ₁⫯λ2)

λ12

(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 ⇒ yl1 = l2 #8

Limite sottosuccessione

Sia {an} ⊆ ℝ successione. Se ∃ l ∈ ℝ | lim an = l =>=> lim αkm

Anteprima
Vedrai una selezione di 10 pagine su 45
Dimostrazioni Analisi 1 Pag. 1 Dimostrazioni Analisi 1 Pag. 2
Anteprima di 10 pagg. su 45.
Scarica il documento per vederlo tutto.
Dimostrazioni Analisi 1 Pag. 6
Anteprima di 10 pagg. su 45.
Scarica il documento per vederlo tutto.
Dimostrazioni Analisi 1 Pag. 11
Anteprima di 10 pagg. su 45.
Scarica il documento per vederlo tutto.
Dimostrazioni Analisi 1 Pag. 16
Anteprima di 10 pagg. su 45.
Scarica il documento per vederlo tutto.
Dimostrazioni Analisi 1 Pag. 21
Anteprima di 10 pagg. su 45.
Scarica il documento per vederlo tutto.
Dimostrazioni Analisi 1 Pag. 26
Anteprima di 10 pagg. su 45.
Scarica il documento per vederlo tutto.
Dimostrazioni Analisi 1 Pag. 31
Anteprima di 10 pagg. su 45.
Scarica il documento per vederlo tutto.
Dimostrazioni Analisi 1 Pag. 36
Anteprima di 10 pagg. su 45.
Scarica il documento per vederlo tutto.
Dimostrazioni Analisi 1 Pag. 41
1 su 45
D/illustrazione/soddisfatti o rimborsati
Acquista con carta o PayPal
Scarica i documenti tutte le volte che vuoi
Dettagli
SSD
Scienze matematiche e informatiche MAT/05 Analisi matematica

I contenuti di questa pagina costituiscono rielaborazioni personali del Publisher antoniogibril di informazioni apprese con la frequenza delle lezioni di Analisi matematica 1 e studio autonomo di eventuali libri di riferimento in preparazione dell'esame finale o della tesi. Non devono intendersi come materiale ufficiale dell'università Università degli Studi di Bologna o del prof Martino Vittorio.
Appunti correlati Invia appunti e guadagna

Domande e risposte

Hai bisogno di aiuto?
Chiedi alla community