(位相)多様体に連結性を仮定すれば次元は一意に定まると思うのですが、どのように証明できますか？
R^nとR^mが同相⇒n=mは用いてもいいです。