Dual norm

In functional analysis, the dual norm is a measure of size for a continuous linear function defined on a normed vector space.

Definition

Let $X$ be a normed vector space with norm $\|\cdot \|$ and let $X^{*}$ denote its continuous dual space. The dual norm of a continuous linear functional $f$ belonging to $X^{*}$ is the non-negative real number defined^[1] by any of the following equivalent formulas: ${\begin{alignedat}{5}\|f\|&=\sup &&\{\,|f(x)|&&~:~\|x\|\leq 1~&&~{\text{ and }}~&&x\in X\}\\&=\sup &&\{\,|f(x)|&&~:~\|x\|<1~&&~{\text{ and }}~&&x\in X\}\\&=\inf &&\{\,c\in [0,\infty )&&~:~|f(x)|\leq c\|x\|~&&~{\text{ for all }}~&&x\in X\}\\&=\sup &&\{\,|f(x)|&&~:~\|x\|=1{\text{ or }}0~&&~{\text{ and }}~&&x\in X\}\\&=\sup &&\{\,|f(x)|&&~:~\|x\|=1~&&~{\text{ and }}~&&x\in X\}\;\;\;{\text{ this equality holds if and only if }}X\neq \{0\}\\&=\sup &&{\bigg \{}\,{\frac {|f(x)|}{\|x\|}}~&&~:~x\neq 0&&~{\text{ and }}~&&x\in X{\bigg \}}\;\;\;{\text{ this equality holds if and only if }}X\neq \{0\}\\\end{alignedat}}$ where $\sup$ and $\inf$ denote the supremum and infimum, respectively. The constant $0$ map is the origin of the vector space $X^{*}$ and it always has norm $\|0\|=0.$ If $X=\{0\}$ then the only linear functional on $X$ is the constant $0$ map and moreover, the sets in the last two rows will both be empty and consequently, their supremums will equal $\sup \varnothing =-\infty$ instead of the correct value of $0.$

Importantly, a linear function $f$ is not, in general, guaranteed to achieve its norm $\|f\|=\sup\{|f(x)|:\|x\|\leq 1,x\in X\}$ on the closed unit ball $\{x\in X:\|x\|\leq 1\},$ meaning that there might not exist any vector $u\in X$ of norm $\|u\|\leq 1$ such that $\|f\|=|fu|$ (if such a vector does exist and if $f\neq 0,$ then $u$ would necessarily have unit norm $\|u\|=1$ ). R.C. James proved James's theorem in 1964, which states that a Banach space $X$ is reflexive if and only if every bounded linear function $f\in X^{*}$ achieves its norm on the closed unit ball.^[2] It follows, in particular, that every non-reflexive Banach space has some bounded linear functional that does not achieve its norm on the closed unit ball. However, the Bishop–Phelps theorem guarantees that the set of bounded linear functionals that achieve their norm on the unit sphere of a Banach space is a norm-dense subset of the continuous dual space.^[3]^[4]

The map $f\mapsto \|f\|$ defines a norm on $X^{*}.$ (See Theorems 1 and 2 below.) The dual norm is a special case of the operator norm defined for each (bounded) linear map between normed vector spaces. Since the ground field of $X$ ( $\mathbb {R}$ or $\mathbb {C}$ ) is complete, $X^{*}$ is a Banach space. The topology on $X^{*}$ induced by $\|\cdot \|$ turns out to be stronger than the weak-* topology on $X^{*}.$

The double dual of a normed linear space

The double dual (or second dual) $X^{**}$ of $X$ is the dual of the normed vector space $X^{*}$ . There is a natural map $\varphi :X\to X^{**}$ . Indeed, for each $w^{*}$ in $X^{*}$ define $\varphi (v)(w^{*}):=w^{*}(v).$

The map $\varphi$ is linear, injective, and distance preserving.^[5] In particular, if $X$ is complete (i.e. a Banach space), then $\varphi$ is an isometry onto a closed subspace of $X^{**}$ .^[6]

In general, the map $\varphi$ is not surjective. For example, if $X$ is the Banach space $L^{\infty }$ consisting of bounded functions on the real line with the supremum norm, then the map $\varphi$ is not surjective. (See $L^{p}$ space). If $\varphi$ is surjective, then $X$ is said to be a reflexive Banach space. If $1<p<\infty ,$ then the space $L^{p}$ is a reflexive Banach space.

Examples

Dual norm for matrices

