Introduccin

En esta leccin quiero que entiendas la importancia de disponer de un marco de

referencia.
Tratar de explicarme. Para empezar, voy a proponerte unos ejerciciosmuy sencillos.
1. Sabes probar que 0x = 0? Intntalo.
2. Qu entiendes por x? Es cierto que x es negativo?
3. Escribe con palabras lo que afirma la igualdad (x)y = xy. Sabes probarla?
4. Demuestra que si x , 0 entonces x2 > 0 (en consecuencia 1 > 0).
5. Sabes por qu no se puede dividir por 0?
6. Seguro que sabes construir un segmento de longitud 2. Y de longitud 3?
7. Qu quiere decir que un nmero no es racional? Demuestra que 2 no es racional.
Supongo que hace ya tanto tiempo que conoces estas propiedades de los nmeros que
has
olvidado cundo las aprendiste. Y ahora te piden que las demuestres! Puedo imaginar
tu reaccin
que demuestre que 0x = 0?, pero si eso es evidente! siempre me han dicho que es
as!
cmo se puede demostrar tal cosa?.
Pienso que muchas veces la dificultad de un ejercicio est en que no sabes qu es
exactamente
lo que se te pide que hagas; no te dan unmarco claro de referencia. En estas
situaciones
lo ms frecuente es quedarse colgado con la mente en blanco sin saber qu hacer.
Para evitar
ese peligro, en este curso vamos a dar un marco de referencia muy claro que va a
consistir en
unas propiedades de los nmeros (axiomas, si quieres llamarlas as) que vamos a
aceptar como
punto de partida para nuestro estudio. Esas propiedades, junto con las reglas de
inferencia lgica
usuales y con definiciones apropiadas nos permitirn demostrar resultados (teoremas)
que
podremos usar para seguir avanzando. Simplificando un poco, puede decirse que
enmatemticas
no hay nadams que axiomas y teoremas (bueno, tambin hay conjeturas,
proposiciones
1
Nmeros reales. Propiedades algebraicas y de orden 2
indecidibles...). Todo lo que se demuestra es un teorema; por ejemplo 0x = 0 es un
teorema.
Ocurre que el nombre teorema se reserva para resultados que se consideran realmente
importantes
y que ha costado esfuerzo llegar a probarlos. Se usan tambin los trminos: corolario,
lema, proposicin y otros. Pero la estructura de una teora matemtica elaborada se
resume en
un conjunto de axiomas y de teoremas que se deducen de ellos mediante reglas de
inferencia
lgica.
Es conveniente recordar las propiedades de los nmeros reales porque son ellas las
que
nos permiten trabajar con desigualdades. Es muy fcil equivocarse al trabajar con
desigualdades.
Yo creo que en el bachillerato no se le da a este tema la importancia que merece. Fjate
que algunos de los conceptosms importantes del Clculo se definenmediante
desigualdades

(por ejemplo, la definicin de sucesin convergente o de lmite de una funcin en un

punto).
Por ello, tan importante como saber realizar clculos ms o menos complicados, es
aprender
a manejar correctamente desigualdades, y la nica manera de hacerlo es con la
prctica mediante
numerosos ejemplos concretos. Por supuesto, siempre deben respetarse
cuidadosamente
las reglas generales que gobiernan las desigualdades entre nmeros y asegurarse de
que se usan
correctamente. Aparte de tales reglas no hay otros mtodos generales que nos digan
cmo tenemos
que proceder en cada caso particular.

1.1. Nmeros reales. Propiedades algebraicas y de

orden
Como todos sabis se distinguen distintas clases de nmeros:
Los nmeros naturales 1,2,3,... . El conjunto de todos ellos se representa por N.
Los nmeros enteros ...,-2,-1,0,1,2,... cuyo conjunto se representa por Z.
Los nmeros racionales que son cocientes de la forma p/q donde p Z,q N, c