A groupoid formulation of the Baire Category Theorem

被引:0
|
作者
Brown, Jonathan [1 ]
Clark, Lisa Orloff [2 ]
机构
[1] Kansas State Univ, Dept Math, Manhattan, KS 66506 USA
[2] Univ Otago, Dept Math & Stat, Dunedin 9054, New Zealand
关键词
Baire Category Theorem; topologically principal groupoid; effective groupoid; Principle of Dependent Choice;
D O I
10.4064/fm226-2-2
中图分类号
O1 [数学];
学科分类号
0701 ; 070101 ;
摘要
We prove that the Baire Category Theorem is equivalent to the following: Let G be a topological groupoid such that the unit space is a complete metric space, and there is a countable cover of G by neighbourhood bisections. If G is effective, then G is topologically principal.
引用
收藏
页码:123 / 130
页数:8
相关论文
共 50 条