Diferencia entre revisiones de «Compleja:z-ej-cap1.1»

De luz-wiki
Línea 273: Línea 273:
  
 
----
 
----
 +
'''1.25''' Un subconjunto <math>A\subseteq\mathbb{C}</math> se dice que es convexo si para cualquiera dos puntos <math>z,w\in</math><math>A</math> se tiene que el segmento <math>[z,w]\subseteq</math><math>A</math>.
 +
:'''(1)''' Demuestre que cualquier disco abierto o cerrado es convexo.
 +
:'''(2)''' Demuestre que cualquier semiplano abierto o cerrado es convexo.
 +
:'''(3)''' Demuestre que la intersección de cualquier familia de subconjuntos convexos es convexa.
 +
::'''Demostración'''
 +
'''(1)''' Por definición <math>[z,w]:=</math>{<math>tw+(1-t)z : 0\leq t\leq1</math>}
 +
 +
Sean <math>z,w\in B(x,r)\subseteq\mathbb{C}</math>, entonces <math>|x-z|< r</math>''';'''<math>|x-w|< r</math>.......................(*)
 +
 +
Sea <math>v_t\in\mathbb{C}</math> arbitrario, pero fijo definido por <math>v_t=tw+(1-t)z</math>, así todo punto del segmento [z,w] esta representado por <math>v_t</math>.
 +
:Por otra parte
 +
 +
<math>|x-v_t|=|x-tw-(1-t)z|=|x-tw-z+tz|</math> al sumar y restar <math>tx</math> se tiene que
 +
<math>|x-v_t|=|x-tw-z+tz+tx-tx|</math> agrupando y factorizando
 +
 +
<math>|x-v_t|=|(x-z)(1-t)+(tx-tw)|</math> aplicando la desigualdad del triángiulo
 +
 +
<math>|x-v_t|\leq |(x-z)(1-t)|+|tx-tw|</math>
 +
n
 +
Como <math>0\leq t\leq1</math>, entonces <math>0\leq {1-t}\leq1</math> y de las propiedades del valor absoluto tenemos que
 +
<math>|x-v_t|\leq (1-t)|x-z|+t|x-w|</math> aplicando (*)
 +
 +
<math>|x-v_t|<(1-t)r+tr=r-tr+t=r</math> por lo que <math>v_t\in B(x,r)</math>
 +
Como <math>v_t</math> fue arbitrario, entonces <math>[z,w]\subseteq B(x,r)</math>
 +
 +
Así, hemos dado dos elementos <math>z,w\in B(x,r)</math> cuyo segmento <math>[z,w]\in B(x,r)</math>
 +
 +
Por lo tanto, un disco abierto es convexo
 +
 +
Para un disco cerrado solo se reemplazan la desigualdad estricta de (*) por una desigualdad.
 +
 +
Sean <math>x,y\in H_u</math> con <math>H_u</math> un semiplano abierto generado por <math>u,v\in\mathbb{C}, v\not=0</math>, luego <math>Im (\displaystyle \frac{x-w}{v})>0</math> & <math>Im (\displaystyle \frac{y-w}{v})>0</math> (**)
 +
 +
Sea <math>z_t\in[x,y]</math> arbitrario, entonces
 +
 +
<math>Im(\displaystyle \frac{z_t-w}{v})=Im(\displaystyle \frac{ty+(1-t)x-w}{v})</math>
 +
 +
<math>=Im(\displaystyle \frac{ty+x-tx-w}{v})=Im(\displaystyle \frac{ty+x-tx-w+tw-tw}{v})</math>
 +
<math>=Im(\displaystyle \frac{ty-tw+(1-t)(x-w)}{v})=Im(\displaystyle \frac{ty-tw}{v})+Im(\displaystyle \frac{(1-t)(x-w)}{v})</math>
 +
 +
<math>=tIm(\displaystyle \frac{y-w}{v})+(1-t)Im(\displaystyle \frac{x-w}{v})</math>
 +
 +