The Frobenius norm defined by $\|A\|_{\text{F}}={\sqrt {\sum _{i=1}^{m}\sum _{j=1}^{n}\left|a_{ij}\right|^{2}}}={\sqrt {\operatorname {trace} (A^{*}A)}}={\sqrt {\sum _{i=1}^{\min\{m,n\}}\sigma _{i}^{2}}}$ is self-dual, i.e., its dual norm is $\|\cdot \|'_{\text{F}}=\|\cdot \|_{\text{F}}.$

The spectral norm, a special case of the induced norm when $p=2$ , is defined by the maximum singular values of a matrix, that is, $\|A\|_{2}=\sigma _{\max }(A),$ has the nuclear norm as its dual norm, which is defined by $\|B\|'_{2}=\sum _{i}\sigma _{i}(B),$ for any matrix $B$ where $\sigma _{i}(B)$ denote the singular values^{[citation needed]}.

If $p,q\in [1,\infty ]$ the Schatten $\ell ^{p}$ -norm on matrices is dual to the Schatten $\ell ^{q}$ -norm.

Finite-dimensional spaces

Let $\|\cdot \|$ be a norm on $\mathbb {R} ^{n}.$ The associated dual norm, denoted $\|\cdot \|_{*},$ is defined as $\|z\|_{*}=\sup\{z^{\intercal }x:\|x\|\leq 1\}.$

(This can be shown to be a norm.) The dual norm can be interpreted as the operator norm of $z^{\intercal },$ interpreted as a $1\times n$ matrix, with the norm $\|\cdot \|$ on $\mathbb {R} ^{n}$ , and the absolute value on $\mathbb {R}$ : $\|z\|_{*}=\sup\{|z^{\intercal }x|:\|x\|\leq 1\}.$

From the definition of dual norm we have the inequality $z^{\intercal }x=\|x\|\left(z^{\intercal }{\frac {x}{\|x\|}}\right)\leq \|x\|\|z\|_{*}$ which holds for all $x$ and $z.$ ^[7] The dual of the dual norm is the original norm: we have $\|x\|_{**}=\|x\|$ for all $x.$ (This need not hold in infinite-dimensional vector spaces.)

The dual of the Euclidean norm is the Euclidean norm, since $\sup\{z^{\intercal }x:\|x\|_{2}\leq 1\}=\|z\|_{2}.$

(This follows from the Cauchy–Schwarz inequality; for nonzero $z,$ the value of $x$ that maximises $z^{\intercal }x$ over $\|x\|_{2}\leq 1$ is ${\tfrac {z}{\|z\|_{2}}}.$ )

The dual of the $\ell ^{\infty }$ -norm is the $\ell ^{1}$ -norm: $\sup\{z^{\intercal }x:\|x\|_{\infty }\leq 1\}=\sum _{i=1}^{n}|z_{i}|=\|z\|_{1},$ and the dual of the $\ell ^{1}$ -norm is the $\ell ^{\infty }$ -norm.

More generally, Hölder's inequality shows that the dual of the $\ell ^{p}$ -norm is the $\ell ^{q}$ -norm, where $q$ satisfies ${\tfrac {1}{p}}+{\tfrac {1}{q}}=1,$ that is, $q={\tfrac {p}{p-1}}.$

As another example, consider the $\ell ^{2}$ - or spectral norm on $\mathbb {R} ^{m\times n}$ . The associated dual norm is $\|Z\|_{2*}=\sup\{\mathbf {tr} (Z^{\intercal }X):\|X\|_{2}\leq 1\},$ which turns out to be the sum of the singular values, $\|Z\|_{2*}=\sigma _{1}(Z)+\cdots +\sigma _{r}(Z)=\mathbf {tr} ({\sqrt {Z^{\intercal }Z}}),$ where $r=\mathbf {rank} Z.$ This norm is sometimes called the nuclear norm.^[8]

L^p and ℓ^p spaces

For $p\in [1,\infty ],$ $p$ -norm (also called $\ell _{p}$ -norm) of vector $\mathbf {x} =(x_{n})_{n}$ is $\|\mathbf {x} \|_{p}~:=~\left(\sum _{i=1}^{n}\left|x_{i}\right|^{p}\right)^{1/p}.$

If $p,q\in [1,\infty ]$ satisfy $1/p+1/q=1$ then the $\ell ^{p}$ and $\ell ^{q}$ norms are dual to each other and the same is true of the $L^{p}$ and $L^{q}$ norms, where $(X,\Sigma ,\mu ),$ is some measure space. In particular the Euclidean norm is self-dual since $p=q=2.$ For ${\sqrt {x^{\mathrm {T} }Qx}}$ , the dual norm is ${\sqrt {y^{\mathrm {T} }Q^{-1}y}}$ with $Q$ positive definite.

