Chapter 1

Funciones Multivaluadas

1.1 Preliminares

Definición 1.1.1. Sean X e Y dos conjuntos no vacı́os. Una función multivaluada F

de X en Y es una función de X en el conjunto potencia de Y , es decir, F : X → 2Y .
Definiciones 1.1.1. Sean F : X → 2Y una función multivaluada, A un subconjunto
de X y B un subconjunto de Y . Entonces, definimos:

1. El dominio de F es el conjunto definido por Dom(F ) := {x ∈ X : F (x) 6= ∅}.

2. La imagen de A al aplicar F se define por F (X) := ∪x∈A F (x).

3. La imagen inversa de B por F se define como F −1 (B) := {x ∈ X : F (x) ∩ B 6=

∅}

4. El gráfico de F es el conjunto Graf (F ) := {(x, y) ∈ X × Y : y ∈ F (x)}.

Definición 1.1.2. Sean F u G dos funciones multivaluadas de X en Y , entonces

podemos definir la unión e intersección de dichas funciones como sigue:

(F ∪ G)(x) = F (x) ∪ G(X) y (F ∩ G)(x) = F (x) ∩ G(x)

Definición 1.1.3. Si F es una función multivaluada de X en Y , y G es una función

multivaluada de Y en Z, entonces definimos la composición G ◦ F por (G ◦ F )(x) =
∪y∈F (x) G(y).

1
Proposición 1.1.1. Si F y G son funciones multivaluadas de X en Y , y B es un
subconjunto de Y , entonces:

1. (F ∪ G)−1 (B) = F −1 (B) ∪ G−1 (B);

2. (F ∩ G)−1 (B) = F −1 (B) ∩ G−1 (B).

Demostración. 1. Dado x en X, se cumple que x está en (F ∪ G)−1 (B) si y solo si

(F ∪ G)(B) ∩ B 6= ∅, es decir, si y solo si F (x) ∩ B 6= ∅ o G(x) ∩ B 6= ∅.
2. Tenemos que x está en (F ∩ G)−1 (B) si y solo si (F ∩ G)(B) ∩ B 6= ∅, es decir,
F (x) ∩ B 6= ∅ y G(x) ∩ B 6= ∅.

Proposición 1.1.2. Si F es una función multivaluada de X en Y , G es una función

multivaluada de Y en Z y C un subconjunto de Z, entonces (G◦F )−1 (C) = F −1 (G−1 (C)).

Demostración. Tenemos que

(G ◦ F )−1 = {x : (G ◦ F )(x) ∩ C 6= ∅}
= {x : G(y) ∩ C 6= ∅, para algún y en F (x)}
= {x : F (x) ∩ G−1 (C) 6= ∅}
= F −1 (G−1 (C)).

Proposición 1.1.3. Sea F una función multivaluada de X en Y y {Bn : n ∈ N} una

familia de de subconjuntos de Y , entonces:

1. F −1 (∪n∈N Bn ) = ∪n∈N F −1 (Bn ).

2. F −1 (∩n∈N Bn ) = ∩n∈N F −1 (Bn ).

Definición 1.1.4. Sean F1 y F2 funciones multivaluadas de X en Y1 e Y2 respecti-

vamente, entonces definimos la función multivaluada F de X en Y1 × Y2 por F (x) =
(F1 × F2 )(x) = F1 (x) × F2 (x).

Proposición 1.1.4. Con las notaciones de la definición 1.1.4 Si A ⊆ Y1 , si A es

subconjunto de Y1 y B es subconjunto de Y2 , entonces F −1 (A×B) = F1−1 (A)∩F2−1 (B).

Demostración. Tenemos que x pertenece a F −1 (A × B) si y solo si F1 (x) ∩ A 6= ∅ y

F2 (x) ∩ B 6= ∅, que es equivalente a decir que x pertenece a F1−1 (A) ∩ F2−1 (B).

2
1.2 Continuidad

Definición 1.2.1. Sean X e Y dos espacios topológicos y F una función multivaluada

de X en Y , se dice que:

1. F es semicontinua superior, si es continua vista como función de X en (Y, τu ).

2. F es semicontinua inferior, si es continua vista como función de X en (Y, τl ).

3. F es continua, si es continua vista como función de X en (Y, τv ).

Teorema 1.2.1. Sean X e Y espacios topológicos y F una función multivaluada de

X en Y , entonces las siguientes proposiciónes son equivalentes:

1. F es semicontinua superior.

2. Para todo conjunto B cerrado en Y , F −1 (B) es cerrado.

3. Para todo x ∈ X, toda sucesión (xn : n ∈ N) en X que converge a x, y todo

conjunto abierto G en Y tal que F (x) ⊂ G, F (xn ) ⊂ G para n suficientemente
grande.

Demostración. 1⇔2. Sea B un subconjunto cerrado de Y . Basta probar que (F −1 (B))c

es abierto en X. Como F es semicontinua superior, (F −1 (B))c = F −1 (B c ) y los con-
juntos abiertos en (2Y , τU ) son de la forma Γ(B c ), entonces

F −1 (Γ(B c )) = {x ∈ X : F (x) ∩ Γ(B c ) 6= ∅}

= {x ∈ X : F (x) ∩ B c 6= ∅}
= {x ∈ X : F (x) ⊂ B c } ∈ (2Y , τu )

Por lo tanto, F −1 (B) es cerrado.

2⇒3. Sean (xn : n ∈ N) una sucesión en X que converge a x y G un conjunto

abierto en Y . Como F −1 (G) es un conjunto abierto en X y x ∈ F −1 (G), para n
suficientemente grande xn ∈ F −1 (G).

3⇒2.

3
Teorema 1.2.2. Sean X e Y espacios topológicos y F una función multivaluada de
X en Y , entonces las siguientes proposiciónes son equivalentes:

1. F es semicontinua inferior.

2. Para todo conjunto G abierto en Y , F −1 (B) es abierto.

3. Para todo x ∈ X, toda sucesión (xn : n ∈ N) en X que converge a x, y todo con-

junto abierto G en Y tal que F (x) ⊂ G, F (xn ) ∩ G 6= ∅ para n suficientemente
grande.

1.3 Funciones Multivaluadas Medibles

En lo que sigue de este capı́tulo, se asumirá que (X, E, µ) es un epacio de medida real
no negativa.

Definición 1.3.1. Una función multivaluada F se dice E − medible si F −1 (B) =

{x ∈ X : F (x) ∩ B 6= ∅} ∈ E para todo subconjunto cerrado B en Y .

Proposición 1.3.1. Sea F una función multivaluada de X en Y , tal que F −1 (B) ∈ E

para todo B cerrado en Y . Entonces F −1 (G) ∈ E, para todo abierto G en Y .

Demostración. Sea (Bn : n ∈ N) una sucesión de subconjuntos cerrados de Y , tal

que G = ∪n Bn . Luego, por 1.1.3 tenemos que F −1 (G) = ∪n∈N F −1 (Bn ), por lo tanto
F −1 (G) ∈ E.