0456132人目の素数さん垢版 | 大砲2024/05/11(土) 23:12:14.08ID:yW+B9ptn >>438 誘導位相は普通の写像でも定義されるので全単射じゃなくても大丈夫だと思います >>439 特にp進付値だとQpになるという感じでしょうか?