Como <math>t\geq 0, 1-t\geq 0</math>  y de (**) se tiene que
 +
<math>Im(\displaystyle \frac{z_t-w}{v})>0</math>, como <math>z_t</math> fue arbitrario, entonces <math>z_t\in H_u</math>
 +
 +
Por lo tanto un semiplano abierto es convexo.
 +
--[[Usuario:Sabino|Pérez Córdoba Sabino]] ([[Usuario discusión:Sabino|discusión]]) 19:15 22 nov 2012 (CST)
 +
 +
----
 +
 +
 +
Para el caso del semiplano cerrado basta con cambiar la condición (**).
  
 
'''1.27''' Si <math>\Omega\subseteq\mathbb{C} </math> es abierto, demuestre que sus componentes conexas son abiertas también.  
 
'''1.27''' Si <math>\Omega\subseteq\mathbb{C} </math> es abierto, demuestre que sus componentes conexas son abiertas también.  

Revisión del 20:15 22 nov 2012

La topología del plano complejo

1.11 Muestre que las n raíces n-ésimas de 1 son los vértices de un n-ágono regular inscrito en el círculo unitario, uno de cuyos vértices es 1


\(Sea z\in\mathbb{C}\) y \(n\geq2\) Diremos que z es una raíz n-ésima de la unidad si \[z^n=1\]

i escribimos en la forma polar \[ z^n=r^ne^{in\theta}\]

Entonces, para que z sea raíz n-ésima de la unidad, debe cumplirse \[r^n=1\] y \((\exists k\in Z)n\theta=2k\pi\) Como \(r\geq 0\) es un número real, debe tenerse que r=1. La condición sobre \(\theta\) es: \[(\exists k\in Z)\theta=\frac{2k\pi}{n}\]

Obtenemos que todos los complejos de la forma \(z=e^{i\frac{2k\pi}{n}}\) son raíces n-ésimas de la unidad. ¿Cuántos números complejos cumplen esto? Elijamos \(r\in\) {0,1,...,n-1),\(k=r+nl\) con \(l\in Z\). Entonces

\[ e^{i\frac{2k\pi}{n}} = e^{i\frac{2k\pi}{n}+{2l\pi}} = e^{i\frac{2k\pi}{n}}*1 = e^{i\frac{2k\pi}{n}}\] Así, todos los posibles valores de \(\theta\) dados anteriormente definen sólo n números complejos distintos: éstos son

\[e^{i\frac{2k\pi}{n}}\qquad\] (\(r=0,1,...,{}\nonumber\\\))

Estos valores son las exactamente n raíces n-ésimas de la unidad. Podemos escribir las raíces n-ésimas de la unidad en la forma \(z=z_{0}e^{i\frac{2k\pi}{n}}\)=\(cos{\frac{2k\pi}{n}}+isen{\frac{2k\pi}{n}}\) Como multiplicar por w es un giro de amplitud \(\frac{2\pi}{n}\), deducimos que las n raíces se obtienen girando la raíz n-ésima principal, \(z_{0}\) (con \(z_{0}\)=1), con giros sucesivos de amplitud \(\frac{2\pi}{n}\) \(\therefore\) cuando \(n\geq 3\), corresponden a puntos situados en los vértices de un polígono regular de n lados. Este polígono esta inscrito en el círculo unitario centrado en el origen y tiene vértice en el punto correspondiente a la raíz z=1 (k=0). Si escribimos \(w_{n}=e^{i\frac{2k\pi}{n}}\) vemos que las distintas raíces n-ésimas de la unidad son simplemente

1,\(w_{n}\),\(w_{n}^2\),...,\(w_{n}^{n-1}\)

1.13 Demuestre que las raíces n-ésimas de z=1 (diferentes de 1) satisfacen la ecuación ciclotómica\[u^{n-1}+u^{n-2}+.....+u+1=0.\]

Demostración

