Numeros naturales: un nmero natural es cualquiera de los nmeros que se usan

para contar los elementos de ciertos conjuntos,12 como tambin en operaciones elementales
de clculo.
el conjunto de los nmeros naturales es ordenado e infinito.
Puesto que los nmeros naturales se utilizan para contar elementos, el cero puede
considerarse el nmero que corresponde a la ausencia de los mismos; dependiendo del rea
de la ciencia, el conjunto de los nmeros naturales puede presentarse entonces de dos
maneras distintas:
Definicin sin el cero:
= {1, 2, 3 ,4, ...}

Definicin con el cero:

= {0, 1, 2, 3, 4, ...}

Antes de que surgieran los nmeros para la representacin de cantidades, el hombre us

otros mtodos para contar, utilizando para ello objetos como piedras, palitos
de madera, nudos de cuerdas, o simplemente los dedos
Fue Zermelo quien demostr la existencia del conjunto de nmeros naturales, dentro de su
teora de conjuntos y principalmente mediante el uso del axioma de infinitud, que, con una
modificacin de este hecha por Adolf Fraenkel, permite construir el conjunto de nmeros
naturales como ordinales segn von Neumann.
Algunas caractersticas de los nmeros naturales son:

1. Todo nmero mayor que 1 (o mayor que 0 en caso de considerar el 0 como natural) va
despus de otro nmero natural.
2. Entre dos nmeros naturales siempre hay un nmero finito de naturales (interpretacin
de conjunto no denso).
3. Dado un nmero natural cualquiera, siempre existe otro natural mayor que este
(interpretacin de conjunto infinito).

4. Entre el nmero natural y su sucesor no existe ningn nmero natural.

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

Los nmeros naturales estn totalmente ordenados.

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.
 Nmeros enteros: Un nmero entero es un elemento del conjunto numrico que

contiene los nmeros naturales , sus inversos aditivos y el cero.

El conjunto de todos los nmeros enteros se representa por la letra Z

En la recta numrica encontramos los nmeros negativos a la izquierda del cero y a su

derecha los positivos, arriba los positivos y abajo los negativos
Los nmeros enteros pueden sumarse, restarse, multiplicarse y dividirse, siguiendo el
modelo de los nmeros naturales aadiendo unas normas para el uso del signo.
Los nmeros enteros extienden la utilidad de los nmeros naturales para contar cosas.
Pueden utilizarse para contabilizar prdidas
El valor absoluto de un nmero entero es la distancia que hay del origen (cero) hasta
un punto dado. El valor absoluto de 0 es simplemente 0. Se representa por dos barras
verticales ||.
Ejemplos. |+5| = 5 , |2| = 2 , |0| = 0.
No fue sino hasta el siglo XVII que tuvieron aceptacin en trabajos cientficos europeos,
aunque matemticos italianos del renacimiento como Tartaglia y Cardano los hubiesen ya
advertido en sus trabajos acerca de solucin de ecuaciones de tercer grado. Sin embargo, la
regla de los signos ya era conocida previamente por los matemticos de la India.2
El cero y los nmeros negativos surgen del manejo de oposicin o conceptos como el del
vaci o el de no ser, que son fundamentales para la construccin de la negatividad. (Gallardo
y Abraham)

El conjunto de los nmeros enteros, considerado junto con

sus operaciones de adicin y multiplicacin, tiene una estructura que en matemticas se
denomina anillo; y posee una relacin de orden. Los nmeros enteros pueden adems
construirse a partir de los nmeros naturales mediante clases de equivalencia.
Nmeros fraccionarios:
Una fraccin es es la expresin de una cantidad dividida entre otra cantidad.
Las fracciones comunes se componen de: numerador, denominador y lnea divisora entre
ambos
En una fraccin comn a/b el denominador "b" expresa la cantidad de partes iguales que
representan la unidad, y el numerador "a" indica cuntas de ellas se toman.
El conjunto matemtico que contiene a las fracciones de la forma a/b,
donde a y b son nmeros enteros y b0 es el conjunto de los nmeros racionales, denotado
como .
Suele utilizarse la figura geomtrica (que representa la unidad) seccionada en una cantidad de
partes iguales para mostrar el denominador, y se colorean (u omiten) las que se toman para
distinguir la cantidad que indica el numerador.

