Acotado

Relación homogéneaRelación reflexivaRelación no reflexivaConjunto preordenadoRelación de dependenciaConjunto parcialmente ordenadoRelación de equivalenciaOrden totalAcotadoOrden total acotadoClasiBinaEs 004.svg
Acerca de esta imagen

El concepto de acotado aparece en matemáticas para referirse a una situación en la que para cierto objeto matemático o un objeto construido a partir del mismo puede establecerse una relación de orden con otro tipo de entidad llamada cota superior o inferior. Los detalles varían según el contexto por lo que se remite al cuerpo de este artículo para una definición precisa en cada caso.

Conjunto parcialmente ordenado y acotado

Dado un conjunto A y una relación binaria definida entre los elementos de A, que expresaremos y la relación se representa:

que se lee: x antecede a y.

La no relación se representa:

que se lee: x no antecede a y

Si la relación cumple las propiedades: reflexiva, antisimétrica y transitiva, es por lo tanto es un conjunto parcialmente ordenado.

Si se cumple que:

el elemento x antecede a y o y antecede a x, se dice que x y y son elementos comparables.

Si se cumple que:

el elemento x no antecede a y e y no antecede a x, se dice que x e y son no comparables.

Diremos que el conjunto A está acotado superiormente respecto a si:

se cumple que existe un y de A tal que x antecede a y para todo x de A.

Del mismo modo diremos que el conjunto A está acotado inferiormente respecto a si:

se cumple que existe un z de A tal que z antecede a x para todo x de A.

Diremos que un conjunto está acotado, si está acotado superior e inferiormente.

Elemento maximal y minimal

Conjunto acotado 7A31.svg

Dado el conjunto A formado por los elementos:

en el que se ha definido una relación binaria representada en la figura, siendo un conjunto parcialmente ordenado, los elementos y de A que cumplen:

y de A es maximal si para todo x de A que cumple que y anteceda a x entonces y es igual a x.

Los elementos y de A se denominan maximales y definen una cuota superior en A, los elementos maximales no tiene porque ser únicos, en el ejemplo d, h y l son maximales de A.

Del mismo modo los elementos z de A que cumplen:

z de A es minimal si para todo x de A que cumpla que x anteceda a z entonces z es igual a x.

se denominan minimales y definen una cuota inferior en A, los elementos minimales no tiene porque ser únicos, en el ejemplo a, h y k son minimales de A.

Se puede ver que el elemento h es maximal y minimal en A

Elemento máximo y mínimo

Conjunto acotado 7A13.svg

Dado el conjunto A formado por los elementos:

en el que se ha definido una relación binaria representada en la figura, siendo un conjunto parcialmente ordenado.

El elemento y de A que cumple:

se denomina máximo y define una cuota superior en A, el elemento máximo es único, en el ejemplo l es el máximo de A. El elemento máximo de un conjunto es maximal en ese conjunto.

Del mismo modo el elemento z de A que cumple:

se denomina mínimo y define una cuota inferior en A, el elemento mínimo es único, en el ejemplo a es mínimo de A. El elemento mínimo de un conjunto es minimal en ese conjunto.

Galería de ejemplos

Dado un conjunto A, entre cuyos elementos, se ha definido una relación binaria que define un orden parcial, definido en las siguientes figuras, se pueden ver los distintos casos para determinar los maximales, minimales, maximos y mínimos de cada caso en caso de existir:


1 2 3 4
Conjunto acotado 7A02.svg Conjunto acotado 7A03.svg Conjunto acotado 7A04.svg Conjunto acotado 7A05.svg
maximales: l. maximales: c, l. maximales: l. maximales: d, l.
maximo: l. maximo: no existe maximo: l. maximo: no existe
minimales: a. minimales: a, d. minimales: a, b, c. minimales: a, h.
mínimo: a. mínimo: no existe mínimo: no existe mínimo: no existe

5 6 7 8
Conjunto acotado 7A38.svg Conjunto acotado 7A40.svg Conjunto acotado 7A41.svg Conjunto acotado 7A42.svg
maximales: l. maximales: c, l. maximales: a, l. maximales: d, e, l.
maximo: l. maximo: no existe maximo: no existe maximo: no existe
minimales: a, d. minimales: a, d, f. minimales: a, b, l. minimales: a, d, h.
mínimo: no existe mínimo: no existe mínimo: no existe mínimo: no existe

9 10 11 12
Conjunto acotado 7A06.svg Conjunto acotado 7A07.svg Conjunto acotado 7A08.svg Conjunto acotado 7A09.svg
maximales: l. maximales: k, l maximales: g, j, l. maximales: h, l.
maximo: l maximo: no existe maximo: no existe maximo: no existe
minimales: a. minimales: a, g. minimales: a. minimales: a, k.
mínimo: a. mínimo: no existe mínimo: a. mínimo: no existe

13 14 15 16
Conjunto acotado 7A39.svg Conjunto acotado 7A50.svg Conjunto acotado 7A51.svg Conjunto acotado 7A52.svg
maximales: k, l. maximales: f, k, l. maximales: g, j, k, l. maximales: h, k, l.
maximo: no existe maximo: no existe maximo: no existe maximo: no existe
minimales: a. minimales: a, g. minimales: a, l. minimales: a, i, k.
mínimo: a. mínimo: no existe mínimo: no existe mínimo: no existe

Other Languages
العربية: مجموعة محاطة
català: Conjunt fitat
English: Bounded set
Esperanto: Barita aro
français: Partie bornée
íslenska: Takmarkað mengi
日本語: 有界
한국어: 유계 집합
Nederlands: Begrensdheid
português: Conjunto limitado
українська: Обмежена множина
中文: 有界集合
文言: 有界