Sea \(u\in\mathbb{C}\), se observa que\[1-u^n=(u^{n-1}+u^{n-2}+.....+u+1)(1-u)\] entonces\[u^{n-1}+u^{n-2}+.....+u+1=\frac{1-u^n}{1-u}\] Si tomamos a u como la raíz n-ésimas de 1, excepto \(u=1\), se tiene que \(1-u^n=0\) & \(1-u\neq0\) Por lo tanto\[u^{n-1}+u^{n-2}+.....+u+1=0.\] --Sabino (discusión) 20:58 13 nov 2012 (UTC)

1.16.- Demuestre que un semiplano abierto es un conjunto abierto. Demostrar

\( P \in B(P_{0}) \)

\( Sea P_{0} \in B , y_{0}>0. Elegimos r = y_{0} \)



1.17.- Demuestre que un semiplano cerrado es un conjunto cerrado

Demostración

Si \( v_{0} = (x_{0},y_{0})\in V \qquad \therefore \qquad y_{0}\geq 0 \) Entonces se debe mostrar que hay una bola abierta \( B_{1}(v_{0},v) \) contenida en el plano superior.

Sea \( v_{0} = (x_{0},y_{0})\in V \) se tiene entonces que \( y_{0}\geq 0 \). Elegimos \( r = y_{0} \) consideremos la bola abierta \(B_{1}({v_{0}},y_{0})\), sea \(\overline{v}=(x,y)\in B_{1}({v_{0}},y_{0})\)se tiene entonces que \(||\overline{v}-\overline{v_{0}}||\geq y_{0}\). Es decir \(|x-x_{0}|+|y-y_{0}|\geq y_{0}\) y queremos ver que \(y\geq 0\), procederemos por contradicción.

Supongamos que y<0, entonces \[|x-x_{0}|+|y-y_{0}| = |x-x_{0}|+(-y)+y_{0}\geq y_{0}\]

Esto es una contradicción

\[\therefore\qquad y\geq 0 \] y el semiplano cerrado es un conjunto cerrado

--Cecilia Carrizosa Muñoz (discusión)


1.18 Describa los siguientes subconjuntos de \( \mathbb{C} \)

a)\({z\in \mathbb{C}: Im(z)>0}\)

Solución

Sea \(z\in \mathbb{C}\), z=a+ib. Si la parte Im(z)>0 entonces b>0. \(\therefore\) la parte imaginaria de z {Im(z)}es una línea horizontal b>0

b)\({z\in \mathbb{C}: Re(z)>\frac{3}{2}} \) Solución

Sea \(z\in \mathbb{C}\), z=a+ib. Si la parte \({Re(z)>\frac{3}{2}}\), entonces \(|a|>\frac{3}{2}\) \(\therefore\) la parte Real de z {Re(z)}es una línea vertical \(a>\frac{3}{2}\)

c)\({z\in \mathbb{C}: |z-1|\leq2}\)

Solución

Sea \(z\in \mathbb{C}\) y z=a+ib, entonces |z-1|=|a+ib-1|\(\leq 2\) \(\Rightarrow\)|\(a-1+b\)|\(\leq 2\) \(\Rightarrow\)\((a-1)^2+b^2\)\(\leq 4\)

\(\therefore\) Es una circunferencia con centro en (1,0) y radio 2

d) \(z\in \mathbb{C}:|z+1|>2\)

Solución

Sea \(z\in \mathbb{C}\) y z=a+ib, entonces |z-1|=|a+ib-1|>2 \(\Rightarrow\)|\(a-1+b\)|>2 \(\Rightarrow\)\((a-1)^2+b^2\)> 4 \(\therefore\) Es una circunferencia con centro en (0,1) y radio 2

e) \(z\in \mathbb{C}:Im(z)>0, \frac{-1}{2}\leq Re(z)\leq \frac{1}{2}\)

Solución

Sea \(z\in \mathbb{C}\) y z=a+ib, como b>0 y \(\frac{-1}{2}\leq a\leq \frac{1}{2}\) \(\therefore\)\(z\in (\frac{-1}{2},\frac{1}{2})\)