For $p=2,$ the $\|\,\cdot \,\|_{2}$ -norm is even induced by a canonical inner product $\langle \,\cdot ,\,\cdot \rangle ,$ meaning that $\|\mathbf {x} \|_{2}={\sqrt {\langle \mathbf {x} ,\mathbf {x} \rangle }}$ for all vectors $\mathbf {x} .$ This inner product can expressed in terms of the norm by using the polarization identity. On $\ell ^{2},$ this is the Euclidean inner product defined by $\langle \left(x_{n}\right)_{n},\left(y_{n}\right)_{n}\rangle _{\ell ^{2}}~=~\sum _{n}x_{n}{\overline {y_{n}}}$ while for the space $L^{2}(X,\mu )$ associated with a measure space $(X,\Sigma ,\mu ),$ which consists of all square-integrable functions, this inner product is $\langle f,g\rangle _{L^{2}}=\int _{X}f(x){\overline {g(x)}}\,\mathrm {d} x.$ The norms of the continuous dual spaces of $\ell ^{2}$ and $\ell ^{2}$ satisfy the polarization identity, and so these dual norms can be used to define inner products. With this inner product, this dual space is also a Hilbert spaces.

Properties

Given normed vector spaces $X$ and $Y,$ let $L(X,Y)$ ^[9] be the collection of all bounded linear mappings (or operators) of $X$ into $Y.$ Then $L(X,Y)$ can be given a canonical norm.

Theorem 1 — Let $X$ and $Y$ be normed spaces. Assigning to each continuous linear operator $f\in L(X,Y)$ the scalar $\|f\|=\sup\{\|f(x)\|:x\in X,\|x\|\leq 1\}$ defines a norm $\|\cdot \|~:~L(X,Y)\to \mathbb {R}$ on $L(X,Y)$ that makes $L(X,Y)$ into a normed space. Moreover, if $Y$ is a Banach space then so is $L(X,Y).$ ^[10]

Proof

A subset of a normed space is bounded if and only if it lies in some multiple of the unit sphere; thus $\|f\|<\infty$ for every $f\in L(X,Y)$ if $\alpha$ is a scalar, then $(\alpha f)(x)=\alpha \cdot fx$ so that $\|\alpha f\|=|\alpha |\|f\|.$

The triangle inequality in $Y$ shows that ${\begin{aligned}\|\left(f_{1}+f_{2}\right)x\|~&=~\|f_{1}x+f_{2}x\|\\&\leq ~\|f_{1}x\|+\|f_{2}x\|\\&\leq ~\left(\|f_{1}\|+\|f_{2}\|\right)\|x\|\\&\leq ~\|f_{1}\|+\|f_{2}\|\end{aligned}}$

for every $x\in X$ satisfying $\|x\|\leq 1.$ This fact together with the definition of $\|\cdot \|~:~L(X,Y)\to \mathbb {R}$ implies the triangle inequality: $\|f+g\|\leq \|f\|+\|g\|.$

Since $\{|f(x)|:x\in X,\|x\|\leq 1\}$ is a non-empty set of non-negative real numbers, $\|f\|=\sup \left\{|f(x)|:x\in X,\|x\|\leq 1\right\}$ is a non-negative real number. If $f\neq 0$ then $fx_{0}\neq 0$ for some $x_{0}\in X,$ which implies that $\left\|fx_{0}\right\|>0$ and consequently $\|f\|>0.$ This shows that $\left(L(X,Y),\|\cdot \|\right)$ is a normed space.^[11]

Assume now that $Y$ is complete and we will show that $(L(X,Y),\|\cdot \|)$ is complete. Let $f_{\bullet }=\left(f_{n}\right)_{n=1}^{\infty }$ be a Cauchy sequence in $L(X,Y),$ so by definition $\left\|f_{n}-f_{m}\right\|\to 0$ as $n,m\to \infty .$ This fact together with the relation $\left\|f_{n}x-f_{m}x\right\|=\left\|\left(f_{n}-f_{m}\right)x\right\|\leq \left\|f_{n}-f_{m}\right\|\|x\|$

