はい。R＾ｎは距離位相が入っているので第一可算公理を満たすことは
わかります。

あ、もしかして多様体の各点はR＾ｎの開集合と同相だから当然満たすってことでしょうか？