Математическая энциклопедия - мощностная характеристика

топологического пространства функция, сопоставляющая этому пространству бесконечное кардинальное число и принимающая одинаковые значения на гомеоморфных пространствах. М. х. наз. также кардинальными инвариантами. Областью определения М. х. может служить класс всех тополо-гич. пространств или нек-рый его подкласс. Следующие М. х. были выделены уже на первом этапе развития общей топологии. Пусть Xпроизвольное топологич. пространство. Его мощность есть мощность множества всех его точек тривиальный инвариант. Вес минимум мощностей всевозможных баз пространства X. Плотность минимум мощностей всюду плотных в Xмножеств. Число Суслина наименьший бесконечный кардинал т такой, что мощность всякого семейства попарно не пересекающихся непустых открытых множеств в X не превосходит .ЧислоЛинделёфа наименьший бесконечный кардинал такой, что из всякого-открытого покрытия пространства Xможно выделить подпокрытие мощности . Эти простые понятия сразу доказали свою важность, войдя решающим образом в формулировки фундаментальных теорем и проблем. Примеры: регулярное пространство счетного веса метризуемо (теорема Урысона Тихонова, 1925), бикомпакт метризуем в том и только в том случае, если вес его счетен; для пространства X любой бикомпактной группы число Суслина счетно; число Линделёфа счетно (т. е. равно ) для всякого пространства X счетного веса. Проблема Суслина: верно ли, что всякий связный упорядоченный бикомпакт X такой, что гомеоморфен обычному отрезку [0, 1], сводится к вопросу о соотношении между двумя М. х.: плотностью и числом Суслина. Для положительного решения проблемы Суслина достаточно-в указанных выше предположениях установить, что. Вопрос о сравнении М. х. между собой решение к-рого, как видно из приведенного примера, может иметь ключевое значение для окончательного заключения о строении пространства занимает центральное место в теории М. х. Причина этому находится в самой природе понятия М. х.: значениями М. х. являются кардинальные числа, совокупность к-рых вполне упорядочена по величине. Следовательно, любые две М. х.можно пытаться сравнить по величине. Возникает серия взаимосвязанных вопросов. Верно ли, что для любого для каких , когда и т. д.

С кардинальными числами можно производить вычисления: перемножать их, складывать, возводить в степень. Соответственно, можно производить вычисления и с кардинальными инвариантами перемножать и складывать их как функции и т. д. Это открывает новые возможности для сравнения М. х.с помощью вычислений. Всегда

т. е. число Суслина не превосходит плотности, плотность не превосходит веса и число Линделёфа не препосходит веса. Но плотность и число Линделёфа в этом смысле не сравнимы: существуют пространства X, Y, Z, для к-рых

Неожиданной на первый взгляд представляется несравнимость мощности и веса: существуют нормальные счетные -пространства несчетного веса. Но всегда и . Для всякого -пространства X, (пишут ехр вместо ). Для всякого хаусдорфова пространства Всегда . .

В задачу сравнения могут быть естественно вовлечены не два, а большее число М. х. На этом пути получаются особенно тонкие, красивые и часто неожиданные результаты, поражающие своей общностью: для каждого хаусдорфова пространства где наименьший бесконечный кардинал такой, что в каждой точке пространства имеется база мощности (см. [1], [2]). Исследования в теории М. х. стимулировала проблема оценки мощности бикомпакта с первой аксиомой счетности, остававшаяся нерешенной с 1923 по 1969. Оказалось: для каждого хаусдорфова пространства (теорема Архангельского, см. [2], [4]).

Вычисления М. х. возникают во всех разделах общей топологии в силу теоретико-множественной природы последней. Поэтому и применения теория М. х. находит практически во всех областях общей топологии и при любых подходах к исследованию пространств.

В частности, при изучении пространств методом покрытий на первый план выступают число Линделёфа, плотность и число Суслина. При исследовании и классификации пространств методом непрерывных отображений (в частности, при построении теории диадич. бикомпактов и теории абсолютов) возникли и сыграли ключевую роль новые М. х.: спрэд и -вес. Спрэд пространства Xесть точная верхняя грань мощностей дискретных подпространств пространства X, а -вес этого пространства минимум мощностей всевозможных семейств (наз. -базами) непустых открытых в Xмножеств таких, что для каждого непустого открытого в Xмножества Uнайдется такое, что . При исследовании пространств методом обратных спектров важную роль играют число Суслина, характер, вес. Но имеется подход к общей топологии, при к-ром М. х. выступают и как главное средство исследования строения пространств, и как основной язык, на к-ром выражаются свойства пространств из тех или иных классов и, наконец, как средство классификации и выделения новых естественных классов топологич. пространств. В основе и здесь лежит задача сравнения M, х. Основной вопрос ставится следующим образом. Дан класс тоиологич. пространств, к-рым ограничивается область определения М. х. Как выглядят основные соотношения между кардинальными инвариантами в этих условиях? Развивая теорию М. х. для класса , мы как бы получаем "кардинальный портрет" класса . Сравнение кардинальных портретов каких-либо классов дает возможность судить

о соотношениях между этими классами, а также доставляет эффективные средства доказательства для конкретных пространств принадлежности их тому или иному классу.

Этот подход демонстрируется на примере класса метризуемых пространств. Характерной чертой здесь является совпадение для этого класса ряда основных М. х.: число Суслина равно плотности, весу и числу Линделёфа. Этот факт часто применяется, напр, чтобы доказать, что нек-рое пространство неметризуемо, достаточно показать, что на нем различаются хотя бы два из названных выше инвариантов.

Если в классе метризуемых пространств теория М. х. отличается главным образом упрощениями, то в классе бикомпактов она совершенно и нетривиальным образом меняет свой вид. Ответственны за это фундаментальные положения этой теории совпадение для бикомпактов характера и псевдохарактера, веса и сетевого веса. При этом псевдохарактером пространства Xв точке хназ. наименьшее число открытых множеств, дающих эту точку в пересечении, а характером пространства Xв точке хназ. минимум мощностей баз пространства в этой точке. Сетевым весом наз. минимум мощностей семейств множеств в X, удовлетворяющих условию: если и где Uоткрыто в X, то найдется , для к-рого (такие семейства наз. сетями в X). Для всякого бикомпакта Xверно следующее: 1) для всех 2)

Поэтому при непрерывном отображении на бикомпакт вес не может возрастать, и если бикомпакт Xпредставлен в виде объединения двух своих подпространств и , то вес не превосходит максимума весов и (аддиционная теорема для веса). По той же причине вес бикомпакта всегда не превосходит его мощности в частности, всякий счетный бикомпакт метризуем. Ни одно из перечисленных выше положений теории М. х. в классе бикомпактов не распространяется на класс всех вполне регулярных пространств. Важным специфич. результатом является следующий: если бикомпакт,кардинал,и для всех , то (теорема Чеха Поспишила). Почти все критерии метризуемости бикомпактов также являются теоремами о М. х. Так, метризуемость бикомпакта Xравносильна любому из следующих условий: а) б) в) диагональ в является множеством типа ; г) Xобладает точечно-счетной базой.