Fraccin simple, comn o vulgar[editar]

Una fraccin simple (tambin conocida como fraccin comn o fraccin vulgar) es
un nmero racional de la forma a/b, donde a y b son nmeros enteros y b0.

Fraccin propia e impropia

Una fraccin propia es aquella en la que, si numerador y denominador son positivos, el

numerador es menor que el denominador
Por el contrario, una fraccin impropia ser la fraccin en donde el numerador es mayor que
el denominador,

Fraccin mixta[editar]
Una fraccin mixta o nmero mixto es la representacin de una fraccin impropia, en forma
de nmero entero y fraccin propia; es una manera prctica de escribir unidades de
medida (peso, tiempo, capacidad), recetas de cocina, etc.

Razn[editar]
La razn es la comparacin de dos cantidades por su cociente, donde se ve cuntas veces
contiene una a la otra. En el caso de nmeros toda razn se puede expresar en forma de
fraccin y eventualmente como un decimal. Generalmente se expresa como "a es a b" o a:b, y
corresponde a la fraccin a/b.

Fraccin inversa[editar]
Una fraccin inversa es una fraccin obtenida a partir de otra dada, en la que se han
invertido el numerador y el denominador, es decir, la fraccin inversa de una
fraccin a/b es b/a. Como ejemplos, 2/3 y su fraccin inversa 3/2, 1/2 y su fraccin
inversa 2/1.

Multiplicacin y divisin de fracciones[editar]

Para multiplicar dos fracciones, basta multiplicar los numeradores por una parte y los
denominadores por otra.
En la divisin de fracciones, el numerador de la fraccin resultante es el producto del
numerador de la fraccin dividendo por el denominador de la fraccin divisor, mientras que el
denominador es igual al denominador de la fraccin dividendo multiplicado por el numerador
de la fraccin divisor

Suma y resta de fracciones[editar]

Para sumar o restar fracciones, se distinguen dos casos. Si tienen el mismo denominador,
entonces se suman o se restan los numeradores y se deja el denominador comn.
Es posible que el resultado se pueda simplificar:
Nmeros racionales:
es todo nmero que puede representarse como el cociente de dos nmeros enteros o, ms
precisamente, un entero y un natural positivo;1 es decir, una fraccin comn a/b con
numerador a y denominador b distinto de cero. El trmino racional alude a una fraccin o
parte de un todo. El conjunto de los nmeros racionales se denota por Q.
Este conjunto de nmeros incluye a los nmeros enteros (z), y es un subconjunto de
los nmeros reales (r).
La escritura decimal de un nmero racional es, o bien un nmero decimal finito, o
bien peridico. Esto es cierto no solo para nmeros escritos en base 10 (sistema decimal);
tambin lo es en base binaria, hexadecimal o cualquier otra base entera. Recprocamente,
todo nmero que admite una expansin finita o peridica (en cualquier base entera) es un
nmero racional.
A las operaciones de suma, resta, multiplicacin y divisin se les llama operaciones
racionales.
Suma[editar]
Se define la suma o adicin de dos nmeros racionales a la operacin que a todo par de
nmeros racionales le hace corresponder su suma:
https://wikimedia.org/api/rest_v1/media/math/render/svg/c026ee2852b34082187923e544af7ab
b2ad0486a
Resta[editar]
La operacin que a todo par de nmeros racionales le hace corresponder su diferencia se
llama resta o diferencia y se la considera operacin inversa de la suma.
https://wikimedia.org/api/rest_v1/media/math/render/svg/3add9c95c3de143d2f3429f390a8ca52
217f4de2

Multiplicacin[editar]
La multiplicacin o producto de dos nmeros racionales:
https://wikimedia.org/api/rest_v1/media/math/render/svg/42f5b57d4c510662bd92d064464d185
d779e3f9e
Divisin[editar]

Se define la divisin o cociente de dos racionales r entre s distinto de 0, al producto . En

