Número racional

Cociente de dos enteros

"Racionales" vuelve a dirigir aquí. Para otros usos, consulte Racional (desambiguación) .

Este artículo necesita citas adicionales para su verificación . Por favor, ayuda a mejorar este artículo mediante la adición de citas de fuentes confiables . El material no obtenido puede ser cuestionado y eliminado. Buscar fuentes:  "Número racional"  -  noticias  · periódicos  · libros  · académico  · JSTOR ( septiembre de 2013 ) ( Aprenda cómo y cuándo eliminar este mensaje de plantilla )

Los números racionales (ℚ) están incluidos en los números reales (ℝ), mientras que ellos mismos incluyen los números enteros (ℤ), que a su vez incluyen los números naturales (ℕ)

En matemáticas , un número racional es un número como −3/7 que se puede expresar como el cociente o fracción p / q de dos números enteros , un numerador py un denominador q distinto de cero . ^[1] Todo entero es un número racional: por ejemplo, 5  =  5/1 . El conjunto de todos los números racionales, también conocido como " los racionales ", ^[2] el campo de los racionales ^[3] o elEl campo de los números racionales generalmente se indica con una Q en negrita (o negrita de pizarra , Unicode 𝐐 / ℚ); ^{[4] [5]} Así fue denotado en 1895 por Giuseppe Peano después de quoziente , " cociente " en italiano .${\displaystyle \mathbb {Q} }$

La expansión decimal de un número racional termina después de un número finito de dígitos (ejemplo: 3/4  =  0,75 ), o finalmente comienza a repetir la misma secuencia finita de dígitos una y otra vez (ejemplo: 9/44  =  0,20454545 ... ). ^[6] A la inversa, cualquier decimal periódico o final representa un número racional. Estas afirmaciones son verdaderas en base 10 y en todas las demás bases enteras (por ejemplo, binario o hexadecimal ).

Un número real que no es racional se llama irracional . ^[7] Los números irracionales incluyen √ 2 , π , e y φ . La expansión decimal de un número irracional continúa sin repetirse. Dado que el conjunto de números racionales es contable y el conjunto de números reales es incontable , casi todos los números reales son irracionales. ^[1]

Los números racionales se pueden definir formalmente como clases de equivalencia de pares de enteros ( p , q ) con q ≠ 0 , utilizando la relación de equivalencia definida como sigue:

${\displaystyle \left(p_{1},q_{1}\right)\sim \left(p_{2},q_{2}\right)\iff p_{1}q_{2}=p_{2}q_{1}.}$

La fracción p / q denota entonces la clase de equivalencia de ( p , q ) .

Los números racionales junto con la suma y la multiplicación forman un campo que contiene los números enteros y está contenido en cualquier campo que contenga los números enteros. En otras palabras, el campo de números racionales es un campo primo , y un campo tiene la característica cero si y solo si contiene los números racionales como subcampo. Las extensiones finitas de Q se denominan campos numéricos algebraicos , y el cierre algebraico de Q es el campo de los números algebraicos . ^[8]

En el análisis matemático , los números racionales forman un subconjunto denso de los números reales. Los números reales se pueden construir a partir de los números racionales completándolos , usando secuencias de Cauchy , cortes de Dedekind o decimales infinitos (para más información, consulte Construcción de los números reales ).

Terminología

El término racional en referencia al conjunto Q se refiere al hecho de que un número racional representa una razón de dos enteros. En matemáticas, "racional" se usa a menudo como un sustantivo que abrevia "número racional". El adjetivo racional a veces significa que los coeficientes son números racionales. Por ejemplo, un punto racional es un punto con coordenadas racionales (es decir, un punto cuyas coordenadas son números racionales); una matriz racional es una matriz de números racionales; un polinomio racionalpuede ser un polinomio con coeficientes racionales, aunque generalmente se prefiere el término "polinomio sobre los racionales", para evitar la confusión entre " expresión racional " y " función racional " (un polinomio es una expresión racional y define una función racional, incluso si su los coeficientes no son números racionales). Sin embargo, una curva racional no es una curva definida sobre las racionales, sino una curva que puede parametrizarse mediante funciones racionales.