implies that $\left(f_{n}x\right)_{n=1}^{\infty }$ is a Cauchy sequence in $Y$ for every $x\in X.$ It follows that for every $x\in X,$ the limit $\lim _{n\to \infty }f_{n}x$ exists in $Y$ and so we will denote this (necessarily unique) limit by $fx,$ that is: $fx~=~\lim _{n\to \infty }f_{n}x.$

It can be shown that $f:X\to Y$ is linear. If $\varepsilon >0$ , then $\left\|f_{n}-f_{m}\right\|\|x\|~\leq ~\varepsilon \|x\|$ for all sufficiently large integers $n$ and $m$ . It follows that $\left\|fx-f_{m}x\right\|~\leq ~\varepsilon \|x\|$ for sufficiently all large $m.$ Hence $\|fx\|\leq \left(\left\|f_{m}\right\|+\varepsilon \right)\|x\|,$ so that $f\in L(X,Y)$ and $\left\|f-f_{m}\right\|\leq \varepsilon .$ This shows that $f_{m}\to f$ in the norm topology of $L(X,Y).$ This establishes the completeness of $L(X,Y).$ ^[12]

When $Y$ is a scalar field (i.e. $Y=\mathbb {C}$ or $Y=\mathbb {R}$ ) so that $L(X,Y)$ is the dual space $X^{*}$ of $X.$

Theorem 2 — Let $X$ be a normed space and for every $x^{*}\in X^{*}$ let $\left\|x^{*}\right\|~:=~\sup \left\{|\langle x,x^{*}\rangle |~:~x\in X{\text{ with }}\|x\|\leq 1\right\}$ where by definition $\langle x,x^{*}\rangle ~:=~x^{*}(x)$ is a scalar. Then

$\|\,\cdot \,\|:X^{*}\to \mathbb {R}$ is a norm that makes $X^{*}$ a Banach space.^[13]
If $B^{*}$ is the closed unit ball of $X^{*}$ then for every $x\in X,$ ${\begin{alignedat}{4}\|x\|~&=~\sup \left\{|\langle x,x^{*}\rangle |~:~x^{*}\in B^{*}\right\}\\&=~\sup \left\{\left|x^{*}(x)\right|~:~\left\|x^{*}\right\|\leq 1{\text{ with }}x^{*}\in X^{*}\right\}.\\\end{alignedat}}$ Consequently, $x^{*}\mapsto \langle x,x^{*}\rangle$ is a bounded linear functional on $X^{*}$ with norm $\|x^{*}\|~=~\|x\|.$
$B^{*}$ is weak*-compact.

Proof

Let $B~=~\sup\{x\in X~:~\|x\|\leq 1\}$ denote the closed unit ball of a normed space $X.$ When $Y$ is the scalar field then $L(X,Y)=X^{*}$ so part (a) is a corollary of Theorem 1. Fix $x\in X.$ There exists^[14] $y^{*}\in B^{*}$ such that $\langle {x,y^{*}}\rangle =\|x\|.$ but, $|\langle {x,x^{*}}\rangle |\leq \|x\|\|x^{*}\|\leq \|x\|$ for every $x^{*}\in B^{*}$ . (b) follows from the above. Since the open unit ball $U$ of $X$ is dense in $B$ , the definition of $\|x^{*}\|$ shows that $x^{*}\in B^{*}$ if and only if $|\langle {x,x^{*}}\rangle |\leq 1$ for every $x\in U$ . The proof for (c)^[15] now follows directly.^[16]

As usual, let $d(x,y):=\|x-y\|$ denote the canonical metric induced by the norm on $X,$ and denote the distance from a point $x$ to the subset $S\subseteq X$ by $d(x,S)~:=~\inf _{s\in S}d(x,s)~=~\inf _{s\in S}\|x-s\|.$ If $f$ is a bounded linear functional on a normed space $X,$ then for every vector $x\in X,$ ^[17] $|f(x)|=\|f\|\,d(x,\ker f),$ where $\ker f=\{k\in X:f(k)=0\}$ denotes the kernel of $f.$

Notes