otra notacin,
https://wikimedia.org/api/rest_v1/media/math/render/svg/117c79982128c96ef6b2390fd4dd6cf0
2a4b4b03
Es una operacin totalmente definida, pero se asume que es una operacin inversa de la
multiplicacin que resuelve la ecuacin sx=r, s0.

Inversos[editar]
Los inversos aditivo y multiplicativo existen en los nmeros racionales:
https://wikimedia.org/api/rest_v1/media/math/render/svg/05a5b9027a297f07e0da4658f49ce88
5c0f899bc
Los nmeros racionales se caracterizan por tener una escritura decimal que solo puede ser de
tres tipos:

Exacta: la parte decimal tiene un nmero finito de cifras. Al no ser significativos, los ceros
a la derecha del separador decimal pueden omitirse, lo que da por resultado una
expresin finita o terminal. Por ejemplo:
https://wikimedia.org/api/rest_v1/media/math/render/svg/0c282073582f5c2d6f4e81b259aeebf0
c7b85a55

Peridica pura: toda la parte decimal se repite indefinidamente. Ejemplo:

https://wikimedia.org/api/rest_v1/media/math/render/svg/7fc2957d605bcc14142ba300025a603
39ea45d54

Peridica mixta: no toda la parte decimal se repite. Ejemplo:

https://wikimedia.org/api/rest_v1/media/math/render/svg/25fe1d4f14d8eb26c5a4ad29e1c732ef
5ab81b93

El conjunto de los nmeros racionales equipado con las operaciones de suma y

producto cumple las propiedades conmutativa, asociativa y distributiva, es decir:
Conmutativa:https://wikimedia.org/api/rest_v1/media/math/render/svg/c6ede7c4d0cc24242055
e32ef2e5cff8acf99645
Asociativa:https://wikimedia.org/api/rest_v1/media/math/render/svg/6906ab6ca7f2e3e34731c2
43228b48c13ce65b1d
Distributiva:https://wikimedia.org/api/rest_v1/media/math/render/svg/ef93eec0a896d0b935378
c33c76ffab060743366

Conjuntistas[editar]

Diagrama usado en la demostracin de que los racionales son numerables (Georg Cantor).

El conjunto de los nmeros racionales es numerable, es decir que existe una biyeccin

entre y (tienen la misma cantidad de elementos). El conjunto de los nmeros

reales no es numerable
Topolgicas[editar]

El conjunto forma un subconjunto denso de los nmeros reales por

construccin misma de (propiedad arquimediana): todo nmero real tiene racionales

arbitrariamente cerca.
Poseen una expansin finita como fraccin continua regular.
Con la topologa del orden, forman un anillo topolgico, o de grupo parcialmente
ordenado; presentan una topologa inducida; tambin forman un espacio mtrico con la

mtrica .
Los racionales son un ejemplo de espacio que no es localmente compacto.
Se caracterizan topolgicamente por ser el nico espacio metrizable numerable sin puntos
aislados (tambin es totalmente discontinuo). Los nmeros racionales no forman
un espacio mtrico completo.
Nmeros irracionales:
En matemticas, un nmero irracional es un nmero que no puede ser expresado como una
fraccin mn, donde m y n sean enteros y n sea diferente de cero.1 Es cualquier nmero
real que no es racional, y su expresin decimal no es ni exacta ni peridica.1

Un decimal infinito (es decir, con infinitas cifras) aperidico, como 7 = 2,645751311064591
no puede representar un nmero racional. A tales nmeros se les nombra "nmeros reales o
irracionales". Esta denominacin significa la imposibilidad de representar dicho nmero

como razn de dos nmeros enteros.2 El nmero pi ( ), nmero e y el nmero ureo (

) son otros ejemplos de nmeros irracionales
No existe una notacin universal para indicarlos, como I, que es generalmente aceptada. Las
razones son que el conjunto de Nmeros Irracionales no constituyen alguna estructura
algebraica, por un lado, y que la I es tan apropiada para designar al conjunto de Nmeros
Irracionales como al conjunto de Nmeros Imaginarios Puros, lo cual puede crear confusin.
Fuera de ello,
https://wikimedia.org/api/rest_v1/media/math/render/svg/176b313c53e5dc2d94f6891d3160092
d0a24b9eb

