La unión de conjuntos numerables es numerable (Demostración)

[@gabrielpena9582]

Gracias por la explicación. Muy claro. La misma demostración la acababa de leer en el libro de Kaplansky y no se entendía un cuerno por qué el diagrama de las diagonales se correspondía con los naturales.

[@kichvachlet6839]

me gustó mucho la explicación :333 demostración formal la puedo buscar en cualquier libro pero que te lo expliquen casi nadie

[@yuhendrikzamora7815]

Excelente material

[@flemingmontesaldazabal4145]

¡genial!

[@oscardavidalarcon2673]

Seria chevere que hucieras demostraciones del proofs and fundamentals, buen video, ne recuerda mi furso de análsis

[@flemingmontesaldazabal4145]

Yo también opino lo mismo. Si lo haces yo compartire tus videos 😃

[@juanc.suarez6360]

Como idea intuitiva está muy bien pero no creo que se pueda considerar como una demostración formal de ese teorema.

[@nicolascamargo8339]

Wow

[@lizeth2737]

Que pasa si le damos un intervalo a an por ejemplo [0,1/n)

[@abrahamcabrera4272]

Entonces en la Union de A solo pondríamos a12 o a31 porque he entendido que son iguales y por tanto no deberían repetirse.

[@diegoisaachurtadomiguel8123]

como quedaría la regla de correspondendia?

[@samuelochoa6994]

eso no es una demostración

[@enrimechan]

aquello no es una demostracion formal.

[@mate_A]

Cuáles serían tus argumentos? Saludos.

[@camilolozano6078]

@@mate_A En mi opinión, deberías mostrar por lo menos que existe una función biyectiva entre la unión de los A_n y el conjunto de los naturales para poder afirmar que los dos conjuntos son equipotentes.

[@joaquingatti3290]

​@@camilolozano6078, es cierto que puede ser algo diagramatico la demo de Mate A, pero de hecho establece el recorrido de una función que se inventa él (que debería invocar el AE para eso) para describir su correspondencia con la unión contable. Por lo menos a mí me parece una manera válida de describir una función ya que no deja nada implícito. Si bien no creo que sea tu caso, algunos se confunden porque creen que una demo debe ser sumamente técnica y oscura para ser formal.

[@zayzaira3599]

Está no es una demostración!!!! Solo estás dando un ejemplo con matrices.

[@yendibonilla4334]

¡¡Demostración formal!!