f) \(z\in \mathbb{C}:Im(z)>0, \frac{-1}{2}\leq Re(z)\leq \frac{1}{2}\),\(|z|\geq 1\)

Solución

Sea \(z\in \mathbb{C}\) y z=a+ib, como b>0 y \(\frac{-1}{2}\leq a\leq \frac{1}{2}\), \(|z|\geq 1\), entonces hay una circunferencia con centro en (0,0) y radio 1 \(\therefore\)\(z\in\)\((-\infty,-1)\)\(\bigcup\) \((1,\infty)\)

Cesar (discusión)


1.19 Sea \( \Omega \subseteq \mathbb{C} \). Demuestre que:

(a) \( \Omega \) es abierto si y sólo si \( \Omega^{0} = \Omega \).

(b) \( \Omega \) es cerrado si y sólo si \( \Omega^{-} = \Omega \).


(a) Si \( \Omega \) es abierto, entonces para cada z ∈ \( \Omega \) existe un \( \epsilon > 0 \) tal que \( B (x,\epsilon) \subset \Omega \). Vemos que la unión de todas las bolas \( B (x,\epsilon) \) es \( \Omega \). Además, esta unión es igual al interior de \( \Omega \) a saber, \( \Omega^{0} \), puesto que para cualquier subconjunto abierto \(A\) de \( \Omega \) se tiene que \( A \subset \bigcup \left \{ B(x,\epsilon) : x ∈ A \right \}. \) Luego \( \Omega^{0} = \Omega \).

Por otro lado, si \( \Omega^{0} = \Omega \), entonces \( \Omega \) es abierto por que \( \Omega ^{0}\) es abierto.


(b) Si \( \Omega \) es cerrado, entonces \( \bigcap \left \{ A : A \mbox{ es cerrado y } A \supset \Omega \right \} = \Omega^{-} = \Omega \), por que \( \Omega \) es el superconjunto cerrado más pequeño de \( \Omega \).

Por otra parte, si \( \Omega^{-} = \Omega \) entonces \( \Omega \) es cerrado debido a que \( \Omega^{-} \) es cerrado por definición.

--Belen (discusión) 21:11 30 oct 2012 (UTC)


1.20 Sea \( \Omega \subseteq \mathbb{C} \). Demuestre que:

(a) \( \Omega ^{0} = \mathbb{C} - ( \mathbb{C} - \Omega ) ^{-} \).

(b) \( \Omega ^{-} = \mathbb{C} - ( \mathbb{C} - \Omega ) ^{0} \).

(c) \( ∂ \Omega = \Omega^{-} - \Omega ^{0} \).

(d) \( ∂ \Omega = \Omega^{-} \bigcap ( \mathbb{C} - \Omega ) ^{-} \).


(a)

  • P.D. \( \mathbb{C} - ( \mathbb{C} - \Omega ) ^{-} \subseteq \Omega ^{0} \)

Sabemos que \( \mathbb{C} - \Omega \subseteq ( \mathbb{C} - \Omega ) ^{-} \)

Entonces \( \mathbb{C} - ( \mathbb{C} - \Omega ) ^{-} \subseteq \Omega \) y es abierto, puesto que la cerradura es un conjunto cerrado y el complemento de un conjunto cerrado es abierto.

De manera que \( \mathbb{C} - ( \mathbb{C} - \Omega ) ^{-} \subseteq \Omega ^{0} \), pues el interior de un conjunto (\( \Omega ^{0}\)) es el mayor abierto contenido en ese conjunto (\( \Omega \))

  • P.D. \( \Omega ^{0} \subseteq \mathbb{C} - ( \mathbb{C} - \Omega ) ^{-} \)

Sea \( x ∈ ( \mathbb{C} - \Omega ) ^{-} \), entonces \( x ∈ \mathbb{C} - \Omega \) por que \( \mathbb{C} - \Omega \subseteq ( \mathbb{C} - \Omega ) ^{-} \).

