Compleja:z-ej-cap1.1

La topología del plano complejo

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

Demostración

Sea ${\overline {v_{0}}}=(x_{0},y_{0})\in v\qquad$$\therefore \qquad y_{0}\geq 0$ Debemos mostrar que hay una bola abierta $B_{1}({\overline {v_{0}}},v)$ contenida en el plano superior.

Sea ${\overline {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|\leq 2}$

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 Error al representar (error de sintaxis): 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) Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): ∂ \Omega = \Omega^{-} - \Omega ^{0} .

(d) Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): ∂ \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 Error al representar (error de sintaxis): x ∈ ( \mathbb{C} - \Omega ) ^{-} , entonces Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): x ∈ \mathbb{C} - \Omega por que $\mathbb {C} -\Omega \subseteq (\mathbb {C} -\Omega )^{-}$.

Como Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): x ∈ \mathbb{C} - \Omega , se tiene que Error al representar (error de sintaxis): x ∉ \Omega y también que Error al representar (error de sintaxis): x ∉ \Omega ^{0} ya que $\Omega ^{0}\subseteq \Omega$.

Puesto que Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): 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} -\mathrm {X} )^{-}=\mathbb {C} -\mathrm {X} ^{0}$, si $\mathrm {X} \subseteq \mathbb {C}$. Sea $\mathrm {X} =\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 Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): x ∈ ∂ \Omega \Leftrightarrow x ∈ [ \Omega \cap ( \mathbb{C} - \Omega ) ] .

Error al representar (error de sintaxis): \Leftrightarrow x ∈ [ \Omega^{-} \cap ( \mathbb{C} - \Omega )^{-} ] (puesto que $\Omega \subseteq \Omega ^{-}$)

Error al representar (error de sintaxis): \Leftrightarrow x ∈ \Omega^{-} y Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): x ∈ (\mathbb{C} - \Omega) ^{-}

Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): \Leftrightarrow x ∈ \Omega^{-} y Error al representar (error de sintaxis): x ∉ \mathbb{C} - (\mathbb{C} - \Omega) ^{-} = \Omega ^{0} (por el inciso anterior)

Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): \Leftrightarrow x ∈ ( \Omega^{-} - \Omega ^{0} ) .

(d)

Veamos a la frontera Error al representar (error de sintaxis): ∂ \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í, Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): ∂ \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) Error al representar (error de sintaxis): z ∈ \Omega ^{0} si y sólo si existe $\epsilon >0$ tal que $B(z;\epsilon )\subseteq \Omega$.

Si Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): 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 Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): z ∈ \Omega ^{0} , por que $\Omega ^{0}$ es la unión de todos los subconjuntos abiertos de $\Omega$

(b) Error al representar (error de sintaxis): z ∈ \Omega ^{-} si y sólo si para todo $\epsilon >0$ se tiene que $B(z;\epsilon )\cap \Omega \neq \emptyset$

Supóngase que Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): z ∈ \Omega ^{-} , por 1.20 (b) Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): 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 \neq \emptyset$.

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

---

FUENTES (INFORMACIÓN ADICIONAL):

LEYES DE MORGAN