Espacio producto

Los espacio producto y cociente son cruciales para estudiar propiedades topológicas de superficies y entornos geométricos de mayor dimensión. En este artículo trabajamos únicamente el espacio producto. Se da la siguiente definición:

(Def. Espacio productoSean (X1,T1),(X2,T2) espacios topológicos, definimos a la topología producto (X1×X2,TX1×X2) a partir de los abiertos: TX1×X2={iIAi×Ai | {Ai}iIT1{Ai}iIT2}X1×X2

Veamos que en efecto se trata de una topología en X1×X2:

  • TX1×X2 pues =×, siendo T1,T2. A su vez: X1×X2 es un abierto en la topología pues X1T1X2T2.
  • Dados {Bj}jJTX1×X2, nos preguntamos si jJBjTX1×X2. En efecto: jJBj=jJ iIjAi×Ai=jJiIjAi×AiTX1×X2
  • Dados B1=iIAi×Ai,B2=jJAj×Aj, nos preguntamos si B1B2TX1×X2. Basta con tener en cuenta: B1B2=iIjJ(Ai×Ai)(Aj×Aj)=iIjJ(AiAj)×(AiAj) En particular, AiAjT1,AiAjT2, para cualesquiera iI,jJ (hipótesis en topologías). En consiguiente B1B2TX1×X2.

Se concluye así que TX1×X2 es topología sobre X1×X2. Dada su construcción, se intuye que la base de abiertos de esta topología es precisamente, siendo βi base de Ti: βX1×X2={A1×A2:Aiβi} (MUY DISTINTO DE β1×β2). Acerca de los cerrados en esta topología, se tiene el siguiente resultado:

(Proposición) El producto cartesiano de dos cerrados en topologías dadas es un cerrado en la topología producto que conforman. 

Demostración: Por desarrollo directo, tenemos:

X1×X2(C1×C2)={(a,b):(a,b)C1×C2}(X1×X2)=={(a,b):aC1aC2}(X1×X2)==({(a,b):aC1}{(a,b):bC2})(X1×X2)==((X1C1)×X2)(X1×(X2C2))TX1×X2

El recíproco no es cierto en general. Por ejemplo, basta tomar A abierto en una topología de manera que A×= es un cerrado en la topología producto, pero A no tiene por qué serlo.

Comentar que se demuestra fácilmente que la base de entornos de la topología producto resulta ser:

βX1×X2(a,b)={A1×A2:A1β1(a),A2β2(b)}


Conjuntos notables en la topología producto

En cualquiera de los resultados expuestos a continuación, se presupone D no vacío tal que: D=D1×D2X1×X2. Se verifica:

(Proposición) IntX1×X2(D)=IntX1(D1)×IntX2(D2).

DemostraciónPara probarlo, jugaremos con las bases de entornos:

  • "\subseteq " Dado (a,b) \in \mathrm{Int}_{X_1\times X_2} (D) \Longleftrightarrow \exists A_1 \times A_2 \in \beta (a,b) : A_1 \times A_2 \subseteq D. Así A_1 \subseteq D_1 \wedge A_2 \subseteq D_2. Luego: \left.\begin{matrix} \exists A_1 \in \beta_1 (a) : A_1 \subseteq D_1 \Leftrightarrow a\in \mathrm{Int}_{X_1} (D_1) \\ \exists A_2 \in \beta_2 (b): A_2 \subseteq D_2 \Leftrightarrow b\in \mathrm{Int}_{X_2} (D_2) \end{matrix}\right\} \Rightarrow (a,b)\in \mathrm{Int}_{X_1}(D_1) \times \mathrm{Int}_{X_2} (D_2)
  • "\supseteq " Supongamos ahora (a,b) tal que a\in \mathrm{Int}_{X_1} (D_1) y b\in \mathrm{Int}_{X_2} (D_2). En particular, existen A_1 \in \beta_1 (a), A_2 \in \beta_2 (b) contenidos en D_1, D_2 respectivamente. Tomando A = A_1 \times A_2 \in \beta(a,b) tales que A_1 \times A_2 \subseteq D_1 \times D_2 = D. Se deduce: (a,b)\in \mathrm{Int}_{X_1 \times X_2} (D).

\square

(Proposición) \mathrm{Cl}_{X_1 \times X_2} (D) = \mathrm{Cl}_{X_1} (D_1) \times \mathrm{Cl}_{X_2} (D_2).

