A subbasis S\mathbb S for the finite complement topology is the set of all R−x\mathbb R-x where x∈Rx \in \mathbb R. From Munkres I know that the collection of all finite intersections of elements from S\mathbb S forms a basis.

Any finite intersection of elements from S\mathbb S will be a basis element. That is, any set missing finitely many points will be a basis element. But that is every open set in the finite complement topology, besides R\mathbb R.

So, is every element from the finite complement topology generated by this subbasis a basis element?

=================

=================

2 Answers

2

=================

Yes, your reasoning is correct. The basis is the entire topology. Note that even the whole space is in the basis, since it is the empty intersection. The empty set maybe has to be added manually though.

No, since the constructed basis will not contain ∅\varnothing which is an element of the topology.

The constructed basis will contain every other element of the topology, so including R\mathbb R which is the empty intersection of subbase elements.