Category:Quotient Topological Vector Spaces

From ProofWiki
Jump to navigation Jump to search

This category contains results about Quotient Topological Vector Spaces.
Definitions specific to this category can be found in Definitions/Quotient Topological Vector Spaces.

Let $\GF \in \set {\R, \C}$.

Let $\struct {X, \tau}$ be a topological vector space over $\GF$.

Let $N$ be a linear subspace of $X$.

Let $X/N$ be the quotient vector space of $X$ modulo $N$.

Let $\tau_N$ be the quotient topology on $X/N$.


We say that $\struct {X/N, \tau_N}$ is the quotient topological vector space of $X$ modulo $N$.