Uno de los temas fundamentales en el proceso de fundamentacin
del clculo fue la construccin o la validacin de los nmeros reales.
Para ello, varios matemticos se orientaron a ofrecer diferentes definiciones y construcciones de estos nmeros, donde por supuesto lo decisivo giraba alrededor de los irracionales. En esa direccin, hicieron importantes aportes Weierstrass, Richard Dedekind (1831 - 1916), Georg Cantor (1845 - 1918), Charles Mray (1835 - 1911) y tiempo despus el filsofo britnico Bertrand Russell (1872 - 1970).
Mray y Weierstrass
Mray y Weierstrass propusieron definiciones que utilizaban la
nocin de convergencia y pretendan evitar el "error lgico'' de Cauchy. Recordemos que este matemtico haba definido los reales como el lmite de sucesiones convergentes de nmeros racionales, pero el concepto de lmite haba sido construido asumiendo la existencia de los nmeros reales, lo que lgicamente era incorrecto.
Mray en su libro Nouveau preis d'analyse infinitsimale, 1872,
deca que el lmite de una sucesin convergente determinaba ya fuera un nmero racional o un nmero que llam "ficticio'', y los "ficticios'' pueden ordenarse: son los irracionales. Ahora bien, Mray no era claro en cuanto a si la sucesin era el nmero.
Expliquemos mejor este asunto. Empezamos por el concepto de
sucesin.Una sucesin de numeros racionales es un conjunto
ordenado de nmeros
Tambin se puede ver como una funcin
[ el conjunto de nmeros naturales, y el de los racionales.]
Por ejemplo, nos ofrece una sucesin.
Ahora bien, una sucesin es convergente si existe un tal que
Usando lenguaje de lmites, tenemos que
es decir, converge a .
Precisamente, un criterio para determinar la convergencia de una
sucesin es el "de Cauchy'' (o "Bolzano-Cauchy''). Cul es? En esencia: si la diferencia entre los trminos se va haciendo cada vez ms pequea, entonces la sucesin converge. Con precisin:
"Si la distancia entre y se hace tan pequea como uno
quiera para un suficientemente grande, entonces la sucesin
converge''.
Dedekind
Richard Dedekind ofreci otra construccin de los nmeros reales:
el mtodo de las "cortaduras''. En esencia, haca lo siguiente para definir "con lgica'' los nmeros reales.
Divdase el conjunto de los nmeros racionales en clases disjuntas
A y B, tales que todos los nmeros de A sean menores que todos los nmeros de B.
Dedekind consider entonces los nmeros en los que se haca el
corte: "la cortadura'', y estableci que solo exista un nmero real que produca esa "cortadura''.