Cを複素数体で普通の距離を入れたとき、
C^*(Cの乗法群で相対位相が入っているとします。)は位相群でしょうか。
位相群だとおもうのですが、証明ができません。
よろしくお願いします。