Диагональное Произведение Отображений

Отображение = определяемое равенством f(x)= Д. п. о. fa удовлетворяет для любого а соотношению fa=paf, где pa. обозначает проектирование произведения Y на сомножитель Ya. Диагональное произведение непрерывных отображений непрерывно. Семейство отображений наз. расчленяющим, если для любой точки и всякой ее окрестности Ох существует такой индекс a и такое открытое подмножество что Если — расчленяющее семейство отображений и f есть Д. п. о. fa, то f является вложением пространства Xв произведение pYa, т. е. — гомеоморфизм. Д. п. о. было применено А. Н. Тихоновым для вложения вполне регулярного пространства веса т в куб It. В. В. Феворчук

Источник: Математическая энциклопедия на Gufo.me