Conjuntos acotados en ¡

Cotas superiores

A ⊂ ¡ ; se dice que A esta acotado superiormente si ∃M / a ≤ M , ∀a ∈ A

Cotas inferiores

A ⊆ ¡ : se dice que A esta inferiormente acotado si ∃m / a ≥ m, ∀a ∈ A

Cotas

A ⊆ ¡ ; se dice que A esta acotado si y solo si es acotado superior e inferiormente

A es acotado si y solo si ∃M > 0 / x < M , ∀x ∈ A
∀x ∈ A, x < M
−M ≤ x ≤ M

Ejemplo

Supongamos que A es acotado

S = cota superior

I = cota inferior

− I ≤I ≤x≤S ≤ S

Supremo

Sea A ⊆ ¡ , A acotado superiormente, S es el supremo de A

S = sup ( A )

1) S es cota superior de A

2) Si S ' es cota superior de A, entonces S ≤ S'

Propiedad

Sea S = sup ( A ) ⇒ ∀ε > 0, ∃a ∈ A / S − ε < a

Demostración

∃h > 0 / ∀a, a < S − h < S

S − h seria una cota superior y menor que S
S = sup ( A )

1) S es cota superior de A (**)

2) ∀ε > 0, ∃a ∈ A / S − ε < a

(**) Supongamos que existe S’’ cot superior de A

S '' < S
S − S '' > 0
ε = S − S ''
S − ε < a0 , ∃a0 ∈ A
S − ( S − S '') < a0
S '' < a0
Absurdo

Axioma de completitud

Sea A ⊆ ¡ , A ≠ ∅, A acotado superiormente ⇒ ∃S = sup ( A )

Consecuencia

¥ no es acotado superiormente
Propiedades cotas, supremos, ínfimos

Sea A≠ 0, A ⊆ ¡

Supremos

1 S ≥ a, ∀∈ A
A
ε > 0, S − ε no es cota superior de A
S ∈ ¡ , S = sup ( A ) 2
∀ε > 0, ∃a ∈ A / S − ε < a

B 1 S ≥ a, ∀a ∈ A

S ∈ ¡ , S = sup ( A ) 2 ∀S ' ∈ ¡ / S ' es cota superior de A ⇒ S ' ≥ S

Ínfimos

A 1 i ≤ a, ∀a ∈ A

i ∈ ¡ , i = inf ( A ) 2 ∀ε > 0, i + ε no es cota inferior de A

B 1 i ≤ a, ∀a ∈ A

i ∈ ¡ , i = inf ( A ) 2 ∀i ' ∈ ¡ / i ' es cota inferior de A ⇒ i ' ≤ i

S ∈ A ⇒ S = max ( A )
i ∈ A ⇒ i = min ( A )

Observación

Si q ∈ ¤ ⇒ 2q ∉ ¤

Propiedad

Sea a y b ∈ ¡ / a < b ⇒ ∃q ∈ ¤ / a < q < b

Demostración
 1
b − a > 0, ∃n ∈ ¥ / <b−a
n
 k
A = k ∈ ¥ / a <  → Por Arquimeleaneidad
 n
A ≠ ∅, ∃k0 = min ( A )
k0
a<
n
k0
≥b
n
k0 − 1
= ...
n

Consecuencia

a < b, ∃ x ∉ ¡ / a < x < b

Completitud

A ⊆ ¡ , A ≠ ∅, A acotado superiormente
∃S = sup ( A )

Demostración

1) A ≠ ∅

2) A tiene cota superior

Tricotomía

 S 2 < a ( 1)
 2
S > a ( 2 )
 2
 S = a ( 3)

Demostración

(1)…

(2)…

(3)…

Partición

Dado I = [ a, b ] ; P1 [ a, b ] = { a = x0 < ... < xn = b}

Ejemplo
  1   1 1 
P1 [ 0,1] = 0, ,1 ; P2 [ 0,1] = 0, , ,1
 2   3 2 
Dado I = [ a, b ] , I = ( a, b )
o

P [ a, b ] = { a = x0 < ... < xn = b}

I k ⇒ k − esimo subintervalo
[ xk −1 , xk ] = Ik = Iko = ( xk −1 , xk )
Refinamientos

P1 [ a, b ] ; P2 [ a, b ]
P1 ∝ P2 ; P1 ⊆ P2

Observación

P1 [ a, b ] ; P2 [ a, b ]
P1 ∝ P1 ∪ P2
P2 ∝ P1 ∪ P2

Partición estándar de π n [ a, b ] = { a = x0 < ... < xn = b}

I k = [ xk −1 , xk ]
b−a
Ik =
n

Notación

I k = µ ( I k ) = µ ( Iko ) = xk − xk −1

b−a
xk = x0 + k  
 n 

xk +1 = x0 + ( k + 1)
( b − a)
n