From ProofWiki
Jump to navigation Jump to search

This category contains results about Sub-Bases in the context of Topology.
Definitions specific to this category can be found in Definitions/Sub-Bases.

Analytic Sub-Basis

Let $\struct {S, \tau}$ be a topological space.

Let $\SS \subseteq \tau$.


$\ds \BB = \set {\bigcap \FF: \FF \subseteq \SS, \FF \text{ is finite} }$

That is, $\BB$ is the set of all finite intersections of sets in $\SS$.

Note that $\FF$ is allowed to be empty in the above definition.


$\ds \tau' = \set {\bigcup \AA: \AA \subseteq \BB}$

Suppose that $\tau \subseteq \tau'$.

That is, suppose that every $U \in \tau$ is a union of finite intersections of sets in $\SS$, together with $\O$ and $S$ itself.

Then $\SS$ is called an analytic sub-basis for $\tau$.

Synthetic Sub-Basis

Let $S$ be a set.

A synthetic sub-basis on $S$ is any subset $\SS \subseteq \powerset S$ of the power set of $S$.

Pages in category "Sub-Bases"

The following 2 pages are in this category, out of 2 total.