TheoremBase

Basis for a Topology

Statement

Let (X,T)(X,\mathcal{T}) be a topological space. A basis for the topology T\mathcal{T} is a family

B⊆T\mathcal{B}\subseteq \mathcal{T}

with the following property: for every point x∈Xx\in X and every open set U∈TU\in\mathcal{T} satisfying x∈Ux\in U, there exists a set B∈BB\in\mathcal{B} such that

x∈B⊆U.x\in B\subseteq U.

Citations

Loading…

Dependencies

Loading…

Related

0 relations

Curated associations between results. These are editable and subjective — they do not replace the dependency graph, which is derived from the references in the text.

No relations recorded yet.

Comments

Log in to comment.

Loading…