Definition:Basic Open Set

From ProofWiki
Jump to: navigation, search

Definition

Let $T = \left({X, \tau}\right)$ be a topological space.

Let $\mathcal B \subseteq \tau$ be a basis for $T$.


Let $U \in \mathcal B$.

Then $U$ is a basic open set of $T$.


That is, a basic open set of a topology is an open set of that topology which is a member of a basis for that topology.

The basis itself needs to be specified for this definition to make sense.

Personal tools
Namespaces
Variants
Actions
Navigation
ProofWiki.org
ToDo
Toolbox
Google AdSense