Английская Википедия:Hypocontinuous bilinear map

Содержание

Текст

Текст

Текст

Текст

Текст

Текст

Текст

Текст

Текст

In mathematics, a hypocontinuous is a condition on bilinear maps of topological vector spaces that is weaker than continuity but stronger than separate continuity. Many important bilinear maps that are not continuous are, in fact, hypocontinuous.

Definition

If <math>X</math>, <math>Y</math> and <math>Z</math> are topological vector spaces then a bilinear map <math>\beta: X\times Y\to Z</math> is called hypocontinuous if the following two conditions hold:

• for every bounded set <math>A\subseteq X</math> the set of linear maps <math>\{\beta(x,\cdot) \mid x\in A\}</math> is an equicontinuous subset of <math>Hom(Y,Z)</math>, and
• for every bounded set <math>B\subseteq Y</math> the set of linear maps <math>\{\beta(\cdot,y) \mid y\in B\}</math> is an equicontinuous subset of <math>Hom(X,Z)</math>.

Sufficient conditions

Theorem:Шаблон:Sfn Let X and Y be barreled spaces and let Z be a locally convex space. Then every separately continuous bilinear map of <math>X \times Y</math> into Z is hypocontinuous.

Examples

• If X is a Hausdorff locally convex barreled space over the field <math>\mathbb{F}</math>, then the bilinear map <math>X \times X^{\prime} \to \mathbb{F}</math> defined by <math>\left( x, x^{\prime} \right) \mapsto \left\langle x, x^{\prime} \right\rangle := x^{\prime}\left( x \right)</math> is hypocontinuous.Шаблон:Sfn

See also

• Шаблон:Annotated link
• Шаблон:Annotated link

Bibliography

• Шаблон:Citation
• Шаблон:Narici Beckenstein Topological Vector Spaces
• Шаблон:Schaefer Wolff Topological Vector Spaces
• Шаблон:Trèves François Topological vector spaces, distributions and kernels