Beruflich Dokumente
Kultur Dokumente
Una de las primeras aplicaciones de las matemticas en la vida real ha sido el conteo y los
nmeros naturales han sido la herramienta. Entre las propiedades ms importantes de
este conjunto podemos mencionar la existencia de un orden, la existencia del 1 como
primer elemento, que todo nmero natural tiene otro como sucesor y que todo nmero
natural, excepto el nmero 1, tiene otro nmero natural como antecesor. En trmino
formales se tiene:
Propiedades de los nmeros naturales
1.
2. Si
3. Si
para todo
se define su sucesor como
y adems
.
,
, se define su antecesor como
y adems
En
se definen dos operaciones: la suma y el producto. Se verifica que ambas
operaciones son cerradas, conmutativas y asociativas, la suma distribuye respecto al
producto. El nmero natural 1 es el neutro multiplicativo. Sin embargo, estas propiedades
no son suficientes para describir algunos fenmenos fsicos; por ejemplo, la temperatura
bajo cero, las altitudes por debajo del mar o la distancia entre dos puntos iguales. En
concreto, carecen de un elemento neutro aditivo y de inversos aditivos.
Un conjunto ms grande que resuelve este inconveniente se define como el conjunto de
los nmeros enteros (los nmeros naturales estn contenidos en los nmeros enteros
).
En tambin estn definidas las operaciones de suma y producto que son, de nueva
cuenta,cerradas, conmutativas y asociativas; tambin se verifica la propiedad distributiva
de la suma. Existe el elemento neutro multiplicativo, pero adems se agregan el cero
como elemento neutro aditivo y los nmeros negativos como inversos aditivos. Estas
propiedades permiten la definicin de la resta como una operacin derivada de sumar un
nmero con el inverso aditivo de otro, es decir
No obstante lo anterior, la solucin a problemas elementales como repartir una naranja
entre dos personas o describir qu parte representa un minuto de una hora, o
simplemente para dar el resultado exacto de dividir 46 dulces entre 5 nios, no pueden
resolverse en trminos de nmeros naturales ni de nmeros enteros. Se hace necesaria,
entonces, la introduccin de los nmeros fraccionarios, tambin conocidos como los
nmeros racionales que tienen otras propiedades de mayor aplicacin.
cero. Si
y satisface
Se
define la divisin de dos nmeros como el producto de uno por el inverso de otro distinto
de cero, esto es
Dado un nmero racional
; es decir
resultado un nmero decimal; en otras palabras todo nmero racional puede expresarse
como una expansin decimal finita o como una expansin decimal infinita peridica.
Dados dos nmeros racionales cualesquiera, siempre es posible determinar un nuevo
nmero racional comprendido entre ellos, esto puede realizarse tantas veces como se
desee; por ejemplo, entre los racionales
y
se encuentra el nmero racional
. Sin embargo, los nmeros racionales no llenan toda la recta numrica.
Al intentar responder preguntas como: cul es la longitud de la arista de un cuadrado
que tiene rea 2? o cul es la razn entre el permetro de una circunferencia y su radio?,
encontramos que las respuestas
y , respectivamente, no pueden expresarse como un
nmero racional. Nmeros de este tipo se conocen como irracionales y grficamente se
intercalan en toda la recta numrica en los huecos que existen entre los elementos
del conjunto .
La necesidad de utilizar nmeros irracionales se present en algunos problemas de
geometra en la Grecia antigua; sin embargo, fue hasta el siglo XIX que se obtuvieron
avances significativos gracias a los estudios de Karl Weierstrass, George Cantor y Richard
Dedekin. La construccin total se dio a partir de los axiomas que establecin Giuseppe
Peano en 1889.
Los nmeros irracionales son todos aquellos que no pueden expresarse como el cociente
de dos nmeros, o bien como aquellos nmeros que tienen una expansin decimal infinita
no peridica. En ocasiones basta entender que los irracionales son un conjunto disjunto de
los racionales.
nmeros que no son racionales. El uso de para identificar este conjunto no es una
notacin perfectamente definida, aunque es generalmente aceptada, ya que puede usarse
tambin para definir al conjunto de los nmeros imaginarios puros. Matemticamente se
expresa como
3
Es importante observar que los racionales y los irracionales son conjuntos disconjuntos;
esto es, que dado un nmero real o est en o est en pero nunca en ambos. Adems
se verifican las contenciones propias
Los nmeros definidos a la derecha del cero se conocen como reales positivos y el
conjunto de todos ellos se representa por
. De manera anloga, se define
como el
conjunto de todos los reales a la izquierda del cero.
Otra propiedad importante de los nmeros reales es que entre dos nmeros reales
diferentes cualesquiera, sin importar cun cercanos estn, siempre existe una infinidad de
nmeros reales. A diferencia de
e los reales no contienen huecos. En trminos
matemticos se dice que el conjunto de los nmeros reales es un conjunto denso.
y el producto
Axioma 1
Axioma 2
Axioma 3
Axioma 4
Axioma 5
Axioma 6
Axioma 7
Axioma 8
Axioma 9
Propiedad distributiva:
Todas las propiedades conocidas de los nmeros reales pueden demostrarse a partir de
los axiomas anteriores, por esta razn se dice que la teora de los nmeros reales es una
teora axiomtica.
Los axiomas de los nmeros reales permiten definir operaciones complementarias como
la diferencia de dos nmeros y el cociente de dos nmeros.
como sigue:
Ley de tricotoma:
Axioma 11
aquellas que
Axioma 12
Axioma 13
Propiedad de transitividad:
La expresin
a la izquierda de un
En otras palabras, se dice que un nmero es mayor que otro nmero si y solo si la
diferencia
es un nmero real positivo. De la misma manera se dice que un nmero
es menor que otro nmero si y solo si la diferencia
es un nmero real negativo. Se
dice que los nmeros son iguales si la diferencia
.
Lo anterior define un orden de manera natural en el conjunto de los nmeros reales,
porque para saber cul es la ubicacin correcta de un nmero basta compararlo con el
cero.
nfimo y supremo
Introducimos las siguientes cuatro definiciones antes de presentar un ltimo axioma de
los nmeros reales que estudiaremos en esta unidad:
Definicin de cota superior Sea
entonces se llama cota superior de
o que est acotado superiormente.
, si existe
tal que
para todo
,
y se dice que el conjunto est acotado por arriba
Entonces se dice
superiores.
Entonces se dice
inferiores.
Ya se tienen las condiciones para poder enunciar un ltimo axioma de los nmeros reales,
conocido como el axioma de complitud o de completitud:
Axioma 14
Axioma de completitud:
1. Todo conjunto no vaco de nmeros reales acotado por arriba tiene un supremo.
2. Todo conjunto no vaco de nmeros reales acotado por abajo tiene un nfimo.
Como un conjunto de nmeros reales puede constar de un solo nmero real, se verifica
por el axioma 14 que los reales son densos.
1.4 INTERVALOS EN
Al utilizar una variable en cualquier problema de aplicacin es necesario definir el
subconjunto de nmeros reales que le corresponde como conjunto de sustitucin. Sin
lugar a dudas, unos de los subconjuntos ms importantes en son los intervalos y son
definidos a continuacin:
Definicin de intervalo en
Se definen los siguientes subconjuntos de nmeros reales, conocidos como intervalos
reales:
1. Intervalo abierto
2. Intervalo cerrado
3. Intervalos mixtos
4. Intervalos infinitos
El infinito
En matmaticas el infinito
aparece de diversas formas: en geometra, el punto al
infinito en geometra proyectiva y el punto de fuga en geometra descriptiva; en anlisis
matemtico, los lmites infinitos; y en teora de conjuntos como nmeros transfinitos.
Todos estos conceptos son diferentes y no corresponden todos ellos a la misma nocin de
infinitud.
En el conjunto de los nmeros reales el infinito se presenta en la densidad de la recta
numrica (nmeros transfinitos) y en los extremos de la recta numrica (infinito positivo
e infinito negativo). Ya que el infinito no cumple con los axiomas revisados con
anterioridad, se considera como una regin muy alejada en la recta numrica que nunca
podr alcanzarse con las operaciones algebraicas convencionales, por lo que siempre se
encontrar abierto en un intervalo real.
, donde
es
10
11