2. (1/1/0.5) Sigui τe la topologia euclı́dea en R, sigui τd la topologia discreta en R.

Considerem X = (R, τe ) × (R, τd ) amb la topologia producte, que denotem per σp .

(a). Verifica (X, σp ) el primer axioma de numerabilitat? Verifica el segon axioma?

(b). Donada una recta ` qualsevol a X, determineu la topologia induı̈da per σp en

`, en termes de la posició de `.

(c). Definiu una distància d en X de manera que la topologia σp sigui la associada

a d.

Solución. La topologı́a producto es la que tiene como base de abiertos Bp = {U ×V |

U ∈ τe , V ∈ τd }.

(a). Para cada punto x ∈ R, la familia {Br (x)}r∈Q+ , donde Br (x) denota la bola
de centro x y radio r, forma una base de entornos en τe del punto x, que
además es numerable, por serlo el conjunto Q. El conjunto {x} forma una
base de entornos en τd del punto x, que obviamente es numerable pues tiene
un solo elemento. Por lo tanto, dado un punto (x, y) ∈ R × R la familia
{Br (x) × {y}}r∈Q+ es una base de entornos numerable de (x, y). Esto nos dice
que σp cumple es segundo axioma de numerabilidad.
Por otro lado en R con la topologı́a discreta todos los puntos son abiertos y por
lo tanto, no puede tener una base de abiertos numerable (ya que todo abierto
se puede escribir como una unión de elementos de la base). De aquı́ se deduce
que τe en R no cumple el primer axioma de numerabilidad. Esto implicia que
σp tampoco puede cumplir el primer axioma de numerabilidad.

(b). En general, si X es un espacio topológico, A ⊆ X y B es una base de abiertos

de X, entonces BA = {A ∩ B | B ∈ B} es una base de abiertos de A con la
topologı́a inducida.
Consideremos en (X, σp ) la base de abiertos Bp = {Br (x)×{y} | (x, y) ∈ R×R}
y sea ` una recta en X. Si ` es una recta horizontal, una base de la topologı́a
inducida vendrá dada por los intervalos abiertos de la recta, por lo tanto
la topologı́a inducida es la topologı́a euclı́dea. Si ` es una recta que no es
horizontal, una base para la topologı́a inducida estará formada por todos los
puntos de la recta y por lo tanto la topologı́a inducida será la discreta.

(c). Podemos definir, por ejemplo, d((x1 , y1 ), (x2 , y2 )) = máx{d1 (x1 , x2 ), d2 (y1 , y2 )},
donde d1 denota la distancia eucı́dea y d2 denota la distancia discreta. Para
ver que esta métrica define la misma topologı́a en X que σp podemos comparar
las topologı́as mediante bases, tomando como base para σp la formada por los
abiertos de la forma Br (x) × {y} y como base para la topologı́a asociada a d,
las bolas abiertas utilizando esta distancia.