Metrizable universal minimal flows of Polish groups have a comeagre orbit
Metrizable universal minimal flows of Polish groups have a comeagre orbit
复制标题
波兰群的可度量通用最小流有一个共轭轨道
DOI：
--
复制
发表时间：
2016
影响因子：
2.2
通讯作者：
T. Tsankov
中科院分区：
文献类型：
--
作者：
Itaï Ben Yaacov;Julien Melleray;T. Tsankov
We prove that, whenever G is a Polish group with metrizable universal minimal flow M(G), there exists a comeagre orbit in M(G). It then follows that there exists an extremely amenable, closed, co-precompact subgroup G* of G such that M(G)=G/G∗^documentclass[12pt]{minimal} usepackage{amsmath} usepackage{wasysym} usepackage{amsfonts} usepackage{amssymb} usepackage{amsbsy} usepackage{mathrsfs} usepackage{upgreek} setlength{oddsidemargin}{-69pt} egin{document}$${M(G) = widehat{G/G^*}}$$end{document}.
We prove that, whenever G is a Polish group with metrizable universal minimal flow M(G), there exists a comeagre orbit in M(G). It then follows that there exists an extremely amenable, closed, co-precompact subgroup G* of G such that M(G)=G/G∗^documentclass[12pt]{minimal} usepackage{amsmath} usepackage{wasysym} usepackage{amsfonts} usepackage{amssymb} usepackage{amsbsy} usepackage{mathrsfs} usepackage{upgreek} setlength{oddsidemargin}{-69pt} egin{document}$${M(G) = widehat{G/G^*}}$$end{document}.