Mostrar Mensajes

Esta sección te permite ver todos los posts escritos por este usuario. Ten en cuenta que sólo puedes ver los posts escritos en zonas a las que tienes acceso en este momento.

Temas - ferguskielpatrick

Páginas: [1]
1
Estoy acometiendo el estudio de topología general, utilizando la obra de Munkres. De allí me surge una duda sobre el ejemplo 12, que no termino de entender. Va así:

Si se considera un conjunto [0,1) de números reales y el conjunto \( Z_{+} \) de los enteros positivos, ambos con sus ordenes usuales; damos a \( Z_{+}* [0,1) \) el orden del diccionario. Este conjunto tiene el mismo tipo de orden que el conjunto de los reales no negativos. La funcion f (n x t) = n + t - 1 es la correspondencia biyectiva que preserva el orden que se necesita.
Pero el conjunto \( [0,1) * Z_{+} \) con el orden del diccionario tiene un tipo de orden distinto, por ej., todo elemento de este conjunto ordenado tiene un inmediato sucesor.

Basicamente, no comprendo el motivo por el que en el segundo ejemplo, todos los elementos del conjunto tienen un inmediato sucesor, mientras que en el primero no.

Páginas: [1]