Como \( x ∈ \mathbb{C} - \Omega \), se tiene que \( x ∉ \Omega \) y también que \( x ∉ \Omega ^{0}\) ya que \( \Omega ^{0} \subseteq \Omega \).

Puesto que \( x ∉ \Omega ^{0} \Rightarrow x ∈ \mathbb{C} - \Omega ^{0}\), es decir, al complemento del interior de \(\Omega\).

Tenemos entonces que \( ( \mathbb{C} - \Omega ) ^{-} \subseteq \mathbb{C} - \Omega ^{0}\), de donde \( \Omega ^{0} \subseteq \mathbb{C} - ( \mathbb{C} - \Omega ) ^{-}\).

  • Ya que \( \mathbb{C} - ( \mathbb{C} - \Omega ) ^{-} \subseteq \Omega ^{0} \) y \( \Omega ^{0} \subseteq \mathbb{C} - ( \mathbb{C} - \Omega ) ^{-}\), podemos decir que \( \Omega ^{0} = \mathbb{C} - ( \mathbb{C} - \Omega ) ^{-} \).

(b)

Sabemos que \( \Omega^{-} = [\mathbb{C} - ( \mathbb {C} - \Omega ) ] ^{-} \).

Ahora, del inciso anterior, \( ( \mathbb{C} - \Chi ) ^{-} = \mathbb{C} - \Chi ^{0} \), si \( \Chi \subseteq \mathbb{C} \). Sea \( \Chi = \mathbb {C} - \Omega \),

entonces\[[\mathbb{C} - ( \mathbb {C} - \Omega ) ] ^{-} = \mathbb{C} - (\mathbb{C} - \Omega) ^{0}\].

Y así \( \Omega^{-} = \mathbb{C} - (\mathbb{C} - \Omega) ^{0}\).

(c)

Tenemos que \( x ∈ ∂ \Omega \Leftrightarrow x ∈ [ \Omega \cap ( \mathbb{C} - \Omega ) ] \).

\( \Leftrightarrow x ∈ [ \Omega^{-} \cap ( \mathbb{C} - \Omega )^{-} ] \) (puesto que \( \Omega \subseteq \Omega ^{-} \))

\( \Leftrightarrow x ∈ \Omega^{-} \) y \( x ∈ (\mathbb{C} - \Omega) ^{-} \)

\( \Leftrightarrow x ∈ \Omega^{-} \) y \( x ∉ \mathbb{C} - (\mathbb{C} - \Omega) ^{-} = \Omega ^{0}\) (por el inciso anterior)

\( \Leftrightarrow x ∈ ( \Omega^{-} - \Omega ^{0} ) \).

(d)

Veamos a la frontera \( ∂ \Omega \) como el conjunto de puntos que NO están en el interior \( \Omega ^{0} \) ni en el exterior (la unión de todos los abiertos ajenos con \( \Omega \), es decir, la unión de todos los abiertos contenidos en \( \mathbb{C} - \Omega \)). El exterior de \(\Omega\) es el interior de \( \mathbb{C} - \Omega \), o sea el conjunto \( ( \mathbb{C} - \Omega ) ^{0} \).

Así, \( ∂ \Omega = \mathbb{C} - [ \Omega ^{0} \cup ( \mathbb{C} - \Omega ) ^{0} ] = \mathbb{C} - \Omega ^{0} \cap \mathbb{C}- (\mathbb{C} - \Omega ) ^{0}\)

Sabemos del inciso (a) que \( \Omega ^{0} = \mathbb{C} - ( \mathbb{C} - \Omega ) ^{-} \) y del inciso (b) que \( \Omega^{-} = \mathbb{C} - (\mathbb{C} - \Omega) ^{0}\).

De tal forma que \( \mathbb{C} - \Omega ^{0} \cap \mathbb{C}- (\mathbb{C} - \Omega ) ^{0} = ( \mathbb{C} - \Omega ) ^{-} \cap \Omega^{-} \).