Etimología

Aunque hoy en día los números racionales se definen en términos de razones , el término racional no es una derivación de razón . Por el contrario, es razón que se deriva de racional : el primer uso de razón con su significado moderno fue atestiguado en inglés alrededor de 1660, ^[9] mientras que el uso de racional para calificar números apareció casi un siglo antes, en 1570. ^{[ 10]} Este significado de racional proviene del significado matemático de irracional, que se utilizó por primera vez en 1551, y se utilizó en "traducciones de Euclides (siguiendo su peculiar uso de ἄλογος)". ^{[11] [12]}

Esta historia inusual se originó en el hecho de que los antiguos griegos "evitaron la herejía al prohibirse pensar en esas longitudes [irracionales] como números". ^[13] Así que tales longitudes eran irracionales , en el sentido de ilógicas , es decir, "no se puede hablar de ellas" (ἄλογος en griego). ^[14]

Esta etimología es similar a la de los números imaginarios y los números reales .

Aritmética

Ver también: Fracción (matemáticas) § Aritmética con fracciones

Fracción irreducible

Todo número racional puede expresarse de manera única como una fracción irreducible a / b , donde a y b son enteros coprimos y b > 0 . Esto a menudo se llama la forma canónica del número racional.

A partir de un número racional un / b , su forma canónica puede obtenerse dividiendo una y b por su máximo común divisor , y, si b <0 , cambiando el signo del numerador resultante y el denominador.

Incrustación de números enteros

Cualquier número entero n se puede expresar como el número racional n / 1 , que es su forma canónica como número racional.

Igualdad

${\displaystyle {\frac {a}{b}}={\frac {c}{d}}}$ si y solo si ${\displaystyle ad=bc}$

Si ambas fracciones están en forma canónica, entonces:

${\displaystyle {\frac {a}{b}}={\frac {c}{d}}}$si y solo si y${\displaystyle a=c}$${\displaystyle b=d}$

Pedido

Si ambos denominadores son positivos (particularmente si ambas fracciones están en forma canónica):

${\displaystyle {\frac {a}{b}}<{\frac {c}{d}}}$ si y solo si ${\displaystyle ad<bc.}$

Por otro lado, si cualquiera de los denominadores es negativo, entonces cada fracción con un denominador negativo debe convertirse primero en una forma equivalente con un denominador positivo, cambiando los signos tanto de su numerador como de su denominador.

Adición

Se suman dos fracciones de la siguiente manera:

${\displaystyle {\frac {a}{b}}+{\frac {c}{d}}={\frac {ad+bc}{bd}}.}$

Si ambas fracciones están en forma canónica, el resultado es en forma canónica si y sólo si b y d son coprimos números enteros .

Resta

${\displaystyle {\frac {a}{b}}-{\frac {c}{d}}={\frac {ad-bc}{bd}}.}$

Si ambas fracciones están en forma canónica, el resultado es en forma canónica si y sólo si b y d son coprimos números enteros .

Multiplicación

La regla para la multiplicación es:

${\displaystyle {\frac {a}{b}}\cdot {\frac {c}{d}}={\frac {ac}{bd}}.}$

donde el resultado puede ser una fracción reducible, incluso si ambas fracciones originales están en forma canónica,.

Inversa

Todo número racional a / b tiene un inverso aditivo , a menudo llamado su opuesto ,

${\displaystyle -\left({\frac {a}{b}}\right)={\frac {-a}{b}}.}$

Si a / b está en forma canónica, lo mismo es cierto para su opuesto.

Un número racional distinto de cero a / b tiene un inverso multiplicativo , también llamado recíproco ,

${\displaystyle \left({\frac {a}{b}}\right)^{-1}={\frac {b}{a}}.}$

Si a / b está en forma canónica, entonces la forma canónica de su recíproco es o , dependiendo del signo de a .${\displaystyle b/a}$${\displaystyle -b/-\!a}$

División

Si b , c , y d son distintos de cero, la regla de la división es

${\displaystyle {\frac {\frac {a}{b}}{\frac {c}{d}}}={\frac {ad}{bc}}.}$

