2014 dxdy logo

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

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




 
 Предкомпактное множество
Сообщение01.06.2012, 11:12 
Напишите, пожалуйста, определение предкомпактного множества. Любое из того что знаете.

 
 
 
 Re: Предкомпактное множество
Сообщение01.06.2012, 11:18 
Замыкание которого компактно.

 
 
 
 Re: Предкомпактное множество
Сообщение02.06.2012, 10:36 
неверно (неэквивалентно стандартному определению)

 
 
 
 Re: Предкомпактное множество
Сообщение02.06.2012, 11:46 
Oleg Zubelevich в сообщении #579764 писал(а):
неверно (неэквивалентно стандартному определению)

а что, есть какие-то ГОСТы на термин "предкомпактность"?... Их даже и на "компактность" -- и то не существует.

 
 
 
 Re: Предкомпактное множество
Сообщение02.06.2012, 11:54 
http://www.encyclopediaofmath.org/index ... pact_space
http://encyclopedia2.thefreedictionary. ... ompact+set

 
 
 
 Re: Предкомпактное множество
Сообщение02.06.2012, 14:21 
это ГОСТ, да?... и на равномерных пространствах свет клином сошёлся?...

 
 
 
 Re: Предкомпактное множество
Сообщение02.06.2012, 16:39 
Да Энгелькинг это гост. И не надо воспроизводить эту путаницу все время. Предкомпактные пространства и относительно компактные это разные вещи. Вы дали определение относительно компактного пространства.

 
 
 
 Re: Предкомпактное множество
Сообщение02.06.2012, 22:26 
Для любого $\varepsilon>0$ существует конечная $\varepsilon$-сеть. Равносильно -- для любого $\varepsilon>0$ множество можно разбить на конечное число частей диаметра меньше $\varepsilon$. Это свойство также называется полной ограниченностью.

Еще -- из любой последовательности точек, принадлежащих множеству, можно извлечь фундаментальную подпоследовательность.

 
 
 
 Re: Предкомпактное множество
Сообщение02.06.2012, 22:45 
Padawan в сообщении #579975 писал(а):
Для любого $\varepsilon>0$ существует конечная $\varepsilon$-сеть. Равносильно -- для любого $\varepsilon>0$ множество можно разбить на конечное число частей диаметра меньше $\varepsilon$. Это свойство также называется полной ограниченностью.

Это всё только для метрических.

Padawan в сообщении #579975 писал(а):
Еще -- из любой последовательности точек, принадлежащих множеству, можно извлечь фундаментальную подпоследовательность.

А это -- секвенциальная предкомпактность, в общетопологическом случае она не эквивалентна топологической.

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

-- Сб июн 02, 2012 23:46:42 --

Oleg Zubelevich в сообщении #579877 писал(а):
Да Энгелькинг это гост.

В вышивании крестиком, теории алгоритмов, общей топологии или функциональном анализе?

 
 
 
 Re: Предкомпактное множество
Сообщение02.06.2012, 23:03 

(Оффтоп)

ewert
А я-то как раз думал, что Вас общетопологический, да и вообще не банаховский, да чего уж там, даже не гильбертовский случай не интересует :-)

Конечно, я написал для метрических, т.к. подозреваю, что ТС нужны именно они.

 
 
 
 Re: Предкомпактное множество
Сообщение02.06.2012, 23:07 

(Оффтоп)

Padawan в сообщении #580000 писал(а):
Вас общетопологический, да и вообще не банаховский, да чего уж там, даже не гильбертовский случай не интересует :-)

В принципе да. Но ещё менее меня интересует равномерная прокладка между общетопологическими и метрическими. Я ж не сантехник или ещё там.

 
 
 
 Re: Предкомпактное множество
Сообщение03.06.2012, 16:30 

(Оффтоп)

ewert в сообщении #580005 писал(а):
Но ещё менее меня интересует равномерная прокладка между общетопологическими и метрическими. Я ж не сантехник

какая- какая прокладка Вас менее интересует?

 
 
 
 Re: Предкомпактное множество
Сообщение03.06.2012, 20:05 
ewert в сообщении #579988 писал(а):
С другой стороны -- как бы различие между "относительно компактными" и предкомпактными интересно лишь отдельной группе энтузиастов, зачем-то интересующихся равномерными пространствами.

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

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


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