Un nmero natural es cualquiera de los nmeros que se usan para contar los elementos de

un conjunto. Reciben ese nombre porque fueron los primeros que utiliz el ser humano para la
enumeracin.
Puesto que los nmeros naturales se utilizan para contar objetos, el cero puede considerarse el
nmero que corresponde a la ausencia de los mismos. Dependiendo del autor, el conjunto de
los nmeros naturales puede presentarse entonces de dos maneras distintas:
- Definicin sin el cero:

- Definicin con el cero:

donde la N de natural se suele escribir en "negrita de pizarra".
Ambas presentaciones son utilizadas en distintas reas de las matemticas. Histricamente, el
uso del cero como numeral fue introducido en Europa en el siglo XII con la conquista
musulmana de la pennsula ibrica,
1
pero no se consideraba un nmero natural.
2

Sin embargo, con el desarrollo de la teora de conjuntos en el siglo XIX, el cero se incluy en
las definiciones conjuntistas de los nmeros naturales. Esta convencin prevalece en dicha
disciplina,
3
y otras, como la teora de la computacin.
4
En particular, el estndar DIN 5473
adopta esta definicin.
4
Sin embargo, en la actualidad ambos convenios conviven.
5

Para distinguir ambas definiciones a veces se introducen smbolos distintos. Por ejemplo,
incluyendo el cero en los naturales, a los nmeros naturales sin el cero, o enteros positivos se
les denota como:

6

[editar]Historia
Antes de que surgieran los nmeros para la representacin de cantidades, el ser humano
us otros mtodos para contar, utilizando para ello objetos como piedras, palitos
de madera, nudos de cuerdas, o simplemente los dedos. Ms adelante comenzaron a
aparecer los smbolos grficos como seales para contar, por ejemplo marcas en una vara
o simplemente trazos especficos sobre la arena (Vase hueso de Ishango). Pero fue
en Mesopotamia alrededor del ao 4.000 a. C. donde aparecen los primeros vestigios de
los nmeros que consistieron en grabados de seales en formas de cuas sobre pequeos
tableros de arcilla empleando para ello un palito aguzado. De aqu el nombre de escritura
cuneiforme. Este sistema de numeracin fue adoptado ms tarde, aunque con smbolos
grficos diferentes, en la Grecia Antigua y en la Antigua Roma. En la Grecia antigua se
empleaban simplemente las letras de sualfabeto, mientras que en la antigua Roma adems
de las letras, se utilizaron algunos smbolos.
Quien coloc al conjunto de los nmeros naturales sobre lo que comenzaba a ser una base
slida, fue Richard Dedekind en el siglo XIX. Este los deriv de una serie de postulados (lo
que implicaba que la existencia del conjunto de nmeros naturales se daba por cierta), que
despus precis Peano dentro de una lgica de segundo orden, resultando as los famosos
cinco postulados que llevan su nombre. Frege fue superior a ambos, demostrando la
existencia del sistema de nmeros naturales partiendo de principios ms fuertes.
Lamentablemente la teora de Frege perdi, por as decirlo, su credibilidad y hubo que
buscar un nuevo mtodo. Fue Zermelo quien demostr la existencia del conjunto de
nmeros naturales, dentro de su teora de conjuntos y principalmente mediante el uso
delaxioma de infinitud que, con una modificacin de este hecha por Adolf Fraenkel, permite
construir el conjunto de nmeros naturales como ordinales segn von Neumann.
Las propiedades de los nmeros naturales son:
1. Que un nmero natural va despus del otro
2. Que dentro de dos nmeros naturales consecutivos no puede haber otro
3. Que son infinitos
[editar]Construcciones axiomticas
Histricamente, se han realizado propuestas para axiomatizar la nocin habitual de
nmeros naturales, de entre las que destacan las de Peano y la construccin a partir de
la teora de conjuntos.
[editar]Axiomas de Peano
Los axiomas de Peano rigen la estructura de los nmeros naturales sin necesidad de otra
teora (por ejemplo, la de conjuntos) ni de las nociones aritmticas de suma o equivalencia.
Requiere, eso s, de la nocin previa de sucesor. Los cinco axiomas de Peano son
(definicin sin el cero):
1. El 1 es un nmero natural.
2. Si n es un nmero natural, entonces el sucesor de n tambin es un nmero
natural.
3. El 1 no es el sucesor de ningn nmero natural.
4. Si hay dos nmeros naturales n y m con el mismo sucesor, entonces n y m son el
mismo nmero natural.
5. Si el 1 pertenece a un conjunto de nmeros A, y adems siempre se verifica que:
dado un nmero natural cualquiera que est en A, su sucesor tambin pertenece
a A; entonces A contiene al conjunto de todos los nmeros naturales. Este es el
axioma de induccin, que captura la idea de induccin matemtica.
[editar]Definicin en teora de conjuntos
En teora de conjuntos se define al conjunto de los nmeros naturales como el mnimo
conjunto que es inductivo. La idea es que se pueda contar haciendo una biyeccin desde
un nmero natural hasta el conjunto de objetos que se quiere contar. Es decir, para dar la
definicin de nmero 2, se requiere dar un ejemplo de un conjunto que contenga
precisamente dos elementos. Esta definicin fue proporcionada por Bertrand Russell, y
ms tarde simplificada por Von Neumann quien propuso que el candidato para 2 fuera el
conjunto que contiene solo a 1 y a 0.
Formalmente, un conjunto se dice que es un nmero natural si cumple
1. Para cada ,
2. La relacin es un orden total estricto
en
3. Todo subconjunto no vaco de tiene elementos mnimo y mximo en el
orden
Se intenta pues, definir un conjunto de nmeros naturales donde cada elemento respete
las convenciones anteriores. Primero se busca un conjunto que sea el representante del 0,
lo cual es fcil ya que sabemos que no contiene elementos. Luego se definen los
siguientes elementos de una manera ingeniosa con el uso del concepto de sucesor.
Se define-segn Halmos- entonces que el conjunto vaco es un nmero natural que se
denota por y que cada nmero natural tiene un sucesor denotado como . Estas
ideas quedan formalizadas mediante las siguientes expresiones:


