Are there conditions known under which the inductive or projective limit of a family of compact Hausdorff topological groups is compact? (For instance, such a result is valid for the projective limit if the groups are totally disconnected, but this hypothesis is too constraining.)
$\begingroup$
$\endgroup$
11
-
4$\begingroup$ I believe for projective limits it is always compact: its is a closed subgroup of a product of compact spaces. $\endgroup$– Benjamin SteinbergCommented Nov 30, 2012 at 18:59
-
2$\begingroup$ Inductive limits of compact things will almost never be compact. $\endgroup$– Benjamin SteinbergCommented Nov 30, 2012 at 19:04
-
4$\begingroup$ Of course, one should specify the category in which one is taking (co)limits; I guess you mean in the category of topological groups? $\endgroup$– Todd TrimbleCommented Nov 30, 2012 at 19:22
-
2$\begingroup$ Right. If I'm not mistaken, the category of compact Hausdorff topological groups has all limits and colimits, but for most of the colimits it is necessary to take the Bohr compactification of the colimit in topological groups. $\endgroup$– Qiaochu YuanCommented Nov 30, 2012 at 19:39
-
$\begingroup$ Thank you all so far for your very quick reaction. Benjamin Steinberg, yes, with Tychonov's theorem; this is what I was suspecting too, I was just needing some confirmation. Could you please comment more on the inductive limit, since this is what interests me more? Qiaochu Yuan, could you give any bibliographical hint? I have no experience on the subject. Todd Trimble: yes. $\endgroup$– Alex M.Commented Nov 30, 2012 at 20:09
|
Show 6 more comments