C(omega) è metrico, completo e compatto (sotto opportune ipotesi)