Definition talk:Sub-Basis/Analytic Sub-Basis

Question
I see two possibilities here, and I'm not sure that it is clear which is the correct one:
 * $(1): \quad$ Steen and Seebach adopt the convention that $\bigcap \varnothing$ is the whole topological space. I'm not sure how this would fit in with Intersection of Empty Set, though.


 * $(2): \quad$ Steen and Seebach adopt the convention that a sub-basis covers the whole space. It appears that some authors do not require this. In this case, we should probably use the same convention for both Definition:Analytic Sub-Basis and Definition:Synthetic Sub-Basis.

--abcxyz (talk) 20:04, 30 September 2012 (UTC)


 * I don't understand your comment "I'm not sure how this would fit in with Intersection of Empty Set, though." That is exactly what Intersection of Empty Set says. $(1)$ holds.


 * However, I understand your confusion over the fact that if $\bigcap \varnothing = \mathbb U$ then an empty set covers the whole space - I believe that the definition of a "cover" should specifically exclude this possibility by insisting that an element of a cover should not be empty. --prime mover (talk) 06:16, 1 October 2012 (UTC)


 * I've added the (probably crucial!) missing words from S&S (my mistake back when I first posted it) - feel free to inspect it. --prime mover (talk) 06:16, 1 October 2012 (UTC)


 * Sorry that I didn't make it clear what I was referring to. The argument in Intersection of Empty Set (in fact) shows that $\forall x: x \in \bigcap \varnothing$, but then we are confronted with Russell's paradox if we assume that $\bigcap \varnothing$ is a set (such as $X$, for instance).


 * I don't understand your comment on covers. How can the empty set cover $X$?


 * Yes, the change looks good. I don't think we need to explicitly mention $\varnothing$, since $\bigcup \varnothing = \varnothing$ anyway. --abcxyz (talk) 05:01, 5 October 2012 (UTC)


 * Apologies, I completely misunderstood everything you said, from your first point onwards. Can you try again? --prime mover (talk) 05:29, 5 October 2012 (UTC)