Funciones máximo y mínimo

La función máximo es una función definible en todo conjunto completamente ordenado que asigna a cada n-tupla de valores el máximo de dichos valores. Análogamente se define la función mínimo como el menor de los elementos de un cierto conjunto.

Definición formal

editar

Dado un conjunto completamente ordenado   y una colección   de subconjuntos finitos de A no vacíos  , se define la función máximo:

 

En algunos casos no es necesario restringir la definición anterior a conjuntos finitos. Dado un conjunto totalmente ordenado y una colección de conjuntos   tal que para todo   existe un elemento máximo se puede extender la función anterior a conjuntos no necesariamente finitos:

 

Dada una función  , siendo   un conjunto totalmente ordenado frecuentemente se definie una variante de función máximo relacionada con las definiciones anteriores:

 

Estas definiciones se extienden de manera simple, para definir una función mínimo para conjuntos totalmente ordenados. Las dos últimas requieren la existencia de un elemento mínimo para todo conjunto de  .

Números reales

editar

Los números reales son un conjunto totalmente ordenado (y por tanto todos sus subconjuntos también lo son). Esto permite definir las funciones máximo y mínimo sobre conjuntos finitos de números reales.

Si un conjunto de números reales es infinito es además un conjunto compacto se pueden definir sobre él las funciones máximo sobre subconjuntos de dicho conjunto (que involucran encontrar el máximo de un conjunto no finito). Esto significa que si considera la siguiente colección de conjuntos:

 

La función máximo está bien definida sobre dicha colección de conjuntos que incluye conjuntos infinitos aunque todos acotados, debido al teorema de Heine-Borel. Para conjuntos no compactos pero acotados puede definirse una función real, llamada función supremo:

 

donde   es la clausura topológica de  . Análogamente la función ínfimo se define como:

 

Para conjuntos no acotados de números reales se pueden definir funciones supremo e ínfimo pero su recorrido será  .

Propiedades

editar

Las funciones máximos y mínimo sobre los números reales tienen las siguientes propiedades:

  • Monotonía:      
  •  
  •  
  •  
  •  
  • Imagen por funciones:   (la igualdad se da para funciones monótonas crecientes cuando A es compacto),  

Referencias

editar

Bibliografía

editar
  • Apostol, Tom M. Análisis Matemático (Mathematical Analysis), trad., ed. Reverté S. A. 1976.
  • Apostol, Tom M. Cálculus Volumen 1 y 2(Calculus), trad., ed. Reverté S.A. 1984.
  • Bartle, Robert G. Introducción al Análisis Matemático (The Elements of Real Analysis), trad., ed. Limusa S.A. 1982.
  • Bartle et al. Introducción al Análisis Matemático de una Variable (Introduction to Real Analysis), trad., ed. Limusa S.A. 2009.