Существует ли хаусдорфово компактное сепарабельное топологическое пространство, не удовлетворяющее первой аксиоме счетности?
Первое, что приходит в мою испорченную голову, — это пространство
, являющееся компактификацией по Стоуну — Чеху дискретного топологического пространства
. Оно же — стоуновский компакт булевой алгебры
. Пространство
хаусдорфово и компактно, сепарабельно (
всюду плотно в
), но никакая точка из
не имеет счетной базы окрестностей.
Соответствующие сведения можно почерпнуть из «Общей топологии» Р.Энгелькинга (параграф 3.6) или из «Основ общей топологии в задачах и упражнениях» А.В.Архангельского и В.И.Пономарева (глава IV, параграфы 1 и 2).
Может, есть примеры попроще, но, как грится, чем богаты...