...más o menos.
En este video vemos la construcción conjuntista habitual de los conjuntos numéricos.
Participa en los #premiosemmynoether
Capítulos:
00:00 Introducción (todo es un conjunto)
03:50 Construcción de ℕ
13:02 Construcción de ℤ
23:20 Isomorfismo entre ℕ y ℤ
27:04 Construcción de ℚ
32:38 Construcción de ℝ
35:42 Construcción de ℂ
36:14 Conclusiones (cosas que quedan pendientes)
Errores:
11:38
La parte recursiva de la definición del producto en ℕ la doy como a•σ(b) := a•b + b. Esto es incorrecto. Lo correcto sería a•σ(b) := a•b + a.
Esto puede entenderse desde la intuición pensando a a•σ(b) como a•(b+1), que por distributiva es a•b + a•1, que es a•b + a.