可換群Gの濃度が実数直線のべき集合の濃度以下であるとき、Gの任意の部分集合Aに対し、AのMarkov-Zariski閉包は位相TにおけるAの閉包と一致し、(G,T)の完備化がコンパクト位相群になるようなG上の群位相Tが存在することを証明した。可換群Gの濃度が実数直線のべき集合の濃度以下であるとき、Gの稠密可能な部分集合の特徴付けを得た。コンパクト群Gのすべての稠密な部分集合のある位相的性質を用いてGが距離付け可能になるための必要十分条件を解明した。位相群がLie群になるための三つの必要十分条件を得た。
|