De esta manera, cada elemento de algn nmero natural es un nmero natural; a
saber, un antecesor de l. Por ejemplo:
- Por definicin (lo cual refuerza el hecho de que 0 no tiene
antecesores)
- 1 es el sucesor de 0, entonces
- 2 es el sucesor de 1, pero 1 es {0},
entonces
- y en general




Esto permite establecer una relacin de orden entre los
elementos del conjunto a pesar de que un conjunto es por
naturaleza un agregado de elementos desordenados. Se define
esta relacin mediante la expresin

es decir que un nmero es menor o igual que si y slo
si contiene a todos los elementos de .
Tambin se puede usar otra definicin ms inmediata a
partir del hecho de que cada nmero natural consta de sus
antecesores. As si y slo si .
sa es la construccin formal de los naturales que garantiza
su existencia como conjunto a la luz del
desarrollo axiomtico Zermelo-Fraenkel. El postulado de los
conjuntos infinitos asegura la validez de la tcnica de
demostracin conocida como induccin matemtica.
Un teorema demuestra que cualquier conjunto que sea
inductivo contiene a todos los nmeros naturales, es decir
que si es un conjunto inductivo, entonces . Esto
significa que, en efecto, es el mnimo conjunto inductivo.
Se define la suma por induccin mediante:


Lo que convierte a los nmeros naturales
en un monoide conmutativo con elemento neutro 0,
el llamado Monoide Libre con un generador. Este
monoide satisface la propiedad cancelativa y por lo
tanto puede incluirse en un grupo matemtico. El
menor grupo que contiene a los naturales es el de
los nmeros enteros.
De manera anloga, la multiplicacin se define
mediante las expresiones


Esto convierte (esto es, con
esta nueva operacin), en un monoide
conmutativo.
Otra forma de construccin de es la
siguiente: Sea la clase de todos los
conjuntos y definiremos una relacin
binaria R "ser equipotente" de la siguiente
manera Dados A y B se dice que A R
B Existe una aplicacin biyectiva de A
sobre B,es decir,existe
biyectiva. Claramente se puede demostrar
que esta relacin verifica las propiedades
reflexiva,simtrica y transitiva luego es una
relacin de equivalencia al conjunto
cociente los
llamaremos cardinales y a los cardinales
finitos se les llamar nmeros
naturales.Las operaciones de suma y
producto de cardinales se definen como el
cardinal de la unin y el producto
cartesiano de los conjuntos representantes
y verifica todas las propiedades para
que sea
unsemianillo conmutativo y unitario.
[editar]Operaciones con los
nmeros naturales
Las operaciones matemticas que se
definen en el conjunto de los nmeros
naturales son la suma y la multiplicacin.
La suma y la multiplicacin de nmeros
naturales son
operaciones conmutativas y asociativas, es
decir:
- El orden de los nmeros no altera el
resultado (propiedad
conmutativa), a+b = b+a, y ab = ba.
- Para sumar o multiplicar tres o
ms nmeros naturales, no hace falta
agrupar los nmeros de una manera
especfica ya que (a+b)+c=a+(b+c)
(propiedad asociativa). Esto es lo que
da sentido a expresiones como a+b+c.
Al construir la operacin de multiplicacin
de nmeros naturales, se puede observar
claramente que la adicin o suma y la
multiplicacin son operaciones
compatibles, pues la multiplicacin sera
una adicin de cantidades iguales y gracias
a esta compatibilidad se puede desarrollar
la propiedad distributiva, que se expresa:

