Register to reply

Another countable dense subset problem

by radou
Tags: countable, dense, subset
Share this thread:
Nov19-10, 12:51 PM
HW Helper
radou's Avatar
P: 3,224
1. The problem statement, all variables and given/known data

This one seems pretty simple - that's exactly why I want to check it.

One needs to show that if X has a countable dense subset, then every collection of disjoint open sets in X is countable.

3. The attempt at a solution

Let U be a collection of disjoint open sets in X, and let A be a countable subset of X which is dense in X.

Let Ui be any member of U. Then Ui contains an element of A, since if x is in Ui, x is either in A or a limit point of A. If x is a limit point of A, choose a basis element of the topology of X which contains x and is contained in Ui. Then this basis element intersects A in some point other than x. Hence, Ui contains an element of A.

Since any two members of U are disjoint, they will contain different elements from A. This gives a one-to-one correspondence between the countable set A and the family U, so U is countable.
Phys.Org News Partner Science news on
Hoverbike drone project for air transport takes off
Earlier Stone Age artifacts found in Northern Cape of South Africa
Study reveals new characteristics of complex oxide surfaces
Nov19-10, 12:55 PM
micromass's Avatar
P: 18,019
Completely correct!!
Nov19-10, 01:03 PM
HW Helper
radou's Avatar
P: 3,224
Excellent, thanks!

Register to reply

Related Discussions
Metrizable space with countable dense subset Calculus & Beyond Homework 9
Subset dense in R Calculus & Beyond Homework 7
Every infinite set has a countable dense subset? Calculus & Beyond Homework 6
A metric space having a countable dense subset has a countable base. Calculus & Beyond Homework 2
Infinite subset is dense Introductory Physics Homework 11