Бикомпактно открытая топология

одна из топологий на множестве отображений одного топо-логич. пространства в другое. Если F - некоторое множество отображений топология, пространства Xв то-пологич. пространство Y, то каждый конечный набор пар [img: http://localhost:8080/file/010211-32.jpg] - бикомпактное подмножество пространства [img: http://localhost:8080/file/010211-33.jpg] - открытое подмножество пространства [img: http://localhost:8080/file/010211-34.jpg] определяет подмножество тех отображений [img: http://localhost:8080/file/010211-35.jpg] для к-рых одновременно [img: http://localhost:8080/file/010211-36.jpg] совокупность всех таких подмножеств объявляется базой Б. непрерывны, а У- вполне регулярное пространство, то и множество F, наделенное Б...определяемое формулой [img: http://localhost:8080/file/010211-39.jpg] непрерывно и при этом Б.