1. Nmero algebraico: Son la solucin de alguna ecuacin algebraica y se representan

por un nmero finito de radicales libres o anidados en algunos casosn. 1; si "x"
representa ese nmero, al eliminar radicales del segundo miembro mediante
operaciones inversas, queda una ecuacin algebraica de cierto grado. Todas las
races no exactas de cualquier orden son irracionales algebraicos. Por ejemplo,
el nmero ureo es una de las races de la ecuacin
algebraica https://wikimedia.org/api/rest_v1/media/math/render/svg/fa7f4786d4a272d
a772a54b327839554f13f8f19, por lo que es un nmero irracional algebraico.
2. Nmero trascendente: No pueden representarse mediante un nmero finito de races
libres o anidadas; provienen de las llamadas funciones trascendentes
(trigonomtricas, logartmicas y exponenciales, etc.) Tambin surgen al escribir
nmeros decimales no peridicos al azar o con un patrn que no lleva periodo
definido, respectivamente, como los dos siguientes:
https://wikimedia.org/api/rest_v1/media/math/render/svg/93843fed1ccfad2ae8a38cafe2
205be6f78f647e...
https://wikimedia.org/api/rest_v1/media/math/render/svg/a054e7bd5c2322078ff3f9d58
29527d5a8b00143...

Propiedades[editar]

La suma y la diferencia de un nmero racional y de un nmero irracional es un nmero

irracional.
El producto de un racional diferente de cero por un irracional es un nmero irracional.
El cociente entre un racional no nulo y un irracional, es un nmero irracional.
El inverso de un nmero irracional es nmero irracional.
 Sea un binomio, formado por un racional ms un radical de segundo orden, o la suma de
dos radicales de segundo orden, que es irracional. Entonces su conjugado es irracional.
Los valores de logaritmos vulgares o naturales y los valores de las razones
trigonomtricas, la inmensa mayora no numerable, son irracionales.
El nmero de Gelfond (2 2 ) es un nmero irracional trascendente5
La raz cuadrada de un nmero natural no cuadrado perfecto es un nmero irracional;
tambin lo es la raz ensima de un natural p que no es potencia ensima perfecta.
Entre dos racionales distintos, existe por lo menos, un nmero irracional6
Las razones trigonomtricas de un ngulo son irracionales, excepcionalmente, una de
ellas en el caso de que dos de los lados del tringulo rectngulo sean racionales.6
La medida de Lebesgue de cualquier intervalo cerrado del
tipo https://wikimedia.org/api/rest_v1/media/math/render/svg/923c7724296d3c53b5a7c504
075befceea8b33d3 es igual a la medida b-a. Eso implica que si existiera un procedimiento
para seleccionar al azar un nmero de dicho intervalo, con probabilidad 1 el nmero
obtenido sera irracional.
Cualquier nmero irracional que est en un intervalo abierto de nmeros reales es punto
de acumulacin de los nmeros reales de tal intervalo, como de los nmeros irracionales
del mismo. Por ejemplo: 5 es punto de acumulacin de los nmeros reales del
intervalo K = <1;4>, como tambin de los nmeros irracionales de K.7
El conjunto de los nmeros irracionales es equivalente (tienen el mismo cardinal) al
conjunto de los nmeros reales.8
Nmeros reales: el conjunto de los nmeros reales (denotado por ) incluye tanto a
los nmeros racionales (positivos, negativos y el cero) como a los nmeros irracionales;1 y en
otro enfoque, trascendentes y algebraicos. Los irracionales y los trascendentes2 (1970) no se
pueden expresar mediante una fraccin de dos enteros con denominador no nulo; tienen
infinitas cifras decimales aperidicas, tales como: 5, , el nmero real log2, cuya
trascendencia fue enunciada por Euler en el siglo XVIII.2

Notacin[editar]

