Recta numrica

La recta numrica o recta real1 es un grfico unidimensional o lnea recta la cual contiene
todos los nmeros reales ya sea mediante una correspondencia biunvoca o mediante
una aplicacin biyectiva, usada para representar los nmeros como puntos especialmente
marcados, por ejemplo los nmeros enteros mediante una recta llamadarecta graduada
entera1 ordenados y separados con la misma distancia:

Recta numrica en la que se muestran los nmeros enteros entre -9 y 9, se sobrentiende que la recta
incluye todos los nmeros reales ilimitadamente en cada sentido.

Est dividida en dos mitades simtricas por el origen, es decir el nmero cero. En la recta
numrica mostrada arriba, los nmeros negativos se representan en rojo y los positivos en
violeta.

Topologas sobre la recta real[editar]

Sobre la recta real se pueden definir diferentes topologas bajo las cuales la recta real tiene
propiedades topolgicas y geomtricas, diferentes de la topologa mtrica usual.

Topologa usual[editar]
Punto interior
Sea H un subconjunto de . Un punto y0 de H se denomina un punto interior de H, si existe r
real positivo tal que <y0 - r, y +r > A. Al conjunto de los puntos interiores de H se
nombra interior de H, se denota por int(a). Si el punto y0 est en el interior de A, se dir que A
es entorno de dicho punto.2
Ejemplo: Si H = {1}[3,5] [6, 8> . Los puntos 1, 3, 5 y 6 no son puntos interiores de
H. Mientras int(H) = <3,5><6, 8>.
Tener presente que si H es parte de J entonces el interior de H es parte de del interior
de J. Tambin que el interior de H es parte de H.2
Conjunto abierto
Un subconjunto K de se llama abierto, si todo punto de K es punto interior de K.
Esto es, K Int(K).
Es obvio que y son conjunto abiertos.

Cualquier intervalo abierto <m, n> es un subconjunto abierto de

La interseccin de <-1, 1/n> con <-1/n, 1> es un subconjunto abierto de , para
cualquier n entero positivo
<2, 8> - [4, 6] es un subconjunto abierto de .
Para cualquier conjunto de nmeros reales su interior es un conjunto abierto. 2
Propiedades topolgicas[editar]
1. La unin de una familia de abiertos de es un abierto.
2. La interseccin de dos abiertos de es un abierto de
( considerando el conjunto vaco como abierto ).
3. La interseccin arbitraria de infinitos abiertos no tiene por
que ser un abierto.
4. Los intervalos <m, +> <-, p> son conjuntos abiertos;
para el caso, el primero es la unin de los abiertos <m, m
+n>, n recorre todo +.2
Punto adherente
Dados el subconjunto M de nmeros reales y el punto real y0,
diremos que este punto es adherente a M si la interseccin de M
con cualquier intervalo simtrico que contiene a y0 es no vaca. Al
conjunto de puntos adhrentes a M se
llama adherencia (clausura) de M y se denota adh(M) o Cl(M)3 4

Recta real extendida

En matemtica, la recta real extendida o recta real acabada, es un espacio mtrico que se
obtiene a partir de los nmeros reales

por la aadidura de dos elementos:

(lase infinito positivo e infinito negativo, respectivamente). La recta real

extendida proyectiva aade un solo objeto:

(punto del infinito), y no hace distincin entre

infinitos positivo o negativo. Estos nuevos elementos no son nmeros reales.

La recta real extendida se denota por

o bien

; es utilizada para describir

varios comportamientos al lmite en clculo infinitesimal y anlisis matemtico, especialmente

en la teora de la medida e integracin.

Cuando el significado se deduce del contexto, el smbolo

se escribe simplemente

Definiciones[editar]

Lmites[editar]
La necesidad de su definicin, surge al describir el comportamiento de una funcin f(x),
cuando o bien el argumento x o bien el valor de la funcin f(x) se vuelve muy grande en
algn sentido.
Por ejemplo, la funcin

La grfica de esta funcin tiene una asntota horizontal en f(x) = 0. Geomtricamente, esto
significa que conforme el valor de x crece (hacia la derecha del plano cartesiano), ms se
aproxima el valor de 1/x2 a 0 (el eje horizontal). Este comportamiento al lmite es similar al
del lmite de una funcin en un nmero real, excepto que ah no hay nmero real hacia el
cual x se aproxima.
Aadindole los elementos + y a R, se permite la formulacin de "lmite al infinito" con
propiedades topolgicas similares a las de R.

Medida e integracin[editar]
En teora de la medida, se suelen admitir conjuntos que tienen medida infinita e integrales
cuyo valor puede ser infinito.
Tales medidas surgen naturamente del clculo. 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 nmero real finito. Tambin, si se consideran integrales no acotadas,
como

surge el valor "infinito". Finalmente, se suele considerar el lmite de una sucesin de

funciones, como

Si no permitiesen valores infinitos a funciones, resultados tan esenciales como

el teorema de convergencia montona y el teorema de convergencia dominada no
tendran sentido.

Orden y propiedades topolgicas[editar]

La recta real extendida se vuelve un conjunto totalmente ordenado definiendo
a + para todo a. Este orden tiene la agradable propiedad de que todo
subconjunto tiene un supremo y un nfimo: conforma un retculo completo.
Esto induce un orden topolgico sobre R. En esta topologa, un conjunto U es
una vecindad de + si y solo si contiene un conjunto {x: x > a} para algn nmero
real a, y anlogamente para las vecindades de . R es un espacio de
Hausdorff compacto homeomorfo al intervalo unidad [0, 1]. Luego esta topologa
es metrizable, corresponde (para un homeomorfismo dado) a la mtrica usual en este
intervalo. No hay una mtrica que sea una extensin de la mtrica usual sobre R.
Con esta topologa, se pueden definir especialmente los lmites para x tendiendo a +
y , y los conceptos especialmente definidos de lmites igual a + y , se reducen
a la definicin topolgica de lmites.

Propiedades aritmticas[editar]
Las propiedades aritmticas de R pueden extenderse parcialmente a R del siguiente
modo:

Aqu, "a + " significan ambos "a + (+)" y "a ()", y "a " significan ambos
"a (+)" y "a + ()".

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

usualmente indefinidas a la izquierda. Son reglas modeladas por las leyes de
los lmites infinitos. No obstante, en el contexto de la probabilidad o teora de la
medida, 0 () se define a menudo como 0.
La expresin 1/0 no se define ni como + ni como , porque aunque es cierto
que cuando f(x) 0 para una funcin continua f(x) debe suceder que 1/f(x) est
eventualmente contenida en toda vecindad del conjunto {, +}, no es cierto que
1/f(x) deben tender a uno de estos puntos. Un ejemplo es f(x) = 1/(sin(1/x)),
su mdulo es 1/|f(x)|, sin embargo, no se aproxima a +.

Propiedades algebraicas[editar]
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.

if a b y si ambos a + c yb + c estn definidos, entonces a + c b + c.

if a b yc > 0 y ambos a c y b c estn definidos, entonces a c b c.

En general, todas las leyes de la aritmtica sern vlidas en R siempre y cuando

las expresiones que intervienen estn definidas.

Plano complejo

En matemticas, el plano complejo es una forma de visualizar y ordenar el conjunto de

los nmeros complejos. Puede entenderse como unplano cartesiano modificado, en el
que la parte real est representada en el eje de abscisas y la parte imaginaria en el eje
de ordenadas. El eje de abscisas tambin recibe el nombre de eje real y el eje de
ordenadas el nombre de eje imaginario. Asimismo, cualquier campo de nmeros
complejos se puede representar en su forma polar, formando as un plano polar, en el
que el valor absoluto, mdulo o magnitud representa la longitud de un vector y su
argumento es equivalente al ngulo del mencionado vector. Generalidades[editar]

Un nmero puede ser visualmente representado por un par de nmeros formando un vector en un
diagrama llamado diagrama de Argand.

El plano complejo a veces recibe el nombre de plano de Argand a causa de su uso

en diagramas de Argand. Su creacin se atribuye a Jean-Robert Argand, aunque fue
inicialmente descrito por el encuestador y matemtico Noruego-dans Caspar Wessel.
El concepto de plano complejo permite interpretar geomtricamente los nmeros complejos.
La suma de nmeros complejos se puede relacionar con la suma con vectores, y
la multiplicacin de nmeros complejos puede expresarse simplemente usando coordenadas
polares, donde la magnitud del producto es el producto de las magnitudes de los trminos, y el
ngulo contado desde el eje real del producto es la suma de los ngulos de los trminos.
Los diagramas de Argand se usan frecuentemente para mostrar las posiciones de los polos y
los ceros de una funcin en el plano complejo.
El anlisis complejo, la teora de las funciones complejas, es una de las reas ms ricas de la
matemtica, que encuentra aplicacin en muchas otras reas de la matemtica as como
en fsica, electrnica y muchos otros campos.

Uso del plano complejo en teora de control[editar]

En teora de control, uno de los usos del plano complejo se conoce como el 'plano s'. Se usa
para visualizar la ubicacin de las races y de los ceros de la funcin de transferencia de un
sistema LTI. La visualizacin grfica de las races (es decir de aquellos valores que anulan la
ecuacin caracterstica) y de los ceros (aquellos valores que anulan el numerador de la
funcin de transferencia) permite inferir el comportamiento del sistema (por ejemplo permite
saber si el sistema es estable o inestable). La funcin de transferencia se expresa
normalmente como un cociente de polinomios de la variable 's' de la transformada de Laplace,
y de ah el nombre de plano 's'.
Adems, otro uso del plano 's' es el criterio de estabilidad de Nyquist, que es un principio
geomtrico que permite determinar la estabilidad de un sistema de control mediante la
inspeccin del diagrama de Nyquist de la respuesta de fase de la funcin de transferencia en
el plano complejo.
El plano z es una versin de tiempo discreto del plano s, donde se utiliza la transformada Z en
lugar de la de Laplace.