En matem�tica, la recta real extendida o recta real acabada, es un espacio m�trico

que se obtiene a partir de los n�meros reales {\displaystyle {\mathbb {R} }}

{\mathbb{R}}1? por la a�adidura de dos elementos: {\displaystyle +\infty } + \infty
y {\displaystyle -\infty } - \infty (l�ase infinito positivo e infinito negativo,
respectivamente). A cada n�mero real le corresponde un punto de la recta, y a cada
punto de la recta le corresponde un n�mero real; por ello, se dice que los n�meros
reales completan la recta.1?

La recta real extendida proyectiva a�ade un solo objeto: {\displaystyle

\infty } \infty (punto del infinito), y no hace distinci�n entre infinitos
�positivo� o �negativo�. Estos nuevos elementos no son n�meros reales.

La recta real extendida se denota por {\displaystyle {\overline {\mathbb {R} }}}
\overline{\mathbb{R}} o bien {\displaystyle [+\infty ,-\infty ]} [+ \infty,-
\infty]; es utilizada para describir varios comportamientos al l�mite en c�lculo
infinitesimal y an�lisis matem�tico, especialmente en la teor�a de la medida e
integraci�n.

Cuando el significado se deduce del contexto, el s�mbolo {\displaystyle +\infty } +

\infty se escribe simplemente {\displaystyle \infty } \infty.
L�mites
La necesidad de su definici�n, surge al describir el comportamiento de una funci�n
f(x), cuando o bien el argumento x o bien el valor de la funci�n f(x) se vuelve
�muy grande� en alg�n sentido.

Por ejemplo, la funci�n {\displaystyle f(x)=x^{-2}\ } f(x) = x^{-2} \ .

La gr�fica de esta funci�n tiene una as�ntota horizontal en f(x) = 0.

Geom�tricamente, esto significa que conforme el valor de x crece (hacia la derecha
del plano cartesiano), m�s se aproxima el valor de 1/x2 a 0 (el eje horizontal).
Este comportamiento al l�mite es similar al del l�mite de una funci�n en un n�mero
real, excepto que ah� no hay n�mero real hacia el cual x se aproxima.

A�adi�ndole los elementos +8 y -8 a R, se permite la formulaci�n de "l�mite al

infinito" con propiedades topol�gicas similares a las de R.

Medida e integraci�n
En teor�a de la medida, se suelen admitir conjuntos que tienen medida infinita e
integrales cuyo valor puede ser infinito.

Tales medidas surgen naturalmente del c�lculo. Por ejemplo, si se le asigna una
medida a R correspondiente con la longitud usual de los intervalos, esta medida
debe ser mayor que cualquier n�mero real finito. Tambi�n, si se consideran
integrales no acotadas, como

{\displaystyle \int _{1}^{\infty }{\frac {dx}{x}}}

\int_1^{\infty}\frac{dx}{x}
surge el valor "infinito". Finalmente, se suele considerar el l�mite de una
sucesi�n de funciones, como

