Elementos máximos y mínimos

La versión actual de la página aún no ha sido revisada por colaboradores experimentados y puede diferir significativamente de la versión revisada el 30 de abril de 2022; las comprobaciones requieren 2 ediciones .

Un elemento de un conjunto parcialmente ordenado se llama elemento maximal si

De manera similar, se dice que un elemento es mínimo si

Se escribe como (en consecuencia, la propiedad de minimalidad se escribe como ). En el caso de un conjunto ordenado linealmente (por ejemplo, en el caso de un subconjunto de la línea real con un orden natural), el concepto de elemento máximo (resp. mínimo) coincide con el concepto de elemento mayor (resp. menor ). ) elemento, pero en el caso general estos conceptos difieren: el elemento más grande es siempre el máximo, lo contrario no siempre es cierto, ya que para un elemento máximo pueden existir elementos que son incomparables con él.

No hay un elemento máximo de un subconjunto a menos que esté acotado desde arriba. Incluso si este conjunto está acotado desde arriba, es posible que no haya un elemento máximo (aunque tanto el ínfimo como el supremo existen para cualquier conjunto acotado). Por ejemplo, no hay un elemento mínimo o máximo para un intervalo .

Literatura

Véase también