Explora Libros electrónicos
Categorías
Explora Audiolibros
Categorías
Explora Revistas
Categorías
Explora Documentos
Categorías
)
`
= o e o
1
x
/ Q . Entonces nczcq .
2.4.- Nmeros reales.
Nmeros irracionales.
Debemos a la escuela Pitagrica el descubrimiento de los irracionales, que
ellos llamaron inconmesurables, aquellos que nos son ni enteros ni racionales. Desde
Thales (s. VI a.C.), los griegos conocan la nocin de proporcin e intentaron
calcularla para distintos pares de longitudes y reas. As, la escuela Pitagrica
demostr que la diagonal de un cuadrado de lado 1 no es racional.
Los europeos, beneficindose del sistema de numeracin posicional hind de
base 10 que haban adoptado fueron capaces de definirlos con precisin: esos
nmeros podan expresarse en forma decimal, siendo infinitas las cifras tras la
coma, sin que reprodujeran nunca en el mismo orden. Esa era la diferencia que
tenan con los nmeros racionales.
Una vez descubiertos los irracionales, no fue fcil realizar manipulaciones
aritmticas con ellos.
Una clase distinguida es la de los radicales de enteros positivos, con los
que ya trabaj Fibonacci, cuya utilizacin fue generalizada, entre otros, por
Regiomontano y Chuquet a principios del Renacimiento.
De entre los irracionales es quizs el nmero e, la base de los logaritmos
neperianos, uno de los que ha desempeado un papel ms importante en el
desarrollo de la matemtica.
De la necesidad de ampliar el conjunto de los nmeros racionales para incluir
estos nuevos nmeros, los irracionales, surge el concepto de nmero real.
Nmeros reales.
Han sido numerosos los trabajos realizados por matemticos para dotar al
nmero real de una teora rigurosa.
En 1830, Bolzano intent desarrollar una teora de nmeros reales como
lmites de sucesiones de nmeros racionales, aunque no se public hasta 1962.
Tema 10.- Sucesivas ampliaciones del concepto de nmero. Pg. 13
Evolucin histrica y problemas que resuelve cada una.
Fue en 1872 cuando cinco matemticos (Mray, Weierstrass, Heine, Cantor
y Dedekind) dieron con la definicin formal de nmero real.
Mray defini el lmite de una sucesin como un nmero real. Y demostr
que toda sucesin de Cauchy era convergente. Weierstrass separ la definicin de
nmero real del concepto de lmite y defini los nmeros irracionales de forma
general como conjuntos de racionales. Heine y Cantor realizaron trabajos similares
a los descritos.
Dedekind , sin embargo, defini el nmero real como una cortadura en el
conjunto de los nmeros racionales. Consiste en obtener una particin de los
nmeros racionales en dos clases disjuntas, A y B, tales que todo nmero de la
primera clase A es menor que todo nmero de la segunda clase B. Entonces existe
uno y slo un nmero real tal que si en A existe mximo o en B mnimo, el nmero
real coincide con el mximo o mnimo, y por tanto, es racional, y en caso contrario
el nmero real no est ni en A ni en B y es irracional.
Definiendo las operaciones internas de la suma y de la multiplicacin
tenemos que (r, +, ) es un cuerpo conmutativo y est totalmente ordenado por
la relacin s.
Adems, a diferencia del cuerpo de los nmeros racionales, el cuerpo de los
nmeros reales es completo, ya que es un cuerpo ordenado y todo subconjunto
suyo acotado tiene supremo.
Tema 10.- Sucesivas ampliaciones del concepto de nmero. Pg. 14
Evolucin histrica y problemas que resuelve cada una.
2.5.- Nmeros complejos.
En r las ecuaciones del tipo x
2
+ 1 = 0 no tienen solucin. Incluso para
calcular las races de un polinomio de grado 3 con coeficientes en r se hacen
imprescindibles las races cuadradas de nmeros reales negativos.
El primero en introducir los nmeros complejos fue Cardano, que en el ao
1545 publica su obra Ars Magna, en la que explica como resolver los diferentes
casos de ecuaciones cbicas. Como soluciones a esas ecuaciones obtena races
cuadradas negativas que l mismo denomin sofisticas.
A travs de un ingenioso razonamiento, Bombeli obtiene las propiedades de
los nmeros complejos conjugados, aunque en ese momento no sirvieron de mucho.
En 1777 Leonhard Euler introdujo el smbolo i para la raz cuadrada de 1 y
la igualdad e
it
+1=0, en la que estn presentes los 5 nmeros ms importantes.
Pasando de miembro a miembro y tomando logaritmos resulta que log(-1)=ti. Este
fue el primer avance en la cuestin del significado de los logaritmos de los nmeros
negativos, motivo de controversia durante algn tiempo debido a la siguiente
paradoja: como 1
2
=(-1)
2
, tomando logaritmos se tendra: 2log(-1) = 2log(1) = 0,
luego log(-1) = 0.
La frmula de Euler puso de manifiesto que, a diferencia de lo que pensaban
los hermanos Bernouilli y DAlembert entre otros, los logaritmos de los nmeros
reales negativos no son reales, sino complejos imaginarios puros.
Aunque se cree que ya con anterioridad Cotes y De Moivre conocan que
para cada nmero real x se cumple la igualdad: e
xi
= cosx + isenx, fue Euler quien
observ que puesto que para cada entero k se tiene cosx=cos(x+2kt) y
senx=sen(x+2kt), entonces e
xi
= e
(x+2kti)
, luego la exponencial compleja ya no es
inyectiva y por tanto su supuesta inversa, el logaritmo, no es una funcin, sino lo
que pas a denominarse funcin multivaluada
As mismo, Euler descubri que como
i
e
2
t
= -i, entonces elevando ambos
miembros a 2i se obtiene que
t
e =(-i)
2i
y as, la potencia imaginaria de un nmero
imaginario es un nmero real. Pero, por el mismo argumento antes visto, la
potenciacin z
z
, con zec, no es una funcin.
Desde la poca de Albert Girard (1590-1633) ya se saba que los nmeros
reales positivos, cero y negativos se podan representar en correspondencia con los
Tema 10.- Sucesivas ampliaciones del concepto de nmero. Pg. 15
Evolucin histrica y problemas que resuelve cada una.
puntos de una recta. Wallis sugiri que los nmeros imaginarios puros se podan
representar por los puntos de una recta perpendicular al eje de los nmeros reales.
Pero fueron Wessel y sobre toso Gauss (s.XIX) los que establecieron la
correspondencia entre los nmeros complejos y los puntos del plano.
Fue el matemtico alemn Carl F. Gauss, en su tesis doctoral de 1799, el
que demostr su famoso Teorema Fundamental del lgebra, que dice que todo
polinomio con coeficientes complejos tiene al menos una raz compleja.
Definiendo las operaciones internas de la suma y de la multiplicacin,
tenemos que (c, +, ) es un cuerpo conmutativo y (c, +,
R
) es un r-espacio
vectorial. Adems (c, +, ) es un cuerpo no ordenable.
Tema 10.- Sucesivas ampliaciones del concepto de nmero. Pg. 16
Evolucin histrica y problemas que resuelve cada una.
2.6.- Nmeros algebraicos y transcendentes.
Un nmero complejo x se dice algebraico si es raz de algn polinomio no
nulo con coeficientes racionales, y se dice transcendente en caso contrario.
Son nmeros transcendentes:
- l=
N m
! m
10 llamado nmero de Liouville debindose a ste su demostracin
- nmero e ; demostrado por Hermite
- t; demostrado por Lindemann
- Gelfond demostr que si u y v son dos nmeros algebraicos tales que u={0,1}
y v no es racional, entonces u
v
es transcendente.
2.7.- Nmeros cuaterniones.
Hamilton intent generalizar la construccin de los nmeros complejos
dotando de estructura de cuerpo extensin de r al espacio eucldeo r
3
. Pero la
definicin del producto se le resisti durante 10 aos (hoy sabemos que no es
posible). Con lo que Hamilton se percat de que poda arreglar la situacin
reemplazando r
3
por r
4
y violando una de las consideradas en la poca leyes
sagradas que deba cumplir todo sistema algebraico: la conmutatividad del
producto. De modo que construy los denominados nmeros cuaterniones como
elementos de r
4
de la forma x = a + bi + cj + dk, donde a,b,c,de r y los smbolos i,j y
k cumplen las siguientes reglas:
i
2
= j
2
= k
2
= -1 ij = k = -ji jk = i = -kj ki = j = -ik
Con este descubrimiento, Hamilton abri las puertas al desarrollo de las
lgebras asociativas.
Tema 10.- Sucesivas ampliaciones del concepto de nmero. Pg. 17
Evolucin histrica y problemas que resuelve cada una.
3.- Evolucin histrica.
Antiguamente se defina la matemtica como la ciencia del nmero, la
magnitud y la forma. Estos conceptos comenzaron a desarrollarse a partir de
diferencias y contrastes entre elementos del entorno del hombre primitivo, y luego
a partir de semejanzas.
El primer procedimiento aritmtico de la historia comenz la
correspondencia biunvoca miembro a miembro, que permita a cualquier persona la
posibilidad de comparar dos conjuntos, aunque no tuviesen la misma naturaleza.
El hombre debi sentir a continuacin la necesidad de expresar y
representar, de alguna manera esta propiedad. En un principio debi servirse de los
dedos de las manos y posteriormente fue utilizando piedras pequeas, trazos en la
arena, marcas en las cortezas de un rbol, en un hueso, etc.
La invencin de la escritura ayud al hombre a sustituir el concepto
abstracto de nmero por signos convencionales. Pero surga el problema de la
infinitud de los nmeros. La idea primitiva de agrupar las rayas marcadas en la
corteza de un rbol de 5 en 5, en clara similitud con los dedos de la mano, pudo
llevar al hombre a pensar en utilizar un nmero finito de signos para designar los
primeros cardinales y despus agrupar o reutilizar estos mismos signos con alguna
pequea diferencia para sealar los nmeros siguientes. Este proceso que dio lugar
a los sistemas de numeracin, fue bastante lento y resuelto de muy distinta
manera por las distintas culturas.
Veamos a continuacin cmo lo resolvieron algunas de ellas:
Tema 10.- Sucesivas ampliaciones del concepto de nmero. Pg. 18
Evolucin histrica y problemas que resuelve cada una.