Английская Википедия:Auxiliary normed space

Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску

Шаблон:More footnotes In functional analysis, two methods of constructing normed spaces from disks were systematically employed by Alexander Grothendieck to define nuclear operators and nuclear spaces.Шаблон:Sfn One method is used if the disk <math>D</math> is bounded: in this case, the auxiliary normed space is <math>\operatorname{span} D</math> with norm <math display="block">p_D(x) := \inf_{x \in r D, r > 0} r.</math> The other method is used if the disk <math>D</math> is absorbing: in this case, the auxiliary normed space is the quotient space <math>X / p_D^{-1}(0).</math> If the disk is both bounded and absorbing then the two auxiliary normed spaces are canonically isomorphic (as topological vector spaces and as normed spaces).

Induced by a bounded disk – Banach disks

Throughout this article, <math>X</math> will be a real or complex vector space (not necessarily a TVS, yet) and <math>D</math> will be a disk in <math>X.</math>

Seminormed space induced by a disk

Let <math>X</math> will be a real or complex vector space. For any subset <math>D</math> of <math>X,</math> the Minkowski functional of <math>D</math> defined by:

  • If <math>D = \varnothing</math> then define <math>p_{\varnothing}(x) : \{0\} \to [0, \infty)</math> to be the trivial map <math>p_{\varnothing} = 0</math>Шаблон:Sfn and it will be assumed that <math>\operatorname{span} \varnothing = \{0\}.</math>[note 1]
  • If <math>D \neq \varnothing</math> and if <math>D</math> is absorbing in <math>\operatorname{span} D</math> then denote the Minkowski functional of <math>D</math> in <math>\operatorname{span} D</math> by <math display="block">p_D : \operatorname{span} D \to [0, \infty)</math> where for all <math>x \in \operatorname{span} D,</math> this is defined by <math display="block">p_D (x) := \inf_{} \{r : x \in r D, r > 0\}.</math>

Let <math>X</math> will be a real or complex vector space. For any subset <math>D</math> of <math>X</math> such that the Minkowski functional <math>p_D</math>is a seminorm on <math>\operatorname{span} D,</math> let <math>X_D</math> denote <math display="block">X_D := \left(\operatorname{span} D, p_D\right)</math> which is called the seminormed space induced by <math>D,</math> where if <math>p_D</math> is a norm then it is called the normed space induced by <math>D.</math>

Assumption (Topology): <math>X_D = \operatorname{span} D</math> is endowed with the seminorm topology induced by <math>p_D,</math> which will be denoted by <math>\tau_D</math> or <math>\tau_{p_D}</math>

Importantly, this topology stems entirely from the set <math>D,</math> the algebraic structure of <math>X,</math> and the usual topology on <math>\R</math> (since <math>p_D</math>is defined using Шаблон:Em the set <math>D</math> and scalar multiplication). This justifies the study of Banach disks and is part of the reason why they play an important role in the theory of nuclear operators and nuclear spaces.

The inclusion map <math>\operatorname{In}_D : X_D \to X</math> is called the canonical map.Шаблон:Sfn

Suppose that <math>D</math> is a disk. Then <math display="inline"> \operatorname{span} D = \bigcup_{n=1}^{\infty} n D</math> so that <math>D</math> is absorbing in <math>\operatorname{span} D,</math> the linear span of <math>D.</math> The set <math>\{r D : r > 0\}</math> of all positive scalar multiples of <math>D</math> forms a basis of neighborhoods at the origin for a locally convex topological vector space topology <math>\tau_D</math> on <math>\operatorname{span} D.</math> The Minkowski functional of the disk <math>D</math> in <math>\operatorname{span} D</math> guarantees that <math>p_D</math>is well-defined and forms a seminorm on <math>\operatorname{span} D.</math>Шаблон:Sfn The locally convex topology induced by this seminorm is the topology <math>\tau_D</math> that was defined before.

Banach disk definition