Los nmeros reales se expresan con decimales que tienen una secuencia infinita de dgitos a
la derecha de la coma decimal, como por ejemplo 324,8232. Frecuentemente tambin se sub
representan con tres puntos consecutivos al final (324,823211247), lo que significara que
an faltan ms dgitos decimales, pero que se consideran sin importancia.
Las medidas en las ciencias fsicas son siempre una aproximacin a un nmero real.

Se dice que un nmero real es recursivo si sus dgitos se pueden expresar por un algoritmo
recursivo. Un nmero no-recursivo es aqul que es imposible de especificar explcitamente.
Aun as, la escuela rusa de constructivismo supone que todos los nmeros reales son
recursivos.

Operaciones con nmeros reales[editar]

Con nmeros reales pueden realizarse todo tipo de operaciones bsicas con diversas
excepciones importantes:

1. No existen races de orden par (cuadradas, cuartas, sextas, etc.) de nmeros

negativos en nmeros reales, (aunque s existen en el conjunto de los nmeros
complejosdonde dichas operaciones s estn definidas).
2. La divisin entre cero no est definida (pues cero no posee inverso multiplicativo, es
decir, no existe nmero x tal que 0x=1).
3. No se puede hallar el logaritmo de un nmero real negativo, cualquiera sea la base de
logaritmos, un nmero positivo distinto de 1.10
Estas restricciones tienen repercusiones en otras reas de las matemticas como el clculo:
existen asntotas verticales en los lugares donde el denominador de una funcinracional tiende
a cero, es decir, en aquellos valores de la variable en los que se presentara una divisin entre
cero, o no existe grfica real en aquellos valores de la variable en que resulten nmeros
negativos para races de orden par, por mencionar un ejemplo de construccin de grficas en
geometra analtica.

Dos particiones[editar]

1. El conjunto de los reales es la unin disjunta de los racionales y de los irracionales

2. El conjunto R es la unin de A y T, A el conjunto de los reales algebraicos y T el
conjunto de los trascendentes
Nmeros imaginarios: En matemticas, un nmero imaginario es un nmero complejo cuya
parte real es igual a cero, por ejemplo: 5i es un nmero imaginario, as como i o -i son
tambin nmeros imaginarios. En otras palabras, es un nmero de la forma:

https://wikimedia.org/api/rest_v1/media/math/render/svg/26c6c107957eeba06023bb4f80f5c2a4
a5aa6d69
los nmeros imaginarios pueden describirse como el producto de un nmero real por la unidad
imaginaria i, en donde la letra i denota la raz cuadrada de -1
https://wikimedia.org/api/rest_v1/media/math/render/svg/370c8cebe9634fbfc84c29ea61680b0a
d4a1ae0d
Fue en el ao 1777 cuando Leonhard Euler le dio a raz de -1 el nombre de i, por imaginario,
de manera despectiva dando a entender que no tenan una existencia real. Gottfried Leibniz,
en el siglo XVII, deca que raz de -1 era una especie de anfibio entre el ser y la nada.
En ingeniera elctrica y campos relacionados, la unidad imaginaria a menudo se indica
con j para evitar la confusin con la intensidad de una corriente elctrica, tradicionalmente
denotada por i.
Todo nmero imaginario puede ser escrito como ib donde b es un nmero real e i es la unidad
imaginaria, con la propiedad
,https://wikimedia.org/api/rest_v1/media/math/render/svg/ead27f6a91f48a55f2c89586d54a
e58ac3af9fbc
puesto entonces:
https://wikimedia.org/api/rest_v1/media/math/render/svg/92d14044ca7aab0f309f5725b963
960fd114bfee
que es un nmero real.
Cada nmero complejo puede ser escrito unvocamente como una suma de un nmero real y
un nmero imaginario, de esta forma:
https://wikimedia.org/api/rest_v1/media/math/render/svg/4218fc99b7cbd6b69e50f2aacc39
8719a0dd2198
Al nmero imaginario i se le denomina tambin constante imaginaria.
Del mismo modo, partiendo de:
https://wikimedia.org/api/rest_v1/media/math/render/svg/84efe8bd26d006c0723846775c0c
ee6caed5fe47
la raz cuadrada de cualquier nmero real negativo, da por resultado un nmero imaginario,
as por ejemplo:
https://wikimedia.org/api/rest_v1/media/math/render/svg/bd58626befa22572c00f82485b53
fabf42663312
Estos nmeros extienden el conjunto de los nmeros reales R al conjunto de los nmeros
complejos C.
Nmeros complejos:
Se define cada nmero complejo z como un par ordenado de nmeros reales: z = (a, b). A su

