Encaje ordenado para el hiperespacio C(X)

Abstract

Un continuo es un espacio métrico, compacto, conexo y no vacío. Para un continuo X se considera la colección C(X) = {A ⊂ X | A es cerrado, conexo y no vacío} denominado hiperespacio de subcontinuos del continuo X. Sean C(X) y C(Y) hiperespacios de X y Y respectivamente, se está interesado en encontrar condiciones necesarias y/o suficientes bajo las cuales exista una función continua e inyectiva f de C(X) en C(Y) tal que si A, B ϵ C(X) y A ⊂ B; entonces f(A) ⊂ f(B): en este caso se dice que C(X) puede encajarse ordenadamente en C(Y ) y aquí se da una caracterización de ellos: “Si X es un continuo hereditariamente descomponible e Y es un continuo indescomponible, entonces C(X) no puede encajarse ordenadamente en C(Y )”.