Борелевская структура Макки
Боре́левская структу́ра Ма́кки, некоторая борелевская структура (т. е. борелевская система множеств) на спектре сепарабельной -алгебры , определяемая следующим образом. Пусть , , – гильбертово пространство размерности , – множество ненулевых неприводимых представлений -алгебры в пространстве , снабжённое топологией простой слабой сходимости. Пусть множество снабжено борелевской системой множеств, подчинённой его топологии [т. е. наименьшей борелевской системой множеств, относительно которой все отображения , , , , – борелевские функции], и пусть – объединение подпространств , , снабжённое борелевской системой множеств таких, что подмножество в тогда и только тогда является борелевским, когда его пересечение с каждым из множеств принадлежит соответствующей борелевской системе множеств. Пусть – отображение борелевского пространства на спектр -алгебры , сопоставляющее представлению его класс унитарной эквивалентности. Борелевская система множеств в , образованная множествами, полные прообразы которых при отображении принадлежат построенной борелевской системе множеств на , и называется борелевской структурой Макки на . Борелевская структура Макки содержит все множества из борелевской системы множеств на , подчинённой топологии пространства ; каждая точка в является борелевским множеством в борелевской структуре Макки. Следующие условия эквивалентны:
1) борелевская структура Макки стандартна (т. е. изоморфна как борелевская система множеств борелевской системе подмножеств некоторого полного сепарабельного метрического пространства, подчинённой его топологии);
2) борелевская структура Макки совпадает с борелевской системой множеств, подчинённой топологии в ;
3) борелевская структура Макки на счётно отделима;
4) если – -алгебра, то борелевская структура Макки может быть введена также на квазиспектре сепарабельной -алгебры.