A bounded disk <math>D</math> in a topological vector space <math>X</math> such that <math>\left(X_D, p_D\right)</math> is a Banach space is called a Banach disk, infracomplete, or a bounded completant in <math>X.</math>

If its shown that <math>\left(\operatorname{span} D, p_D\right)</math> is a Banach space then <math>D</math> will be a Banach disk in Шаблон:Em TVS that contains <math>D</math> as a bounded subset.

This is because the Minkowski functional <math>p_D</math>is defined in purely algebraic terms. Consequently, the question of whether or not <math>\left(X_D, p_D\right)</math> forms a Banach space is dependent only on the disk <math>D</math> and the Minkowski functional <math>p_D,</math> and not on any particular TVS topology that <math>X</math> may carry. Thus the requirement that a Banach disk in a TVS <math>X</math> be a bounded subset of <math>X</math> is the only property that ties a Banach disk's topology to the topology of its containing TVS <math>X.</math>

Properties of disk induced seminormed spaces

Bounded disks

The following result explains why Banach disks are required to be bounded.

Шаблон:Math theorem Шаблон:Math proof

Hausdorffness

The space <math>\left(X_D, p_D\right)</math> is Hausdorff if and only if <math>p_D</math>is a norm, which happens if and only if <math>D</math> does not contain any non-trivial vector subspace.Шаблон:Sfn In particular, if there exists a Hausdorff TVS topology on <math>X</math> such that <math>D</math> is bounded in <math>X</math> then <math>p_D</math>is a norm. An example where <math>X_D</math> is not Hausdorff is obtained by letting <math>X = \R^2</math> and letting <math>D</math> be the <math>x</math>-axis.

Convergence of nets

Suppose that <math>D</math> is a disk in <math>X</math> such that <math>X_D</math> is Hausdorff and let <math>x_\bull = \left(x_i\right)_{i \in I}</math> be a net in <math>X_D.</math> Then <math>x_\bull \to 0</math> in <math>X_D</math> if and only if there exists a net <math>r_\bull = \left(r_i\right)_{i \in I}</math> of real numbers such that <math>r_\bull \to 0</math> and <math>x_i \in r_i D</math> for all <math>i</math>; moreover, in this case it will be assumed without loss of generality that <math>r_i \geq 0</math> for all <math>i.</math>

Relationship between disk-induced spaces

If <math>C \subseteq D \subseteq X</math>then <math>\operatorname{span} C \subseteq \operatorname{span} D</math> and <math>p_D \leq p_C</math> on <math>\operatorname{span} C,</math> so define the following continuousШаблон:Sfn linear map:

If <math>C</math> and <math>D</math> are disks in <math>X</math> with <math>C \subseteq D</math> then call the inclusion map <math>\operatorname{In}_C^D : X_C \to X_D</math> the canonical inclusion of <math>X_C</math> into <math>X_D.</math>

In particular, the subspace topology that <math>\operatorname{span} C</math> inherits from <math>\left(X_D, p_D\right)</math> is weaker than <math>\left(X_C, p_C\right)</math>'s seminorm topology.Шаблон:Sfn

The disk as the closed unit ball

The disk <math>D</math> is a closed subset of <math>\left(X_D, p_D\right)</math> if and only if <math>D</math> is the closed unit ball of the seminorm <math>p_D</math>; that is, <math>D = \left\{x \in \operatorname{span} D : p_D(x) \leq 1\right\}.</math>

If <math>D</math> is a disk in a vector space <math>X</math> and if there exists a TVS topology <math>\tau</math> on <math>\operatorname{span} D</math> such that <math>D</math> is a closed and bounded subset of <math>\left(\operatorname{span} D, \tau\right),</math> then <math>D</math> is the closed unit ball of <math>\left(X_D, p_D\right)</math> (that is, <math>D = \left\{x \in \operatorname{span} D : p_D(x) \leq 1\right\}</math> ) (see footnote for proof).[note 2]

Sufficient conditions for a Banach disk

