# Metrizable locally convex space

In the mathematical discipline of functional analysis , topological vector spaces , i.e. vector spaces with a suitable topological structure, are examined. In particular, locally convex spaces are of interest, since Hahn-Banach's theorem guarantees a rich topological dual space for them. The important topological property of metrizability can be characterized in locally convex spaces by the zero neighborhood bases. Since the completion of a metrizable and locally convex space is a Fréchet space , such spaces are also called *pre-F space* .

## characterization

A locally convex space can be metrized if and only if it has a countable zero neighborhood basis .

If, in fact, there is a countable zero neighborhood base, it can be assumed to be absolutely convex without restriction . For each then defines a semi-norm on and

is a metric that generates the topology on . The converse is clear, since in a metric space each point has an enumerable neighborhood base.

## Examples

- Standardized spaces can be metrised and are locally convex.
- with the product topology is an example of a metrizable, locally convex space that cannot be normalized .
- Let be the vector space of the continuous functions . For be the semi-norm defined by . Then, with the topology defined by these semi-norms, it is even possible to metrize a Fréchet dream.

## Inheritance properties

Subspaces , quotient spaces according to closed subspaces and countable products of metrizable, locally convex spaces are again of this type.

## Properties, distinguished spaces

Metrizable, locally convex spaces are bornological and therefore have all the properties of bornological spaces.

A bounded set in a topological vector space is a set B such that for every null neighborhood U there is a t> 0 with . This must not be confused with limitation in the metric sense. A metrically constrained quantity, i.e. H. a set with a finite diameter with respect to the metric, does not have to be restricted in the locally convex sense.

If E is a locally convex vector space, then every bounded set B in E defines a semi-norm on the dual space by setting. Provided with the set of semi-norms , where B runs through the bounded sets of E, becomes a locally convex vector space, which is then denoted by.

For a metrizable, locally convex space are equivalent:

- is bornological .
- is quasitonneliert .
- is barreled .

A locally convex space that can be metrised is called *distinguished* if it fulfills these conditions. Standardized spaces, reflexive Fréchet spaces or quasi-standardizable Fréchet spaces are distinguished.

## swell

- K. Floret, J. Wloka: Introduction to the Theory of Locally Convex Spaces, Lecture Notes in Mathematics 56, 1968
- R. Meise, D. Vogt: Introduction to Functional Analysis, Vieweg, 1992 ISBN 3-528-07262-8