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

来源：

FUNDAMENTA MATHEMATICAE | 2014年 / 226卷 / 02期

关键词：

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

共 9 条

[1] Baire R., 1899, Annali di Mat, V3, P1, DOI [10.1007/BF02419243, DOI 10.1007/BF02419243]
[2] BLAIR CE, 1977, B ACAD POL SCI SMAP, V25, P933
[3] Simplicity of algebras associated to ,tale groupoids
Brown, Jonathan
Clark, Lisa Orloff
Farthing, Cynthia
Sims, Aidan
[J]. SEMIGROUP FORUM, 2014, 88 (02) : 433 - 452
[4] Dunham W., 2005, The calculus gallery: Masterpieces from Newton to Lebesgue
[5] ON THE ROLE OF THE BAIRE CATEGORY THEOREM AND DEPENDENT CHOICE IN THE FOUNDATIONS OF LOGIC
GOLDBLATT, R
[J]. JOURNAL OF SYMBOLIC LOGIC, 1985, 50 (02) : 412 - 422
[6] Jech Thomas J., 2008, AXIOM CHOICE
[7] Munkres J, 2000, Topology, VSecond
[8] Paterson A. L. T., 1999, PROGR MATH, V170
[9] Renault J., 2008, Ir. Math. Soc. Bull, V61, P29

← 1 →