Número racional

En matemática, se llama número racional a todo número que puede representarse como el cociente de dos números enteros (más precisamente, un entero y un natural positivo^[1] ) es decir, una fracción común a/b con numerador a y denominador distinto de cero b. El término racional alude a fracción o parte de un todo. El conjunto de los números racionales se denota por Q (o bien $\mathbb{Q}$ , en Blackboard bold) que deriva de «cociente» (Quotient en varios idiomas europeos). Este conjunto de números incluye a los números enteros ( $\mathbb{Z}$ ), y es un subconjunto de los números reales ( $\mathbb{R}$ ).

La escritura decimal de un número racional es, o bien un número decimal finito, o bien periódico. Esto es cierto no solo para números escritos en base 10 (sistema decimal), también lo es en base binaria, hexadecimal o cualquier otra base entera. Recíprocamente, todo número que admite una expansión finita o periódica (en cualquier base entera), es un número racional.

Un número real que no es racional, se llama número irracional; la expansión decimal de los números irracionales, a diferencia de los racionales, es infinita no-periódica.

En sentido estricto, número racional es el conjunto de todas las fracciones equivalentes a una dada; de todas ellas, se toma como representante canónico de dicho número racional a la fracción irreducible. Las fracciones equivalentes entre sí –número racional– son una clase de equivalencia, resultado de la aplicación de una relación de equivalencia sobre $\mathbb{Z}$ .

Contenido

1 Construcción formal
2 Aritmética de los números racionales
3 Escritura decimal
4 Propiedades topológicas de los números racionales
- 4.1 Número p-ádico
5 Véase también
6 Referencias
7 Bibliografía

Construcción formal

Véanse también: Dominio de integridad y Cuerpo de cocientes

Se puede ver un número racional como la clase de equivalencia de un par ordenado de enteros, con la siguiente relación de equivalencia:

Demostración

$\forall \left(a,b\right) \in \mathbb{Z}\times \mathbb{Z}\setminus\left\{0\right\},\forall \left(c,d\right) \in \mathbb{Z}\times \mathbb{Z}\setminus\left\{0\right\},\ (a,b)\,\mathcal{R}\,(c,d) \Longleftrightarrow ad=bc.$

De esta manera $\mathbb{Q}=\mathbb{Z}\times \mathbb{Z}\setminus\left\{0\right\}/\mathcal{R}$ , es decir que el conjunto de los números racionales es el cociente $\mathbb{Z}\times \mathbb{Z}\setminus\left\{0\right\}$ por la relación de equivalencia.

El conjunto de los números racionales $\mathbb{Q}=\left\{ \frac{p}{q}\mid p\in\mathbb{Z},q\in\mathbb{Z},q\neq0\right\}$ .

Aritmética de los números racionales

Representación gráfica de las fracciones cuyo divisor es 4.

Definición de suma y multiplicación en Q

Se define la suma $\frac{a}{b}+\frac{c}{d} = \frac{ad+bc}{bd}$

Se define la multiplicación $\frac{a}{b}\times\frac{c}{d} = \frac{ac}{bd}$

Relaciones de equivalencia y orden en Q

Se define la equivalencia $\frac{a}{b}=\frac{c}{d}$ cuando $ad = bc \,$

Los racionales positivos son todos los $\frac{a}{b}$ tales que $ab > 0 \,$

Los racionales negativos son todos los $\frac{a}{b}$ tales que $ab < 0 \,$

Se define el orden $\frac{a}{b}>\frac{c}{d}$ cuando $ad - bc > 0 \,$

Existencia de neutros e inversos

Para cualquier número racional: $\frac{a}{b}$ se cumple que $\frac{a}{b}+\frac{0}{1}=\frac{a}{b}$ entonces $\frac{0}{1}$ es el neutro aditivo de los racionales y se le denota por $0$ .
Para cualquier número racional: $\frac{a}{b}$ se cumple que $\frac{a}{b}\times\frac{1}{1}=\frac{a}{b}$ entonces $\frac{1}{1}$ es el neutro multiplicativo de los racionales y se le denota por $1$ .
Cada número racional: $\frac{a}{b}$ tiene un inverso aditivo $\frac{-a}{b}$ tal que $\frac{a}{b}+\frac{-a}{b}=0$
Cada número racional: $\frac{a}{b}$ con excepción de $0$ tiene un inverso multiplicativo $\frac{b}{a}$ tal que $\frac{a}{b}\times\frac{b}{a}=1$

Equivalencias notables en Q

