2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




 
 Хаусдорфово компактное сепарабельное, без I аксиомы счетнос
Сообщение20.08.2009, 15:44 
Существует ли хаусдорфово компактное сепарабельное топологическое пространство, не удовлетворяющее первой аксиоме счетности?

 
 
 
 Re: Хаусдорфово компактное сепарабельное, но
Сообщение20.08.2009, 17:03 
fiktor в сообщении #236509 писал(а):
Существует ли хаусдорфово компактное сепарабельное топологическое пространство, не удовлетворяющее первой аксиоме счетности?
Первое, что приходит в мою испорченную голову, — это пространство $\beta\mathbb N$, являющееся компактификацией по Стоуну — Чеху дискретного топологического пространства $\mathbb N$. Оно же — стоуновский компакт булевой алгебры $\mathcal P(\mathbb N)$. Пространство $\beta\mathbb N$ хаусдорфово и компактно, сепарабельно ($\mathbb N$ всюду плотно в $\beta\mathbb N$), но никакая точка из $\beta\mathbb N\setminus\mathbb N$ не имеет счетной базы окрестностей.

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

Может, есть примеры попроще, но, как грится, чем богаты...

 
 
 
 Re: Хаусдорфово компактное сепарабельное, но
Сообщение20.08.2009, 17:32 
Понял. Спасибо.

 
 
 [ Сообщений: 3 ] 


Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group