_121. Связность. Компактность.

Определение. Пространство E называется Связным, если его нельзя представить в виде объединения двух непустых непересекающихся множеств, открытых в E. Множество в топологическом пространстве называется Связным, если оно связно как подпространство.

Если Е и F – связные пространства, то произведение Е ´ F также связно.

Понятие компактности обобщает свойство быть замкнутым и ограниченным множеством в евклидовом пространстве.

Определение. Топологическое пространство называется Хаусдорфовым, если оно обладает следующим свойством: каковы бы ни были две различные точки p и q, существует такая окрестность U точки p и такая окрестность V точки q, что UÇV=Æ.

Любое евклидово пространство является хаусдорфовым.

Любое подпространство евклидова пространства хаусдорфово. На самом деле любое подпространство любого хаусдорфова пространства хаусдорфово.

Прежде чем определять компактность, приведем несколько предварительных определений.

Определение. Покрытие топологического пространства E – набор множеств из E, объединение которых дает все пространство E. Оно называется Открытым покрытием, если каждое множество в наборе открыто.

Определение. Пусть дано покрытие топологического пространства. Подпокрытием называется покрытие, все множества которого принадлежат данному покрытию.

Определение. Компактным пространством Называется хаусдорфово пространство, обладающее тем свойством, что каждое его открытое покрытие содержит конечное подпокрытие, т. е. покрытие, состоящее из конечного числа множеств. Множество в топологическом пространстве называется Компактным, если оно является компактным подпространством.

Компактное подмножество евклидова пространства должно быть замкнутым и ограниченным. Если перемножаемые компактные пространства A и B лежат в евклидовых пространствах размерностей и , то их произведение есть подпространство в -мерном пространстве. Так как пространства A и B компактны, они замкнуты и ограничены. Поэтому их произведение является замкнутым и ограниченным подмножеством евклидова пространства. Следовательно, A´B компактно.

< Предыдущая