Número racional

De Wikipedia, la enciclopedia libre
(Redirigido desde «Numeros racionales»)
Saltar a: navegación, búsqueda
Diagrama usado en la demostración de que los racionales son numerables (Georg Cantor).

Número racional es todo número que puede representarse como el cociente de dos números enteros o, más precisamente, un entero y un natural positivo,[1] es decir, una fracción común a/b con numerador a y denominador b distinto de cero. El término «racional» alude a una fracción o parte de un todo. El conjunto de los números racionales se denota por Q (o bien \mathbb{Q}, en negrita de pizarra) 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 expresió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}.

Construcción formal[editar]

El conjunto de los números racionales puede construirse a partir del conjunto de fracciones cuyo numerador y cuyo denominador son números enteros. El conjunto de los números racionales no es directamente identificable con el conjunto de fracciones, porque a veces un número racional puede representarse por más de una fracción por ejemplo:

2.5 = \frac{25}{10} = \frac{10}{4} = \frac{5}{2}

Para poder definir los números racionales debe definirse cuando dos fracciones diferentes son equivalentes y por tanto representan el mismo número racional. Formalmente cada número racional puede representarse 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.

Para el conjunto de los números racionales puede escribirse:

\begin{matrix}
\mathbb{Q} \subset \mathrm{Frac}(\mathbb{Z}) = \left\{ \cfrac{p}{q}\mid p\in\mathbb{Z},q\in\mathbb{Z};q\neq0\right\} \\
\mathbb{Q} = \mathrm{IrrFrac}(\mathbb{Z}) =
\left\{ \cfrac{p}{q}\mid p\in\mathbb{Z},q\in\mathbb{Z};\ q>0\ \land\ \mathrm{mcd}(|p|,q)= 1, \right\}
\end{matrix}

Y si se tienen en cuenta la relación de equivalencia anterior de hecho se tiene:

\mathbb{Q} = \mathrm{Frac}(\mathbb{Z})/\mathcal{R}

Aritmética de los números racionales[editar]

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

Definición de suma y multiplicación[editar]

Relaciones de equivalencia y orden[editar]

  • 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 \,
  • El orden se define así: Si b>0 y d>0 entonces \frac{a}{b}>\frac{c}{d} cuando  ad - bc > 0

Existencia de neutros e inversos[editar]

  • 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[editar]

  • 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}=0 con a\neq 0
  • \frac{a}{a}=1 con a\neq 0 .

Propiedades[editar]

  • 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 reales existe otro número racional situado entre ellos.
  • Los racionales forman un dominio de factorización única ya que todo racional puede descomponerse en la forma: q = u p_1^{\alpha_1}\dots p_n^{\alpha_n} donde p_i\in \mathbb{N} son números enteros primos, \alpha_i\in \mathbb{Z} (siendo algunos de ellos negativos si q no es entero) y u\in\{1,-1\}. Por ejemplo 260/693= 2^2 3^{-2}5^1 7^{-1}11^{-1}13^1\,.

Escritura decimal[editar]

Representación racional de los números decimales[editar]

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). 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}, es decir: {1222222}\over{99000}.

Desarrollo decimal de los números racionales[editar]

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 se aplica al desarrollo decimal de un número racional en bases distintas de diez.

Número racional en otras bases[editar]

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^n*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[editar]

  • Sea el conjunto H de los números racionales en el intervalo cerrado [0, 1], entonces H no tiene puntos aislados, todo punto de H es punto de acumulación, los restantes punto de ℝ son exteriores a H. Entre los puntos de acumulación de H algunos están en él y otros no. Cada punto de H es un punto frontera, pues su vecindad contiene puntos de H y de su complemento. H no tiene puntos interiores, ninguna vecindad de un elemento de H está contenida en H; no es un conjunto conexo ya que todo [m,n] con elementos m,n de H no es parte de H.[2]

Propiedades algebraicas[editar]

  • ℚ con la adición forma un grupo conmutativo
  • ℚ- {0} con la multiplicación forma un grupo multiplicativo abeliano
  • <ℚ, +, *> es un cuerpo conmutativo
  • En ℚ hay dos operaciones asociativas y conmutativas: adición y multiplicación y dos operaciones no conmutativas ni asociativas: la resta y la división, con elementos identidades por la derecha.
  • En ℚ es posible resolver toda ecuación ax = b, donde a \neq 0
  • Históricamente, los números fraccionarios propios antecedieron a los negativos y a los imaginarios [3]

Número p-ádico[editar]

Sea p un número primo y para todo entero no nulo a, sea |a|_p=p^{-n} donde p^n 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.[4]

Véase también[editar]

Clasificación de números
Complejos \mathbb{C}
Reales \mathbb{R}
Racionales \mathbb{Q}
Enteros \mathbb{Z}
Naturales \mathbb{N}
1: uno
Naturales primos
Naturales compuestos
0: Cero
Enteros negativos
Fraccionarios
Fracción propia
Fracción impropia
Irracionales
Irracionales algebraicos
Trascendentes
Imaginarios

Referencias[editar]

  1. Elena de Oteyza de Oteyza. Álgebra. Pearson Educación, 2003. 
  2. Según la topología usual de los reales. Bartle-Sherbert: Introducción al análisis de una variable ISBN 968-18-1725-7
  3. Herstein: Algebra moderna
  4. Consultar Aritmética elemental de Renzo Gentile

Bibliografía[editar]

Enlaces externos[editar]