Aparte, estas dos operaciones
cumplen con las propiedades de:
- Clausura de ambas operaciones
para todos los nmeros
naturales a y b, ya
que a + b y a b son siempre
nmeros naturales.
- Existencia de elementos
neutros para ambas operaciones,
es decir, para cada nmero a, a +
0 = a y a 1 = a.
- No existencia de divisores de
cero para la operacin de
multiplicacin: si a y b son
nmeros naturales tales
que a b = 0, entonces a = 0 b =
0.
[editar]Propiedades de los
nmeros naturales
Los nmeros naturales
estn totalmente ordenados. La
relacin de orden se puede redefinir
as: si y slo si existe otro
nmero natural que
cumple . Este orden es
compatible con todas las operaciones
aritmticas puesto que si , y son
nmeros naturales y , entonces
se cumple:


Una propiedad importante del
conjunto de los nmeros
naturales es que es
un conjunto bien ordenado
1. Para cualquier
elemento a de A
existe b en A tal
que a < b
En los nmeros naturales
existe el algoritmo de la
divisin. Dados dos nmeros
naturales a y b, si b 0,
podemos encontrar otros dos
nmeros naturales q y r,
denominados cociente y resto
respectivamente, tales que:
y .
Los nmeros q y r estn
unvocamente
determinados por a y b.
Otras propiedades ms
complejas de los nmeros
naturales, como la
distribucin de
los nmeros primos por
ejemplo, son estudiadas
por la teora de nmeros.
[editar]Uso de los
nmeros
naturales
Los nmeros naturales,
son usados para dos
propsitos
fundamentalmente: para
describir la posicin de un
elemento en una
secuencia ordenada,
como se generaliza con el
concepto de nmero
ordinal, y para especificar
el tamao de un conjunto
finito, que a su vez se
generaliza en el concepto
de nmero cardinal (teora
de conjuntos). En el
mundo de lo finito, ambos
conceptos son
coincidentes: los ordinales
finitos son iguales a N as
como los cardinales
finitos. Cuando nos
movemos ms all de lo
finito, ambos conceptos
son diferentes.
- Otro uso de gran
importancia, desde el
punto de vista
matemtico, es en la
construccin de
los nmeros enteros,
para lo cual
enNN se establece
una relacin de
equivalencia, para
dos pares ordenados
de NN:
(a,b) ~ (c,d) si y solo si a + d = b + c.




CONCEPTO DE NMERO NATURAL

El conjunto de los nmeros naturales, contiene clases simbolizadas por cifras que expresan el
nmero de elementos que contiene un conjunto dado. Por ejemplo, el nmero natural 4
representa a un conjunto formado por 4 elementos.

El conjunto de los nmeros naturales se denota por N= {1, 2, 3, 4,}. En sentido escrito, este
conjunto no contiene al cero (0); si se quiere incluir este elemento en el conjunto, se denota
por N* = {0, 1, 2, 3, 4,}.

Entre los nmeros naturales no se contemplan los nmeros negativos. Por tanto, este
conjunto puede interpretarse intuitivamente como aquel que sirve para contar. En l pueden
definirse operaciones de suma, resta, multiplicacin y divisin, as como relaciones de orden
(mayor que, menor que).


PROPIEDADES DE NMEROS NATURALES:

La suma y multiplicacin son compatibles gracias a la propiedad distributiva que se expresa
como sigue:

a x (b + c) = (a x b) + (a x c)

Los nmeros naturales estn totalmente ordenados; La relacin de orden a b se puede
definir como a b si y solo si existe otro numero natural c que cumple: a + c = b. Este orden
es compatible con todas las operaciones aritmticas de esta manera:


a + c b + c y
a x c b x c

Una propiedad importante del conjunto de los nmeros naturales es que es un conjunto bien
ordenado: esto es, cualquier conjunto compuesto de nmeros naturales tiene un elemento
mnimo (uno ms pequeo que los dems)


En los nmeros naturales existe el algoritmo de la divisin. Para cualesquiera dos nmeros
naturales a y b, con b 0, podemos encontrar otros naturales q y r tales que a = (b x q) + r y r
< 4 =" 2" b =" B" 8 =" -" 25 =" 37" 12 =" 5" 7 =" 5" 51 =" -" 34 =" 20" 10 =" -3" 10 =" -13" 16 =" 19"
16 =" 19" 16 =" 35" 10 =" 50" 10 =" 50;" 4 =" -" 4 =" 48" z =" {1," z =" n1" b =" (a1," b =" (a1.a2)" q
=" m." 650 =" 2" 900 =" 22" 52700 =" 22" 7mcd =" 2" 52 =" 50" 25 =" 50."
href="http://matematicasies.com/spip.php?article716">Factorizamos los nmeros Tomamos
todos los factores (comunes y no comunes) elevados a los mayores exponentes El m.c.m. es el
producto de los factores anteriores
Ejemplo:
Los factores son: y elevados a los mayores exponentes (dentro de un recuadro) seran:
Multiplicando los factores anteriores se obtiene el m.c.m


