23/03/27 14:58:46.65 tgI9vsif.net
>>423
>代数閉包を取ってから完備化した体は代数閉体ですか？
Yes
kを位相体、Kをkの代数閉包、K'をKの完備化
FをK'の多項式、F_nをKの多項式で係数がFの係数に収束するもの
Kは代数閉体なので、F_nの根はK'に属する
その極限はFの根で、K'は完備なので、K'に属する
>また完備化してから代数閉包を取った体は完備ですか？
No
反例:K = Q_pの代数閉包は完備ではない
なぜならKはQ_pの可算和だから、ベールのカテゴリー定理から完備にはなり得ない