Conjuntos Inductivos

Conjuntos Inductivos

de Martin Fabian Gonzalez Castelo -
Número de respuestas: 1

Buenas tardes, 

quería consultar la definición usada en el curso sobre los Conjuntos Inductivos

en el libro recomendado (Calculus de Tom Apostol) lo define como aquellos que tienen las propiedades:

a) el número 1 pertenece al conjunto
b) Para todo x en el conjunto el número x+1 pertenece también al conjunto (estable por sucesor)

Sin embargo en los videos de Open Fing de 2017, encontré una variación en la parte a, ya que pide que 0 pertenezca al conjunto

De las dos definiciones se diferencia a R+, ya que la usada en el libro sería un conjunto inductivo mientras que la usada en la grabación no sería un conjunto inductivo...

¿cuál sería la "correcta"?

saludos

En respuesta a Martin Fabian Gonzalez Castelo

Re: Conjuntos Inductivos

de Marcos Barrios -

Buenas

No vamos a trabajar con inducción en el curso, por eso no esta la definicion que dices en lo recomendado en la hoja de ruta.

Puedes usar la definición del Calculus, pero no hay diferencia sustancial entre ambas. Mas alla que como bien dices hay conjuntos que serian inductivos con una definicion y no con la otra, no es un problema que veamos en el curso.

En el Apostol esta esa definición solo para definir a los naturales, y posteriirmente los racionales (que se pueden definir de otra manera y que dependiendo de el autor 0 puede ser o no natural).

Si tienes dudas en algun problema especifico cuando aparezca \mathbb{N} vuelve a consultar

Saludos