Псевдобаза

топологического пространства X - семейство открытых в Xмножеств такое, что каждая точка пространства X является пересечением всех содержащих ее элементов этого семейства. П. существует только в пространствах, все одноточечные подмножества к-рых замкнуты (т. е. в T1 - пространствах). Если T1 -пространство с базой [img: http://localhost:8080/file/041757-51.jpg] наделить другой более сильной топологией, то [img: http://localhost:8080/file/041757-52.jpg] уже не будет базой нового топологич. пространства, но останется ого П. В частности, счетную П. имеет дискретное пространство мощности континуум, в к-ром счетной базы нет. Однако для бикомпактов (т. е. бикомпактных хаусдорфовых пространств) из наличия счетной П. следует существование счетной базы.