Todo número entero $p \,$ se puede escribir como fracción $\frac{p}{1}$
$\frac{ca}{cb}=\frac{a}{b}$ con $c\neq 0$ y $b\neq 0$
$\frac{a}{c}+\frac{b}{c}=\frac{a+b}{c}$
$\frac{-a}{b}=\frac{a}{-b}=-\frac{a}{b}$
$\frac{0}{a}=\frac{0}{b}=0$ con $a\neq 0$ y $b\neq 0$
$\frac{a}{a}=\frac{b}{b}=1$ con $a\neq 0$ y $b\neq 0$ .

Propiedades

El conjunto $\Q$ , con las propiedades de adición y multiplicación definidas más arriba, conforma un cuerpo conmutativo: el cuerpo de cocientes de los enteros $\Z$ .

Los racionales son el menor cuerpo con característica nula.

La clausura algebraica de $\Q$ , es el conjunto de los números algebraicos.

El conjunto de los números racionales es numerable, es decir que existe una biyección entre $\N$ y $\Q$ (tienen la misma cantidad de elementos). El conjunto de los número reales no es numerable (la parte no-denombrable de los reales, la constituyen los números irracionales).

Propiedad arquimediana: el conjunto $\Q$ es denso en $\R$ por construcción misma de $\R$ ; es decir, para cualquier pareja de números racionales existe otro número racional situado entre ellos.

Escritura decimal

Representación racional de los números decimales

Todo número real admite una representación decimal ilimitada, esta representación es única si se excluyen secuencias infinitas de 9 (como por ejemplo el 0,9 periódico). En la notación decimal, los ceros a la derecha del separador decimal no son significativos.

Todo número decimal finito o periódico puede expresarse como número racional de la siguiente manera:

Decimales exactos o finitos: se escribe en el numerador la expresión decimal sin la coma (como un número entero), y en el denominador un uno seguido de tantos ceros como cifras decimales.
- Ejemplo: $34,65 = \frac{3465}{100}$
Decimales periódicos puros: la fracción correspondiente tiene como numerador la diferencia entre el número escrito sin la coma, y la parte anterior al periodo; y como denominador, tantos "9" como cifras tiene el periodo.
- Ejemplo: $15,3434\dots=\frac{1534-15}{99}$
Decimales periódicos mixtos: tendrá como numerador la diferencia entre a y b, donde a es el número escrito sin la coma, y b es el número sin la parte decimal periódica, escritos ambos como números enteros. El denominador tendrá tantos "9" como cifras tiene el periodo y otros tantos "0" como cifras tenga el anteperíodo.
- Ejemplo: Sea el número $12,345676767\dots$ entonces $a=1234567 \,$ y $b=12345 \,$ , por lo que la fracción correspondiente será ${1234567-12345}\over{99000}$ .

Desarrollo decimal de los números racionales

El valor decimal de un número racional, es simplemente el resultado de dividir el numerador entre el denominador. Los números racionales se caracterizan por tener una escritura decimal que sólo puede ser de tres tipos:

Exacta: la parte decimal tiene un número finito de cifras. Al no ser significativos, los ceros a la derecha del separador decimal pueden omitirse, lo que da por resultado una expresión «finita» o «terminal».
Ejemplo:

$\frac 8 5 = 1,6$

Periódica pura: toda la parte decimal se repite indefinidamente. Ejemplo:

$\begin{array}{rcl}\cfrac 1 7&=&0,142857142857\dots\\&=&0,\overline{142857}\end{array}$

Periódica mixta: no toda la parte decimal se repite. Ejemplo:

$\begin{array}{rcl}\cfrac 1 {60}&=&0,01666\dots\\&=&0,01\overline{6}\end{array}$

Nota: lo mismo aplica para el desarrollo decimal de un número racional en bases distintas de diez.

Número racional en otras bases

En un sistema de numeración posicional de base racional, las fracciones irreducibles cuyo denominador contiene factores primos distintos de aquellos que factorizan la base, no tienen representación finita.

Ejemplos:
- En base 10, un racional tendrá un desarrollo finito si y sólo si el denominador de su fracción irreducible es de la forma 2ⁿ·5^p (n y p enteros).
- En base duodecimal es infinita y recurrente la representación de todas aquellas fracciones cuyo denominador contiene factores primos distintos de 2 y 3.

Propiedades topológicas de los números racionales

Forman un subconjunto denso de los números reales: todo número real tiene racionales arbitrariamente cerca.
Poseen una expansión finita como fracción continua regular.
Con la topología del orden, forman un anillo topológico, o de grupo parcialmente ordenado; presentan una topología inducida; también forman un espacio métrico con la métrica d(x,y) = |x − y|.
Los racionales son un ejemplo de espacio que no es localmente compacto.
Se caracterizan topológicamente por ser el único espacio metrizable numerable sin puntos aislados (también es totalmente discontinuo). Los números racionales no forman un espacio métrico completo.

