Топология Макки
Тополо́гия Макки́ в линейном пространстве , находящемся в двойственности с пространством (над тем же полем), – топология равномерной сходимости на компактных в слабой топологии (определяемой двойственностью между и ) выпуклых уравновешенных множествах из . Введена Дж. Макки (Mackey. 1946). Топология Макки является сильнейшей из отделимых локально выпуклых топологий, согласованных с двойственностью между и (т. е. таких отделимых локально выпуклых топологий в , что совокупность непрерывных линейных функционалов на пространстве , наделённом топологией , совпадает с ). Семейства множеств в , ограниченных относительно топологии Макки и слабой топологии, совпадают. Выпуклое множество в равностепенно непрерывно при наделении пространства топологией Макки в том и только в том случае, если оно относительно компактно в слабой топологии; если отделимое локально выпуклое пространство бочечно или борнологично (в частности, метризуемо) и – его сопряжённое, то топология Макки в (находящемся в двойственности с ) совпадает с исходной топологией в ; для пары пространств в двойственности топология Макки в не обязательно бочечна или метризуема. Слабо непрерывное линейное отображение отделимого локально выпуклого пространства в отделимое локально выпуклое пространство непрерывно относительно топологий Макки и . Локально выпуклое пространство называется пространством Макки, если топология в есть . Пополнения, факторпространства и метризуемые подпространства, произведения, локально выпуклые прямые суммы и индуктивные пределы семейств пространств Макки являются пространствами Макки. Если – пространство Макки и – слабо непрерывное линейное отображение пространства в локально выпуклое пространство , образ которого является пространством Макки, то – непрерывное линейное отображение в . Если – квазиполное пространство Макки и пространство, сопряжённое к пространству , снабжённому сильной -топологией, полурефлексивно, то рефлексивно.