Nmero entero

De Wikipedia, la enciclopedia libre

Saltar a navegacin, bsqueda

Los nmeros enteros son una generalizacin del conjunto de nmeros naturales que incluye nmeros negativos (resultados de restar a un nmero natural otro mayor adems del cero). As los nmeros enteros estn formados por un conjunto de enteros positivos que podemos interpretar como los nmeros naturales convencionales, el cero, y un conjunto de enteros negativos que son los opuestos de los naturales (stos pueden ser interpretados como el resultado de restar a 0 un nmero natural). Para estudiar los nmeros enteros es necesario conocer la necesidad de crear un sistema numrico. Los nmeros negativos pueden aplicarse en diversos contextos, como la representacin de deudas, profundidades bajo el nivel del mar, temperaturas bajo cero, entre otros. Inicialmente el primer campo de aplicacin fue la contabilidad donde los nmeros negativos significaban deudas y los positivos haberes o activos posedos. El hecho de que un nmero sea entero, significa que no tiene parte decimal. Imaginemos que disponemos de dos barras de chocolate, cada una con tres divisiones, las cuales van a repartirse entre tres personas. Es claro que esta operacin puede realizarse convenientemente si a cada persona le toca una parte de las tres que tiene cada barra. Ahora bien, imaginemos que tenemos 7 balines (esferas de metal) que queremos repartir entre las mismas tres personas. Es claro que no puede partirse un baln para que a cada persona le toque la misma cantidad de balines, as que a cada uno le deben tocar tres balines. Los balines ilustran as, por analoga, los nmeros enteros: nmeros que no pueden dividirse, a menos que la divisin sea exacta, por decir: 8/4 s es exacta: 8/4 = 2 y es un entero, pero 8/3 no es exacta y no puede ser, en consecuencia, un nmero entero.

Contenido
[ocultar]

1 Estructura de los nmeros enteros 2 Introduccin formal de los nmeros enteros: construccin a partir de nmeros naturales 3 Definicin de adicin y multiplicacin sobre nmeros enteros 4 Propiedades de los nmeros enteros

4.1 Propiedades de clausura 4.2 Propiedades asociativas 4.3 Propiedades conmutativas 4.4 Propiedad distributiva 4.5 Existencia de elementos neutros 4.6 Existencia de elemento opuesto 4.6.1 Unicidad del elemento opuesto o 4.7 Propiedades cancelativas o 4.8 Propiedades de Orden 4.8.1 Propiedad reflexiva del orden 4.8.2 Propiedad antisimtrica del orden 4.8.3 Propiedad transitiva del orden 4.8.4 Compatibilidad del orden con las operaciones 5 Texto de titular o 5.1 Propiedad o axioma de la buena ordenacin 6 Historia
o o o o o o

7 Vase tambin

Estructura de los nmeros enteros [editar]

Los enteros con la adicin y la multiplicacin forman una estructura algebraica llamada anillo. Pueden ser considerados una extensin de los nmeros naturales y un subconjunto de los nmeros racionales (fracciones). Los nmeros enteros son subconjunto de los nmeros racionales o fracciones, puesto que cada nmero entero puede ser considerado como una fraccin cuyo denominador es el nmero uno. Los nmeros enteros pueden ser sumados y/o restados, multiplicados y comparados. Si la divisin es exacta, tambin pueden dividirse dentro del mismo conjunto de los enteros. La razn principal para introducir los nmeros negativos sobre los nmeros naturales es la posibilidad de resolver ecuaciones del tipo: a+x=b para la incgnita x. Matemticamente, el conjunto de los nmeros enteros con las operaciones de suma y multiplicacin, constituye un anillo conmutativo y unitario. Por otro lado, , donde es el orden usual sobre , es un conjunto completamente ordenado sin cota superior o inferior: los enteros no tienen principio ni fin. El conjunto de los nmeros enteros se representa mediante (el origen del uso de Z es el alemn Zahlen 'nmeros').

Introduccin formal de los nmeros enteros: construccin a partir de nmeros naturales [editar]
Ntese que un nmero entero negativo puede ser definido mediante la diferencia de dos nmeros naturales. Por ejemplo 3 = 5 8, de donde puede asociarse el nmero 3 con el par ordenado (5,8) de nmeros naturales. Sin embargo, debido a que (4,7) y una

infinidad ms de pares ordenados dan como resultado 3 al restar sus componentes, no puede decirse simplemente que 3 = (5,8). Lo que puede hacerse, es incluir todos los pares ordenados de nmeros naturales, que dan como resultado 3 al restar sus componentes, dentro de un solo conjunto, o, ms exactamente, dentro de una clase de equivalencia. Para ello, aprovechamos el que dos pares ordenados (a,b) y (c,d) puedan ser asociados al mismo nmero entero si: (1) . cuando a < b. Pero esto se

El nico problema es que la ecuacin (1) no est definida en remedia fcilmente, al notar que

equivale a

Ciertamente una relacin

sobre

para cualesquiera mediante:

, de tal manera que puede definirse