--Belen (discusión) 02:37 31 oct 2012 (UTC)


1.21 Sea \( \Omega \subseteq \mathbb{C} \). Demuestre que:

(a) \(z ∈ \Omega ^{0}\) si y sólo si existe \( \epsilon > 0 \) tal que \( B(z; \epsilon) \subseteq \Omega \).

Si \(z ∈ \Omega ^{0}\) entonces existe un \( \epsilon > 0 \) tal que \( B(z; \epsilon) \subseteq \Omega ^{0}\), por que \(\Omega ^{0}\) es abierto. Como \(\Omega ^{0} \subseteq \Omega\), resulta que \( B(z; \epsilon) \subseteq \Omega \). En la otra dirección, si \( B(z; \epsilon) \subseteq \Omega \) para algún \( \epsilon > 0 \), entonces por ser \( B(z; \epsilon) \) un conjunto abierto, se tiene que \(z ∈ \Omega ^{0}\), por que \( \Omega ^{0}\) es la unión de todos los subconjuntos abiertos de \( \Omega \)

(b) \(z ∈ \Omega ^{-}\) si y sólo si para todo \( \epsilon > 0 \) se tiene que \( B(z; \epsilon) \cap \Omega \ne \emptyset \)

Supóngase que \(z ∈ \Omega ^{-}\), por 1.20 (b) \(z ∈ (\mathbb{C} - ( \mathbb{C} - \Omega ) ^{0})\) y de este modo \(z \notin ( \mathbb{C} - \Omega ) ^{0}\). Con esto y por el inciso anterior, se obtiene que para cada \( \epsilon > 0 \), \( B(z; \epsilon) \nsubseteq (\mathbb{C} - \Omega) \). De esta forma, para cada \( \epsilon > 0 \) hay un punto \( w \in B(z; \epsilon) \) que no pertenece a \( (\mathbb{C} - \Omega) \), con lo cual \( w \in \Omega \), y así \( w \in ( B(z; \epsilon) \cap \Omega ) \). Ahora supóngase que \(z \notin \Omega ^{-} = \mathbb{C} - ( \mathbb{C} - \Omega ) ^{0}\), entonces \(z \in ( \mathbb{C} - \Omega ) ^{0}\), y por el inciso anterior existe un \( \epsilon > 0 \) tal que \( B(z; \epsilon) \subseteq (\mathbb{C} - \Omega) \). De esto se obtiene que \( B(z; \epsilon) \cap \Omega \ne \emptyset \).

--Ricardo velasco bazán (discusión) 02:41 6 nov 2012 (UTC)



1.23 Si \(A\subseteq\Omega\) es abierto relativo, demuestre que \(\Omega-A\subseteq\Omega\) es cerrado relativo. Demuestre también que si \(F\subseteq\Omega\) es cerrado relativo, entonces \(\Omega-F\subseteq\Omega \) es abierto relativo

* Se dice que un subconjunto abierto \(A\subseteq\Omega\) es abierto relativo en \(\Omega\) si existe un conjunto abierto \(Á\subseteq\mathfrak{C}\) tal que \(A=Á\cap\Omega\).

* Se dice que un subconjunto cerrado \(A\subseteq\Omega\) es cerrado relativo en \(\Omega\) si existe un conjunto cerrado \(Ã\subseteq\mathfrak{C}\) tal que \(A=Ã\cap\Omega\).


También sabemos que los conjuntos cerrados son complementarios de los abiertos, y reciprocamente; es decir para cualquiera que sea \(A\subseteq\Omega\), se verifica que (nótese que las dos relaciones siguientes son, en realidad una sola):


\(A\) es abierto\(\Leftrightarrow\Omega-A\) es cerrado


\(A\) es cerrado\(\Leftrightarrow\Omega-A\) es abierto


Por lo tanto de lo anterior si A es abierto relativo, entonces \(\Omega-A\subseteq\Omega\) es cerrado relativo


