位相群とかいうのと連続群って違うの?