Una caracterización de funciones inducibles entre hiperespacios

Dados dos hiperespacios fijos H(X) y H(Y ) de continuos métricos X y Y , respectivamente, una función continua g : H(X) → H(Y ) es inducible si existe una función continua f : X → Y tal que g(A) = {f(a) : a ∈ A}, para cada A ∈ H(X). En este trabajo presentamos una caracterización de funciones inducibles entre hiperespacios, la comparamos con las condiciones necesarias y suficientes bajo las cuales una función continua entre hiperespacios es inducible, dada por J.J. Charatonik y W.J. Charatonik en 1998, y damos ejemplos que muestran la independencia entre las condiciones en ambas caracterizaciones en todos los hiperespacios, algunos de ellos no habían sido considerados en la caracterización ya conocida, haciendo completo el estudio de esta clase de funciones continuas.