Númberu racional

De Wikipedia
Saltar a navegación Saltar a la gueta
Representación gráfica de les fracciones que'l so divisor ye 4. Estos cuatro fracciones son númberos racionales.

Númberu racional ye tou númberu que puede representase como'l cociente de dos númberos enteros o, más precisamente, un enteru y un natural positivu;[1] esto ye, una fracción común con numberador y denominador distintu de cero. El términu racional» alude a una fracción o parte d'un tou. El conxuntu de los númberos racionales se denota por Q (o bien , en negrina de cayuela) que deriva de «cociente» (Quotient en dellos idiomes europeos). Esti conxuntu de númberos inclúi a los númberos enteros (), y ye un subconxuntu de los númberos reales ().

La escritura decimal d'un númberu racional ye, o bien un númberu decimal finito, o bien periódicu. Esto ye ciertu non solo pa númberos escritos en base 10 (sistema decimal); tamién lo ye en base binaria, hexadecimal o cualesquier otra base entera. Recíprocamente, tou númberu qu'almite una espansión finita o periódica (en cualquier base entera) ye un númberu racional.

Un númberu real que nun ye racional llámase númberu irracional; la espresión decimal de los númberos irracionales, a diferencia de los racionales, ye infinita aperiódica.[2]

En sentíu estrictu, númberu racional ye'l conxuntu de toles fracciones equivalentes a una dada; de toes elles, tómase como representante canónicu de dichu númberu racional a la fracción irreducible. Les fracciones equivalentes ente sigo –númberu racional– son una clase d'equivalencia, resultáu de l'aplicación d'una relación d'equivalencia sobre .

Historia[editar | editar la fonte]

Los exipcios calculaben el resolvimientu de problemes prácticos utilizando fracciones que los sos denominadores son enteros positivos; son los primeros númberos racionales utilizaos pa representar les partes d'un enteru», per mediu del conceutu de recíprocu d'un númberu enteru.[3]

Los matemáticos de la antigua Grecia consideraben que dos magnitud yeren conmensurables si yera posible atopar una tercera tal que los dos primeres fueren múltiplos de la postrera, esto ye, yera posible atopar una unidá común pa la que los dos magnitúes tuvieren una midida entera. El principiu pitagóricu de que tou númberu ye un cociente d'enteros, espresaba nesta forma que cualesquier dos magnitúes tienen de ser conmensurables, depués númberos racionales.[4]

Etimológicamente, el fechu de qu'estos númberos llámense racionales correspuende a que son la razón de dos númberos enteros, palabra que la so raigañu provien del llatín ratio,[5][6] y esta de la mesma del griegu λόγος (razón), que ye como llamaben los matemáticos de l'antigua Grecia a estos númberos.[7] La notación emplegada pa nomar el conxuntu de los númberos racionales provien de la palabra italiana quoziente, derivada del trabayu de Giuseppe Peano en 1895.[8]

Aritmética de los númberos racionales[editar | editar la fonte]

Rellaciones d'equivalencia y orde[editar | editar la fonte]

Inmersión d'enteros[editar | editar la fonte]

Cualesquier enteru n puede espresase como'l númberu racional n/1 por cuenta de eso escríbese frecuentemente (técnicamente, dizse que los racionales contienen un subanillo isomorfu al aníu de los númberos enteros).

Equivalencia[editar | editar la fonte]

si y solu si

Orde[editar | editar la fonte]

Cuando dambos denominadores son positivos:

si y solu si

Si cualesquier de los denominadores ye negativu, les fracciones primero tienen de convertise n'otres equivalentes con denominadores positivos, siguiendo les ecuaciones:

y :

Operaciones[editar | editar la fonte]

A les operaciones de suma, resta, multiplicación y división de fracciones llámase-yos operaciones racionales.[9]

Suma[editar | editar la fonte]

Defínese la suma o adición de dos númberos racionales a la operación qu'a tou par de númberos racionales fai-y corresponder la so suma :

Resta[editar | editar la fonte]

La operación qu'a tou par de númberos racionales fai-y corresponder la so diferencia llámase resta o diferencia y considerar operación inversa de la suma.[9]

.

Multiplicación[editar | editar la fonte]

La multiplicación o productu de dos númberos racionales:

.

División[editar | editar la fonte]

Defínese la división o cociente de dos racionales r ente s distintu de 0, al productu . N'otra notación,

.

Ye una operación totalmente definida, pero asumir que ye una operación inversa de la multiplicación que resuelve la ecuación s·x=r, s≠0.

