Clase 13 Calculo I ESFM

El ı́nfimo de un conjunto
Definición 1. Consideremos un subconjunto no vacı́o T de R. Un elemento c de T que satisfaga la

condición c ≥ x, ∀ x ∈ T , será llamado elemento máximo de T .
Observación. Si existe un elemento máximo de T , tal elemento de T , debe ser único. Usualmente se
denota por
máx T
al máximo elemento de T si tal número existe.
Definición 2. Diremos que un subconjunto no vacı́o S de R, está acotado inferiormente si existe d ∈ R

tal que puede demostrarse que d ≤ x ∀x ∈ S. Un tal número d será llamado minorante o cota inferior de
S.
Teorema 1. Existe un minorante máximo para cualquier subconjunto no vacı́o S de R que esté acotado
inferiormente.
Demostración
Basta considerar el conjunto −S, el cual esta acotado superiormente. El axioma del supremo garantiza la
existencia de un mayorante mı́nimo que claramente es un minorante máximo del conjunto S.
2
Definición 3. Al máximo de los minorantes de un subconjunto no vacı́o S de R que esta acotado

inferiormente, lo denotaremos por ı́nf S, y lo llamaremos el ı́nfimo de S.
Proposición 2. Sea S un subconjunto no vacı́o S de R, que este acotado inferiormente. Sea c un número
real, entonces c = ı́nf S si y sólo si, c satisface: i) c ≤ x ∀x ∈ S, ii) ∀ > 0, ∃ x ∈ S tales que x < c + .
Demostración
Ejercicio.
2
Observación. El supremo (infimo) de un subconjunto no vacı́o S de R, que este acotado superiormente
(inferiormente) no necesariamente es elemento de S. En efecto. Consideremos a, b ∈ R fijos tales que a < b,
sea
S = {x ∈ R : a < x < b}
Claramente S esta acotado superiormente e inferiormente, además a = ı́nf S y b = sup S, pero a, b 6∈ S.
Proposición 3. Considere un subconjunto no vacı́o S de R.
i) Suponga que S está acotado superiormente.
Si el supremo de S es elemento de S, entonces el conjunto S tendrá como elemento máximo al

número sup S.
i) Suponga que S está acotado inferiormente
Si el ı́nfimo de S es elemento de S, entonces el conjunto S tendrá como elemento mı́nimo al número

ı́nf S.
Demostración
Ejercicio.
2
Estamos en condiciones de deducir el principio de continuidad de Dedekind.
Teorema 4. Si A, B son dos subconjuntos no vacı́os de R, tales que
1) a < b, ∀ a ∈ A, ∀ b ∈ B.
2) R = A ∪ B.
Entonces, se cumple una y sólo una de las afirmaciones siguientes.
1) A tiene elemento máximo.
2) B tiene elemento mı́nimo.
Demostración
A está acotado superiormente. En efecto la condición 1), implica que cualquier elemento de B es mayorante
de A. El axioma del supremo justifica la existencia de un mayorante mı́nimo de A, escribimos s = sup A.
La elección de s como el mı́nimo de los mayorantes de A, implica que s ≤ b, ∀ b ∈ B . . . (∗). De la
condición 1) concluimos además que A ∩ B = ∅.
De la condición 2), obtenemos que s satisface una y solo una de las condiciones siguientes: a ∈ A o s ∈ B.
En el primer caso, la proposición anterior afirma que s es el elemento máximo de A, mientras que en el
segundo caso, la relación (∗), implica que s es el elemento mı́nimo de B.
2
Definición 4. Un subconjunto no vacı́o S de R está acotado, si esta acotado superiormente e inferior-