Entonces, dividir a / b por c / d equivale a multiplicar a / b por el recíproco de c / d :

${\displaystyle {\frac {ad}{bc}}={\frac {a}{b}}\cdot {\frac {d}{c}}.}$

Exponenciación a potencia entera

Si n es un número entero no negativo, entonces

${\displaystyle \left({\frac {a}{b}}\right)^{n}={\frac {a^{n}}{b^{n}}}.}$

El resultado está en forma canónica si lo mismo es cierto para a / b . En particular,

${\displaystyle \left({\frac {a}{b}}\right)^{0}=1.}$

Si a ≠ 0 , entonces

${\displaystyle \left({\frac {a}{b}}\right)^{-n}={\frac {b^{n}}{a^{n}}}.}$

Si a / b está en forma canónica, la forma canónica del resultado es si a > 0 o n es par. De lo contrario, la forma canónica del resultado es${\displaystyle {\frac {b^{n}}{a^{n}}}}$${\displaystyle {\frac {-b^{n}}{-a^{n}}}.}$

Representación de fracción continua

Artículo principal: fracción continua

Una fracción continua finita es una expresión como

${\displaystyle a_{0}+{\cfrac {1}{a_{1}+{\cfrac {1}{a_{2}+{\cfrac {1}{\ddots +{\cfrac {1}{a_{n}}}}}}}}},}$

donde a _n son números enteros. Todo número racional a / b se puede representar como una fracción continua finita, cuyos coeficientes a _n se pueden determinar aplicando el algoritmo euclidiano a ( a , b ).

Otras representaciones

• fracción común :${\displaystyle {\frac {8}{3}}}$
• numeral mixto :${\displaystyle 2{\tfrac {2}{3}}}$
• decimal periódico usando un vinculum :${\displaystyle 2.{\overline {6}}}$
• decimal repetido usando paréntesis :${\displaystyle 2.(6)}$
• fracción continua con tipografía tradicional:${\displaystyle 2+{\cfrac {1}{1+{\cfrac {1}{2}}}}}$
• fracción continua en notación abreviada: [2; 1, 2]
• fracción egipcia :${\displaystyle 2+{\frac {1}{2}}+{\frac {1}{6}}}$
• descomposición de la potencia primaria :${\displaystyle 2^{3}\times 3^{-1}}$
• notación de comillas : 3'6

son diferentes formas de representar el mismo valor racional.

Construcción formal

Un diagrama que muestra una representación de las clases equivalentes de pares de números enteros.

Los números racionales pueden construirse como clases de equivalencia de pares ordenados de enteros .

Más precisamente, sea ( Z × ( Z \ {0})) el conjunto de los pares ( m , n ) de enteros como n ≠ 0 . Una relación de equivalencia se define en este conjunto por

${\displaystyle \left(m_{1},n_{1}\right)\sim \left(m_{2},n_{2}\right)\iff m_{1}n_{2}=m_{2}n_{1}.}$

La suma y la multiplicación se pueden definir mediante las siguientes reglas:

${\displaystyle \left(m_{1},n_{1}\right)+\left(m_{2},n_{2}\right)\equiv \left(m_{1}n_{2}+n_{1}m_{2},n_{1}n_{2}\right),}$

${\displaystyle \left(m_{1},n_{1}\right)\times \left(m_{2},n_{2}\right)\equiv \left(m_{1}m_{2},n_{1}n_{2}\right).}$

Esta relación de equivalencia es una relación de congruencia , lo que significa que es compatible con la suma y multiplicación definidas anteriormente; el conjunto de números racionales Q se define como el cociente establecido por esta relación de equivalencia, ( Z × ( Z \ {0})) / ~ , equipado con la suma y la multiplicación inducidas por las operaciones anteriores. (Esta construcción se puede realizar con cualquier dominio integral y produce su campo de fracciones ).

La clase de equivalencia de un par ( m , n ) se denota Dos pares ( m ₁ , n ₁ ) y ( m ₂ , n ₂ ) pertenecen a la misma clase de equivalencia (es decir, son equivalentes) si y solo si esto significa que si y solo${\displaystyle {\frac {m}{n}}.}$${\displaystyle m_{1}n_{2}=m_{2}n_{1}.}$${\displaystyle {\frac {m_{1}}{n_{1}}}={\frac {m_{2}}{n_{2}}}}$${\displaystyle m_{1}n_{2}=m_{2}n_{1}.}$

