>>438
誘導位相は普通の写像でも定義されるので全単射じゃなくても大丈夫だと思います

>>439
特にp進付値だとQpになるという感じでしょうか?