Компакт в матанализе : Анализ-II - Страница 3

Oleg Zubelevich

Вообще, понятие предкомпактности работает в равномерном пространстве. Метрическое и локально выпуклое -частные случаи.
Это Вы сформулировали критерий предкомпактности -- множество предкомпактно тогда и только тогда, когда оно вполне ограничено.
Понятно, что взять за определение, а что за критерий (с соответствующим доказательством), совершенно не принципиально.

-- Чт мар 31, 2011 15:38:11 --

В общем случае -- нет. Совпадают на подмножествах полного

метрического пространства.

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

Ну не так быстро. Пополнение пространства

-- это вовсе не присоединение к нему его недостающих предельных точек, таковых просто не существует.

Вообще, понятие предкомпактности работает в равномерном пространстве. Метрическое и локально выпуклое -частные случаи.

спасибо, я в курсе, вот я чтоб не обсуждать равномерные структуры, сразу сказал про локально выпуклые пространства

Это Вы сформулировали критерий предкомпактности -- множество предкомпактно тогда и только тогда, когда оно вполне ограничено.

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

Понятно, что взять за определение, а что за критерий (с соответствующим доказательством), совершенно не принципиально.

Конечно, только важно проговаривать и то и другое.

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

Зачем? Если Вы хотите опубликовать [нормальную] статью и Вас [немного] не поймут - читатели/редакторы просто вставят/попросят вставить необходимые короткие разъясения/определения.

alex1910

Чтобы прийти к консенсусу на форуме. И для ссылок (внутри форума).

Невнимательно читаете. Не в топологическом, а в ХАУСДОРФОВОМ топологическом: никаких проблем с предельными точками и даже пределами.

-- Чт мар 31, 2011 15:02:45 --

Консенсус на интернет-форуме - нереально.
На околоматематическом - нереально вдвойне.

В топологическом пространстве процедура пополнения не определена. Она определена, например, в метрическом пространстве.

Пополнения чего? Множества?
В чем проблема, если топология хаусдорфова? Сформулируйте понятие предельной точки и предела на языке окрестностей данной топологии - и убедитесь, что все корректно определено и работает так же, как и в наивном матане за первый курс:)

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

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

Вы сейчас говорите не о пополнении, а о замыкании множества в топологическом пространстве.

Пополнение - добавление к множеству всех его предельных точек (в случае, когда предельные точки вообще могут быть определены).

Замыкание множества M - "наименьшее" ( по включению, пересечение всех замкнутых множеств, содержащих M) замкнутое в данной топологии множество, содержащее М.

Беседа прекращена в силу очевидной бесполезности.

alex1910

Цитата:

А я про пространства ничего и не говорил, так, для начала...

Я вас спросил и вы ответили

Цитата:

Именно так и определяю, надеюсь тут ни с кем разногласий не возникнет.

Значит как-то определяли, только не сказали как!

Пополнение = Замыкание.

Пополнение - добавление к множеству всех его предельных точек (в случае, когда предельные точки вообще могут быть определены).

Термин "пополнение" применим не к подмножеству, а к пространству в целом. В этом случае никаких "предельных точек", не входящих в пространство, не существует, потому и говорить об их добавлении бессмысленно.

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

Во всяком случае, Вы явно путаете понятия "пополнение" и "замыкание".

А это действительно так?... Во всяком случае, из секвенциальной компактности множества уже следует его полнота как самостоятельного метрического пространства.