Cada clase de equivalencia puede estar representada por un número infinito de pares, ya que${\displaystyle {\frac {m}{n}}}$

${\displaystyle \cdots ={\frac {-2m}{-2n}}={\frac {-m}{-n}}={\frac {m}{n}}={\frac {2m}{2n}}=\cdots .}$

Cada clase de equivalencia contiene un elemento representativo canónico único . El representante canónico es el único par ( m , n ) en la clase de equivalencia de tal manera que m y n son primos entre sí , y n > 0 . Se llama la representación en los términos más bajos del número racional.

Los números enteros pueden considerarse números racionales que identifican el número entero n con el número racional.${\displaystyle {\frac {n}{1}}.}$

Se puede definir un orden total sobre los números racionales, que amplía el orden natural de los números enteros. Uno tiene si${\displaystyle {\frac {m_{1}}{n_{1}}}\leq {\frac {m_{2}}{n_{2}}}}$

${\displaystyle (m_{1}n_{2}\leq n_{1}m_{2}\quad {\text{if}}\quad n_{1}n_{2}>0)\quad {\text{or}}\quad (m_{1}n_{2}\geq n_{1}m_{2}\quad {\text{if}}\quad n_{1}n_{2}<0).}$

Propiedades

Un diagrama que ilustra la contabilidad de los racionales positivos.

El conjunto Q de todos los números racionales, junto con las operaciones de suma y multiplicación que se muestran arriba, forma un campo .

Q no tiene otro automorfismo de campo que el de la identidad.

Con el fin definido anteriormente, Q es un campo ordenado que no tiene subcampo distinto de sí mismo, y es el campo ordenado más pequeño, en el sentido de que cada cuerpo ordenado contiene un subcampo única isomorfo a Q .

Q es un campo principal , que es un campo que no tiene más subcampo que él mismo. ^[15] Los racionales son el campo más pequeño con característica cero. Cada cuerpo de característica cero contiene un subcampo única isomorfo a Q .

Q es el campo de las fracciones de la enteros Z . ^[16] El cierre algebraico de Q , es decir, el campo de raíces de polinomios racionales, es el campo de números algebraicos .

El conjunto de todos los números racionales es contable , mientras que el conjunto de todos los números reales (así como el conjunto de números irracionales) es incontable. Al ser contable, el conjunto de números racionales es un conjunto nulo , es decir, casi todos los números reales son irracionales, en el sentido de la medida de Lebesgue .

Los racionales son un conjunto densamente ordenado : entre dos racionales cualesquiera, hay otro y, por lo tanto, infinitos otros. Por ejemplo, para dos fracciones cualesquiera tales que

${\displaystyle {\frac {a}{b}}<{\frac {c}{d}}}$

(donde son positivos), tenemos${\displaystyle b,d}$

${\displaystyle {\frac {a}{b}}<{\frac {a+c}{b+d}}<{\frac {c}{d}}.}$

Cualquier conjunto totalmente ordenado que sea contable, denso (en el sentido anterior) y que no tenga el menor o el mayor elemento es un orden isomorfo a los números racionales.

Números reales y propiedades topológicas

Los racionales son un subconjunto denso de los números reales: cada número real tiene números racionales arbitrariamente cercanos a él. Una propiedad relacionada es que los números racionales son los únicos números con expansiones finitas como fracciones continuas regulares .

En virtud de su orden, los racionales llevan una topología de orden . Los números racionales, como subespacio de los números reales, también llevan una topología subespacial . Los números racionales forman un espacio métrico usando la métrica de diferencia absoluta d ( x , y ) = | x - y |, y esto produce una tercera topología de Q . Las tres topologías coinciden y convierten a los racionales en un campo topológico . Los números racionales son un ejemplo importante de un espacio que no es localmente compacto . Los racionales se caracterizan topológicamente como los únicos Espacio metrizable contable sin puntos aislados . El espacio también está totalmente desconectado . Los números racionales no forman un espacio métrico completo ; los números reales son la finalización de Q bajo la métrica d ( x , y ) = | x - y |, arriba.