mente.
Definición 5. Fije a, b ∈ R tales que a ≤ b, llamamos
· Intervalo abierto ]a, b[ a la colección de los números x que satisfacen la doble desigualdad a < x < b.
· Intervalo cerrado [a, b] a la colección de los números x que satisfacen la doble desigualdad a ≤ x ≤ b.
· Intervalo semiabierto por la izquierda ]a, b] a la colección de los números x que satisfacen la doble
desigualdad a < x ≤ b.
· Intervalo semiabierto por la derecha [a, b[ a la colección de los números x que satisfacen la doble
desigualdad a ≤ x < b.
En el caso de que a = b, el intervalo cerrado [a, b] es un conjunto que consta de un solo elemento y
convenimos en que el intervalo abierto ]a, b[ es el conjunto vacı́o (∅).
Proposición 5. Para un subconjunto no vacı́o S de R, las siguientes afirmaciones son equivalentes.
i) S está acotado.
ii) Existen a, b ∈ R, con a ≤ b tales que S ⊂ [a, b].
iii) ∃ R > 0 tal que |x| ≤ R ∀ x ∈ S
Demostración
i) ⇒ ii) S esta acotado, el axioma del supremo y el teorema anterior justifica entonces la existencia del
mı́nimo de los mayorantes de S y del máximo de los minorantes de S. Sea a = sup S y b = ı́nf S,
si x ∈ S, entonces a ≤ x ≤ b, entonces a ≤ b y S ⊂ [a, b].
ii) ⇒ iii) Tenemos por hipotésis que existen a, b ∈ R con a ≤ b tales que S ⊂ [a, b], elijamos R = máx{|a|, |b|},
ası́ que R > 0. Afirmación |x| ≤ R ∀ x ∈ S.
En efecto x ∈ S, entonces a ≤ x ≤ b, además −R < −|a| ≤ a y b ≤ |b| < R, entonces −R ≤ x ≤ R,

por lo tanto |x| ≤ R ∀ x ∈ S.
iii) ⇒ ii) Por hipotésis que existe R > 0 tal que |x| ≤ R ∀ x ∈ S, entonces −R ≤ |x| ≤ R ∀ x ∈ S, la
primera desigualdad implica que S esta acotado inferiormente y la segunda que S está acotado
superiormente, por lo tanto S esta acotado.
Corolario 6. Si un subconjunto no vacı́o S de R está acotado, entonces S ⊂ [ı́nf S, sup S].
Convención. Consideremos un subconjunto no vacı́o S de R. Convenimos en que sup S = +∞ cuando el

conjunto S no esté acotado superiormente y que el ı́nf S = −∞ cuando S no esté acotado inferiormente.
Observación. sup S = +∞ ⇐⇒ ∀ u ∈ R+ , ∃ x ∈ S tal que x > u. ı́nf S = −∞ ⇐⇒ ∀ v ∈ R− , ∃ x ∈ S
tal que x < v.

Clase 13 Calculo I ESFM

Cargado por

Copyright:

Formatos disponibles

Clase 13 Calculo I ESFM

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Clase 13 Calculo I ESFM

Cargado por

Copyright:

Formatos disponibles

El ı́nfimo de un conjunto

Definición 1. Consideremos un subconjunto no vacı́o T de R. Un elemento c de T que satisfaga la

Definición 2. Diremos que un subconjunto no vacı́o S de R, está acotado inferiormente si existe d ∈ R

Definición 3. Al máximo de los minorantes de un subconjunto no vacı́o S de R que esta acotado

Claramente S esta acotado superiormente e inferiormente, además a = ı́nf S y b = sup S, pero a, b 6∈ S.

Proposición 3. Considere un subconjunto no vacı́o S de R.

i) Suponga que S está acotado superiormente.

Si el supremo de S es elemento de S, entonces el conjunto S tendrá como elemento máximo al

Si el ı́nfimo de S es elemento de S, entonces el conjunto S tendrá como elemento mı́nimo al número

Teorema 4. Si A, B son dos subconjuntos no vacı́os de R, tales que

Entonces, se cumple una y sólo una de las afirmaciones siguientes.

1) A tiene elemento máximo.

2) B tiene elemento mı́nimo.

Definición 4. Un subconjunto no vacı́o S de R está acotado, si esta acotado superiormente e inferior-

Definición 5. Fije a, b ∈ R tales que a ≤ b, llamamos

ii) Existen a, b ∈ R, con a ≤ b tales que S ⊂ [a, b].

iii) ∃ R > 0 tal que |x| ≤ R ∀ x ∈ S

En efecto x ∈ S, entonces a ≤ x ≤ b, además −R < −|a| ≤ a y b ≤ |b| < R, entonces −R ≤ x ≤ R,

Corolario 6. Si un subconjunto no vacı́o S de R está acotado, entonces S ⊂ [ı́nf S, sup S].

Convención. Consideremos un subconjunto no vacı́o S de R. Convenimos en que sup S = +∞ cuando el

También podría gustarte