NMEROS PRIMOS

Se llama primo a todo nmero entero cuyos nicos divisores son el mismo, su opuesto y la
unidad, los nmeros no primos se denominan compuestos. El estudio de los nmeros primos
ha constituido desde antiguo una fascinante rama de las matemticas, no solo interesante
como un juego matemtico, sino tambin por sus implicaciones cientficas. Los nmeros
primos menores que 100 son los siguientes:
2,3,5,7,11,13,17,19,23,29,31,37,41,43,47,53,59,61,67,71,73,79,83,89 y 97.

DEFINICIN DE NMERO PRIMO: Un nmero primo cuando es entero positivo, distinto de 0 y 1
y que nicamente se puede dividir por si mismo y por 1 para dar una solucin exacta (por
tanto, para todos los otros nmeros por los que intentemos dividir el nmero primo no dar
solucin exacta).Ejemplos:

Divisores de 3 = {1,3} es primo
D (7) = {1,7} es primo
D (9) = {1,3.9} no es primo, es divisible por 3 adems de 1 y 9.

El 1 se considera primo en muchos casos aunque solo tiene un divisor. Depende de las listas
de las definiciones, del libro o de la cultura se considera o no primo. P. ejemplo .Los
antiguos griegos consideraban que los nmeros empezaron en el 2.Para ellos el 1 no era un
numero solo la unidad. Nosotros tampoco lo consideramos primo. El 2 tambin cumple las
caractersticas de un nmero primo; y es el nico nmero primo que es par.

NUMEROS PARES E IMPARES


Un nmero par es un nmero entero mltiplo de 2, es decir un nmero entero m es nmero
par si y solo si existe otro numero entero n tal que:

m = 2xn

Por lo tanto si multiplicamos cualquier nmero entero por un nmero par obtendremos un
nuevo nmero par. Los siguientes son nmeros pares: 0, 2, 4, 6,, y tambin: -2,-4,-6

Los nmeros impares son aquellos nmeros enteros que no son pares y por tanto no son
mltiplos de 2.Los siguientes son nmeros impares: 1, 3, 5, 7, 9, y tambin:-1,-3,-5.
Sumando o restando 2 a un nmero impar se obtiene otro nmero impar. Sumando o restando
una unidad a un nmero impar se obtiene otro nmero par.

Se dice que un nmero entero, m, es impar si y solo si existe otro nmero entero, n, tal que:

m = 2xn+1



TIPOS ESPECIALES DE NUMEROS IMPARES

Los nmeros primos de la forma 4.n +1, con n un nmero natural cualquiera se descomponen
de una nica manera en suma de dos cuadrados de nmeros enteros. Esto fue estudiado por
Fermat y permite que ese primo sea la hipotenusa de un triangulo rectngulo diofantico o
diofantino.

Estas ltimas dos palabras se refieren a tringulos con lados enteros positivos en honor a
Diofanto de Alejandra, quien estudio los problemas en los que interesa obtener soluciones
enteras.

Los primos de la forma 4.n +3 no pueden expresarse como suma de dos cuadrados enteros,
pero si como diferencia de cuadrados. La raz cuadrada del cuadrado mayor, o minuendo de
la diferencia, es igual a 2(n+1), donde n es el mismo natural que aparece en la expresin del
nmero primo.

.2 CONJUNTO DE LOS NMEROS REALES

El conjunto de los nmeros reales est constituido por diferentes clases de nmeros. Entre
ellas, se pueden mencionar los siguientes 6 conjuntos:
1.2.1. Conjunto de los nmeros naturales.
El conjunto de los nmeros naturales, que se denota por N tambin por Z
+
,
corrientemente se presenta asi:
N = {1, 2, 3, 4, 5, ...}
La notacin de conjunto que incluye los puntos suspensivos es de carcter informal.
Este conjunto permite fundamentar las sucesivas ampliaciones que se hacen, de los
sistemas numricos, y lleva principalmente a la consideracin de los nmeros reales.
1.2.2. Conjunto de los nmeros enteros.
El conjunto de los nmeros enteros, que se denota por Z , corrientemente se presenta asi:
Z = {..., -3, -2, -1, 0, 1, 2, 3,...}
En el conjunto de los nmeros enteros, se pueden resolver ecuaciones que no tienen
solucin en N , como sucede por ejemplo con la ecuacin x + 3 = 1, cuya solucin es x = -
2.