si y solo si La relacin es una relacin de equivalencia que produce en una particin en clases de equivalencia, cada una de las cuales puede ser asociada a un nico nmero entero y viceversa. Por ejemplo

Si admitimos el cero como nmero natural, podemos definir

para todo

Si no se acepta el cero como nmero natural, y se parte, en cambio, del 1, se define entonces

para todo

Luego el cero puede definirse como

para todo El escoger (n,0) y (0,n) (o (n + 1,1) y (1,n + 1) para cuando no se acepta ), para las definiciones anteriores es una decisin completamente arbitraria que toma en cuenta la sencillez de estos pares ordenados. Ntese que, de cualquier forma,

para todo

Se define pues el conjunto de los nmeros enteros como el conjunto:

(2) de todas las clases de equivalencia producidas por la relacin cartesiano . Esto es, es el conjunto cociente: sobre el producto

(3)

Definicin de adicin y multiplicacin sobre nmeros enteros [editar]

Se define la adicin ( + ) sobre como sigue:

para todo

teniendo previamente definida la adicin sobre . La definicin anterior no depende de los representantes escogidos puesto que, por tanto cualesquiera pares iniciales escogidos conducen al mismo resultado:

La multiplicacin ( ) sobre

se define como sigue:

para todo

teniendo previamente definida la multiplicacin sobre correctamente definida debido a que:

. La definicin anterior est

Propiedades de los nmeros enteros [editar]

Propiedades de clausura [editar]
Si , existen tales que:

y, de esto,

De la clausura de la adicin sobre

, se sigue, por definicin, que

Se tiene que la adicin sobre el conjunto de los nmeros enteros verifica la propiedad de clausura:

Para cualesquiera :

Lo mismo cumple la multiplicacin sobre

Para cualesquiera

Propiedades asociativas [editar]

Las propiedades asociativas de la adicin y la multiplicacin sobre de las definiciones de estas operaciones. Estas propiedades son:

se siguen fcilmente

Para cualesquiera

Para cualesquiera

Propiedades conmutativas [editar]

Puesto que , para cualesquiera

, tenmos que

Para cualesquiera . Esta propiedad la tiene tambin la

Esta es la propiedad conmutativa de la adicin sobre multiplicacin:

Para cualesquiera

Propiedad distributiva [editar]

Sean los enteros [(a,b)], [(c,d)] y [(m,n)]. Tenemos

Por tanto se cumple la siguiente propiedad distributiva

Para cualesquiera

Existencia de elementos neutros [editar]

El cero, 0 = [(n,n)], , tiene la caracterstica de que para todo entero [(a,b)],

y como a + (b + n) = b + (a + n) sean cuales sean los nmeros naturales a,b,n, tenemos , de donde el cero es un elemento neutro para la adicin sobre

, por lo que . En

para todo

.trminos ms sencillos,

Se define

como sigue:

. Vemos que, para todo entero [(a,b)],

y, puesto que elemento neutro para la multiplicacin sobre

, resulta que 1 es un . Es decir,

para todo

a+b _ c

Existencia de elemento opuesto [editar]

Para cada nmero existe un elemento opuesto que denotaremos por tal que:

Para demostrar que existe el elemento opuesto podemos constrirlo explcitamente como , que cumple obviamente la propiedad anterior:

Unicidad del elemento opuesto [editar] Adems este opuesto es nico. Esto significa que para cada entero existe un nico nmero tal que sumado con l el resultado es cero. Para verlo podemos suponer que existen dos opuestos y , entonces sucede que:

En esta prueba de que el elemento opuesto hemos usado la propiedad asociativa y la unicidad del elemento neutro.

Propiedades cancelativas [editar]

Sean opuesto: y a + b = a + c. Tenemos que gracias a la existencia del elemento

Por tanto, se cumple la siguiente propiedad cancelativa

Para todo

Para la multiplicacin tambin se cumple la propiedad cancelativa, aunque para demostrar esto debe utilizarse un mtodo distinto, ya que no todo elemento de es una unidad (esto

es, no todo entero tiene un inverso), y por tanto , con su multiplicacin, no es un anillo de divisin. La prueba que sigue de la propiedad cancelativa para la multiplicacin se basa en el hecho de que es un dominio ntegro. Sean pues , y ab = ac con . Tenemos que ab ac = 0, y de la propiedad distributiva a(b c) = 0, o sea que b c = 0, lo que demuestra que b = c. Se cumple pues la propiedad cancelativa siguiente

Para todo

, con

Propiedades de Orden [editar]

Propiedad reflexiva del orden [editar]

aa

Propiedad antisimtrica del orden [editar]

Si a b y b a, entonces a = b.

Propiedad transitiva del orden [editar]

Si a < b y b < c, entonces a < c.

Compatibilidad del orden con las operaciones [editar]

Si a b entonces a+c b+c,

para todo c .

y si c 0, con a b entonces a c b c

Texto de titular [editar]

Propiedad o axioma de la buena ordenacin [editar]

Sea S un subconjunto no vaco de , acotado inferiormente, entonces S tiene primer elemento.