Demuestre también que si \(\F\subseteq\Omega\) es cerrado relativo, entonces \(\Omega-F\subseteq\Omega\) es abierto relativo.

Se demuestra de manera similar a lo anterior.


--Farfan altamirano Luis AntonioLuis Antonio (discusión) 22:26 11 nov 2012 (UTC)


1.24 Demuestre que \( I \subseteq \mathbb{R}\) es conexo si y sólo si \(I\) es un intervalo.

Sea \( I = [a,b], a,b \in \mathbb{R}, a < b \), y sea \( A \) un subconjunto abierto de \(I\) tal que \( a \in A\) y \( A \ne I \) (como \( a \in A \), \(A\) no es abierto en \( \mathbb{R} \), pero si en \(I\), es decir, \(A\) es abierto relativo a \(I\)). Si se prueba que \(A\) no es también cerrado, entonces se habrá probado que \(I\) es conexo.

Puesto que \(A\) es abierto, existe un \( \epsilon > 0 \) tal que \( [a, a + \epsilon ) \subset A \). Sea \(r\) el mayor \(\epsilon\) para el cual \( [a, a + \epsilon ) \subset A \), es decir \( r = sup \left \{ \epsilon : [a, a + \epsilon ) \subset A \right \}\). De este modo se tiene que \( [a, a + r ) \subset A \), pero \( a + r \notin A \), por que de lo contrario, puesto que \(A\) es abierto, habría un \( \delta > 0 \) tal que \( [a, a + r + \delta ) \subset A \), contradiciendo la definición de \(r\). Luego \( a + r \notin A \), y por tanto \( a + r \in I - A \). Si \(A\) es también cerrado, entonces \(I - A\) es abierto, y por tanto se puede encontrar un \( \delta > 0 \) tal que \( [a + r - \delta, a + r + \delta ) \subset I - A \), lo cual contradice el hecho de que \( [a, a + r ) \subset A \). Por lo tanto, \(A\) no puede ser cerrado.

Ahora supóngase que \(I\) no es un intervalo, entonces existen dos puntos \(a,b \in I, a < b \), tal que \( (a,b) \nsubseteq I \) (un teorema afirma que \(I\) es un intervalo si y sólo si para cualquier par de puntos \(a,b \in I\), con \(a < b \) se tiene que \((a,b) \subset I \)). Entonces, existe un punto \( c \notin I \) tal que \( a < c < b \). Como \( a \in (- \infty , c ) \) y \( b \in ( c, \infty ) \) se tiene que \( I = ( I \cap (-\infty , c) ) \cup ( I \cap ( c, \infty ) ) \), donde \( (I \cap ( - \infty, c ) ) \) y \( (I \cap (c, \infty)) \) son conjuntos disjuntos no vacíos. Por lo tanto, \(I\) no es conexo.

--Ricardo velasco bazán (discusión) 03:18 6 nov 2012 (UTC)


1.25 Un subconjunto \(A\subseteq\mathbb{C}\) se dice que es convexo si para cualquiera dos puntos \(z,w\in\)\(A\) se tiene que el segmento \([z,w]\subseteq\)\(A\).

(1) Demuestre que cualquier disco abierto o cerrado es convexo.
(2) Demuestre que cualquier semiplano abierto o cerrado es convexo.
(3) Demuestre que la intersección de cualquier familia de subconjuntos convexos es convexa.
Demostración

(1) Por definición \([z,w]:=\){\(tw+(1-t)z : 0\leq t\leq1\)}

Sean \(z,w\in B(x,r)\subseteq\mathbb{C}\), entonces \(|x-z|< r\);\(|x-w|< r\).......................(*)

Sea \(v_t\in\mathbb{C}\) arbitrario, pero fijo definido por \(v_t=tw+(1-t)z\), así todo punto del segmento [z,w] esta representado por \(v_t\).

Por otra parte

\(|x-v_t|=|x-tw-(1-t)z|=|x-tw-z+tz|\) al sumar y restar \(tx\) se tiene que \(|x-v_t|=|x-tw-z+tz+tx-tx|\) agrupando y factorizando