Puede notarse que N cZ.

1.2.3. Conjunto de los nmeros racionales.
El conjunto de los nmeros racionales, que se denota por Q , se define de la siguiente
manera:
Q = / m, n son enteros y n
La introduccin de los nmeros racionales responde al problema de resolver la ecuacin:
ax = b, con a, be R, a = 0.
sta slo tiene solucin en Z , en el caso particular en que a es un divisor de b.
Note que todo entero n puede escribirse como el nmero racional n/1 y, en consecuencia,
se puede concluir que:
Z c Q.

En lo sucesivo, cuando se haga referencia a los nmeros racionales, a/b, c/d, ..., se
entender que a, b, c, d, ..., son nmeros enteros y que los denominadores son diferentes
de cero.
1.2.4. Conjunto de los nmeros irracionales.

En muchos temas de la geometra se plantea en general, problemas para cuya solucin el
conjunto Q de los nmeros racionales resulta insuficiente. Asi, por ejemplo, al considerar el
problema de determinar el nmero x que mide la longitud de la diagonal de un cuadrado
cuyo lado sea la unidad, el teorema de Pitgoras permite establecer que x, satisface la
ecuacin: x
2
= 2.
Puede demostrarse fcilmente, que no existe X eQ que verifique esta ltima ecuacin. En
general, una ecuacin de la forma x
n
= a, con a eQ y n eN, carecer (excepto casos
particulares) de solucin. Se hace por lo tanto necesario, describrir otro conjunto, en el
cual, ecuaciones como las anteriores tengan solucin.
El conjunto de los nmeros irracionales, que se denota por Q
*
, est constituido por los
nmeros reales que no admiten la representacin racional.
Ejemplos de esta clase de nmeros son: el nmero e (base del logaritmo natural), t , ,
etc.
En este conjunto, se pueden resolver ecuaciones que no tienen solucin en Q , como
sucede, por ejemplo, con la ecuacin x
2
2 = 0, cuyas soluciones son: x = , que no
son nmeros racionales.
1.2.5. Finalmente se define el Conjunto R de los nmeros reales como: R =Q Q
*
.

En el conjunto R de los nmeros reales, estn definidas dos operaciones: adicin (+)
ymultiplicacin (.), las cuales verifican las siguientes propiedades (llamadas tambin
axiomas de campo).

1.2.5.1. Axiomas de campo
A.C.1. Uniforme
Si se suman entre si dos nmeros reales, el resultado que se obtiene es un real nico.
Si se multiplican entre si dos nmeros reales, el resultado que se obtiene es un real nico.
A.C.2. Conmutativa
Para todo a, b e R ,
A.C.3. Asociativa
Para todo a, b, c e R ,
A.C.4. Modulativa
Existe el real 0 (cero) tal que para todo a eR ,
a + 0 = 0 + a = a
Existe el real 1 (uno), 1 = 0 tal que, para todo a eR,
a . 1 = 1 . a = a
El real 0 es llamado: mdulo o elemento neutro para la adicin.
El real 1 es llamado: mdulo o elemento neutro para la multiplicacin.
A.C.5. Invertiva
Para cada nmero real a, existe un real nico llamado el opuesto de a, y que se denota a
tal que:
a + (-a) = 0
Para cada nmero real a = 0, existe un real nico llamado el recproco de a, y que se
denota por a
-1
1/a tal que:
a . a
-1
= a. (1/a) = 1
Asi por ejemplo, el opuesto de 5 es -5; el recproco de -2 es 1/-2.
Debe notarse que -a no significa un nmero negativo, aunque en algunas ocasiones puede
serlo. Asi, -3 es negativo y es el opuesto de 3, mientras que -(-5) es positivo y es el
opuesto de 5.
El opuesto de a tambin se conoce como inverso aditivo, el recproco de a tambin es
llamado inverso multiplicativo de a.
A.C.6. Distributiva
Para todo a, b, c, e R , a. (b+c) = a.b + a.c
CONSECUENCIAS IMPORTANTES DE LOS AXIOMAS DE CAMPO
A continuacin se presenta sin demostracin las consecuencias mas importantes de los
axiomas de campo. Mas que una simple lista, son propiedades conocidas por el estudiante
y que le sern bastante tiles en el desarrollo del curso. En algunas demostraciones de los
teoremas del clculo, haremos referencia a ellas.

C1. Ley cancelativa para la adicin (multiplicacin) x + y = x + z y = z
Si x = 0, entonces, xy = xz y = z
C2. Para todo a, b eR , la ecuacin: x + a = b, tiene una y solo una solucin en R.

