- E89
[0M5]Prerequisites:[0M3],[0KX],[0KZ].Let now \(X_ 1,\ldots X_ n\) be topological spaces with topologies \(π_ 1,\ldots π_ n\) respectively and suppose that \({\mathcal B}_ 1,{\mathcal B}_ 2,\ldots {\mathcal B}_ n\) are bases for these spaces. Let \(X=β_{i=1}^ nX_ i\) be the Cartesian product, and let
\[ {\mathcal B}=\left\{ β_{i=1}^ n A_ i : A_ 1β{\mathcal B}_ 1,A_ 2β{\mathcal B}_ 2,\ldots A_ nβ{\mathcal B}_ n\right\} \]The family of all cartesian products of elements chosen from their respective bases. Show that \({\mathcal B}\) is a base for the product topology. (This exercise generalizes the previous [0M3], taking \({\mathcal B}_ i=π_ i\)).1See also the exercise [0QM] for an application to the case of metric spaces.
EDB β 0M5
View
English
Authors:
"Mennucci , Andrea C. G."
.
Managing blob in: Multiple languages