Inversos[editar | editar la fonte]

Los inversos aditivu y multiplicativu esisten nos númberos racionales:

Escritura decimal[editar | editar la fonte]

Númberu racional en base decimal[editar | editar la fonte]

Tou númberu real almite una representación decimal ilimitada, esta representación ye única si esclúyense secuencies infinites de 9 (como por casu el 0,9 periódicu). Utilizando la representación decimal, tou númberu racional puede espresase como un númberu decimal finito (esactu) o periódicu y viceversa. D'esta manera, el valor decimal d'un númberu racional, ye a cencielles la resultancia d'estremar el numberador ente'l denominador.

Los númberos racionales caracterizar por tener una escritura decimal que solo puede ser de tres tipo:

  • Esacta: la parte decimal tien un númberu finito de cifres. Al nun ser significativos, los ceros a la derecha del separador decimal pueden omitise, lo que da por resultancia una espresión «finita» o «terminal». Por casu:
  • Periódica pura: tola parte decimal repitir indefinidamente. Exemplu:
  • Periódica mista: non tola parte decimal repitir. Exemplu:

De la mesma manera aplícase la representación d'un númberu racional nun sistema de numberación posicional en bases distintes de diez.

Númberu racional n'otres bases[editar | editar la fonte]

Nun sistema de numberación posicional de base racional, les fracciones irreducibles que'l so denominador contien factores primos distintos d'aquellos que factorizan la base nun tienen representación finita.

Por casu, en base 10, un racional va tener un desenvolvimientu finito si y solu si'l denominador de la so fracción irreducible ye de la forma ( y enteros), según en base duodecimal ye infinita y recurrente la representación de toes aquelles fracciones que'l so denominador contien factores primos distintos de 2 y 3.

Construcción formal[editar | editar la fonte]

Construcción formal de los númberos racionales como pares ordenaos.

El conxuntu de los númberos racionales puede construyise a partir del conxuntu de fracciones que'l so numberador y que'l so denominador son númberos enteros. El conxuntu de los númberos racionales nun ye directamente identificable col conxuntu de fracciones, porque dacuando un númberu racional puede representase por más d'una fracción, por casu:

Pa poder definir los númberos racionales tien de definise cuando dos fracciones distintos son equivalentes y por tantu representen el mesmu númberu racional.

Formalmente cada númberu racional puede representase como la clase d'equivalencia d'un par ordenáu d'enteros (a,b), con b≠0, cola siguiente relación d'equivalencia:

,

onde l'espaciu d'equivalencia de clases ye'l espaciu cociente . Les operaciones de suma y multiplicación defínense como

Verifícase que los dos operaciones definíes son compatibles cola relación d'equivalencia, indicando de manera que puede definise como'l conxuntu cociente , cola relación d'equivalencia descrita antes.

Téngase en cuenta que les operaciones definíes nun son más que la formalización de les operaciones habituales ente fracciones:

Se denota como [(a,b)] a la clase d'equivalencies que correspuende coles distintes representaciones d'un mesmu númberu racional , con k≠0, en forma de fracción. Ye dicir :

Tómase como representante canónicu el par (a,b) tal que mcd(a,b)= 1. Cualesquier otru par puede usase nel casu d'operaciones.[9] Por casu, ye la clase d'equivalencia del númberu racional .

Coles operaciones anteriores, ye un cuerpu, onde la clase (0,1) desempeña'l papel de cero, y la clase (1,1) d'unu. El elementu opuestu de la clase (a,b) ye la clase (-a,b). Amás, si a≠0, la clase (a,b) ye distinta de cero, depués (a,b) ye invertible (inversu multiplicativu) y el so inversu correspuende a la clase (b,a).

Tamién puede definise una orde total en de la siguiente manera:

Fallu al revisar la fórmula (error de sintaxis): {\displaystyle (a, b) \-y (c, d) \text{ si y solu si } (bd>0\text{ y } ad \-y bc)\text{ ó }(bd<0\text{ y } ad \gue bc)} .

El conxuntu de los númberos racionales puede tamién construyise como'l cuerpu de cocientes de los númberos enteros, esto ye,

Propiedaes[editar | editar la fonte]

Alxebraiques[editar | editar la fonte]

El conxuntu de los númberos racionales forníu coles operaciones de suma y productu cumple les propiedaes conmutativa, asociativa y distributiva, esto ye:

(conmutativa)
(asociativa)
(distributiva).[9]

Esisten los elementos neutros pa la suma y productu. Pa la suma, el cero, denotado por 0, yá que pa cualesquier . Pal productu ye'l 1, que puede ser representáu por , con n distintu de 0, yá que .

