En matemáticas , la hemicontinuidad superior y la hemicontinuidad inferior son extensiones de las nociones de semicontinuidad superior e inferior de funciones univaluadas a funciones con valores conjuntos . Se dice que una función con valores conjuntos que es tanto hemicontinua superior como inferior es continua en analogía con la propiedad del mismo nombre para funciones univaluadas.
Para explicar ambas nociones, considere una secuencia a de puntos en un dominio y una secuencia b de puntos en el rango. Decimos que b corresponde a a si cada punto en b está contenido en la imagen del punto correspondiente en a .
La imagen de la derecha muestra una función que no es hemicontinua inferior en x . Para ver esto, sea a una sucesión que converge a x desde la izquierda. La imagen de x es una línea vertical que contiene algún punto ( x , y ). Pero toda sucesión b que corresponde a a está contenida en la línea horizontal inferior, por lo que no puede converger a y . En contraste, la función es hemicontinua superior en todas partes. Por ejemplo, considerando cualquier sucesión a que converge a x desde la izquierda o desde la derecha, y cualquier sucesión correspondiente b , el límite de b está contenido en la línea vertical que es la imagen del límite de a .
La imagen de la izquierda muestra una función que no es hemicontinua superior en x . Para ver esto, sea a una sucesión que converge a x desde la derecha. La imagen de a contiene líneas verticales, por lo que existe una sucesión correspondiente b en la que todos los elementos están acotados a partir de f ( x ). La imagen del límite de a contiene un único punto f ( x ), por lo que no contiene el límite de b . En contraste, esa función es hemicontinua inferior en todas partes. Por ejemplo, para cualquier sucesión a que converge a x , desde la izquierda o desde la derecha, f ( x ) contiene un único punto, y existe una sucesión correspondiente b que converge a f ( x ).
Se dice que una función con valores de conjunto es hemicontinua superior en un punto si, para cada abierto con existe un entorno de tal que para todo es un subconjunto de
Se dice que una función con valores de conjunto es hemicontinua inferior en el punto si para cada conjunto abierto que interseca existe un vecindario de tal que interseca para todos (aquí interseca significa intersección no vacía ).
Si una función con valores conjuntos es a la vez hemicontinua superior y hemicontinua inferior, se dice que es continua.
Teorema — Para una función con valores cerrados, si es hemicontinua superior en entonces para cada secuencia en y cada secuencia tal que
Si es compacto, entonces lo inverso también es cierto.
Como ejemplo, observe la imagen de la derecha y considere la secuencia a en el dominio que converge a x (ya sea desde la izquierda o desde la derecha). Entonces, cualquier secuencia b que satisfaga los requisitos converge a algún punto en f ( x ).
El gráfico de una función de valor conjunto es el conjunto definido por El gráfico de es el conjunto de todos los que no están vacíos.
Teorema — Si es una función de conjunto hemicontinua superior con dominio cerrado (es decir, el dominio de es cerrado) y valores cerrados (es decir, es cerrado para todos los ), entonces es cerrado.
Si es compacto, entonces la inversa también es cierta. [1]
Teorema — es hemicontinuo inferior en si y solo si para cada secuencia en tal que en y todos existe una subsecuencia de y también una secuencia tal que y para cada
Se dice que una función con valores de conjunto tiene secciones inferiores abiertas si el conjunto está abierto en para cada Si los valores son todos conjuntos abiertos en entonces se dice que tiene secciones superiores abiertas .
Si tiene un gráfico abierto entonces tiene secciones superior e inferior abiertas y si tiene secciones inferiores abiertas entonces es hemicontinuo inferior. [2]
Teorema de grafos abiertos : Si es una función con valores convexos y secciones superiores abiertas, entonces tiene un grafo abierto en si y solo si es hemicontinuo inferior. [2]
Las operaciones de teoría de conjuntos, algebraicas y topológicas sobre funciones con valores de conjunto (como unión, composición, suma, envoltura convexa, clausura) suelen conservar el tipo de continuidad. Pero esto debe tomarse con el debido cuidado ya que, por ejemplo, existe un par de funciones con valores de conjunto hemicontinuas inferiores cuya intersección no es hemicontinua inferior. Esto se puede solucionar fortaleciendo las propiedades de continuidad: si una de esas multifunciones hemicontinuas inferiores tiene un grafo abierto, entonces su intersección es nuevamente hemicontinua inferior.
De crucial importancia para el análisis de conjuntos valuados (en vista de las aplicaciones) son la investigación de selecciones de un solo valor y aproximaciones a funciones de conjuntos valuados. Típicamente, las funciones de conjuntos valuados hemicontinuos inferiores admiten selecciones de un solo valor ( teorema de selección de Michael , teorema de selección direccionalmente continua de Bressan-Colombo, selección de funciones descomponibles de Fryszkowski). Asimismo, las funciones hemicontinuas superiores admiten aproximaciones (por ejemplo, teorema de Ancel-Granas-Górniewicz-Kryszewski).
La hemicontinuidad superior e inferior podrían considerarse como una continuidad habitual:
Teorema — Una función con valores conjuntos es hemicontinua inferior [o superior] si y solo si la función es continua donde el hiperespacio P(B) ha sido dotado con la topología de Vietoris inferior [o superior] .
(Para la noción de hiperespacio compárese también el conjunto potencia y el espacio funcional ).
Utilizando la uniformidad de Hausdorff inferior y superior también podemos definir los llamados mapas semicontinuos superior e inferior en el sentido de Hausdorff (también conocidos como mapas semicontinuos inferior/superior métricamente ).