{\displaystyle f_{n}(x)=\left\{{\begin{array}{lcl}2n(1-nx)&si&0\leq x\leq {\frac

{1}{n}}\\0&si&{\frac {1}{n}}<x\leq 1\end{array}}\right.}
f_n(x) =
\left \{
\begin{array}{lcl}
2n(1-nx) & si & 0 \le x \le \frac{1}{n} \\
0 & si & \frac{1}{n} < x \le 1
\end{array}
\right .
Si no permitiesen valores infinitos a funciones, resultados tan esenciales como el
teorema de convergencia mon�tona y el teorema de convergencia dominada no tendr�an
sentido.

Orden y propiedades topol�gicas

La recta real extendida se vuelve un conjunto totalmente ordenado definiendo -8 = a
= +8 para todo a. Este orden tiene la agradable propiedad de que todo subconjunto
tiene un supremo y un �nfimo: conforma un ret�culo completo.

Esto induce un orden topol�gico sobre R. En esta topolog�a, un conjunto U es una

vecindad de +8 si y solo si contiene un conjunto {x: x > a} para alg�n n�mero real
a, y an�logamente para las vecindades de -8. R es un espacio de Hausdorff compacto
homeomorfo al intervalo unidad [0, 1]. Luego esta topolog�a es metrizable,
corresponde (para un homeomorfismo dado) a la m�trica usual en este intervalo. No
hay una m�trica que sea una extensi�n de la m�trica usual sobre R.

Con esta topolog�a, se pueden definir especialmente los l�mites para x tendiendo a
+8 y -8, y los conceptos especialmente definidos de l�mites igual a +8 y -8, se
reducen a la definici�n topol�gica de l�mites.

Propiedades aritm�ticas
Las propiedades aritm�ticas de R pueden extenderse parcialmente a R del siguiente
modo:

{\displaystyle {\begin{aligned}a+\infty =+\infty +a&=+\infty ,&a&\neq -\infty

\\a-\infty =-\infty +a&=-\infty ,&a&\neq +\infty \\a\cdot (\pm \infty )=\pm
\infty \cdot a&=\pm \infty ,&a&\in (0,+\infty ]\\a\cdot (\pm \infty )=\pm \infty
\cdot a&=\mp \infty ,&a&\in [-\infty ,0)\\{\frac {a}{\pm \infty }}&=0,&a&\in
\mathbb {R} \\{\frac {\pm \infty }{a}}&=\pm \infty ,&a&\in \mathbb {R} ^{+}\\{\frac
{\pm \infty }{a}}&=\mp \infty ,&a&\in \mathbb {R} ^{-}\end{aligned}}}
\begin{align}
a + \infty = +\infty + a & = +\infty, & a & \neq -\infty \\
a - \infty = -\infty + a & = -\infty, & a & \neq +\infty \\
a \cdot (\pm\infty) = \pm\infty \cdot a & = \pm\infty, & a & \in (0, +\infty] \\
a \cdot (\pm\infty) = \pm\infty \cdot a & = \mp\infty, & a & \in [-\infty, 0) \\
\frac{a}{\pm\infty} & = 0, & a & \in \mathbb{R} \\
\frac{\pm\infty}{a} & = \pm\infty, & a & \in \mathbb{R}^+ \\
\frac{\pm\infty}{a} & = \mp\infty, & a & \in \mathbb{R}^-
\end{align}
Aqu�, "a + 8" significan ambos "a + (+8)" y "a - (-8)", y "a - 8" significan ambos
"a - (+8)" y "a + (-8)".

Las expresiones 8 - 8, 0 � (�8) y �8 / �8 (llamadas formas indeterminadas) son

usualmente indefinidas a la izquierda. Son reglas modeladas por las leyes de los
l�mites infinitos. No obstante, en el contexto de la probabilidad o teor�a de la
medida, 0 � (�8) se define a menudo como 0.

La expresi�n 1/0 no se define ni como +8 ni como -8, porque aunque es cierto que
cuando f(x) ? 0 para una funci�n continua f(x) debe suceder que 1/f(x) est�
eventualmente contenida en toda vecindad del conjunto {-8, +8}, no es cierto que
1/f(x) deben tender a uno de estos puntos. Un ejemplo es f(x) = sin(x)/x. Esto deja
de suceder al aplicar el valor absoluto a la funci�n, quedando 1/|?f(x)?|, en ese
caso se aproxima a +8.

Propiedades algebraicas
Con las definiciones arriba expuestas, R no es un cuerpo ni un anillo, pero posee
las siguientes propiedades:

a + (b + c) y (a + b) + c son ambos o bien iguales o bien indefinidos.

a + b yb + a son ambos o bien iguales o bien indefinidos.
a � (b � c) y (a � b) � c son ambos o bien iguales o bien indefinidos.
a � b yb � a son ambos o bien iguales o bien indefinidos.
a � (b + c) y (a � b) + (a � c) son ambos o bien iguales o bien indefinidos.
si a = b y si ambos a + c yb + c est�n definidos, entonces a + c = b + c.
si a = b yc > 0 y ambos a � c y b � c est�n definidos, entonces a � c = b � c.
En general, todas las leyes de la aritm�tica ser�n v�lidas en R siempre y cuando
las expresiones que intervienen est�n definidas.

V�ase tambi�n
Divisi�n por cero
Esfera de Riemann
Integral impropia
Serie matem�tica
Referencias
Arias Cabezas, Jos� Mar�a; Maza S�ez, Ildefonso (2008). �Aritm�tica y �lgebra�. En
Carmona Rodr�guez, Manuel; D�az Fern�ndez, Francisco Javier. Matem�ticas 1. Madrid:
Grupo Editorial Bru�o, Sociedad Limitada. p. 16. ISBN 9788421659854.