TEOREMA BOLZANO - WEIERSTRASS
E = { an, n ∈ N }
Se ... è una succ. limitata allora ammette una sottosucc. convergente (fai monotona crescente battue intera)
Esempio 1 an = (-1)n ⇒ E = { an, n ∈ N } = {-1, 1} elementi assul-della succ.
an = sin (n) ⇒ E = { sin (n) / n ∈ N } = si immane ... di vetorei inflovsi.
€ ... ... numito della ...
T.E.O.
∃ kn: N → N
sin (kn) → l
kn ⬆
LAVORO OPERATO SUI N.M.1
Dim
{ an } à limitata ⇒ ∃ a, b: an ∈ [a, b]
E = { an, n ∈ N } ∃ b C [a, b]
Eserc 1 ... ... c'è di proci.... finito ... ...
... ...b... ...a
m ⤑ dn, ... solu limitata
⇒ ∃ kn ⬆
αm ⊆ E: αkn = αm0 infinile veritoadier... di allerali limit (R).
{ anm } ⊆ { an }anm = dm0 costante ⇒ akn → αm0
Teorema (Bolzano-Weierstrass)
E = { an, m ∈ N }
Se è una succ. limitata allora ammette una
sottosucc. convergente (se monotona converge tutta intera).
Esempio 1
an=(-1)n ⇒ E = { an, m ∈ N } = {-1,+1} elementi a due a due
an=sin(n)m ⇒ E = { sin(n)m / m ∈ N } = { } insieme dei vettori infinitesimi
Teo.
∃ km: N → N
sin(km) → l
Dim
{an} è limitata => ∃ a,b : an∈[a,b]
E = { an, m ∈ N } ∃ E ⊂ [a,b]
Esercizio 1
E è un insieme finito che
contiene un numero finito di punti: { a1,…,am }
LN - ⇨ an { LI = [y,...,z] }... ⇨ a
m ⇨ dn sv sono limitati
=> ∃ ↗ km
αm∈E : km → αm0 : infiniti indici cadono
definizione successiva { anj } ⊂ { an } anj = dm0 : costante => akm → αm0
Ipotesi: an monotona
- se an è mont. cresc. e illimitata sup. ⇒ an → +∞ n→∞
- se an ¬ è limitata sup. ⇒ am → sup {an, m∈N} n→∞
- an analoga
→ logaritmo in base e = ln
lne ⋅ loge x in (0,+∞) ↑
Corollario
- se an è monotona e limitata allora an è convergente
- Se am monotona + ∃ {akn} akn → l ⇒ am → l {k→∞}j→∞
Prop 2:
am → l ⟺ ∀ {akm} {anj: akm → l {j→∞}}
Dim 1: {am} è limitato ⇒ E={am, m∈N}
infE e l > -∞ supE = L < +∞
- am ↑ ⇒ am → L
- am ↓ ⇒ am → l
Dim 2: {am} ∉urn ┌────┐ = +∞
am → l (sup {am, m∈N})
∃ akm ls dalla prop. 2 l=l
akm⇀+ + ∞ ak⇀+