Аппроксимативная компактность
Аппроксимати́вная компа́ктность, свойство множества в метрическом пространстве , состоящее в том, что для любого любая минимизирующая последовательность [т. е. последовательность, обладающая свойством ] имеет предельную точку . Аппроксимативная компактность данного множества обеспечивает существование элемента наилучшего приближения для любого . Понятие аппроксимативной компактности введено в работе (Ефимов. 1961) в связи с изучением чебышёвских множеств в банаховом пространстве, и это позволило описать выпуклые чебышёвские множества в некоторых пространствах. Именно, пусть – равномерно выпуклое и гладкое банахово пространство. Для того чтобы чебышёвское множество было выпуклым, необходимо и достаточно, чтобы оно было аппроксимативно компактным. Отсюда следует, в частности, что множество рациональных дробей с фиксированной степенью числителя и знаменателя не является в пространстве чебышёвским множеством, если степень знаменателя (Ефимов. 1961).
O последующих исследованиях в этом направлении см. работу (Гаркави. 1969).