Diferencia entre revisiones de «Número entero»
Contenido eliminado Contenido añadido
Página reemplazada por « yesimar andreina ortix gonzales si eres puta coño de tu madre ija de perra». |
|||
Línea 1:
Los '''números enteros''' son una generalización del conjunto de [[número natural|números naturales]] que incluye números enteros negativos (resultados de restar a un número natural otro mayor), además del cero. El hecho de que un número sea entero, significa que no tiene parte decimal.
Los números enteros negativos pueden aplicarse en diversos contextos, como la representación de profundidades bajo el nivel del mar, temperaturas bajo cero, o deudas, entre otros.
:<math>
\begin{array}{ll}
\mathbb{C} & \mbox{Complejos}
\begin{cases}
\mathbb{R} & \mbox{Reales}
\begin{cases}
\mathbb{Q} & \mbox{Racionales}
\begin{cases}
\mathbb{Z} & \mbox{Enteros}
\begin{cases}
\mathbb{N} & \mbox{Naturales} \\
\boldsymbol{0} & \mbox{Cero} \\
& \mbox{Enteros negativos}
\end{cases}\\
& \mbox{Fraccionarios}
\end{cases}\\
& \mbox{Irracionales}
\end{cases}\\
& \mbox{Imaginarios}
\end{cases}
\end{array}
</math>
== Historia ==
Los números enteros positivos y negativos, son el resultado natural de las operaciones [[suma]] y [[resta]]. Su empleo, aunque con diversas notaciones, se remonta a la antigüedad.
El nombre de enteros se justifica porque estos números ya positivos o negativos, siempre representaban una cantidad de unidades no divisibles (por ejemplo, personas).
No fue sino hasta el siglo XVII que tuvieron aceptación en trabajos científicos europeos, aunque matemáticos italianos del renacimiento como Tartaglia y Cardano los hubiesen ya advertido en sus trabajos acerca de solución de ecuaciones de tercer grado. Sin embargo, la regla de los signos ya era conocida previamente por los matemáticos de la India {{cita requerida}}.
;Aplicación en contabilidad
Encuentran aplicación en los balances contables. A veces, cuando la cantidad adeudada o pasivo, superaba a la cantidad poseída o activo, se decía que el banquero estaba en "números rojos". Esta expresión venía del hecho que lo que hoy llamamos números negativos se representaban escritos en tinta roja así: "30" podía representar un balance positivo de 30 sueldos, mientras que "3" escrito con tinta roja podía representar, 3 sueldos, es decir, una deuda neta de 3 sueldos.
== Estructura de los números enteros ==
Los enteros con la [[adición]] y la [[multiplicación]] forman una estructura algebraica llamada [[anillo (matemáticas)|anillo]]. Pueden ser considerados una extensión de los [[Número natural|números naturales]] y un [[subconjunto]] de los números [[Número racional|racionales]] (fracciones). Los números enteros son [[subconjunto]] de los [[números racionales]] o fracciones, puesto que cada número entero puede ser considerado como una fracción cuyo denominador es el número uno.
Los números enteros pueden ser sumados y/o restados, multiplicados y comparados. Si la división es exacta, también pueden dividirse dentro del mismo conjunto de los enteros. La razón principal para introducir los números negativos sobre los números naturales es la posibilidad de resolver ecuaciones del tipo:
:<math>a+x=b</math>
para la incógnita x.
Matemáticamente, el conjunto de los números enteros con las operaciones de suma y multiplicación, <math>(\mathbb Z,+,\cdot)</math> constituye un [[anillo (matemática)|anillo]] conmutativo y unitario. Por otro lado, <math>(\mathbb{Z}, \leq)</math>, donde <math>\leq</math> es el orden usual sobre <math>\mathbb{Z}</math>, es un [[Orden total|conjunto completamente ordenado]] sin cota superior o inferior: los enteros no tienen principio ni fin. El conjunto de los números enteros se representa mediante <math>\mathbb{Z}</math> (el origen del uso de Z es el alemán ''Zahlen'' 'números').
== Construcción formal de los enteros a partir los naturales ==
Un número entero negativo puede ser definido mediante la diferencia de dos números naturales. Por ejemplo <math>-3=5-8</math>, de donde puede asociarse el número <math>-3</math> con el par ordenado <math>(5,8)</math> de números naturales. Sin embargo, debido a que <math>(4,7)</math> y una infinidad más de pares ordenados dan como resultado <math>-3</math> al restar sus componentes, no puede decirse simplemente que <math>-3=(5,8)</math>. Lo que puede hacerse, es incluir todos los pares ordenados de números naturales, que dan como resultado <math>-3</math> al restar sus componentes, dentro de un solo conjunto, o, más exactamente, dentro de una clase de equivalencia. Para ello, aprovechamos el que dos pares ordenados <math>(a,b)</math> y <math>(c,d)</math> puedan ser asociados al mismo número entero si:<br />
{{Ecuación|<math>~a-b=c-d</math>.|1}}
El único problema es que la ecuación {{Eqnref|1}} no está definida en <math>\mathbb{N}</math> cuando <math>a<b</math>. Pero esto se remedia fácilmente, al notar que<br />
{{Ecuación2|izq=<math>~a-b=c-d</math> | med=equivale a | der=<math>~a+d=b+c</math>}}
Ciertamente <math>a+b\in\mathbb{N}</math> para cualesquiera <math>a,b\in\mathbb{N}</math>, de tal manera que puede definirse una [[Relación matemática|relación]] <math>\sim</math> sobre <math>\mathbb{N}\times\mathbb{N}</math> mediante:<br />
{{Ecuación2| izq=<math>(a,b)\sim (c,d)\quad</math> | med=si y solo si | der=<math>~a+d=b+c</math>}}
La relación <math>\sim</math> es una [[relación de equivalencia]] que produce en <math>\mathbb{N}\times\mathbb{N}</math> una [[Partición (matemática)|partición]] en [[Clase de equivalencia|clases de equivalencia]], cada una de las cuales puede ser asociada a un único número entero y viceversa. Por ejemplo
:::<math>~[(4,7)]=[(2,5)]=[(5,8)]=[(1,4)]=-3</math>
Si admitimos el cero como número natural, podemos definir:
::<math>\begin{cases} ~[(n,0)]=n \\ ~[(0,n)]=-n \end{cases}</math> | info=para todo <math>n\in\mathbb{N}</math>
Si no se acepta el cero como número natural, y se parte, en cambio, del 1, se define entonces<br />
::<math>\begin{cases} ~[(n+1,1)]=n \\ ~[(1,n+1)]=-n \end{cases}</math> | info=para todo <math>n\in\mathbb{N}</math>
Luego el [[cero]] puede definirse como
::<math>~0=[(n,n)]</math> | info=para todo <math>n\in \mathbb{N}</math>
El escoger <math>(n,0)</math> y <math>(0,n)</math> (o <math>(n+1,1)</math> y <math>(1,n+1)</math> para cuando no se acepta <math>0\in\mathbb{N}</math>), para las definiciones anteriores es una decisión completamente arbitraria que toma en cuenta la sencillez de estos pares ordenados. Nótese que, de cualquier forma,
::<math>\begin{cases} ~[(n+m,m)]=n \\ ~[(m,n+m)]=-n \end{cases}</math> | info=para todo <math>n\in\mathbb{N}</math>
Se define pues el conjunto de los números enteros como el conjunto:
{{Ecuación |<math> \mathbb{Z}=\{[(a,b)]_{\sim}\mid (a,b)\in\mathbb{N}\times \mathbb{N}\}</math>|2}}
de todas las clases de equivalencia producidas por la relación <math>\sim</math> sobre el [[producto cartesiano]] <math>\mathbb{N}\times\mathbb{N}</math>. Esto es, <math>\mathbb{Z}</math> es el [[conjunto cociente]]:
{{Ecuación |<math>\mathbb{Z}=\mathbb{N}\times\mathbb{N}/\sim</math>. |3}}
== Definición de adición y multiplicación sobre números enteros ==
Se define la adición (<math>+</math>) sobre <math>\mathbb{Z}</math> como sigue:
::<math>~[(a,b)]+[(c,d)]=[(a+c\ ,\ b+d)]</math> | info=para todo <math>a,b,c,d \in \mathbb{N}</math>
teniendo previamente definida la adición sobre <math>\mathbb{N}</math>. La definición anterior no depende de los representantes <math>a,b,c,d \,</math> escogidos puesto que, por tanto cualesquiera pares iniciales escogidos conducen al mismo resultado:
:::<math>(a-b)+(c-d)=(a+c)-(b+d) \,</math>
La multiplicación (<math>\cdot</math>) sobre <math>\mathbb{Z}</math> se define como sigue:
::<math>~[(a,b)]\cdot[(c,d)]=[(ac+bd\ ,\ ad+bc)]</math> | info=para todo <math>n\in \mathbb{N}</math>
teniendo previamente definida la multiplicación sobre <math>\mathbb{N}</math>. La definición anterior está correctamente definida debido a que:
:::<math>(a-b)(c-d)=(ac+bd)-(ad+bc) \,</math>
== Propiedades de los números enteros ==
=== Propiedades de clausura ===
Si <math>a,b\in\mathbb{Z}</math>, existen <math>(m,n),(p,q)\in\mathbb{N}\times\mathbb{N}</math> tales que:
:::<math>a=[(m,n)] \qquad b=[(p,q)] \,</math>
y, de esto,
:::<math>a+b=[(m,n)]+[(p,q)]=[(m+p\ ,\ n+q)].</math>
De la clausura de la adición sobre <math>\mathbb{N}</math>, se sigue, por definición, que<br />
:::<math>a+b\in\mathbb{Z}</math>
Se tiene que la adición sobre el conjunto de los números enteros verifica la propiedad
*Para cualesquiera <math>a,b\in\mathbb{Z},\qquad a+b\in\mathbb{Z}</math>
Lo mismo cumple la multiplicación sobre <math>\mathbb{Z}</math>:
*Para cualesquiera <math>a,b\in\mathbb{Z},\qquad a\cdot b\in\mathbb{Z}</math>
=== Propiedades asociativas ===
Las propiedades asociativas de la adición y la multiplicación sobre <math>\mathbb{Z}</math> se siguen fácilmente de las definiciones de estas operaciones. Estas propiedades son:
*Para cualesquiera <math>a,b,c\in\mathbb{Z},\qquad a+(b+c)=(a+b)+c</math>
y
*Para cualesquiera <math>a,b,c\in\mathbb{Z},\qquad a\cdot(b\cdot c)=(a\cdot b)\cdot c</math>
=== Propiedades conmutativas ===
Puesto que <center><math>~[(m,n)]+[(p,q)]=[(m+p\ ,\ n+q)]=[(p+m\ ,\ q+n)]=[(p,q)]+[(m,n)]</math>,</center>
para cualesquiera <math>m,n,p,q\in \mathbb{N}</math>, tenemos que
*Para cualesquiera <math>a,b\in\mathbb{Z},\quad a+b=b+a.</math>
Esta es la propiedad conmutativa de la adición sobre <math>\mathbb{Z}</math>. Esta propiedad la tiene también la multiplicación:
*Para cualesquiera <math>a,b\in\mathbb{Z},\quad a\cdot b=b\cdot a.</math>
=== Propiedad distributiva ===
Sean los enteros <math>[(a,b)]</math>, <math>[(c,d)]</math> y <math>[(m,n)]</math>. Tenemos
{{Eqnarray
|A1=<math>[(m,n)]\cdot \left( [(a,b)]+[(c,d)]\right)</math>
|A2=<math>[(m,n)]\cdot [(a+c\ ,\ b+d)]</math>
|B2=<math>\left[\left(m(a+c)+m(b+d)\ ,\ n(a+c)+n(b+d)\right)\right]</math>
|C2=<math>\left[\left((ma+mb)+(mc+md)\ , \ (na+nb)+(nc+nd)\right)\right]</math>
|D2=<math>[(m,n)]\cdot [(a,b)]+[(m,n)]\cdot [(c,d)]</math>.
}}
Por tanto se cumple la siguiente propiedad distributiva
*Para cualesquiera <math>m,a,b\in\mathbb{Z},\quad m(a+b)=ma+mb</math>
=== Existencia de elementos neutros ===
El cero, <math>0=[(n,n)]</math>, <math>n\in\mathbb{N}</math>, tiene la característica de que para todo entero <math>[(a,b)]</math>,
<center> <math>[(a,b)]+[(n,n)]=[(a+n\ ,\ b+n)],</math></center>
y como <math>a+(b+n)=b+(a+n)</math> sean cuales sean los números naturales <math>a,b,n,</math> tenemos <math>(a,b)\sim(a+n\ ,\ b+n)</math>, de donde <math>[(a,b)]=[(a+n\ ,\ b+n)]</math>, por lo que el cero es un elemento neutro para la adición sobre <math>\mathbb{Z}</math>. En
*<math>~a+0=a</math> para todo <math>a\in\mathbb{Z}</math>.términos más sencillos,
Se define <math>1\in\mathbb{Z}</math> como sigue:
<center> <math>1=[(1+n\ ,\ n)]</math>.</center>
Vemos que, para todo entero <math>[(a,b)]</math>,
<center> <math>[(a,b)]\cdot [(1+n\ ,\ n)]=[(a+an+bn\ ,\ an+b+bn)],</math></center>
y, puesto que <math>(a,b)\sim(a+an+bn\ ,\ an+b+bn)</math>, resulta que 1 es un elemento neutro para la multiplicación sobre <math>\mathbb{Z}</math>. Es decir,
*<math>a\cdot 1=a</math> para todo <math>a\in\mathbb{Z}</math>pt.
a+b _ c
=== Existencia de elemento opuesto ===
*Para cada número <math>a \,</math> existe un elemento opuesto que denotaremos por <math>\bar{a} \,</math> tal que:
:::<math>a+\bar{a} =\bar{a}+a = 0</math>
Para demostrar que existe el elemento opuesto podemos constrirlo explícitamente como <math>\bar{a} = [(0,a)] = -a</math>, que cumple obviamente la propiedad anterior:
:::<math>\begin{cases} {a+\bar{a}=[(a,0)]+[(0,a)] = [(a,a)] = 0} \\
{\bar{a}+a=[(0,a)]+[(a,0)] = [(a,a)] = 0} \end{cases}</math>
==== Unicidad del elemento opuesto ====
Además este opuesto es único. Esto significa que para cada entero existe un único número tal que sumado con él el resultado es cero. Para verlo podemos suponer que existen dos opuestos <math>\bar{a}</math> y <math>\bar\bar{a}</math>, entonces sucede que:
:::<math>\begin{cases} {a+\bar{a}=0} \\
{a+\bar\bar{a} = 0} \end{cases} \Rightarrow {\bar{a}+(a+\bar{a})=\bar{a}+(a+\bar\bar{a})} \Rightarrow {(\bar{a}+a)+\bar{a}=(\bar{a}+a)+\bar\bar{a}} \Rightarrow {\bar{a}=\bar\bar{a}}
</math>
En esta prueba de que el elemento opuesto hemos usado la propiedad asociativa y la unicidad del elemento neutro.
=== Propiedades cancelativas ===
Sean <math>a,b,c\in\mathbb{Z}</math> y <math>a+b=a+c</math>. Tenemos que gracias a la existencia del elemento opuesto:
:::<math>a+b=a+c\quad \Rightarrow\quad -a+a+b=-a+a+c\quad \Rightarrow\quad 0+b=0+c\quad \Rightarrow\quad b=c</math>
Por tanto, se cumple la siguiente propiedad cancelativa
*Para todo <math>a,b,c\in\mathbb{Z},\quad a+b=a+c\quad \Rightarrow\quad b=c</math>.
Para la multiplicación también se cumple la propiedad cancelativa, aunque para demostrar esto debe utilizarse un método distinto, ya que no todo elemento de <math>\mathbb{Z}</math> es una unidad (esto es, no todo entero tiene un inverso), y por tanto <math>\mathbb{Z}</math>, con su multiplicación, no es un [[anillo de división]]. La prueba que sigue de la propiedad cancelativa para la multiplicación se basa en el hecho de que <math>\mathbb{Z}</math> es un [[Dominio de integridad|dominio íntegro]]. Sean pues <math>a,b,c\in\mathbb{Z}</math>, y <math>ab=ac</math> con <math>a\neq 0</math>. Tenemos que <math>ab-ac=0</math>, y de la propiedad distributiva <math>a(b-c)=0</math>, o sea que <math>b-c=0</math>, lo que demuestra que <math>b=c</math>.
Se cumple pues la propiedad cancelativa siguiente:
*Para todo <math>a,b,c\in\mathbb{Z}</math>, con <math>a\neq 0,\quad ab=ac\quad \Rightarrow\quad b=c</math>.
=== Propiedades de Orden ===
*Si ''a'' = ''b'' Entonces ''b'' = ''a''
==== Propiedad [[relación reflexiva|reflexiva]] del orden ====
*''a'' = ''a''
==== Propiedad [[relación antisimétrica|antisimétrica]] del orden ====
*Si ''a'' ≤ ''b'' y ''b'' ≤ ''a'', entonces ''a'' = ''b''.
==== Propiedad [[relación transitiva|transitiva]] del orden ====
*Si ''a'' < ''b'' y ''b'' < ''c'', entonces ''a'' < ''c''.
==== Compatibilidad del orden con las operaciones ====
*Si ''a'' ≤ ''b'' entonces ''a''+''c'' ≤ ''b''+''c'',
para todo c ∈<math>\mathbb{Z}</math>.
* y si ''c'' ≥ 0, con ''a'' ≤ ''b'' entonces ''a'' ''c'' ≤ ''b'' ''c''
=== Propiedad o axioma de la buena ordenación ===
*Sea '''S''' un subconjunto no vacío de ℤ, acotado inferiormente, entonces '''S''' tiene primer elemento.
Este axioma indica que el conjunto '''S''' 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'''.
== Referencias ==
{{listaref}}
== Véase también ==
{|
| style="border-right:5px solid SeaGreen" | [[Número complejo]]
|
{|
|
{|
| style="border-right:5px solid SeaGreen" | [[Número real]]
|
{|
|
{|
| style="border-right:5px solid SeaGreen" | [[Número racional]]
|
{|
|
{|
| style="border-right:5px solid SeaGreen" | [[Número entero]]
|
{|
|
{|
| style="border-right:5px solid SeaGreen" | [[Número natural]]
|
{|
| [[Número primo]]
|-
| [[Números compuestos]]
|}
|}
|-
| [[Entero negativo]]
|}
|}
|-
|
{|
| style="border-right:5px solid SeaGreen" | [[Número fraccionario]]
|
{|
| [[Fracción propia]]
|-
| [[Fracción impropia]]
|}
|}
|}
|}
|-
|
{|
| style="border-right:5px solid SeaGreen" | [[Número irracional]]
|
{|
| [[Número algebraico]]
|-
| [[Número trascendente]]
|}
|}
|}
|}
|-
| [[Número imaginario]]
|}
|}
{{ORDENAR:Numero entero}}
[[Categoría:Teoría de números]]
[[Categoría:Matemática elemental]]
[[af:Heelgetal]]
[[an:Numero entero]]
[[ar:عدد صحيح]]
[[az:Tam ədədlər]]
[[bat-smg:Svēkasės skaitlios]]
[[be:Цэлы лік]]
[[bg:Цяло число]]
[[bn:পূর্ণ সংখ্যা]]
[[br:Kevan daveel]]
[[bs:Cijeli broj]]
[[ca:Nombre enter]]
[[ckb:ژمارەی تەواو]]
[[cs:Celé číslo]]
[[cv:Тулли хисеп]]
[[cy:Cyfanrif]]
[[da:Heltal]]
[[de:Ganze Zahl]]
[[el:Ακέραιος αριθμός]]
[[en:Integer]]
[[eo:Entjero]]
[[et:Täisarv]]
[[eu:Zenbaki oso]]
[[fa:اعداد صحیح]]
[[fi:Kokonaisluku]]
[[fiu-vro:Terveharv]]
[[fo:Heiltal]]
[[fr:Entier relatif]]
[[gan:整數]]
[[gl:Número enteiro]]
[[haw:Helu piha]]
[[he:מספר שלם]]
[[hi:पूर्ण संख्या]]
[[hr:Cijeli broj]]
[[hsb:Cyła ličba]]
[[hu:Egész számok]]
[[ia:Numero integre]]
[[id:Bilangan bulat]]
[[io:Integro]]
[[is:Heiltölur]]
[[it:Numero intero]]
[[ja:整数]]
[[ko:정수]]
[[la:Numerus integer]]
[[lmo:Nümar intreegh]]
[[lo:ຈຳນວນຖ້ວນ]]
[[lt:Sveikasis skaičius]]
[[lv:Vesels skaitlis]]
[[mk:Цел број]]
[[ml:പൂര്ണ്ണസംഖ്യ]]
[[mn:Бүхэл тоо]]
[[mr:पूर्ण संख्या]]
[[ms:Integer]]
[[nds:Hele Tall]]
[[nl:Geheel getal]]
[[nn:Heiltal]]
[[no:Heltall]]
[[pl:Liczby całkowite]]
[[pms:Nùmer antregh]]
[[pt:Número inteiro]]
[[ro:Număr întreg]]
[[ru:Целое число]]
[[scn:Nùmmuru rilativu]]
[[sh:Cijeli broj]]
[[simple:Integer]]
[[sk:Celé číslo]]
[[sl:Celo število]]
[[sq:Numrat e plotë]]
[[sr:Цео број]]
[[sv:Heltal]]
[[ta:முழு எண்]]
[[th:จำนวนเต็ม]]
[[tl:Buumbilang]]
[[tr:Tam sayılar]]
[[uk:Цілі числа]]
[[ur:صحیح عدد]]
[[vi:Số nguyên]]
[[vls:Gehêel getal]]
[[yi:גאנצע צאל]]
[[yo:Nọ́mbà odidi]]
[[zh:整数]]
[[zh-classical:整數]]
[[zh-min-nan:Chéng-sò͘]]
[[zh-yue:整數]]
| |||