\(|x-v_t|=|(x-z)(1-t)+(tx-tw)|\) aplicando la desigualdad del triángiulo

\(|x-v_t|\leq |(x-z)(1-t)|+|tx-tw|\) n Como \(0\leq t\leq1\), entonces \(0\leq {1-t}\leq1\) y de las propiedades del valor absoluto tenemos que \(|x-v_t|\leq (1-t)|x-z|+t|x-w|\) aplicando (*)

\(|x-v_t|<(1-t)r+tr=r-tr+t=r\) por lo que \(v_t\in B(x,r)\) Como \(v_t\) fue arbitrario, entonces \([z,w]\subseteq B(x,r)\)

Así, hemos dado dos elementos \(z,w\in B(x,r)\) cuyo segmento \([z,w]\in B(x,r)\)

Por lo tanto, un disco abierto es convexo

Para un disco cerrado solo se reemplazan la desigualdad estricta de (*) por una desigualdad.

Sean \(x,y\in H_u\) con \(H_u\) un semiplano abierto generado por \(u,v\in\mathbb{C}, v\not=0\), luego \(Im (\displaystyle \frac{x-w}{v})>0\) & \(Im (\displaystyle \frac{y-w}{v})>0\) (**)

Sea \(z_t\in[x,y]\) arbitrario, entonces

\(Im(\displaystyle \frac{z_t-w}{v})=Im(\displaystyle \frac{ty+(1-t)x-w}{v})\)

\(=Im(\displaystyle \frac{ty+x-tx-w}{v})=Im(\displaystyle \frac{ty+x-tx-w+tw-tw}{v})\) \(=Im(\displaystyle \frac{ty-tw+(1-t)(x-w)}{v})=Im(\displaystyle \frac{ty-tw}{v})+Im(\displaystyle \frac{(1-t)(x-w)}{v})\)

\(=tIm(\displaystyle \frac{y-w}{v})+(1-t)Im(\displaystyle \frac{x-w}{v})\)

Como \(t\geq 0, 1-t\geq 0\) y de (**) se tiene que \(Im(\displaystyle \frac{z_t-w}{v})>0\), como \(z_t\) fue arbitrario, entonces \(z_t\in H_u\)

Por lo tanto un semiplano abierto es convexo. --Pérez Córdoba Sabino (discusión) 19:15 22 nov 2012 (CST)



Para el caso del semiplano cerrado basta con cambiar la condición (**).

1.27 Si \(\Omega\subseteq\mathbb{C} \) es abierto, demuestre que sus componentes conexas son abiertas también.

Tomemos una componente \(\Omega\text{´}\subseteq\mathbb{C} \) y un punto \(z_{0}\epsilon\Omega\text{´} \), como \(z_{0}\epsilon\Omega \) y \(\Omega\) es abierto, existe un disco \(B(z_{0};r)\subseteq\Omega \). Recordando que un subconjunto \(\Omega\subseteq\mathbb{C} \) no vacío, se puede descomponer como la unión de subconjuntos conexos,tenemos que la unión \(B(z_{0};r)\cup\Omega\text{´} \) por el hecho de que un conjunto se puede llenar por subconjuntos y los intersticios que hay entre ellos se llenan con conjuntos más pequeños, debe ser igual a \(\Omega\text{´} \). Con esto se entiende que \(B(z_{0};r)\subseteq\Omega\text{´} \) y por tanto \(\Omega\text{´}\) es abierto.

--Ignacio Peralta Martínez (discusión) 19:02 6 nov 2012 (UTC)



FUENTES (INFORMACIÓN ADICIONAL):

LEYES DE MORGAN



Compleja:z-ej-cap1.0

Compleja:z-ej-cap1.1

Compleja:z-ej-cap1.2

Compleja:z-ej-cap1.3

Compleja:z-ej-cap1.4

Compleja:z-ej-cap2.1

Compleja:z-ej-cap2.2