Category:Topological Subspaces

From ProofWiki
Jump to navigation Jump to search

This category contains results about Topological Subspaces.


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

Let $H \subseteq S$ be a non-empty subset of $S$.


Define:

$\tau_H := \set {U \cap H: U \in \tau} \subseteq \powerset H$

where $\powerset H$ denotes the power set of $H$.


Then the topological space $T_H = \struct {H, \tau_H}$ is called a (topological) subspace of $T$.

Subcategories

This category has the following 3 subcategories, out of 3 total.

Pages in category "Topological Subspaces"

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