^ Rudin 1991, p. 87
^ Diestel 1984, p. 6.
^ Bishop, Errett; Phelps, R. R. (1961). "A proof that every Banach space is subreflexive". Bulletin of the American Mathematical Society. 67: 97–98. doi:10.1090/s0002-9904-1961-10514-4. MR 0123174.
^ Lomonosov, Victor (2000). "A counterexample to the Bishop-Phelps theorem in complex spaces". Israel Journal of Mathematics. 115: 25–28. doi:10.1007/bf02810578. MR 1749671. S2CID 53646715.
^ Rudin 1991, section 4.5, p. 95
^ Rudin 1991, p. 95
^ This inequality is tight, in the following sense: for any $x$ there is a $z$ for which the inequality holds with equality. (Similarly, for any $z$ there is an $x$ that gives equality.)
^ Boyd & Vandenberghe 2004, p. 637
^ Each $L(X,Y)$ is a vector space, with the usual definitions of addition and scalar multiplication of functions; this only depends on the vector space structure of $Y$ , not $X$ .
^ Rudin 1991, p. 92
^ Rudin 1991, p. 93
^ Rudin 1991, p. 93
^ Aliprantis & Border 2006, p. 230
^ Rudin 1991, Theorem 3.3 Corollary, p. 59
^ Rudin 1991, Theorem 3.15 The Banach–Alaoglu theorem algorithm, p. 68
^ Rudin 1991, p. 94
^ Hashimoto, Nakamura & Oharu 1986, p. 281.

References

Aliprantis, Charalambos D.; Border, Kim C. (2006). Infinite Dimensional Analysis: A Hitchhiker's Guide (3rd ed.). Springer. ISBN 9783540326960.
Boyd, Stephen; Vandenberghe, Lieven (2004). Convex Optimization. Cambridge University Press. ISBN 9780521833783.
Diestel, Joe (1984). Sequences and series in Banach spaces. New York: Springer-Verlag. ISBN 0-387-90859-5. OCLC 9556781.
Hashimoto, Kazuo; Nakamura, Gen; Oharu, Shinnosuke (1986-01-01). "Riesz's lemma and orthogonality in normed spaces" (PDF). Hiroshima Mathematical Journal. 16 (2). Hiroshima University - Department of Mathematics. doi:10.32917/hmj/1206130429. ISSN 0018-2079.
Kolmogorov, A.N.; Fomin, S.V. (1957). Elements of the Theory of Functions and Functional Analysis, Volume 1: Metric and Normed Spaces. Rochester: Graylock Press.
Narici, Lawrence; Beckenstein, Edward (2011). Topological Vector Spaces. Pure and applied mathematics (Second ed.). Boca Raton, FL: CRC Press. ISBN 978-1584888666. OCLC 144216834.
Rudin, Walter (1991). Functional Analysis. International Series in Pure and Applied Mathematics. Vol. 8 (Second ed.). New York, NY: McGraw-Hill Science/Engineering/Math. ISBN 978-0-07-054236-5. OCLC 21163277.
Schaefer, Helmut H.; Wolff, Manfred P. (1999). Topological Vector Spaces. GTM. Vol. 8 (Second ed.). New York, NY: Springer New York Imprint Springer. ISBN 978-1-4612-7155-0. OCLC 840278135.
Trèves, François (2006) [1967]. Topological Vector Spaces, Distributions and Kernels. Mineola, N.Y.: Dover Publications. ISBN 978-0-486-45352-1. OCLC 853623322.

External links

Notes on the proximal mapping by Lieven Vandenberge

[1] Rudin 1991, p. 87

[FOOTNOTEDiestel19846-2] Diestel 1984, p. 6.

[BishopPhelps1961-3] Bishop, Errett; Phelps, R. R. (1961). "A proof that every Banach space is subreflexive". Bulletin of the American Mathematical Society. 67: 97–98. doi:10.1090/s0002-9904-1961-10514-4. MR 0123174.

[Lomonosov2000-4] Lomonosov, Victor (2000). "A counterexample to the Bishop-Phelps theorem in complex spaces". Israel Journal of Mathematics. 115: 25–28. doi:10.1007/bf02810578. MR 1749671. S2CID 53646715.

[5] Rudin 1991, section 4.5, p. 95

[6] Rudin 1991, p. 95

[7] This inequality is tight, in the following sense: for any $x$ there is a $z$ for which the inequality holds with equality. (Similarly, for any $z$ there is an $x$ that gives equality.)

[8] Boyd & Vandenberghe 2004, p. 637

[9] Each $L(X,Y)$ is a vector space, with the usual definitions of addition and scalar multiplication of functions; this only depends on the vector space structure of $Y$ , not $X$ .

[10] Rudin 1991, p. 92

[11] Rudin 1991, p. 93

[12] Rudin 1991, p. 93

[13] Aliprantis & Border 2006, p. 230

[14] Rudin 1991, Theorem 3.3 Corollary, p. 59

[15] Rudin 1991, Theorem 3.15 The Banach–Alaoglu theorem algorithm, p. 68

