EDB — 0X8

[0X8]Prerequisiti:[0X0]↺↻,[09T]↺↻. Supponiamo che \(I\) sia un gruppo; allora \(X\) è un gruppo (è il prodotto cartesiano di gruppi); e la moltiplicazione si effettua “componente per componente”. Mostrate che il prodotto in \(X\) è un’operazione continua, e così per la mappa di inversione. Dunque \((X,d)\) è un gruppo topologico.