Este axioma indica que el conjuntoS tiene un nfimo y un supremo, lo que quiere decir es que S del conjunto de cotas superiores y cotas inferiores tiene un elemento menor de las cotas superiores llamado supremo que a su vez es mayor que todos los elementos del conjunto S.

Historia [editar]

Los nmeros histricos encontraron por primera vez una aplicacin en los balances contables. A veces cuando la cantidad adeudada o pasivo, superaba a la cantidad poseda o activo, se deca que el banquero estaba en "nmeros rojos". Esta expresin vena del hecho que lo que hoy llamamos nmeros negativos se representaban escritos en tinta roja as: "30" poda representar un balance positivo de 30 sueldos, mientras que "3" escrito con tinta roja poda representar, 3 sueldos, es decir, una deuda neta de 3 sueldos. El nombre de enteros se justifica porque estos nmeros ya positivos o negativos, siempre representaban idealmente una cantidad de unidades no divididas (debidas o posedas pero siempre cantidades indivisibles). Tal vez por el hecho de que los nmeros negativos podan ser representados como naturales, aunque escritos con tinta de color diferente, histricamente fueron rechazados como entidades "no existentes" realmente, sino slo como artificios contables. 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 [cita requerida] .

Vase tambin [editar]

Matemtica Nmero

Obtenido de "http://es.wikipedia.org/wiki/Nmero_entero" Categoras: Teora de nmeros | Matemtica elemental

) N = Conjunto de los Nmeros Naturales N = { 1, 2, 3, 4, 5, 6, 7,.......} El conjunto de los Nmeros Naturales surgi de la necesidad de contar, lo cual se manifiesta en el ser humano desde sus inicios.

Este conjunto se caracteriza porque: Tiene un nmero infinito de elementos Cada elemento tiene un sucesor y todos, excepto el 1, un antecesor. El sucesor de un nmero natural se obtiene sumando uno (+1); el antecesor se obtiene restando uno (-1). 2) N* = N 0 = Conjunto de los Nmeros Cardinales

N 0 = { 0, 1, 2, 3, 4, 5, 6,.....} Al Conjunto de los Nmeros Naturales se le agreg el 0 (cero) y se forma el Conjunto de los Nmeros Cardinales. 3) Z = Conjunto de los Nmeros Enteros Z = { ..... 3, -2, -1, 0, 1, 2, 3,...}

El Conjunto de los Nmeros Enteros surge de la necesidad de dar solucin general a la sustraccin, pues cuando el sustraendo es mayor que el minuendo, esta sustraccin no tiene solucin en los Conjuntos Naturales y Cardinales (por ejemplo: 5 20 = ?). Debido a esto, la recta numrica se extiende hacia la izquierda, de modo que a cada punto que representa un nmero natural le corresponda un punto simtrico, situado a la izquierda del cero. Punto simtrico es aquel que est ubicado a igual distancia del cero (uno a la derecha y el otro a la izquierda de l). Z = N* U Conjunto de los Nmeros Enteros negativos Z = Tiene 3 Subconjuntos: Enteros Negativos: Z Enteros Positivos: Z

Enteros Positivos y el Cero: Z

Por lo tanto, el Conjunto de los Nmeros Enteros es la unin de los tres subconjuntos mencionados. Z = Z U {0} U Z
+

4) Q = Conjunto de los Nmeros Racionales Q = {....- , - , - , 0, , , ,.....} El conjunto de los Nmeros Racionales se cre debido a las limitaciones de clculo que se presentaban en el conjunto de los Nmeros Naturales, Nmeros Cardinales y Nmeros Enteros. Por ejemplo, slo se puede dividir en el conjunto de los Nmeros Enteros si y slo si el dividendo es mltiplo, distinto de cero, del divisor. Para solucionar esta dificultad, se cre este

conjunto, el cual est formado por todos los nmeros de la forma a / b. Esta fraccin en la cual el numerador es a, es un nmero entero y el denominador b, es un nmero entero distinto de cero. El conjunto de los Nmeros Racionales (Q ) se ha construido a partir del conjunto de los Nmeros Enteros (Z). Se expresa por comprensin como: Q = { a /b tal que a y b Z; y b 0}

Este conjunto se representa grficamente, dividiendo cada intervalo de una recta numrica en espacios iguales, que representen nmeros enteros. Cada una de estas subdivisiones representa una fraccin con denominador igual al nmero de partes de la subdivisin. Cada fraccin es un nmero racional y cada nmero racional consta de infinitas fracciones equivalentes. 5) I = Q* = Conjunto de Nmeros Irracionales I = Conjunto de Nmeros Decimales Infinitos no Peridicos

Este conjunto surgi de la necesidad de reunir a ciertos nmeros que no pertenecen a los conjuntos anteriores; entre ellos se pueden citar a las races inexactas, el nmero Pi, etc. A l pertenecen todos los nmeros decimales infinitos puros, es decir aquellos nmeros que no pueden transformarse en una fraccin. No deben confundirse con los nmeros racionales, porque stos son nmeros decimales finitos, infinitos peridicos e infinitos semiperidicos que s pueden transformarse en una fraccin. Ejemplos: 1,4142135.... 0,10200300004000005