vez el primer elemento a se define como parte real de z, se denota ; el segundo

elemento b se define como parte imaginaria de z, se denota . Luego en el conjunto de

los nmeros complejos, se definen tres operaciones y la relacin de igualdad:

Suma
https://wikimedia.org/api/rest_v1/media/math/render/svg/a769074917e53357808f2a66
abe5c6a02bd83a7a

Producto por escalar

https://wikimedia.org/api/rest_v1/media/math/render/svg/8abb8871e0f52ecb685278ab
5f547b1003314180

Multiplicacin
https://wikimedia.org/api/rest_v1/media/math/render/svg/9958946d2defb9f0daeac3049
be6665d3fc36133

Igualdad
https://wikimedia.org/api/rest_v1/media/math/render/svg/0292e6f8244d582a89ecbe0ca
123e96f4ad2da7b

A partir de estas operaciones podemos deducir otras como las siguientes:

Resta
https://wikimedia.org/api/rest_v1/media/math/render/svg/ef1d8914c1dd92f55f92526c1
955cdc6c2315174

Divisin
https://wikimedia.org/api/rest_v1/media/math/render/svg/eed601c093b3eaaea7651451
00d6bb462caf98fb
Al nmero (a,0) se denomina nmero complejo real y como entre el conjunto de estos
y el conjunto de los nmeros reales se establece un isomorfismo , se asume que
todo nmero real es un nmero complejo. Al nmero complejo (0,b) se
denomina nmero imaginario puro. Puesto que (a,0)+(0,b)=(a,b) se dice que un
nmero complejo es la suma de un nmero real con un nmero imaginario puro.
Valor absoluto o mdulo de un nmero complejo
El valor absoluto, mdulo o magnitud de un nmero complejo z viene dado por la
siguiente expresin
https://wikimedia.org/api/rest_v1/media/math/render/svg/461c6dd5195b4c029bf17fcd3
3137410056f51cb
Propiedades[editar]
Cuerpo de los nmeros complejos[editar]
El conjunto de los nmeros complejos satisface las leyes de la axiomtica que define
un cuerpo:

Propiedad conmutativa: z+w = w+z; zw= wz.

Propiedad asociativa: v+(w+z)= (v+w)+ z; v(wz)= (vw)z
Propiedad distributiva: v(w+z) = vw+vz; (w+z)v = wv+zv
Existencia de identidades:
La identidad aditiva, el cero: z+ 0 = 0+z = z; la identidad multiplicativa, el
1: https://wikimedia.org/api/rest_v1/media/math/render/svg/451cba0d488d31d5d69b2d
22704e5d6d1811ffbe

Inversos: cada nmero complejo tiene su inverso aditivo -z tal que z +(-z) = 0 y cada
nmero complejo, distinto de cero, tiene su inverso multiplicativo z-1, tal que zz-1 = 1.8
Si identificamos el nmero real a con el complejo (a, 0), el cuerpo de los nmeros
reales R aparece como un subcuerpo de C. Ms an, C forma un espacio vectorial de
dimensin 2 sobre los reales. Los complejos no pueden ser ordenados como, por ejemplo,
los nmeros reales, por lo que C no puede ser convertido de ninguna manera en un
cuerpo ordenado.

Espacio vectorial[editar]
El conjunto con la adicin de nmeros complejos y considerando como escalares los
nmeros reales, se puede definir como un espacio vectorial. Esto es:

1. Si z,w son nmeros complejos, entonces z+w es un nmero complejo.

Esta operacin interna define una estructura de grupo aditivo.
2. Si r es nmero real y z es un nmero complejo, entonces rz, llamado mltiplo
escalar de z, es tambin un nmero complejo. Las dos operaciones satisfacen la
axiomtica de un espacio vectorial o lineal.9