[16] Rudin 1991, p. 94

[FOOTNOTEHashimotoNakamuraOharu1986281-17] Hashimoto, Nakamura & Oharu 1986, p. 281.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

[17]

Banach space topics
Types of Banach spaces	Asplund Banach list Banach lattice Grothendieck Hilbert Inner product space Polarization identity (Polynomially) Reflexive Riesz L-semi-inner product (B Strictly Uniformly) convex Uniformly smooth (Injective Projective) Tensor product (of Hilbert spaces)
Banach spaces are:	Barrelled Complete F-space Fréchet tame Locally convex Seminorms/Minkowski functionals Mackey Metrizable Normed norm Quasinormed Stereotype
Function space Topologies	Banach–Mazur compactum Dual Dual space Dual norm Operator Ultraweak Weak polar operator Strong polar operator Ultrastrong Uniform convergence
Linear operators	Adjoint Bilinear form operator sesquilinear (Un)Bounded Closed Compact on Hilbert spaces (Dis)Continuous Densely defined Fredholm kernel operator Hilbert–Schmidt Functionals positive Pseudo-monotone Normal Nuclear Self-adjoint Strictly singular Trace class Transpose Unitary
Operator theory	Banach algebras C-algebras Operator space Spectrum C-algebra radius Spectral theory of ODEs Spectral theorem Polar decomposition Singular value decomposition
Theorems	Anderson–Kadec Banach–Alaoglu Banach–Mazur Banach–Saks Banach–Schauder (open mapping) Banach–Steinhaus (Uniform boundedness) Bessel's inequality Cauchy–Schwarz inequality Closed graph Closed range Eberlein–Šmulian Freudenthal spectral Gelfand–Mazur Gelfand–Naimark Goldstine Hahn–Banach hyperplane separation Kakutani fixed-point Krein–Milman Lomonosov's invariant subspace Mackey–Arens Mazur's lemma M. Riesz extension Parseval's identity Riesz's lemma Riesz representation Robinson-Ursescu Schauder fixed-point
Analysis	Abstract Wiener space Banach manifold bundle Bochner space Convex series Differentiation in Fréchet spaces Derivatives Fréchet Gateaux functional holomorphic quasi Integrals Bochner Dunford Gelfand–Pettis regulated Paley–Wiener weak Functional calculus Borel continuous holomorphic Measures Lebesgue Projection-valued Vector Weakly / Strongly measurable function
Types of sets	Absolutely convex Absorbing Affine Balanced/Circled Bounded Convex Convex cone (subset) Convex series related ((cs, lcs)-closed, (cs, bcs)-complete, (lower) ideally convex, (Hx), and (Hwx)) Linear cone (subset) Radial Radially convex/Star-shaped Symmetric Zonotope
Subsets / set operations	Affine hull (Relative) Algebraic interior (core) Bounding points Convex hull Extreme point Interior Linear span Minkowski addition Polar (Quasi) Relative interior
Examples	Absolute continuity AC $ba(\Sigma )$ c space Banach coordinate BK Besov $B_{p,q}^{s}(\mathbb {R} )$ Birnbaum–Orlicz Bounded variation BV Bs space Continuous C(K) with K compact Hausdorff Hardy H^p Hilbert H Morrey–Campanato $L^{\lambda ,p}(\Omega )$ ℓ^p $\ell ^{\infty }$ L^p $L^{\infty }$ weighted Schwartz $S\left(\mathbb {R} ^{n}\right)$ Segal–Bargmann F Sequence space Sobolev W^k,p Sobolev inequality Triebel–Lizorkin Wiener amalgam $W(X,L^{p})$
Applications	Differential operator Finite element method Mathematical formulation of quantum mechanics Ordinary Differential Equations (ODEs) Validated numerics

Duality and spaces of linear maps
Basic concepts	Dual space Dual system Dual topology Duality Operator topologies Polar set Polar topology Topologies on spaces of linear maps
Topologies	Norm topology Dual norm Ultraweak/Weak-* Weak polar operator in Hilbert spaces Mackey Strong dual polar topology operator Ultrastrong
Main results	Banach–Alaoglu Mackey–Arens
Maps	Transpose of a linear map
Subsets	Saturated family Total set
Other concepts	Biorthogonal system

Fahrer / Team für die Suche eingeben:

Fahrer / Team für die Suche eingeben:

Langbahn Team – Weltmeisterschaft

Dual norm

Definition

The double dual of a normed linear space