Tien elementos simétricos pa les operaciones de suma y productu. Asina, l'elementu simétricu respectu de la suma pa cualquier númberu racional ye , llamáu elementu opuestu, cuidao que . Lo mesmo asocede nel casu del elementu simétricu respectu del productu, pa tou númberu racional , distintu de 0, esiste , llamáu inversu multiplicativu tal que .

El conxuntu , coles operaciones de adición y multiplicación definíes más arriba, conforma un cuerpu conmutativu, el cuerpu de cocientes de los enteros .

Los racionales son el menor cuerpu con característica nula. Cualesquier otru cuerpu de característica nula contien una copia de .

La clausura alxebraica de , ye'l conxuntu de los númberos alxebraicos.

Los racionales formen un dominiu de factorización única una y bones tou racional distintu de cero puede descomponese na forma: onde son númberos enteros primos, (siendo dalgunos d'ellos negativos si q nun ye enteru) y . Por casu .

Densidá Si tiense dos númberos racionales con a < b, entós hai una infinidá de númberos racionales x tales qu'a<x<d.
Conxuntos ensin supremu Hai conxuntos

de númberos racionales acutaos superiormente, pero que nun tienen supremu. Como exemplu'l conxuntu H de los númberos racionales positivos que'l so cubu ye menor que 7.[10]

Conjuntistas[editar | editar la fonte]

Diagrama usáu na demostración de que los racionales son numerables (Georg Cantor).

El conxuntu de los númberos racionales ye numerable, ye dicir qu'esiste una biyección ente y (tienen la mesma cantidá d'elementos). El conxuntu de los númberos reales nun ye numerable (la parte non-denombrable de los reales, constituyir los númberos irracionales).

Topolóxiques[editar | editar la fonte]

Númberu p-ádico[editar | editar la fonte]

Artículu principal: Númberu p-ádico

Sía un númberu primu y pa tou enteru non nulu , sía onde ye la mayor potencia de qu'estrema a .

Si y pa cada númberu racional , entós la función multiplicativa define una métrica sobre .

L'espaciu métricu nun ye completu, el so completitud ye'l cuerpu de los númberos p-ádicos . El teorema de Ostrowski asegura que tou valor absolutu non-trivial sobre ye equivalente yá sía al valor absolutu avezáu, o al valor absolutu p-ádico.[11]

Ver tamién[editar | editar la fonte]

Plantía:Clasificación número

Notes y referencies[editar | editar la fonte]

  1. Elena de Oteyza de Oteyza. Álgebra. Pearson Educación, 2003.
  2. T.S. Tsipkin. Manual de Matemática Editorial Mir, Moscú
  3. Eves, Howard Eves ; with cultural connections by Jamie H. (1990). An introduction to the history of mathematics, 6th ed., Philadelphia: Saunders College Pub.. ISBN 0030295580.
  4. Dantzig, Tobias (1955). The Bequest of the Greeks. London: Unwin Brothers LTD. 3982581.
  5. Academia de la Llingua Asturiana (2017), «Razón» (2000 edición), Uviéu: KRK ediciones, ISBN 84-8168-208-x, http://www.academiadelallingua.com/diccionariu/index.php?pallabra=Raz%C3%B3n, consultáu 'l 27 de febreru de 2016 
  6. Academia de la Llingua Asturiana (2017), «Ratio» (2000 edición), Uviéu: KRK ediciones, ISBN 84-8168-208-x, http://www.academiadelallingua.com/diccionariu/index.php?pallabra=Ratio, consultáu 'l 27 de febreru de 2016 
  7. {{Cita web |url=http://www.emis.de/journals/BAMV/conten/vol13/djimenez.pdf |título=DIVULGACIÓN MATEMÁTICA ¿Qué yera un irracional pa un matemáticu griegu antiguu? |fechaacceso=27 de febreru de 2016 |apellido=Jiménez |nome=Douglas |-}
  8. «Think rationally - The Problem with Rational» (inglés). Consultáu'l 16 de febreru de 2016.
  9. 9,0 9,1 9,2 9,3 Adaptación de la monografía El conceutu de númberu de César Trejo. Edición de la OEA.
  10. Pa superar esta falta constrúi'l conxuntu de los reales y postúlase l'axoma del supremu
  11. Consultar Aritmética elemental de Enzo Gentile

Bibliografía[editar | editar la fonte]

Enllaces esternos[editar | editar la fonte]

Plantía:Wc




Número racional