Autor Tema: Duda en teorema 1.10 del libro Teoría descriptiva de conjuntos de Carlos Ivorra

0 Usuarios y 1 Visitante están viendo este tema.

25 Febrero, 2021, 10:44 pm
Respuesta #10

Carlos Ivorra

  • Administrador
  • Mensajes: 9,674
  • País: es
  • Karma: +0/-0
  • Sexo: Masculino
    • Página web personal
La implicación recíproca creo que sería trivial pues dado \( A \subset \kappa \) con \( \left |{A}\right | < \kappa \), tenemos que para cada \( \alpha \in A \) se tiene que \( \alpha < \kappa \), con lo que \( |\alpha| < \kappa \) y por hipótesis es entonces es cardinal de \( \bigcup A \) menor que \( \kappa \), luego como \( \bigcup A \) es un ordinal, es \( \bigcup A < \kappa \). Entonces como el conjunto \( A \) es arbitrario, por lo que hemos dicho antes, \( \kappa \) es regular.

Sólo un matiz. Has llegado a que \( \bigcup A \) es un ordinal cuyo cardinal es menor que \( \kappa \), eso no es exactamente lo mismo que \( \bigcup A<\kappa \), pero lo implica porque \( \kappa \) es un cardinal, y sus elementos son todos los ordinales de cardinal menor que \( \kappa \).

Para la implicación directa, estoy teniendo problemas con la arbitrariedad de los conjuntos y no llego a demostrarlo (sin asumir cosas que no se si son ciertas y mucho menos demostrar). ¿Cómo se podría ver?

Sea \( \{A_\alpha\}_{\alpha<\vartheta} \) una familia de \( \vartheta<\kappa \) conjuntos de cardinal menor que \( \kappa \).

Entonces \( B=\{|A_\alpha|\mid \alpha<\vartheta\}\subset \kappa \) cumple \( |B|\leq |\vartheta|<\vartheta<\kappa \), luego, si \( \kappa \) es regular, \( \xi=\sup B<\kappa \).

Como \( |A_\alpha|\leq \xi \), podemos tomar aplicaciones suprayectivas \( f_\alpha: \xi\longrightarrow A_\alpha \) (podemos suponer que ningún \( A_\alpha \) es vacío). Con estas aplicaciones podemos construir otra aplicación suprayectiva \( f: \vartheta\times \xi\longrightarrow \bigcup_{\alpha<\vartheta}A_\alpha \), mediante \( f(\alpha,\beta)=f_\alpha(\beta) \). Entonces \( \left|\bigcup_{\alpha<\vartheta}A_\alpha\right|\leq |\vartheta\times \xi|<\kappa \).

01 Marzo, 2021, 01:17 pm
Respuesta #11

Eparoh

  • $$\Large \color{#5e8d56}\pi\,\pi\,\pi$$
  • Mensajes: 291
  • País: es
  • Karma: +0/-0
  • Sexo: Masculino
No había caído en construir una función en el producto cartesiano como haces al final  :laugh:

Un saludo y muchas gracias.