ing de sistemas

Páginas: 199 (49531 palabras) Publicado: 28 de mayo de 2013
´
Ingenier´a Matematica
ı
FACULTAD DE CIENCIAS
´
F´SICAS Y MATEMATICAS
I
UNIVERSIDAD DE CHILE
´
Calculo Diferencial e Integral 08-2

Importante:
Visita
regularmente
http://www.dim.uchile.cl/∼calculo.
Ah´ encontrar´s las gu´ de ejercicios
ı
a
ıas
y problemas, adem´s de informaci´n
a
o
Ingenier´ acerca de cu´l ser´ la din´mica del curso.
ıa Matem´tica a
aa
a

Universidadde Chile

SEMANA 1: CONTINUIDAD

1.

Usa estas notas al
margen para consultar de manera
m´s r´pida el maa a
terial. Haz tambi´n tus propias
e
anotaciones.

Continuidad

1.1.

Subsucesiones

Æ Æ

Definici´n 1.1 (Subsucesi´n). Sea (sn ) una sucesi´n. Sea f : → una funci´n estrictamente
o
o
o
o
creciente. Se llama subsucesi´n de sn generada por f , a la sucesi´n (un ),definida por:
o
o
un = sf (n) .
Ejemplo 1.1.
Si f (n) = 2n, entonces un = s2n . (un ) = (s0 , s2 , s4 , s6 , s8 . . . ).
Si f (n) = 2n + 1, entonces un = s2n+1 . (un ) = (s1 , s3 , s5 , s7 , . . . ).
En general, (un ) = (sf (n) ) = (sf (0) , sf (1) , sf (2) , . . . ).

Observaci´n: Aceptaremos que la funci´n f no este definida para un n´ mero finito de t´rminos
o
o
u
e
como por ejemplo f (n) =n − 5.
(sn−5 ) = (∄, ∄, ∄, ∄, ∄, s0 , s1 , . . . ).

El siguiente teorema caracteriza la convergencia de una sucesi´n v´ la de sus subsucesiones, moso ıa
trando que adem´s ´stas no pueden tener un l´
a e
ımite distinto al de la original.

Teorema 1.1. Sea (sn ) una sucesi´n y sea ℓ ∈
o

Ê. Entonces

sn → ℓ ⇔ Todas las subsucesiones de (sn ) convergen a ℓ.
´
Demostracion. ⇐) Bastatomar f (n) = n, con lo que sf (n) = sn → ℓ.
⇒) Sabemos que
∀ε > 0, ∃n0 ∈ , ∀n ≥ n0 , |sn − ℓ| ≤ ε.

Æ Æ

Æ

Sea f : → , estrictamente creciente y eventualmente no definida en un n´ mero finito de casos.
u
P.d.q. ∀ε > 0, ∃k0 ∈ , ∀k ≥ k0 , |sf (k) −ℓ| ≤ ε. Efectivamente, como f no es acotada superiormente
(¿por qu´?), ∃k0 ∈ , f (k0 ) ≥ n0 . Y luego:
e

Æ
Æ

∀k ≥ k0 , f (k) ≥ f (k0 ) ≥n0 ,
de donde ∀k ≥ k0 |sf (k) − ℓ| ≤ ε.

1

subsucesi´n
o

Ingenier´ Matem´tica
ıa
a

Universidad de Chile

Teorema 1.2 (Bolzano-Weierstrass). Toda sucesi´n acotada tiene al menos una subsucesi´n
o
o
convergente.

´
Demostracion. La demostraci´n se realiza mediante un m´todo de dicotom´a.
o
e
ı
Sea (sn ) una sucesi´n acotada. Existen entonces a0 , b0 ∈ tales que
o

Ê∀n ∈

Æ,

a0 ≤ sn ≤ b 0 .

Llamemos I0 = [a0 , b0 ].
Sea a continuaci´n c0 = a0 +b0 . Es claro que en alguno de los intervalos [a0 , c0 ] y [c0 , b0 ], hay una
o
2
infinidad de t´rminos de la sucesi´n (sn ). Llamemos I1 = [a1 , b1 ] a dicho intervalo.
e
o
e
Definimos entonces c1 = a1 +b1 . Nuevamente, debe haber una infinidad de t´rminos de (sn ) en alguno
2
de los intervalos [a1 ,c1 ] y [c1 , b1 ]. Llamamos a dicho intervalo I2 = [a2 , b2 ] y proseguimos de la misma
manera.
As´ se formar´ una colecci´n de intervalos I1 , I2 , I3 , . . . , In , . . . con las siguientes propiedades:
ı,
a
o
∀n ∈
(sn ).

Æ, el intervalo In = [an, bn] contiene una cantidad infinita de t´rminos de la sucesi´n
e
o

Æ, bn − an = b 2−a .
∀n ∈ Æ, In ⊇ In+1 . Cuando esta condici´n sesatisface, se habla de una colecci´n de intervalos
o
o
∀n ∈

0

n

0

encajonados.

Definamos entonces la siguiente subsucesi´n de (sn ) (denotada (sf (n) )):
o
f (1) = m´
ın{k ∈

Æ | sk ∈ I1 }

f (2) = m´
ın{k > f (1) | sk ∈ I2 }
f (3) = m´
ın{k > f (2) | sk ∈ I3 }

f (n + 1) = m´
ın{k > f (n) | sk ∈ In+1 }.
Con esto la subsucesi´n (sf (n) ) tiene la siguiente propiedad:
o∀n ∈

Æ,

sf (n) ∈ In , o sea, an ≤ sf (n) ≤ bn .

(1.1)

Finalmente, es claro que las sucesiones (an ) y (bn ) son mon´tonas (an ≤ an+1 , bn+1 ≤ bn ) y acotadas
o
(an , bn ∈ [a0 , b0 ]), luego convergen a los reales a y b, respectivamente. Adem´s como an ≤ bn , entonces
a
a ≤ b.
−a
ımite se tiene que b − a = 0 o sea, a = b.
Por ultimo, ya que bn − an = b02n 0 , entonces...
Leer documento completo

Regístrate para leer el documento completo.

Estos documentos también te pueden resultar útiles

  • Ing de sistemas
  • Ing sistemas
  • Ing de sistemas
  • Ing. Sistemas
  • Ing Sistemas
  • Ing De Sistemas
  • Ing. En Sistemas
  • Ing. De Sistemas

Conviértase en miembro formal de Buenas Tareas

INSCRÍBETE - ES GRATIS