En un final preguntan....


Se puede hacer induccion sobre los reales?? y sobre el TAD racionales??? Justifique

TAD = tipo abstracto de datos

Quizás sea una respuesta algo tardía.
Digamos...El conjunto de los reales tiene cardinal c.
O sea que no podés "meterlos" todos en una sucesión de elementos, sobre la cual quisieras hacer inducción. Siempre hay alguno que te comés.

Pero los racionales sí son numerables (o sea que se pueden tratar como los naturales). Podés definir una secuencia de racionales donde barrés todos los racionales.
Mirá:


Entonces inducís sobre esa tira de racionales que son todos.

No sé si hay una explicación que requiera menos de contenidos externos a Algo2, o quizás se esperaba que lo dedujeras ahí en el momento :S

Quizás sea una respuesta algo tardía.
Digamos...El conjunto de los reales tiene cardinal c.
O sea que no podés "meterlos" todos en una sucesión de elementos, sobre la cual quisieras hacer inducción. Siempre hay alguno que te comés.

Pero los racionales sí son numerables (o sea que se pueden tratar como los naturales). Podés definir una secuencia de racionales donde barrés todos los racionales.
Mirá:


Entonces inducís sobre esa tira de racionales que son todos.

No sé si hay una explicación que requiera menos de contenidos externos a Algo2, o quizás se esperaba que lo dedujeras ahí en el momento :S

Si no tenes dilemas morales con el uso del axioma de eleccion.
http://en.wikipedia.org/wiki/Transfinite_induction ftw.

Si usás el axioma de elección en algo 2, la probabilidad de terminar descuartizado en una zanja en Munro crece a velocidades relativistas.

No es necesaria tanta tecnologia:

ejercicio: Sea P(x) una proposicion que habla de . Supongamos que P es cierta y que si P(y) es cierta para todo y tal que sabes que P(x) es cierta.
Demostrar que P es cierta para todo real positivo.