- #1
- 3,149
- 8
A "countable basis" vs. "countably locally finite" problem
Sometimes it's fairly difficult to name a thread for a specific problem.
So, one needs to show that, if X has a countable basis, a collection A of subsets of X is countably locally finite of and only if it is countable.
(A collection A is countably locally finite if it can be expressed as A = U Ai, where is goes over the positive integers, and where for each i, the collection Ai is locally finite.)
<==
Assume A is a countable collection of subsets of X, so it can be indexed with the positive integers, so we have A1, A2, ... Ai, ... . Now, let pick some x in X. Trivially, X is a neighborhood of x which intersects Ai, for any i, and hence only finitely many members of the collection Ai (Ai is the only member of Ai). So, A is countably locally finite.
==>
Let A be a countably locally finite collection of subsets of X. Pick x in X, and some element Ai from the collection A (Ai is a collection of sets itself). Then there exists some neighborhood U of x which intersects Ai in only finitely many elements. Let B be a countable basis for X. Pick an element Bi containing x and contained in U. Then Bi intersects Ai in only finitely many elements too (possibly even in none of them, but that meany finitely, too). Do this for every x in X. Now here's probably a wrong conclusion: if I do this for every x, I can't arrive at a countable collection of basis elements {Bi} which cover X, right? Since X may be uncountable. Since if this was true, then {Bi} would be an open cover for X, and every element of {Bi} would intersect Ai in a finite number of elements. Hence, Ai would be countable, which would make A countable.
But I fear this won't work. Since if X is uncountable, I can't choose, for every x in X, the a basis element containing x and contained in the neighborhood Ux of x which intersects Ai in finitely many elements. Or?
Homework Statement
Sometimes it's fairly difficult to name a thread for a specific problem.
So, one needs to show that, if X has a countable basis, a collection A of subsets of X is countably locally finite of and only if it is countable.
(A collection A is countably locally finite if it can be expressed as A = U Ai, where is goes over the positive integers, and where for each i, the collection Ai is locally finite.)
The Attempt at a Solution
<==
Assume A is a countable collection of subsets of X, so it can be indexed with the positive integers, so we have A1, A2, ... Ai, ... . Now, let pick some x in X. Trivially, X is a neighborhood of x which intersects Ai, for any i, and hence only finitely many members of the collection Ai (Ai is the only member of Ai). So, A is countably locally finite.
==>
Let A be a countably locally finite collection of subsets of X. Pick x in X, and some element Ai from the collection A (Ai is a collection of sets itself). Then there exists some neighborhood U of x which intersects Ai in only finitely many elements. Let B be a countable basis for X. Pick an element Bi containing x and contained in U. Then Bi intersects Ai in only finitely many elements too (possibly even in none of them, but that meany finitely, too). Do this for every x in X. Now here's probably a wrong conclusion: if I do this for every x, I can't arrive at a countable collection of basis elements {Bi} which cover X, right? Since X may be uncountable. Since if this was true, then {Bi} would be an open cover for X, and every element of {Bi} would intersect Ai in a finite number of elements. Hence, Ai would be countable, which would make A countable.
But I fear this won't work. Since if X is uncountable, I can't choose, for every x in X, the a basis element containing x and contained in the neighborhood Ux of x which intersects Ai in finitely many elements. Or?