Let be a topology on the set of natural numbers that is generated by the sets where .
Find the smallest size a non-empty closed set (in ) can attain.
This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try
refreshing the page, (b) enabling javascript if it is disabled on your browser and,
finally, (c)
loading the
non-javascript version of this page
. We're sorry about the hassle.
A set is closed if and only if its complement is open. Consider X = n = 1 ⋃ ∞ S n . Since n ∈ S n and 0 ∈ S n for all n ∈ N ∖ { 0 } , X = N ∖ { 0 } . Since X is the union of open sets, X itself is open and X C = { 0 } must be closed. Thus there exists a closed set of size 1 . Since a set of size 0 would be the empty set (and the question specifies that we are looking for a non-empty closed set), 1 is the smallest possible size of a closed set.