研究課題/領域番号 |
15540082
|
研究機関 | 愛媛大学 |
研究代表者 |
|
研究分担者 |
木曽 和啓 愛媛大学, 理学部, 教授 (60116928)
藤田 博司 愛媛大学, 理学部, 助手 (60238582)
野倉 嗣紀 愛媛大学, 理学部, 教授 (00036419)
山田 耕三 静岡大学, 教育学部, 教授 (00200717)
佐々木 洋城 愛媛大学, 理学部, 教授 (60142684)
|
キーワード | topological group / 可算コンパクト空間 / pseudocompact空間 / 可換群 / 可分空間 / hereditarily separable空間 |
研究概要 |
可算コンパクト位相群の代数的構造を研究した。濃度2^c以下の可換群に可算コンパクト群位相を導入できるか否かを調べた。(ここで、cが連続体の濃度を表す。)特に、forcingを用いて以下の定理1〜4が成り立つZermelo-Frankelの集合論公理形のmodel Mを構成した。 定理1 可換群Gに対して次の条件が同値である。 (i)Gは可算コンパクト可分群位相をもつ、 (ii)Gは可算コンパクトhereditarily separable群位相をもつ、 (iii)Gに無限コンパクト部分集合をもたない可算コンパクトhereditarily separable群位相を導入できる、 (iv)Gの濃度が2^c以下でGは条件PsとCCをみたす。 定理2 Torsion可換群Gに対して次の条件が同値である。 (i)Gはpseudocompact可分群位相をもつ、 (ii)Gに無限コンパクト部分集合をもたない可算コンパクトhereditarily separable群位相を導入できる、 (iii)Gの濃度が2^c以下でGは条件CCをみたすbounded torsion群である。 定理3 Torsionでない可換群Gに対して次の条件が同値である。 (i)Gはpseudocompact可分群位相をもつ、 (ii)Gに無限コンパクト部分集合をもたない可算コンパクトhereditarily separable連結及び局所連結群位相を導入できる、 (iii)Gの濃度が2^c以下でGは条件Psをみたす。 定理4 Torsion-free可換群Gに対して次の条件が同値である。 (i)Gはpseudocompact可分群位相をもつ、 (ii)Gに無限コンパクト部分集合をもたない可算コンパクトhereditarily separable群位相を導入できる、 (iii)Gの濃度がc以上かつ2^c以下である。 定理5。無限可換群Gに対して次の条件が同値である。 (i)Gはpseudocompact可分群位相をもつ、 (ii)Gの濃度がc以上かつ2^c以下でGは条件Psをみたす。
|