Vamos a estudiar la continuidad de una aplicación cuyo dominio es un espacio producto. Consideramos como dominio ${\mathbb R}^2={\mathbb R}\times{\mathbb R}$ y como aplicación $f:{\mathbb R}^2\rightarrow{\mathbb R}$, $f(x,y)=x+y$. Lo que vamos a hacer es poner diferentes topologías tanto en el dominio como en el codominio, y en el dominio, una topología producto.
En esta entrada tomamos como topología en el dominio a ${\tau}_i\times\tau_i$, donde $\tau_i$ es la topología del punto incluido para $p=0$. En el codominio, consideramos la topología usual $\tau_u$ de ${\mathbb R}$. Para estudiar la continuidad, hallamos la imagen inversa de la base usual de $\tau_u$. Sea un intervalo abierto $(a,b)$. Entonces $f^{-1}((a,b))=\{(x,y):x+y\in (a,b)\}$. Este conjunto es la banda que hay entre las rectas de ecuación $y=-x+a$ y $y=-x+b$ (sin incluir los bordes). Sólo queda estudiar si dicho conjunto es abierto en ${\tau}_i\times\tau_i$. Una base de entornos de $(x,y)$ en ${\mathbb R}^2$ es
$$\beta_{(x,y)}=\{\{x,0\}\times\{y,0\}\}=\{(x,y),(x,0),(0,y),(0,0)\}.$$
Pero $f^{-1}((1,3))$ no contiene al punto $(0,0)$. Por tanto, la aplicación no es continua.
Con el mismo argumento, concluimos que $f$ no es continua en $(x,y)=(1,1)$: aquí $f(1,1)=2$.
En esta entrada tomamos como topología en el dominio a ${\tau}_i\times\tau_i$, donde $\tau_i$ es la topología del punto incluido para $p=0$. En el codominio, consideramos la topología usual $\tau_u$ de ${\mathbb R}$. Para estudiar la continuidad, hallamos la imagen inversa de la base usual de $\tau_u$. Sea un intervalo abierto $(a,b)$. Entonces $f^{-1}((a,b))=\{(x,y):x+y\in (a,b)\}$. Este conjunto es la banda que hay entre las rectas de ecuación $y=-x+a$ y $y=-x+b$ (sin incluir los bordes). Sólo queda estudiar si dicho conjunto es abierto en ${\tau}_i\times\tau_i$. Una base de entornos de $(x,y)$ en ${\mathbb R}^2$ es
$$\beta_{(x,y)}=\{\{x,0\}\times\{y,0\}\}=\{(x,y),(x,0),(0,y),(0,0)\}.$$
Pero $f^{-1}((1,3))$ no contiene al punto $(0,0)$. Por tanto, la aplicación no es continua.
Con el mismo argumento, concluimos que $f$ no es continua en $(x,y)=(1,1)$: aquí $f(1,1)=2$.
No hay comentarios:
Publicar un comentario