I can't seem to find this result in any of my textbooks. Given any basis B for a topology T on X, is there a minimal subset M of B that also is a basis for T (in the sense that any proper subset of M is not a basis for T)? If so, is Zorn's Lemma needed to prove this?(adsbygoogle = window.adsbygoogle || []).push({});

Is the same true of subbases?

Attempt at proof using Zorn's Lemma:

Let B be a basis for a topology T on X. Let A be the collection of all bases for T that is a subcollection of B. A is not empty because B is in A. Partially order A by set containment (i.e. D < E iff D contains E). Let C = {C_i} be a totally ordered subcollection of A. Let K = n(C_i) (intersection). We must show that K is a basis for T. Let U be a T-open set, and let x be in U. Since each C_i is a basis for T, then for each i, there exists C in C_i such that x is in C is a subset of U. Wait, C needs not be the same, and C needs not be in K.

Is the assertion false? What's a counterexample?

**Physics Forums | Science Articles, Homework Help, Discussion**

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Minimal basis of a topology

**Physics Forums | Science Articles, Homework Help, Discussion**