Está en la página 1de 9

Un conjunto 9 c A se dice que es un conjunto acotado, si est acotado superior e

inferiormente. As por ejemplo los conjuntos B=


)
`

e n
n
,
1
, D = (-2,1) o E = [4,9) son
conjuntos acotados; mientras que | ) ( ) { } e + n o
n
, 2 4 , , 3 son conjuntos no acotados.
Un nmero real
0
x se dice que es el extremo superior del conjunto 9 c A si es la menor de
las cotas superiores. Tambin se le llama supremo. As por ejemplo, en el conjunto ( ) 1 , 2 el 1
es el extremo superior o supremo, en el conjunto | | 3 , 5 el 3 es el extremo superior o supremo,
en el conjunto B=
)
`

e n
n
,
1
el 1 es el extremo superior o supremo.
Un nmero real
0
x se dice que es el extremo inferior del conjunto 9 c A si es la mayor de
las cotas inferiores. Tambin se le llama nfimo. As por ejemplo, en el conjunto ( ) 1 , 2 el -2
es el extremo inferior o nfimo, en el conjunto | | 3 , 5 el -5 es el extremo inferior o nfimo, en
el conjunto B=
)
`

e n
n
,
1
el 0 es el extremo inferior o nfimo.
Al supremo y al nfimo de un conjunto se les llama mximo y mnimo respectivamente, si
pertenecen al conjunto del cual son cotas. As por ejemplo el 3 es el supremo y adems el
mximo del conjunto | | 3 , 5 , mientras que el 1 es el supremo del conjunto ( ) 1 , 2 , pero no es
el mximo de dicho conjunto ya que no pertenece a el ( ) 1 , 2 1 e .













Conjunto Acotado
Dcese del conjunto de elementos ordenados que consta de una mayorante, una minorante y un
subconjunto que contiene al resto de sus elementos. Y una parte de un todo
Conjunto Acotado en un espacio mtrico
Sean M un espacio mtrico y A un subconjunto de M. Se dice que A esta acotado si existe algn disco
abierto que lo contenga.
Conjunto Acotado en el conjunto de los nmeros reales
Sean A un subconjunto de nmeros reales y M un nmero real positivo. Se dice que A es acotado si existe
un M tal que para todo x A se verifica que |x| es menor o igual que M.

Conjunto Acotado Superiormente
Conjunto de elementos ordenados que consta de un supremo y un subconjunto que contiene al resto de
sus elementos. Decimos que y es cota superior para A si todos los elementos de A son menores o iguales
a y, llamamos supremo a la menor de las cotas superiores y, si el supremo pertenece al conjunto, tambin
decimos que es mximo.
Conjunto Acotado Inferiormente
Conjunto de elementos ordenados que consta de un elemento 'nfimo' y un subconjunto que contiene al
resto de sus elementos.
Ejemplos
.El conjunto de nmeros enteros positivos consta de un nfimo, el 1, por lo que es un Conjunto
Acotado Inferiormente.
.El conjunto de los nmeros enteros negativos consta de un supremo, el (-1), por lo que es un
Conjunto Acotado Superiormente.
.Un conjunto que conste de los nmeros {-3, 0, 1, 5, 32, 120} consta de una mayorante (el 120), una
minorante (el -3) y un subconjunto que consta de los cuatro elementos restantes, por lo que es un
Conjunto Acotado.
Mayorante
En matemticas, particularmente en teora del orden y de conjuntos, el mayorante o cota superior de un
subconjunto S de un conjunto parcialmente ordenado P es un elemento de P mayor o igual que cualquier
elemento de S.
Entre todos los mayorantes o cotas superiores del conjunto P, se denomina supremo de S a la menor de
estas cotas superiores. Si, adems, el supremo pertenece no slo al conjunto P sino tambin a S se
denomina mximo de S.
Ejemplos
.Para el intervalo de nmeros reales (0; 10]: 10 y 11 son mayorantes. 10 sera el supremo del
intervalo, y, como adems pertenece al mismo, tambin sera el mximo.
. no tiene mayorante en .
Minorante
En matemticas, particularmente en teora del orden y de conjuntos, el minorante o cota inferior de un
subconjunto S de un conjunto parcialmente ordenado P es un elemento de P menor o igual que cualquier
elemento de S.
Entre todos los minorantes o cotas inferiores del conjunto P, se denomina nfimo de S a la mayor de estas
cotas inferiores. Si, adems el nfimo pertenece no slo al conjunto P sino tambin a S se denomina
mnimo de S.
Ejemplos
Para el intervalo de nmeros reales (0 ; 10]: 0 y -7 son minorantes. 0 sera el nfimo, pero como no
pertenece al intervalo, no sera mnimo del intervalo.
Para este otro intervalo de nmeros reales -5 y -23 son minorantes, mientras que 0 es su
nfimo.
Supremo
Sea un conjunto no vaco entre cuyos elementos hay definida una relacin de orden ; sea
un subconjunto acotado superiormente y sea el conjunto de las cotas superiores de A. El
supremo de A (denotado por sup(A)) es la menor de las cotas superiores (en otras palabras:
es supremo de A si para todo ).
Si A est acotado inferiormente y es el conjunto de las cotas inferiores, se dice que
es nfimo de A (denotado por inf(A)) si es la mayor de las cotas inferiores (en otras palabras:
es nfimo de A si para todo ). Todo lo que vale para el supremo vale
para el nfimo si se invierte la relacin de orden.
Propiedades
El supremo de un conjunto es siempre una cota superior del mismo, pero no tiene por qu pertenecer
a l. Cuando lo hace, se denomina mximo (lo mismo para el nfimo, y entonces se denomina
mnimo).
Un conjunto acotado superiormente no tiene por qu tener supremo. Por ejemplo, si denota el
conjunto de los nmeros racionales, y definimos , entonces
es el conjunto de todas sus cotas superiores. Pero no hay ningn
elemento que verifique la definicin de supremo: elijamos el que elijamos, siempre habr
otro elemento de C menor que l. (En este ejemplo, el supremo de A es el nmero que denotamos
que no es racional, sino irracional. Es necesario ampliar el conjunto de los nmeros racionales
con los nmeros irracionales dando lugar a , el conjunto de los nmeros reales, para que todo
conjunto acotado superiormente tenga un supremo.)
Si existe el supremo de un conjunto, ste es nico. En efecto, si s
1
y s
2
son ambos supremos de A,
entonces, por la definicin, y tambin , con lo que s
1
= s
2
, por la propiedad
antisimtrica de la relacin de orden.
Ejemplos







Vencidad
En un espacio mtrico, y con referencia a una posicin particular p en X, son los puntos que
estn a una distancia menor que de p.
Con smbolos se define as

Este tipo de conjunto desempea el rol de ser el bloque bsico del concepto de conjunto abierto (en
espacios mtricos), pues a partir de l definimos el conjunto interior de A como

y entonces un conjunto A es abierto si .
Cualquier objeto x que este en una se le dice que est -cercano a p (epsilon-
cercano).

Punto de acumulacin
El concepto de punto de acumulacin de un conjunto en un espacio captura la nocin de estar
extremadamente cercano al conjunto sin pertenecer necesariamente a l. Generaliza la nocin de lmite en
.
Tambin se utiliza como sinnimo: punto lmite.
Dado un conjunto E y un punto p en un espacio mtrico X, decimos que l es un punto de acumulacin
para E, si cualquier -vecindad de p sin p, tiene interseccin con E. Es decir, hay elementos de E que
estn -cercanos a p y son diferentes de p mismo (dicha restriccin no aparece cuando se trata de puntos
de adherencia). En esta definicin podemos ver que p puede o no estar en E.
Es posible generalizar el concepto a espacios topolgicos reemplazando las -vecindades con conjuntos
abiertos.
Con smbolos
Si denota con E' al conjunto de puntos lmite de E, podemos definir conforme a:
si
Ejemplo
El intervalo (0,1) tiene como puntos de acumulacin al intervalo [0,1].
Un conjunto finito no tiene puntos de acumulacin (hay que tener en cuenta que siempre hablamos
de numeros reales (o complejos, o incluso de racionales en un intervalo en el que sepamos con
seguridad que no hay irracionales), pues no tendria sentido hablar del concepto "infinitamente
prximo" con los nmeros enteros por ejemplo.
El conjunto de puntos de acumulacin en Q es igual al de R, ya que Q es denso en R.
N no tiene punto de acumulacin. Por lo tanto, cada punto en N es aislado.