Category:F-Spaces
Jump to navigation
Jump to search
This category contains results about F-Spaces.
Definitions specific to this category can be found in Definitions/F-Spaces.
Let $K$ be a topological field.
Let $\struct {X, \tau}$ be a topological vector space over $K$.
We say that $\struct {X, \tau}$ is an $F$-space if and only if there exits a metric $d$ on $X$ such that:
- $(1): \quad$ $\tau$ is induced by $d$
- $(2): \quad$ $d$ is an invariant metric
- $(3): \quad$ $\struct {X, d}$ is a complete metric space.
With $d$ as above, we may also say $\struct {X, d}$ is an $F$-space.
Pages in category "F-Spaces"
The following 3 pages are in this category, out of 3 total.