お前なんか大嫌いだ！トッポ野郎！空気になりたい凡人です。
代数で位相空間論が出てきた。（Oh...）おまけに位相決めてないのに連続だなんだとか言っちゃってる。なんでやねん。え？どの話でかって？位相群。群の積xyと積での逆元x^{-1}へ移す写像が連続写像な群のこと。ここまでは良い。何しれっと位相群での平行移動は、連続だとか近傍は一意だとか言っちゃってるのよ。飛ばしすぎや。まるで分らせる気がない。やけになって全部証明しましたよ、ハイ。
現場からは以上です。
今日のやつ 位相群！！！！！！
代数と言っても「完備化」に必要なので登場した感じです。加法についての位相アーベル群についてコーシー列を考えて同値関係で割る操作は実数の完備化に似た手法ですね。
