[escepticos] Re: [escepticos] Soy crédulo, era: No soy escéptico (César)

["Goyo" <goyodiaz@...>]

----- Original Message -----
From: "Marcelo Huerta" <mghsm en uol.com.ar>
To: <escepticos en ccdis.dis.ulpgc.es>
Sent: Thursday, February 01, 2001 2:36 AM
Subject: Re: [escepticos] Soy crédulo, era: No soy escéptico (César)


El 31/01/2001 19:50:50, en el msg. <009c01c08bd8$44338dc0$2303523e en pc>,
David Sanchez espetó lo siguiente:

> Qué tal así:
> Axioma: todo número natural n tiene un siguiente s(n) [vulgarmente n + 1;
> ( ) es inyectiva.]
> La suma m + n = f(m,n) se definiría así:

¿Y para los reales? (Ídem complejos, etc.)

[Goyo]
A primera vista se me ocurre esto: Todo número real es el límite de alguna
sucesión de racionales (y viceversa, pero eso no importa aquí). Dados dos
reales a y b elegimos sucesiones de números racionales a(n) y b(n) cuyos
límites sean a y b. Entonces podemos definir

a+b=lim(a(n)+b(n))

Ese límite siempre existe y no depende de las sucesiones elegidas.

Los complejos se suman simplemente así:

(a+bi)+(c+di)=(a+c)+(b+d)i

Saludos

Goyo