20 1. PREREQUISITES ON OPERATORS ACTING INTO FINITE DIMENSIONAL SPACES
By the arbitrariness of z ∈
which together with (1.3.10) leads to (1.3.8).
Remark 1.5. Let 1 p ∞. Estimate (1.3.12) can be derived with the help
of the function
0 for |G∗(x)z| = 0.
Indeed, since q/(q − 1) = p, it follows that
Using (1.3.9) and (1.3.13), we obtain
|S(f)| ≥ (S(hz), z) =
which implies (1.3.12), because z is arbitrary. The case p = ∞ is treated in a
1.4. Comments to Chapter 1
The first representation theorem in the form of Stieltjes’ integral for an ar-
bitrary linear functional in the space C[0, 1] was proved by F. Riesz [Ri1]. This
theorem was generalized to the case of functionals on C(K), where K is a compact
subset of Rn (Radon, 1913) and to the case of a compact metric space (Banach,
1937). Kakutani [Ka] proved an analogue of the Riesz representation theorem
for a compact Hausdorff space K. The first attempt to generalize this result to
noncompact topological spaces is due to Markov [Ma].
The general form of a linear functional on the space
b) with 1 p
∞ is due to F. Riesz [Ri2]. The space
b) was treated by Steinhaus [Ste].
Nikod´ ym [Nikd] obtained a generalization to abstract spaces with finite measure.
The material of Section 1.3 was published in [KM10].
General facts on representation of functionals in various function spaces, as well
as information of historical character can be found in the books by Aliprantis and
Border [AB], Cohn [Co], Dunford and Schwartz [DS], Edwards [Ed], Kantorovich
and Akilov [KA], Zaanen [Zaa], Maz’ya and Shaposhnikova [MSh], Section 12.5.