C3. Para todo x eR , x . 0 = 0

C4. x . y = 0 x = 0 v y = 0.

C5. Para todo x eR , si x= 0, entonces x
-1
= 1/x = 0.

C6. Si y = 0, entonces, .

C7. Para todo x eR , -(-x) = x.

C8. Si x = 0, entonces, (x
-1
)
-1
= x.

C9. Para todo x, y eR, -(x+y) = (-x) + (-y).

C10. Si x = 0, y= 0, entonces: (xy)
-1
= x
-1
.y
-1
. Equivalentemente:

C11. Si b = 0, d = 0, entonces,

C12. Si b = 0, d = 0, entonces,

C13. Si b = 0, d = 0, entonces,

C14. Para todo x eR , -x = (-1)x.

C15. (-1) . (-1) = 1.

C16. (-x) . (-y) = x.y.

C17. -(xy) = (-x)y = x(-y).

C18. , y = 0
C19. x(y-z) = x.y x.z.

C20. (x-y) + (y-z) = x - z.

C21. (a-b) - (c-d) = (a+d) (b+c).

C22. (a+b) . (c+d) = (a.c + b.d) + (a.d + b.c).

C23. (a-b) . (c-d) = (a.c + b.d) - (a.d + b.c).

C24. a - b = c d a + d = b + c.

C25. Si x
2
= x . x, entonces, x
2
y
2
= (x-y) . (x+y).

1.2.5.2. Axiomas de orden
Los axiomas o propiedades del sistema de los nmeros reales que se enuncian a
continuacin se expresan en trminos de un cierto subconjunto especial de R (este
subconjunto denotado por R
+
se identifica con el conjunto de los reales positivos). En
general, cualquier campo que tenga un subconjunto P con las propiedades mencionadas a
continuacin, es llamado un campo ordenado. En el caso particular que se estudiar,
estas propiedades permiten establecer que el sistema de los nmeros reales es un campo
ordenado.
A.O.1. Existe un subconjunto R
+
de R tal que:
i) Si a, b eR
+
, entonces a + b eR
+

a . b eR
+

Para cada a eR , una y solo una de las siguientes proposiciones es verdadera.
a eR
+
; a = 0 ; -a eR
+
.
Los elementos a eR , para los cuales a eR
+
, sern llamados: reales positivos.
Los elementos a eR , para los cuales -a eR
+
, sern llamados: reales negativos.


DESIGUALDADES
Usando solamente el subconjunto R
+
descrito en A.O.1., se deducen todas las reglas
usuales en el trabajo con desigualdades de nmeros reales.

Definiciones
Sean x, y nmeros reales.

Los smbolos "<" y ">" (que se leen: "menor que" y "mayor que" respectivamente) se
definen por las afirmaciones:
x < y y x eR
+

x > y x y eR
+

Los smbolos " " y " " (que se leen: "menor o igual que" y "mayor o igual que"
respectivamente) se definen por las afirmaciones:
x y x < y v x = y
x y x > y v x = y
Cada una de las expresiones: x < y, x > y, x y, x y es llamadauna desigualdad.
Se sigue de la definicin anterior que las desigualdades: x > y, y, y < x son equivalentes.
Igualmente las desigualdades: x y, y, y x son equivalentes.


La expresin: x < y < z, se usa para indicar las dos desigualdades simultneas: x < y ^ y
< z. Igualmente, la expresin: x > y > z, se usa para indicar las dos desigualdades
simultneas: x > y ^ y > z.
En cualquiera de los dos casos de la definicin anterior, se dice que y est entre x y z.
Interpretaciones similares pueden establecerse para las desigualdades: x y z; x y
z; x < y z; x y< z, etc.
Claramente, a eR
+
a > 0
a es negativo a < 0

Las propiedades siguientes, que enunciamos sin demostracin son consecuencia inmediata
de la propiedad de orden y sern tiles en el trabajo con desigualdades.

CONSECUENCIAS PRINCIPALES DE LA PROPIEDAD DE ORDEN
01. Tricotoma.

Si x, y eR , entonces, una y solo una de las siguientes proposiciones es verdadera:
x > y ; x = y ; x < y.

02. Transitiva.

Para todo x, y, z eR ,
x < y ^ y < z x < z.
x > y ^ y > z x > z.

03. Si x, y, z eR , entonces:

x < y x + z < y + z ^ x z < y z .
x > y x + z > y + z ^ x z > y z .
x y x + z y + z ^ x z y z .
x y x + z y + z ^ x z y z .

04. a > b > 0 ^ c d > 0 a.c > b.d.

05. Las siguientes reglas de los signos para la adicin y multiplicacin de reales se
cumplen:

