En matemáticas , un número racional es un número 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] Por ejemplo, −3/7 es un número racional, al igual que todo entero (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 números racionales generalmente se indica con una Q en negrita (o negrita en la pizarra , Unicode 𝐐 / ℚ); [4] [5] Así fue denotado en 1895 por Giuseppe Peano después de quoziente , " cociente " en italiano .
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:
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 completando , 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 racional puede 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 sus 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
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 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
- si y solo si
Si ambas fracciones están en forma canónica, entonces:
- si y solo si y
Ordenando
Si ambos denominadores son positivos (particularmente si ambas fracciones están en forma canónica):
- si y solo si
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:
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 .
Sustracción
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:
donde el resultado puede ser una fracción reducible, incluso si ambas fracciones originales están en forma canónica,.
Inverso
Todo número racional a / b tiene un inverso aditivo , a menudo llamado su opuesto ,
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 ,
Si a / b está en forma canónica, entonces la forma canónica de su recíproco es o , dependiendo del signo de a .
División
Si b , c , y d son distintos de cero, la regla de la división es
Entonces, dividir a / b por c / d equivale a multiplicar a / b por el recíproco de c / d :
Exponenciación a potencia entera
Si n es un número entero no negativo, entonces
El resultado está en forma canónica si lo mismo es cierto para a / b . En particular,
Si a ≠ 0 , entonces
Si a / b está en forma canónica, la forma canónica del resultado essi a > 0 o n es par. De lo contrario, la forma canónica del resultado es
Representación de fracción continua
Una fracción continua finita es una expresión como
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 :
- numeral mixto :
- decimal periódico usando un vinculum :
- decimal repetido usando paréntesis :
- fracción continua con tipografía tradicional:
- fracción continua en notación abreviada: [2; 1, 2]
- fracción egipcia :
- descomposición de la potencia primaria :
- notación de comillas : 3'6
son diferentes formas de representar el mismo valor racional.
Construcción formal
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
La suma y la multiplicación se pueden definir mediante las siguientes reglas:
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 denotaDos pares ( m 1 , n 1 ) y ( m 2 , n 2 ) pertenecen a la misma clase de equivalencia (es decir, son equivalentes) si y solo si esto significa que si y solo
Cada clase de equivalencia puede estar representado por un número infinito de pares, ya que
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.
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
Propiedades
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
(dónde son positivos), tenemos
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 el único 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
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 n 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
- ^ a b 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.
- ^ 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
- ^ 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
- ^ "Compendio de símbolos matemáticos" . Bóveda de matemáticas . 2020-03-01 . Consultado el 11 de agosto de 2020 .
- ^ Despierta, Margaret. "Símbolos matemáticos" . Consultado el 1 de abril de 2015 .
- ^ "Número racional" . Enciclopedia Británica . Consultado el 11 de agosto de 2020 .
- ^ Weisstein, Eric W. "Número racional" . mathworld.wolfram.com . Consultado el 11 de agosto de 2020 .
- ^ 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.
- ^ Diccionario de inglés de Oxford (2ª ed.). Prensa de la Universidad de Oxford. 1989.Entrada relación , n. , sentido 2.a.
- ^ Diccionario de inglés de Oxford (2ª ed.). Prensa de la Universidad de Oxford. 1989.Entrada racional , a. (adv.) y n. 1 , sentido 5.a.
- ^ Diccionario de inglés de Oxford (2ª ed.). Prensa de la Universidad de Oxford. 1989.Entrada irracional , a. y n. , sentido 3.
- ^ Shor, Peter (9 de mayo de 2017). "Viene racional de la relación o cociente provienen de racional" . Stack Exchange . Consultado el 19 de marzo de 2021 .
- ^ 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 .
- ^ Kramer, Edna (1983). La naturaleza y el crecimiento de las matemáticas modernas . Prensa de la Universidad de Princeton. pag. 28.
- ^ Sūgakkai, Nihon (1993). Diccionario enciclopédico de matemáticas, volumen 1 . Londres, Inglaterra: MIT Press. pag. 578. ISBN 0-2625-9020-4.
- ^ Bourbaki, N. (2003). Álgebra II: Capítulos 4 - 7 . Springer Science & Business Media. pag. A.VII.5.
enlaces externos
- "Número racional" , Enciclopedia de matemáticas , EMS Press , 2001 [1994]
- "Número racional" de MathWorld: un recurso web de Wolfram