Autor Tema: Cardinales

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

17 Enero, 2009, 08:49 pm
Leído 1375 veces

Adri-an

  • $$\Large \color{#6a84c0}\pi$$
  • Mensajes: 12
  • Karma: +0/-0
  • Sexo: Masculino
Demostrar que 
 \( \alpha < 2^\alpha  \) \(   \forall{cardinal \alpha  }   \)


¿Alguien me podría ayudar a resolverlo?
Gracias

PD: También agradecería que me dijerais como puedo separar el \(   \forall{}   \) del resto

18 Enero, 2009, 12:06 am
Respuesta #1

Adri-an

  • $$\Large \color{#6a84c0}\pi$$
  • Mensajes: 12
  • Karma: +0/-0
  • Sexo: Masculino
Ya he encontrado la solución

Sabemos que \(  2^\alpha  \)= card (\( \mathcal{P} \)(A))
y que \( \alpha   \)=card (A)

Por otro lado sabemos que \( \alpha\le  2^\alpha  \) por consecuencia de la aplicación
 \( A \longrightarrow{\mathcal{P}(A)} \)
 \( x  \longrightarrow{ \{  x  \} } \)
que es inyectiva

Ahora hay que probar que \( \alpha = 2^\alpha  \) es imposible.
Lo demostraremos por reducción al absurdo
Con lo que llegaremos a que \( \alpha <  2^\alpha  \)