p -números ádicos

Artículo principal: número p-adic

Además de la métrica de valor absoluto mencionada anteriormente, existen otras métricas que convierten Q en un campo topológico:

Sea p un número primo y para cualquier entero distinto de cero a , sea | a | _p = p ^{- n} , donde p ⁿ es la potencia más alta de p dividiendo a .

Además, establezca | 0 | _p = 0. Para cualquier número racional a / b , establecemos | a / b | _p = | a | _p / | b | _p .

Entonces d _p ( x , y ) = | x - y | _p define una métrica de Q .

El espacio métrico ( Q , d _p ) no está completo, y su finalización es el campo numérico p -ádico Q _p . El teorema de Ostrowski establece que cualquier valor absoluto no trivial en los números racionales Q es equivalente al valor absoluto real habitual o un valor absoluto p -ádico .

Ver también

• Racional diádico
• Punto flotante
• Círculos de Ford
• Racional gaussiano
• Altura ingenua: altura de un número racional en el término más bajo
• Teorema de niven
• Tipo de datos racional

Referencias

1. Rosen, Kenneth. Matemáticas discretas y sus aplicaciones (6ª ed.). Nueva York, NY: McGraw-Hill. págs. 105, 158-160. ISBN 978-0-07-288008-3.
2. Lass, Harry (2009). Elementos de matemáticas puras y aplicadas (edición ilustrada). Corporación de mensajería. pag. 382. ISBN 978-0-486-47186-0. Extracto de la página 382
3. Robinson, Julia (1996). Las obras completas de Julia Robinson . American Mathematical Soc. pag. 104. ISBN 978-0-8218-0575-6. Extracto de la página 104
4. "Compendio de símbolos matemáticos" . Bóveda de matemáticas . 2020-03-01 . Consultado el 11 de agosto de 2020 .
5. Despierta, Margaret. "Símbolos matemáticos" . Consultado el 1 de abril de 2015 .
6. "Número racional" . Enciclopedia Británica . Consultado el 11 de agosto de 2020 .
7. Weisstein, Eric W. "Número racional" . mathworld.wolfram.com . Consultado el 11 de agosto de 2020 .
8. Gilbert, Jimmie; Linda, Gilbert (2005). Elementos de álgebra moderna (6ª ed.). Belmont, CA: Thomson Brooks / Cole. págs. 243–244. ISBN 0-534-40264-X.
9. Diccionario de inglés de Oxford (2ª ed.). Prensa de la Universidad de Oxford. 1989.Entrada relación , n. , sentido 2.a.
10. Diccionario de inglés de Oxford (2ª ed.). Prensa de la Universidad de Oxford. 1989.Entrada racional , a. (adv.) y n. ¹ , sentido 5.a.
11. Diccionario de inglés de Oxford (2ª ed.). Prensa de la Universidad de Oxford. 1989.Entrada irracional , a. y n. , sentido 3.
12. Shor, Peter (9 de mayo de 2017). "¿Lo racional viene de la razón o la razón proviene de lo racional?" . Stack Exchange . Consultado el 19 de marzo de 2021 .
13. Coolman, Robert (29 de enero de 2016). "Cómo una superstición matemática stultified álgebra durante más de mil años" . Consultado el 20 de marzo de 2021 .
14. Kramer, Edna (1983). La naturaleza y el crecimiento de las matemáticas modernas . Prensa de la Universidad de Princeton. pag. 28.
15. Sūgakkai, Nihon (1993). Diccionario enciclopédico de matemáticas, volumen 1 . Londres, Inglaterra: MIT Press. pag. 578. ISBN 0-2625-9020-4.
16. Bourbaki, N. (2003). Álgebra II: Capítulos 4 - 7 . Springer Science & Business Media. pag. A.VII.5.

Enlaces externos

Wikimedia Commons tiene medios relacionados con los números racionales .

• "Número racional" , Enciclopedia de matemáticas , EMS Press , 2001 [1994]
• "Número racional" de MathWorld: un recurso web de Wolfram