The following theorem may be used to establish that <math>\left(X_D, p_D\right)</math> is a Banach space. Once this is established, <math>D</math> will be a Banach disk in any TVS in which <math>D</math> is bounded.

Шаблон:Math theorem

Шаблон:Math proof D.</math>

This implies that for any <math>0 < m < n,</math> <math display="block">x_n - x_m = \left(x_n - x_{n-1}\right) + \left(x_{m+1} - x_m\right) \in 2^{-(n+1)} D + \cdots + 2^{-(m+2)} D \subseteq 2^{-(m+2)} D</math> so that in particular, by taking <math>m = 1</math> it follows that <math>x_{\bull}</math> is contained in <math>x_1 + 2^{-3} D.</math> Since <math>\tau_D</math> is finer than <math>\tau,</math> <math>x_{\bull}</math> is a Cauchy sequence in <math>(X, \tau).</math> For all <math>m > 0,</math> <math>2^{-(m+2)} D</math> is a Hausdorff sequentially complete subset of <math>(X, \tau).</math> In particular, this is true for <math>x_1 + 2^{-3} D</math> so there exists some <math>x \in x_1 + 2^{-3} D</math> such that <math>x_{\bull} \to x</math> in <math>(X, \tau).</math>

Since <math>x_n - x_m \in 2^{-(m+2)} D</math> for all <math>0 < m < n,</math> by fixing <math>m</math> and taking the limit (in <math>(X, \tau)</math>) as <math>n \to \infty,</math> it follows that <math>x - x_m \in 2^{-(m+2)} D</math> for each <math>m > 0.</math> This implies that <math>p\left(x - x_m\right) \to 0</math> as <math>m \to \infty,</math> which says exactly that <math>x_{\bull} \to x</math> in <math>\left(X_D, p\right).</math> This shows that <math>\left(X_D, p\right)</math> is complete.

†This assumption is allowed because <math>x_{\bull}</math> is a Cauchy sequence in a metric space (so the limits of all subsequences are equal) and a sequence in a metric space converges if and only if every subsequence has a sub-subsequence that converges. }}

Note that even if <math>D</math> is not a bounded and sequentially complete subset of any Hausdorff TVS, one might still be able to conclude that <math>\left(X_D, p_D\right)</math> is a Banach space by applying this theorem to some disk <math>K</math> satisfying <math display="block">\left\{x \in \operatorname{span} D : p_D(x) < 1\right\} \subseteq K \subseteq \left\{x \in \operatorname{span} D : p_D(x) \leq 1\right\}</math> because <math>p_D = p_K.</math>

The following are consequences of the above theorem:

Suppose that <math>D</math> is a bounded disk in a TVS <math>X.</math>

  • If <math>L : X \to Y</math> is a continuous linear map and <math>B \subseteq X</math> is a Banach disk, then <math>L(B)</math> is a Banach disk and <math>L\big\vert_{X_B} : X_B \to L\left(X_B\right)</math> induces an isometric TVS-isomorphism <math>Y_{L(B)} \cong X_B / \left(X_B \cap \operatorname{ker} L\right).</math>

Properties of Banach disks

Let <math>X</math> be a TVS and let <math>D</math> be a bounded disk in <math>X.</math>