Número p-ádico

Sea p un número primo y para todo entero no nulo a, sea |a|_p = p^−n, donde pⁿ es la mayor potencia de p que divide a a.

Si |0|_p = 0, y para cada número racional a/b, |a/b|_p = |a|_p / |b|_p, entonces la función multiplicativa $d_p\left(x, y\right) = |x - y|_p$ define una métrica sobre $\Q$ .

El espacio métrico $\left(\Q,d_p\right)$ no es completo, su completitud es el cuerpo de los números p-ádicos $\Q_p$ . El teorema de Ostrowski asegura que todo valor absoluto no-trivial sobre $\Q$ es equivalente ya sea al valor absoluto usual, o al valor absoluto p-ádico.

Véase también

Números

Complejos $\mathbb{C}$

Reales $\mathbb{R}$

Racionales $\mathbb{Q}$

Enteros $\mathbb{Z}$

Naturales $\mathbb{N}$

Negativos

Algebraicos irracionales

Trascendentes

Imaginarios

Referencias

↑ Elena de Oteyza de Oteyza. Álgebra. Pearson Educación, 2003.

Bibliografía

Cárdenas; Raggi (1990). Álgebra Superior. México D.F. : Trillas. ISBN 968-24-3783-0.
Weisstein, Eric W. "Rational Number." From MathWorld--A Wolfram Web Resource. http://mathworld.wolfram.com/RationalNumber.html
«Rational number» en Encyclopaedia of Mathematics

Categorías:

Teoría de cuerpos
Fracciones
Números reales
Matemática elemental

Wikimedia foundation. 2010.

Игры ⚽ Нужно решить контрольную?

Mira otros diccionarios:

Número racional — Se llama número racional a todo aquel número que puede ser expresado como resultado de la división de dos números enteros, con el divisor distinto de 0. El conjunto de los racionales se nota por quotient , o sea cociente en varios idiomas… … Enciclopedia Universal
Racional (desambiguación) — Saltar a navegación, búsqueda Racional puede referirse a lo siguiente: Referente a la racionalidad o capacidad humana que permite pensar, evaluar y actuar de acuerdo a ciertos principios de optimidad y consistencia, para satisfacer algún objetivo … Wikipedia Español
número — (Del lat. numĕrus). 1. m. Mat. Expresión de una cantidad con relación a su unidad. 2. Signo o conjunto de signos con que se representa el número. 3. Cantidad de personas o cosas de determinada especie. 4. Condición, categoría, situación o clase… … Diccionario de la lengua española
racional — (Del lat. rationālis). 1. adj. Perteneciente o relativo a la razón. 2. Conforme a ella. 3. Dotado de razón. U. t. c. s.) 4. Mat. Dicho de una expresión algebraica: Que no contiene cantidades irracionales. 5. m. Ornamento sagrado que llevaba… … Diccionario de la lengua española
Número — (Del lat. numerus.) ► sustantivo masculino 1 MATEMÁTICAS Ente abstracto o expresión de la cantidad en relación con la unidad. 2 MATEMÁTICAS Signo o conjunto de signos con que se representa este ente abstracto. SINÓNIMO cifra guarismo 3 Cantidad… … Enciclopedia Universal
Número real — Diferentes clases de números reales. Recta real … Wikipedia Español
racional — ► adjetivo 1 FILOSOFÍA, LÓGICA Que tiene relación con la razón: ■ no es un conocimiento intuitivo sino racional. SINÓNIMO intelectual ► adjetivo/ sustantivo masculino 2 Que está dotado de razón o inteligencia: ■ su conducta es impropia de un ser… … Enciclopedia Universal
Número — Este artículo trata del concepto matemático. Para el concepto lingüístico véase Número gramatical. Para otros usos de este término, véase Número (desambiguación). Un número es una entidad abstracta que representa una cantidad (de una magnitud).… … Wikipedia Español
número — {{＃}}{{LM N27648}}{{〓}} {{SynN28320}} {{［}}número{{］}} ‹nú·me·ro› {{《}}▍ s.m.{{》}} {{＜}}1{{＞}} Concepto matemático que expresa una cantidad con relación a una unidad: • En esta cuenta has sumado mal dos números.{{○}} {{＜}}2{{＞}} Signo o conjunto… … Diccionario de uso del español actual con sinónimos y antónimos
número — s m 1 Lo que expresa la cantidad de elementos que contiene un conjunto, o la magnitud de alguna propiedad de una cosa o proceso, como su longitud, superficie, volumen, tiempo, distancia o velocidad: El número de habitantes de México es de 80… … Español en México

Los diccionarios y las enciclopedias sobre el Académico

Número racional

Contenido

Construcción formal