Verify that \(\mathbb{B_b}\) and \(\mathbb{B_p}\) are basis for a topology on \({\Pi^m}_\alpha X_\alpha\):

(1)  \(\mathbb{B_b}=\{\Pi_{\alpha \in I } U_\alpha :U_\alpha \; is \; open \; in X_\alpha \}\) .

(2) \(\mathbb{B_b}=\{\Pi_{\alpha \in I } U_\alpha \in \mathbb{B_b}:U_\alpha=X_\alpha\) for finitely many values of \(\alpha\}\).

Suppose that each \(X_\alpha\) contains a non-empty proper open subset \(U_\alpha\). Show that \(\Omega_\mathbb{B_p} = \Omega_\mathbb{B_b}\) iff \(I\) has finite cardinality.

Show that the product topology is the smallest topology which makes all projections \(\pi_\alpha\) continuous.

Let \(f:A \rightarrow \Pi_\alpha X_\alpha\) be given by \(f(a)=(f_\alpha(a))\), where the functions \(f_\alpha : A \rightarrow X_\alpha\) are given. Suppose \(\Pi_\alpha X_\alpha\) has either box topology or product topology. Show that if f is continuous then each \(f_\alpha\) is continuous.

Show that \(D : \mathbb{R^ \omega} \times \mathbb{R^ \omega} \rightarrow \mathbb{R}\) given by

\(D((x_n),(y_n)):=sup_n \frac{min \{|x_n-y_n|,1\}}{n}\)

defines a metric on \(\mathbb{R^ \omega}\) . Verify further that \(D \le d_u\) , where \(d_u\) is the uniform metric.

Show that any finite set is compact.

Let \(K \subseteq Y \subseteq X\). Show that \(K\) is compact in \(X\) iff \(K\) is compact in \(Y\).

We invoke a classical result from Analysis, which characterizes all compact subsets of \(\mathbb{R^n}\) .

Let p be a polynomial in the real variables \(x,y\). Then the zero set \(Z(p)\) of \(p\) is always closed. However, \(Z(p)\) may or may not be compact. For instance, if \(p(x,y)=x^2=y^2-1\)then \(Z(p)\) being the unit circle is compact. If \(p(x,y)=x\) then \(Z(p)\) is the Y -axis, which is certainly non-compact.

Let \(p\) be a non-constant polynomial in the complex variables \(z_1, \cdots ,z_m\). Show that the zero set \(Z(p)\) of \(p\) is compact iff \(m=1\).

Show that every subset of \(\mathbb{R}\) with co-finite topology is compact.

Show that the continuous image of a compact space is again compact.