If <math>D</math> is a bounded Banach disk in a Hausdorff locally convex space <math>X</math> and if <math>T</math> is a barrel in <math>X</math> then <math>T</math> absorbs <math>D</math> (that is, there is a number <math>r > 0</math> such that <math>D \subseteq r T.</math>Шаблон:Sfn

If <math>U</math> is a convex balanced closed neighborhood of the origin in <math>X</math> then the collection of all neighborhoods <math>r U,</math> where <math>r > 0</math> ranges over the positive real numbers, induces a topological vector space topology on <math>X.</math> When <math>X</math> has this topology, it is denoted by <math>X_U.</math> Since this topology is not necessarily Hausdorff nor complete, the completion of the Hausdorff space <math>X / p_U^{-1}(0)</math> is denoted by <math>\overline{X_U}</math> so that <math>\overline{X_U}</math> is a complete Hausdorff space and <math>p_U(x) := \inf_{x \in r U, r > 0} r</math> is a norm on this space making <math>\overline{X_U}</math> into a Banach space. The polar of <math>U,</math> <math>U^{\circ},</math> is a weakly compact bounded equicontinuous disk in <math>X^{\prime}</math> and so is infracomplete.

If <math>X</math> is a metrizable locally convex TVS then for every bounded subset <math>B</math> of <math>X,</math> there exists a bounded disk <math>D</math> in <math>X</math> such that <math>B \subseteq X_D,</math> and both <math>X</math> and <math>X_D</math> induce the same subspace topology on <math>B.</math>Шаблон:Sfn

Induced by a radial disk – quotient

Suppose that <math>X</math> is a topological vector space and <math>V</math> is a convex balanced and radial set. Then <math>\left\{\tfrac{1}{n} V : n = 1, 2, \ldots\right\}</math> is a neighborhood basis at the origin for some locally convex topology <math>\tau_V</math> on <math>X.</math> This TVS topology <math>\tau_V</math> is given by the Minkowski functional formed by <math>V,</math> <math>p_V : X \to \R,</math> which is a seminorm on <math>X</math> defined by <math>p_V(x) := \inf_{x \in r V, r > 0} r.</math> The topology <math>\tau_V</math> is Hausdorff if and only if <math>p_V</math> is a norm, or equivalently, if and only if <math>X / p_V^{-1}(0) = \{0\}</math> or equivalently, for which it suffices that <math>V</math> be bounded in <math>X.</math> The topology <math>\tau_V</math> need not be Hausdorff but <math>X / p_V^{-1}(0)</math> is Hausdorff. A norm on <math>X / p_V^{-1}(0)</math> is given by <math>\left\|x + X / p_V^{-1}(0)\right\| := p_V(x),</math> where this value is in fact independent of the representative of the equivalence class <math>x + X / p_V^{-1}(0)</math> chosen. The normed space <math>\left(X / p_V^{-1}(0), \| \cdot \|\right)</math> is denoted by <math>X_V</math> and its completion is denoted by <math>\overline{X_V}.</math>

If in addition <math>V</math> is bounded in <math>X</math> then the seminorm <math>p_V : X \to \R</math> is a norm so in particular, <math>p_V^{-1}(0) = \{0\}.</math> In this case, we take <math>X_V</math> to be the vector space <math>X</math> instead of <math>X / \{0\}</math> so that the notation <math>X_V</math> is unambiguous (whether <math>X_V</math> denotes the space induced by a radial disk or the space induced by a bounded disk).Шаблон:Sfn

The quotient topology <math>\tau_Q</math> on <math>X / p_V^{-1}(0)</math> (inherited from <math>X</math>'s original topology) is finer (in general, strictly finer) than the norm topology.

Canonical maps

The canonical map is the quotient map <math>q_V : X \to X_V = X / p_V^{-1}(0),</math> which is continuous when <math>X_V</math> has either the norm topology or the quotient topology.Шаблон:Sfn

If <math>U</math> and <math>V</math> are radial disks such that <math>U \subseteq V</math>then <math>p_U^{-1}(0) \subseteq p_V^{-1}(0)</math> so there is a continuous linear surjective canonical map <math>q_{V,U} : X / p_U^{-1}(0) \to X / p_V^{-1}(0) = X_V</math> defined by sending <math>x + p_U^{-1}(0) \in X_U = X / p_U^{-1}(0)</math> to the equivalence class <math>x + p_V^{-1}(0),</math> where one may verify that the definition does not depend on the representative of the equivalence class <math>x + p_U^{-1}(0)</math> that is chosen.Шаблон:Sfn This canonical map has norm <math>\,\leq 1</math>Шаблон:Sfn and it has a unique continuous linear canonical extension to <math>\overline{X_U}</math> that is denoted by <math>\overline{g_{V,U}} : \overline{X_U} \to \overline{X_V}.</math>

Suppose that in addition <math>B \neq \varnothing</math> and <math>C</math> are bounded disks in <math>X</math> with <math>B \subseteq C</math> so that <math>X_B \subseteq X_C</math> and the inclusion <math>\operatorname{In}_B^C : X_B \to X_C</math> is a continuous linear map. Let <math>\operatorname{In}_B : X_B \to X,</math> <math>\operatorname{In}_C : X_C \to X,</math> and <math>\operatorname{In}_B^C : X_B \to X_C</math> be the canonical maps. Then <math>\operatorname{In}_C = \operatorname{In}_B^C \circ \operatorname{In}_C : X_B \to X_C</math> and <math>q_V = q_{V,U} \circ q_U.</math>Шаблон:Sfn

Induced by a bounded radial disk

Suppose that <math>S</math> is a bounded radial disk. Since <math>S</math> is a bounded disk, if <math>D := S</math> then we may create the auxiliary normed space <math>X_D = \operatorname{span} D</math> with norm <math>p_D(x) := \inf_{x \in r D, r > 0} r</math>; since <math>S</math> is radial, <math>X_S = X.</math> Since <math>S</math> is a radial disk, if <math>V := S</math> then we may create the auxiliary seminormed space <math>X / p_V^{-1}(0)</math> with the seminorm <math>p_V(x) := \inf_{x \in r V, r > 0} r</math>; because <math>S</math> is bounded, this seminorm is a norm and <math>p_V^{-1}(0) = \{0\}</math> so <math>X / p_V^{-1}(0) = X / \{0\} = X.</math> Thus, in this case the two auxiliary normed spaces produced by these two different methods result in the same normed space.

Duality

Suppose that <math>H</math> is a weakly closed equicontinuous disk in <math>X^{\prime}</math> (this implies that <math>H</math> is weakly compact) and let <math display="block">U := H^{\circ} = \{x \in X : |h(x)| \leq 1 \text{ for all } h \in H\}</math> be the polar of <math>H.</math> Because <math>U^\circ = H^{\circ\circ} = H</math> by the bipolar theorem, it follows that a continuous linear functional <math>f</math> belongs to <math>X^{\prime}_H = \operatorname{span} H</math> if and only if <math>f</math> belongs to the continuous dual space of <math>\left(X, p_U\right),</math> where <math>p_U</math> is the Minkowski functional of <math>U</math> defined by <math>p_U(x) := \inf_{x \in r U, r > 0} r.</math>Шаблон:Sfn

Related concepts

A disk in a TVS is called infrabornivorousШаблон:Sfn if it absorbs all Banach disks.

A linear map between two TVSs is called infraboundedШаблон:Sfn if it maps Banach disks to bounded disks.

Fast convergence

A sequence <math>x_\bull = \left(x_i\right)_{i=1}^\infty</math> in a TVS <math>X</math> is said to be fast convergentШаблон:Sfn to a point <math>x \in X</math> if there exists a Banach disk <math>D</math> such that both <math>x</math> and the sequence is (eventually) contained in <math>\operatorname{span} D</math> and <math>x_\bull \to x</math> in <math>\left(X_D, p_D\right).</math>

Every fast convergent sequence is Mackey convergent.Шаблон:Sfn

See also

Notes

Шаблон:Reflist

References

Шаблон:Reflist

Bibliography

External links

Шаблон:Functional analysis Шаблон:TopologicalTensorProductsAndNuclearSpaces

Партнерские ресурсы
Криптовалюты
Магазины
Хостинг
Разное


Ошибка цитирования Для существующих тегов <ref> группы «note» не найдено соответствующего тега <references group="note"/>

Источник — http://wikihandbk.com/ruwiki/index.php?title=Английская_Википедия:Auxiliary_normed_space&oldid=13329487