DemostraciónJugamos de nuevo con bases de entornos:

  • "\subseteq ": Sea (a,b)\in \mathrm{Cl}_{X_1 \times X_2} (D), entonces para cualquier A_1 \times A_2 \in \beta(a,b), se verifica: (A_1 \times A_2) \cap D \neq \varnothing \quad \wedge \quad (A_1 \times A_2) \cap ((X_1 \times X_2) - D) \neq \varnothing Así, para cualquier A_1 \in \beta(a), se ha de cumplir A_1 \cap D_1 \neq \varnothing \wedge A_1 \cap (X_1 - D_1) \neq \varnothing. Por lo tanto a\in \mathrm{Cl}_{X_1} (D_1). El razonamiento es análogo para ver b\in \mathrm{Cl}_{X_2}(D_2).
  • "\supseteq": Dados a\in \mathrm{Cl}_{X_1} (D_1), b\in \mathrm{Cl}_{X_2} (D_2), en particular para cualquier entorno de a en X_1 y de b en X_2, su intersección es no vacía con D_1, D_2 y sus complementarios, respectivamente. Es inmediato formular (a,b) \in \mathrm{Cl}_{X_1 \times X_2} (D) dadas las relaciones componente a componente.

\square


Proyecciones

(DefiniciónDados (X_1, T_1), (X_2, T_2) espacios topológicos, se definen las proyecciones primera y segunda como las aplicaciones que proceden: p_1 : X_1 \times X_2 \to X_1 \ , p_1 (x_1, x_2) = x_1 \qquad p_2 : X_1 \times X_2 \to X_2 \ , p_2 (x_1, x_2) = x_2

Cualquiera de las proyecciones es continua. En efecto, trabajando sin pérdida de generalidad en la proyección primera:

p_1 ^{-1}(A_1) = \{(x_1, x_2) \in X_1 \times X_2 : p_1(x_1, x_2) = x_1 \in A_1 \} = A_1 \times X_2 \in T_1 \times T_2

, para cualquier abierto A_1 \in T_1. Ninguna de las proyecciones definidas es inyectiva, y por lo tanto no se tratan de homeomorfismos. Sin embargo, se puede afirmar que son ambas aplicaciones abiertas (Inmediato de la definición). No siempre tienen por qué ser cerradas. En efecto, considerando \mathbb{R}^2 = \mathbb{R}\times \mathbb{R} con la topología usual:

\left \{ \left ( \frac{1}{n}, 2n \right ) \right \}_{n\in \mathbb{N}} \ \mathrm{cerrado} \  \underset{p_1}{\longrightarrow} \ \left \{ \frac{1}{n} \right \}_{n\in \mathbb{N}} \ \mathrm{no \ cerrado}

Una particular utilidad sobre las proyecciones, recae en el estudio de la continuidad de funciones. Se consigue probar el siguiente resultado:

(Proposición) Sean (X_i, T_i), i=1,2,3; espacios topológicos, una función dada f:(X_1,T_1) \to (X_2 \times X_3, T_{X_2 \times X_3}) es continua si, y solo si lo son las composiciones: p_1 \circ f: (X_1,T_1) \to (X_2, T_2) \qquad p_2 \circ f: (X_1, T_1) \to (X_3, T_3)

Demostración"\Rightarrow " Suponemos f función continua. En particular, para cualquier entorno U\in \mathrm{Ent}_{T_2 \times T_3} (x_2,x_3), existe V\in \mathrm{Ent}_{T_1} (x_1) tal que f(V)\subseteq U, siendo f(x_1) = (x_2,x_3). Sean U_2 \in \mathrm{Ent}_{T_2} (x_2), U_3 \in \mathrm{Ent}_{T_3}(x_3), considérese U_2 \times U_3 entorno de (x_2,x_3) en la topología producto. Por hipótesis, encontramos V\in \mathrm{Ent}_{T_1}(x_1): f(V)\subseteq U_2 \times U_3. Basta con tomar V'=V''=V\in \mathrm{Ent}_{T_1}(x_1) tal que:

(p_1 \circ f)(V') \subseteq U_2 \quad \wedge \quad (p_2 \circ f)(V'') \subseteq U_3

Hemos probado que la composición con las proyecciones es continua. "\Leftarrow" Veamos que f es función continua por caracterización de abiertos. En efecto:

\begin{eqnarray} f^{-1}(A_2 \times A_3) & = & \{x\in X: f(x) \in A_2 \times A_3 \} \nonumber = \\ & = & \{ x\in X: (p_1 \circ f)(x) \in A_2 \wedge (p_2 \circ f)(x) \in A_3 \} \nonumber = \\  & = & (p_1 \circ f)^{-1}(A_2) \cap (p_2 \circ f)^{-1}(A_3) \in T_{1} \quad , \forall A_2\in T_2, A_3 \in T_3 \nonumber \end{eqnarray}

\square

Comentarios