(Nmero positivo) + (Nmero positivo) = Nmero positivo
(Nmero negativo) + (Nmero negativo) = Nmero negativo
(Nmero positivo) . (Nmero positivo) = Nmero positivo
(Nmero negativo) . (Nmero negativo) = Nmero positivo


06. a < b ^ c > 0 a.c < b.c.
a < b ^ c < 0 a.c > b.c.
Las dos propiedades anteriores, muchas veces se expresan diciendo que si ambos
miembros de una desigualdad se multiplican por una cantidad positiva, el sentido de la
desigualdad se conserva, mientras que si se multiplican por una cantidad negativa, el
sentido de la desigualdad cambia.
07. Para todo x eR , x
2
0
x
2
= 0 x = 0.

08. x > 0

09. x > y > 0

REPRESENTACIN GEOMTRICA DE LOS NMEROS REALES


Una manera de representar geomtricamente los nmeros reales, consiste en tomar una
recta generalmente en forma horizontal, y fijar dos puntos distintos en ella, denotando con
0 (cero) al de la izquierda y con 1 (uno) al de la derecha.


Se considera que cada punto de la recta corresponde a un nmero real y viceversa, a cada
nmero real le corresponde uno y solo un punto de dicha recta. Se establece de esta forma,
una correspondencia biunvoca entre los nmeros reales y los puntos de esta recta, la cual
nos permite decir en adelante que cada punto "es" un nmero real. A la recta sobre la cual
se hace representaciones de los nmeros reales, se seguir llamando: RECTA REAL, ,
tambin, RECTA NUMRICA.


Recurriendo a la idea de distancia y tomando como unidad de longitud el segmento de
recta entre 0 y 1, que en adelante se llamar segmento unitario; como punto de partida
el 0, que en adelante se llamar origen; como nmeros positivos los puntos que se dan a
la derecha del origen y negativos, los que se dan a su izquierda, se puede entonces
localizar algunos nmeros reales. As, para localizar los nmeros enteros, se lleva
sucesivamente, y a ambos lados de 0 y 1, el segmento unitario como aparecen en la figura
adjunta.




fig. 1.
Existe una construccin geomtrica sencilla para localizar nmeros racionales en la recta
real. Ilustremos el procedimiento por medio de un ejemplo. Para representar, digamos el
nmero racional 12/5, se traza por el origen 0 de la recta real una segunda recta oblicua y
a partir de 0 se marcan cinco (5) segmentos iguales sobre la oblicua con extremos en P
1
,
P
2
, P
3
, P
4
y P
5
. (Ver fig. 2).



A continuacin, se traza la recta que
une a P5 con el racional y
luego cuatro rectas paralelas a la
anterior y que pasen por los puntos P1,
P2, P3, P4 y P5.
Por geometra elemental se sabe que
este sistema de rectas paralelas corta
al segmento entre 0 y 3 en cinco
partes iguales de manera que la
longitud de cada parte es 3/5.
Fig.2
En consecuencia, cada punto de corte en la recta real corresponde en forma sucesiva a los
racionales: 3/5, 6/5, 9/5, 12/5 y 15/5 entre los cuales se encuentra el racional que se
quera representar en la recta.


Para los enteros positivos que no son cuadrados perfectos, se puede demostrar que su raiz
cuadrada es un nmero irracional, cuya localizacin en la recta numrica se logra de una
manera sencilla empleando el teorema de Pitgoras (Ver fig. 3).



fig. 3.


Otros nmeros irracionales como t 3.1415927... y e 2.7182818... sern localizados en
su forma decimal aproximada.



1.2.5.3. Intervalos


Dentro de los subconjuntos infinitos del conjunto de los reales, se destacan 9 de ellos,
llamados intervalos y que se definen de la siguiente forma:


Definiciones
Sean a, b eR , con a < b.
El conjunto de puntos { x eR / a < x < b} se llama: INTERVALO ABIERTO de extremos a y
b. Se denota por (a, b). As que:
(a, b) = { x eR / a < x < b} y geomtricamente se representa en la recta real en la
forma:




fig. 4
El conjunto de puntos { x eR/ a x b} se llama: INTERVALO CERRADO de extremos a
y b. Se denota por [a, b]. As que:
[a, b] = { x eR / a x b} y geomtricamente se representa en la recta real en la
forma:





Fig.5
Ntese que a (a, b), b (a, b), a e [a, b], be [a, b].De manera similar, se pueden
definir y representar geomtricamente los dems tipos de intervalos y que aparecen a
continuacin de una manera simple.

(a, b] = { x eR / a < x b};
fig.6
[a, b) = { x eR / a x < b};
fig.7


Sea a eR . Un intervalo de cualquiera de las siguientes formas se llama: SEMIRECTA.

