Númberu racional

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; 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.T.S. Tsipkin. Manual de Matemática Editorial Mir, Moscú

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 rellación d'equivalencia sobre .

 Historia 
Los exipcios calculaben la resolución de problemes práuticos 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.

Los matemáticos de l'antigua Grecia consideraben que dos magnitud yeren conmensurables si yera posible atopar una tercera tal que les 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.

Etimológicamente, el fechu de qu'estos númberos llámense racionales correspuende a que son la razón de dos númberos enteros, pallabra que la so raigañu provién del llatín ratio, y esta de la mesma del griegu λόγος (razón), que ye como llamaben los matemáticos de l'antigua Grecia a estos númberos.{{Cita web |url=http://www.emis.de/journals/BAMV/conten/vol13/djimenez.pdf |títulu=DIVULGACIÓN MATEMÁTICA ¿Qué yera un irracional pa un matemáticu griegu antiguu? |fechaaccesu=27 de febreru de 2016 |apellíu=Jiménez |nome=Douglas
|-} La notación  emplegada pa nomar el conxuntu de los númberos racionales provién de la pallabra italiana quoziente, derivada del trabayu de Giuseppe Peano en 1895.

 Aritmética de los númberos racionales 

 Rellaciones d'equivalencia y orde 
 Inmersión d'enteros 
Cualesquier enteru n puede espresase como'l númberu racional n/1 por cuenta de eso escríbese frecuentemente  (téunicamente, dizse que los racionales contienen un subanillo isomorfu al aniellu de los númberos enteros).

 Equivalencia 
 si y solu si 

 Orde 
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 

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

 Suma 
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 

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.Adautación de la monografía El conceutu de númberu de César Trejo. Edición de la OEA.

.

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

 División 

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 

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

 Escritura decimal 
 Númberu racional en base decimal 

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 (exactu) 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 carauterizar por tener una escritura decimal que solo puede ser de tres tipos:

 Exacta: 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 

Nun sistema de numberación posicional de base racional, les fracciones irreducibles que'l so denominador contién 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 contién factores primos distintos de 2 y 3.

 Construcción formal 

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 direutamente 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 tanto 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 rellació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 rellación d'equivalencia, indicando de manera que  puede definise como'l conxuntu cociente , cola rellació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. 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:

.

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

 Propiedaes 
 Alxebraiques 

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).

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, yá 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 carauterística nula. Cualesquier otru cuerpu de carauterística nula contién 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.Pa superar esta falta constrúi'l conxuntu de los reales y postúlase l'axoma del supremu

 Conjuntistas 

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 

El conxuntu  forma un subconxuntu mestu de los númberos reales  por construcción mesma de  (propiedá arquimediana): tou númberu real tien racionales arbitrariamente cerca.
Tienen una espansión finita como fracción continua regular.
Cola topoloxía del orde, formen un aniellu topolóxicu, o de grupu parcialmente ordenáu; presenten una topoloxía inducida; tamién formen un espaciu métricu cola métrica .
Los racionales son un exemplu d'espaciu que nun ye llocalmente compactu.
Caracterícense topológicamente por ser l'únicu espaciu metrizable numerable ensin puntos aisllaos (tamién ye totalmente discontinuu). Los númberos racionales nun formen un espaciu métricu completu.

 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.Consultar Aritmética elemental de Enzo Gentile

Notes y referencies

 Bibliografía 




 Enllaces esternos 

Categoría:Teoría de cuerpos
Categoría:Fracciones
Categoría:Númberos reales
Categoría:Matemática elemental