Los teoremas fundamentales de las variables reales están bien establecidos y definidos por funciones que pertenecen a un intervalo abierto o cerrado. Las funciones de variables complejas están formuladas y definidas en un conjunto que pertenece al dominio de dos dimensiones o regiones cerradas.
El conjunto de todos los puntos que satisfacen la ecuación
es llamado disco abierto o vecindad circular de . Este conjunto consiste de todos los puntos que están dentro del círculo de radio alrededor de . En particular, las soluciones del conjunto de inecuaciones
son vecindades circulares de los respectivos puntos .
Llamaremos la vecindad de disco unitario abierto a la siguiente expresión
Un punto el cual está en un conjunto es llamado punto interior de si existe alguna vecindad circular de que está completamente contenida en
Por ejemplo, si el conjunto es la mitad derecha del plano y , entonces es un punto interior de porque este conjunto contiene la vecindad (Ver figura)
Si cualquier punto de es un punto interior de , decimos entonces que es un conjunto abierto. Cualquier disco abierto es un conjunto abierto.
Cada una de las siguientes inecuaciones también describen un conjunto abierto
Esbocemos estos conjuntos en las siguientes figuras
Podemos observar que la solución del conjunto T de la ecuación no es un conjunto abierto ya que no existen puntos sobre el círculo, es un ´punto interior de T. Note también que un intervalo abierto del eje real no es tampoco un conjunto abierto ya que este no contiene el disco abierto.
Tenemos sea n+1 puntos en el plano. Para cada k=1, 2, 3, ..., n tenemos denotando el segmento de línea que une con . Entonces la línea de segmentos sucesivos forman una cadena continua conocida como un camino poligonal que une a con .
Un conjunto abierto se dice que está conectado si cualquier par de puntos en puede ser unido por un camino poligonal que está totalmente en tal y como se puede observar en la figura a). Esto significa que consiste de una sola pieza. Cada uno de estos conjuntos están conectados (figuras a), b), c) y d)), todas ests gráficas representan conjuntos abiertos.
El conjunto que consiste de todos los puntos en el plano que no están en el círculo es un ejemplo de un conjunto abierto que no está conectado ciertamente, si es un punto dentro del círculo y es un punto fuera del círculo, entonces todo camino poligonal que une a con debe interceptar el círculo.
Un conjunto conectado abierto lo llamamos un dominio. Por lo tanto todos los conjuntos de las fihuras anteriores a), B9, c) y d) son dominios.
En el cálculo de funciones de una variable real simple un hecho útil y familiar es que, sobre un intervalo, la cancelación de una derivada indica que la función es identicamente cosntante. Ahora presentamos una extensión de este resultado para dos variables reales, lo cual sobresalta la importancia de la noción de dominio.
Observemos que la asunsión implica que permanece constante a lo largo de cualquier línea segmentada horizontal contenida en ; esto es, sobre cada segmento, es una función simple de una variable real, concretamente de , cuya derivada se cancela. Similarmente la asunsión significa que es constante a lo largo de cualquier segmento de línea que pertenezca a . Resaltando todo este hecho vemos que permanece incambiable a lo largo de cualquier camino poligonal en que tiene todos los segmentos paralelos al eje de coordenadas. Ahora de la definición de conectividada sabemos que cualquier par de puntos en pueden ser unidos por un mismo camino poligonal que está totalmente en . El punto es que el camino puede tener algunos segmentos que nunca serán verticales u horizontales. Sin embargo, saliendo de las consideraciones topológicas, cualquiera de esos segmentos puede ser reemplazado por una cadena de pequeños segmentos horizontales y verticales, tal y como lo muestra la siguiente figura.
Para evitar los argumentos topológicos, una prueba alternativa para el teorema puede ser dado con el uxilio de la regla de la cadena. Lo que crucial para el teorema es la propiedad de conectividad del dominio, de hecho, el teorema no es del todo cierto si es asumido solo para ser un conjunto abierto, ya que entonces por partes cosnstantes las funciones pueden sayisfacer la hipótesis.
Ejemplo 1.
Un valor real de la función satisface
En cualquier punto del disco abierto , muestra que .
Solución.
Sea y concideremos la función , es decir
En cada punto de , ya que es el dominio del teorema, afirmamos que es una constante en , decimos que . Por lo tanto
lo cual es lo pedido por la fórmula de .
Un punto es un punto límite de un conjunto si cualquier punto en la vecindad de contiene en ella un punto de y puntos que no pertenecen a . El conjunto de todos puntos frontera de se les llama límite o frontera de .
Las fronteras de los conjuntos esbozados en las figuras anteriores a), b) c) y d) son:
a) Los dos círculos y .
b) El círculo .
c) Eleje real.
d)Las líneas y . Ya que cada punto del dominio es un punto interior de , de esto sigue que un dominio no puede contener cualquiera de sus puntos frontera.
Un conjunto se dice que es cerrado si este contiene todos los puntos frontera.
El conjunto descrito por la ecuación no es un conjunto cerrado ya que este no contiene al punto cero.
El conjunto de puntos que satisfacen la ecuación
es un conjunto cerrado ya que contiene su frontera . Por lo tanto llamaremos este conjunto un disco cerrado.
Un conjunto se dice que tiene frontera si existe un número real positivo , tal que para toda en . En otras palabras, es frontera si está contenido en alguna vecindad del origen.
Un conjunto ilimitado es uno que no es límite. De los conjuntos de las figuras anteriores, solo a) es límite.
Un conjunto que es cerrado y límite se dice que es compacto.
Una región es un dominio junto con algún, ninguno o todos estos puntos frontera. En particular, cualquier dominio es una región.
Bibliografía
Churchill R., Brown J., Verhey R. Complex variables and applications. 3th. Ed. McGraw-Hill, New York, 1976.
Spiegel M. Variable compleja. McGraw-Hill (Serie Schaum), México, 1971.
Saff E., Snider A. Fundamentals of complex analysis. Prentice Hall, 3th. Ed. 2003.
Volkovyski L., Lunts G., Aramanovich I. Problemas sobre la teoría de funciones de variable compleja. MIR, Moscú, 1984.
Fuente de las imágenes
Todas las imágenes fueron hechas por mi usando el software PowerPoint.