(-, a) = { x eR/ - < x < a};
fig.8
(- , a] = { x eR/ -< x a};
fig.9
(a, +) = { x eR/ a < x < + };
fig.10
[a, + ) = { x eR/ a x < + };
fig.11


Finalmente, el conjunto R de los nmeros reales, se define como el intervalo: (- , + ). Es
decir:
(- ,+ ) = { x eR / - < x < + }.

1.2.5.4. Valor absoluto

Definicin
Sea x eR . El valor absoluto de x, denotado por: se define:


Asi, ; ;

El valor absoluto de un nmero real x es siempre positivo o cero y se interpreta
geomtricamente, como la distancia del punto x al origen (fig. 12). Igualmente, se
interpreta como la distancia del punto x al punto y en la recta real (fig. 13).




PROPIEDADES DEL VALOR ABSOLUTO

V.A.1. Para todo x eR , y

V.A.2.

V.A.3. , para todo x, y eR .

V.A.4.

V.A.5.

V.A.6.

V.A.6.

>V.A.7. siempre que

V.A.8. siempre que

V.A.9. siempre que a > 0

V.A.10.

V.A.11. , para todo x eR .

V.A.12. (desigualdad triangular). Para todo x, y eR ,
En que caso se verifica la igualdad? (compruebe).

V.A.13.

V.A.14.

A manera de ejemplo, y con el objeto de que el estudiante, se acostumbre a efectuar
demostraciones de resultados sencillos, se demostrarn las propiedades: V.A.7. y V.A.14.
(Ejercicios resueltos 2 y 3)

1.2.5.5 SOLUCIN DE DESIGUALDADES

En una desigualdad que envuelve una incgnita, dgase la letra x, un valor particular de x
satisface la desigualdad, si al reemplazar x por su valor particular (en todas sus
ocurrencias) la convierte en una proposicin verdadera.

Asi por ejemplo, x = 1 es un valor particular de x que satisface la desigualdad: 3x-1 < x+5
ya que 3(1)-1 < 1+5. Mientras que x = 4 no es solucin particular.

Resolver una desigualdad es encontrar el conjunto de todos los nmeros reales que la
hacen verdadera. En contraste con una ecuacin, cuya solucin, en general es un nmero o
quiz un conjunto finito de nmeros, el conjunto solucin, de una desigualdad consta por lo
comn de un intervalo, unin infinita de intervalos y en algunos casos el conjunto vaco.

Asi, el conjunto solucin de la desigualdad: x
2
x < 6 es el intervalo (-2, 3); el conjunto
solucin de la desigualdad x
2
x 6 es (- , -2] [3, + ) y el conjunto solucin de la
desigualdad x
2
+ 5 < 4 es el conjunto vaco (porqu?).

El procedimiento para resolver desigualdades consiste en transformar la desigualdad inicial
en una desigualdad EQUIVALENTE (tiene las mismas soluciones). Las herramientas
principales para hacerlo es el uso adecuado de las propiedades de orden y sus
consecuencias. Ello implica que debemos realizar ciertas operaciones en una desigualdad
sin cambiar el conjunto solucin. En particular:

Se puede sumar (restar) la misma cantidad en ambos miembros de una desigualdad.
Se pueden multiplicar (dividir) ambos miembros de una desigualdad por una misma
cantidad positiva.
Se pueden multiplicar (dividir) ambos miembros de una desigualdad por una misma
cantidad negativa, pero entonces se debe invertir el sentido del signo de la desigualdad.


Introduccin

El ente bsico de la parte de la matemtica conocida como ANLISIS, lo constituye el
llamado sistema de los nmero reales. Nmeros tales como:1,3, y sus
correspondientes negativos, son usados en mediciones cuantitativas.
Existen dos mtodos principales para estudiar el sistema de los nmeros reales. Uno de
ellos comienza con un sistema mas primitivo tal como el conjunto de los nmeros
naturales o enteros positivos; 1, 2, 3, 4, ... , y a partir de l, por medio de una secuencia
lgica de definiciones y teoremas, se construye el sistema de los nmeros reales.
En el segundo mtodo se hace una descripcin formal del sistema de los nmeros reales
(asumiendo que existe), por medio de un conjunto fundamental de propiedades (axiomas)
de las cuales muchas otras propiedades pueden deducirse.
En esta primer parte, se har una presentacin intuitiva del conjunto de los nmeros
reales. Se parte de un conjunto primitivo como es el conjunto N de los nmeros naturales
y se efectan las sucesivas ampliaciones del mismo, atendiendo mas a la necesidad de
resolver ciertas ecuaciones, en las cuales los conjuntos que se van definiendo resultan
insuficientes para la solucin, que a un desarrollo axiomtico del mismo.
..