Abstract
This short note has to make alive the overlooked work of Pedrick. It is rather a tour guide than exhausted examination of the content and intends to serve potential explorers of diverse kinds of reproducing kernel (Hilbert) spaces, the topic mushrooming nowadays.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Some Extracts from Aronszajn: Updated
Let X be an arbitrary set, refer to it as to underlying set; the function \(K:X\times X\rightarrow \mathbb {C}\) is called a kernel on X. Let \(\mathcal {H}\) be a Hilbert space of complex valued functions on X. We say that the couple \((K,\mathcal {H})\) has the reproducing propertyFootnote 1 if for the sections \(K_{x}\) of the kernel K
andFootnote 2
The following propertiesFootnote 3 are crucial and of perspective usefulness.
- \({1}^{\mathrm{o}}\):
-
\(\mathcal {D}_{K}{{\,\mathrm{{{\mathop {=}\limits ^{{\scriptscriptstyle {\mathsf {def}}}}}}}\,}}{{\,\mathrm{lin}\,}}\{{K_{x}}:{x\in X}\}\) is dense in \(\mathcal {H}\).
- \({2}^{\mathrm{o}}\):
-
The kernel K is positive definite (PD in short), that is
$$\begin{aligned} \sum _{i,j=1}^{N}K(x_i,x_j)\lambda _i\bar{\lambda }_j\ge 0,\quad x_1,\dots ,x_N\in X,\;\lambda _1,\dots \lambda _N\in \mathbb {C}\end{aligned}$$(3)which consequently forces Hermitian symmetry
$$\begin{aligned} K(x,y)=\overline{K(y,x)},\quad x,y\in X; \end{aligned}$$(4)as well as the Schwarz inequality
$$\begin{aligned}&\left| \sum _{i,k=1}^{M,N}K(x_i,y_k)\lambda _i\bar{\mu }_k\right| ^2\le \sum _{i,j=1}^{M}K(x_i,x_j)\lambda _i\bar{\lambda }_j \sum _{k,l=1}^{N}K(y_k,y_l)\mu _k\bar{\mu }_l,\\&\quad x_1,\dots ,x_M,y_1,\dots ,y_N\in X,\;\lambda _1,\dots \lambda _M,\mu _1,\dots ,\mu _N\in \mathbb {C}. \end{aligned}$$ - \({3}^{\mathrm{o}}\):
-
The evaluation functionals
$$\begin{aligned} \varPhi _{x}:f\ni \mathcal {H}\mapsto f(x)\in \mathbb {C} \end{aligned}$$(5)are continuous for every \(x\in X\); this is an immediate consequence of (2).
- \({4}^{\mathrm{o}}\):
-
The reproducing formula (2) gives at once
$$\begin{aligned} K(x,y)=\left\langle K_{y},K_{x}\right\rangle ,\quad x,y\in X. \end{aligned}$$(6)This is a powerful formula because it is equivalent in a sense to the reproducing property.
- \({5}^{\mathrm{o}}\):
-
The practical formula which goes back to Zaremba (see [15, p. 170]) is
$$\begin{aligned} K(x,y)=\sum \limits _{\alpha \in \mathrm{A}}\phi _{\alpha }(x)\overline{\phi _{\alpha }(y)},\quad x,y\in X \end{aligned}$$(7)provided the right hand side converges (which may be understood as an integral if \(\mathrm{A}\) is uncountable).
- \({6}^{\mathrm{o}}\):
-
A complex function f on X is in \(\mathcal {H}\) if and only if there is a constant \(C>0\) such that
$$\begin{aligned} \begin{aligned}&\left| \sum _{i= 1}^ N f(x_i)\lambda _i\right| ^2\le C\sum _{i,j= 1}^ N K(x_i,x_j)\lambda _i\bar{\lambda }_j,\\&\quad x_1,\dots ,x_N\in X,\; \lambda _1,\dots \lambda _N\in \mathbb {C}; \end{aligned} \end{aligned}$$(8)in such a situation \(\Vert f\Vert _{\mathcal {H}}\) is the smallest C, for which the formula (8) holds.
This is a handy RKHS test identifying functions on X which constitute the space \(\mathcal {H}\).
Let us memorise any of the two members of a reproducing couple determines (uniquely) the other, cf. footnote \(^{1}\).
1.1 Kernel K \(\varvec{\Longrightarrow }\) Space \(\mathcal {H}\)
Define \(\mathcal {D}_{K}\) as in \({1}^{\mathrm{o}}\) for a given a PD kernel K on X. Reading backwards the property (6) leads to the definition
A direct argument convinces us that the function \(\left\langle \,\cdot \,,-\right\rangle :\mathcal {D}_{K}\times \mathcal {D}_{K}\rightarrow \mathbb {C}\) is well defined and linear in the first variable; the Hermitian symmetry (4) makes it antilinear in the second variable and well defined at large. Positive definiteness (3) of K ensures the aforesaid function to be an semi-inner product. Definition (9) incorporates the reproducing property (2) satisfied now on \(\mathcal {D}_{K}\) and this is enough to conclude that the semi-inner product in question becomes an inner product.
Now we can execute the Hilbert space \(\mathcal {H}\) with simple (pointwise) completion according to the lemma below.
Lemma 1
For a unitary space \(\mathcal {D}\) of complex functions on X the following conditions are equivalent:
-
there exists (necessarily, exactly one) Hilbert space \(\mathcal {H}\) of functions on X with reproducing kernel K on X such that \(\mathcal {D}\) is dense in \(\mathcal {H}\);
-
the space \(\mathcal {D}\) has reproducing kernel K such that \(\mathcal {D}_K\) is dense in \(\mathcal {D}\);
-
the space \(\mathcal {D}\) has two properties:
-
the evaluation functionalsFootnote 4
$$\begin{aligned} \varPhi _{x}:f\ni \mathcal {D}\mapsto f(x)\in \mathbb {C},\quad x\in X,\; \end{aligned}$$(10)are continuous,
-
for each sequence \((f_{n})_{n=0}^{\infty }\), which is Cauchy in \(\mathcal {D}\), convergence of \(f_n(x)\rightarrow 0\) for all \(x\in X\) implies \(\Vert f_n\Vert \rightarrow 0\).
-
1.2 Kernel K \(\varvec{\Longleftarrow }\) Space \(\mathcal {H}\)
This way is fast. Suppose a Hilbert space \(\mathcal {H}\) of complex functions on X is granted with the property \({3}^{\mathrm{o}}\). Then immediately the Riesz representation theorem for the functionals \(\varPhi _{x}\) determines the kernel functions \(K_{x}\) and recurring the formula (6) ends up the whole story.
Let us notice the strength of \({3}^{\mathrm{o}}\) is usually caused to happen due to some influential source out of the space \(\mathcal {H}\).
Another way to define the kernel is to use Zaremba’s formula (7) starting from a given family \(\{\varphi _{\alpha }\}\) of functions in \(\mathcal {H}\) which is total. Then the definition of the kernel corresponding to \(\mathcal {H}\) is immediateFootnote 5.
The basic reference is [1]. As for the further details concerning this part consult [8]. The monograph [12] would be for the benefit of those who are forbearing; it is in fact the very extension of [8]. If someone is desperate for having a look at English version of some parts of [8] the surveys [10, 11] may serve for this in a way.
2 Pedrick’s Reinforcement of Aronszajn’s Scheme
George Pedrick, Aronszajn’s PhD student, in his 1959 dissertation [5] extended the concept of reproducing kernel Hilbert spaces much beyond the customary context of scalar valued functions and kernels. Even so his ideology was to make the two recipes equivalent. We pick up here the main points of [5] adjusting them to contemporary developments and needs rather than to scrutinise his treatise. This means Pedrick’s main idea itself is implemented here in a rather effortless way rectifying some meanders which appear in [5]. Active engagement of the reader may be called for.
Given a set X of arbitrary nature, let \(\mathcal {E}\) be a locally convex space and let \(\mathcal {E}'\) stand for its topological anti-dual.Footnote 6 This choice is a kind of sample rather, other dualities based on \(\mathcal {E}\) can be taken into account as well.
The following two items are the main objects in [5, cf. p.16]
-
a complex Hilbert space \(\mathcal {G}\subset {\mathcal {E}}^{X}\) which is composed of \(\mathcal {E}\)-valued functions on X,
-
a family of linear operators \(K(x,y):\mathcal {E}'\rightarrow \mathcal {E}\), \(x,y\in X\), which may be condensed asFootnote 7\(K:X\times X\rightarrow \varvec{L}({\mathcal {E}'},\mathcal {E})\) and which in turn let K be thought of as \(\varvec{L}(\mathcal {E}',\mathcal {E})\)-valued kernel on X.
Think of \((K,\mathcal {G})\) as the reproducing kernel Hilbert space couple on X if
and
where the subscript \({}_{(\mathcal {E},\mathcal {E}')}\) fixes “anti-duality” between the spaces \(\mathcal {E}\) and \(\mathcal {E}'\) (the latter is anti-linear with respect to the second variable), and \(\left\langle \cdot ,-\right\rangle _{\mathcal {G}}\) does the inner product of the Hilbert space \(\mathcal {G}\). Notice the formula (12) is just the reproducing property as adjusted to the current circumstances.
Due to the fact that \(\mathcal {E}'\) separates the points of \(\mathcal {E}\) the reproducing formula (12) forces the set
to be dense in \(\mathcal {G}\).
Positive definiteness reads as follows
Like in the scalar case the reproducing formula (12) concludes the evaluation “functional” (or rather the evaluation operator in the current setting)
is \((\mathcal {G},\left\langle \cdot ,-\right\rangle _{\mathcal {G}})\) to \((\mathcal {E},\sigma (\mathcal {E},\mathcal {E}'))\) continuous.
Another consequence of the reproducing formula (12) is
a counterpart of (6).
Zaremba’s formula (7) as in \({5}^{\mathrm{o}}\) has its meaning in this setting too.
The criterion \({6}^{\mathrm{o}}\) (RKHS test) under the present circumstances takes the form.
- \({7}^{\mathrm{o}}\):
-
A function \(\varphi \in \mathcal {E}^{X}\) is in \(\mathcal {G}\) if and only if there is a constant \(C>0\) such that
$$\begin{aligned} \begin{aligned}&\left| \sum _{i= 1}^ N \left\langle \varphi (x_{i}),e'_{i}\right\rangle _{(\mathcal {E},\mathcal {E}')}\right| ^2\le C\sum _{i,j=1}^{N}\left\langle K(x_i,x_j)e_i',e_j'\right\rangle _{(\mathcal {E},\mathcal {E}')},\\&\quad x_1,\dots ,x_N\in X,\; e_1,\dots e_N\in \mathbb {C}. \end{aligned} \end{aligned}$$(17)Consequently \(\Vert \varphi \Vert _{\mathcal {G}}\) is the smallest C for which the formula (17) holds.
Because the RKHS test plays an important role in the next section we say a couple of words about its proof. The reproducing formula (12) makes the “only if” part of \({7}^{\mathrm{o}}\). For the other part, (17) makes it possible to apply the Riesz representation to the functional (well defined on the whole of \(\mathcal {G}\) indeed)
Then use (12) and again the fact that \(\mathcal {E}'\) separates the points of \(\mathcal {E}\), to identify \(\varphi \) as a member of \(\mathcal {G}\).
Needless to say the above arguments work well also for \({6}^{\mathrm{o}}\).
The very bottom condition in Lemma 1 which is of rather delicate matter is explained in §5 of [5]. We deliberately glance through this section because our decisive point is in what appears in the following one.
3 Pedrick’s “Tilde Correspondence”
This is what definitely has to be brought out of Pedrick’s thesis and put forward. He suggests to go back from the vector valued case of Sect. 2 to that of scalar valued as in Sect. 1 by a simple, and as it turns out, very efficient device (cf. [5, §2, p.22]); we arrange it in a slightly modified way just to make it fit in with the setup of section 1.
With notations of Sect. 2 we offer the following definitions
and for \(\varphi \in \mathcal {E}^{X}\) encode
Remark 2
Now the deal is with complex valued kernel \(\widetilde{K}\). Because \(\widetilde{K}\) is linear in the second variable and antilinear in the fourth, formula (14) ensures its positive definiteness in the sense of (3) having now the form
Therefore \(\widetilde{K}\) has its reproducing kernel Hilbert space \(\widetilde{\mathcal {H}}\) composed of complex functions on \(\widetilde{X} {{\,\mathrm{{{\mathop {=}\limits ^{{\scriptscriptstyle {\mathsf {def}}}}}}}\,}}X\times \mathcal {E}'\).
If there is a need to consider other duality, like \((\mathcal {E},\mathcal {F})\) exposed in Sect. 5, then the topological one \((\mathcal {E},\mathcal {E}')\) an automatic “copy-paste” solves the problem globally.
Formula (18) allows us to create the kernel functions \(\widetilde{K}_{y,f'}\) as
cf. footnote \(^{2}\).
Due to the fact that \(\mathcal {E}'\) separates the points of \(\mathcal {E}\) the mapping in (19) as defined on \(\mathcal {E}^{X}\) is injective. Even more there is a simple relationshipFootnote 8 between the topologies of \(\mathcal {G}\) and \(\widetilde{\mathcal {G}}\).
Even more, the main goal is to check whether \(\widetilde{\mathcal {G}}\) is just the RKHS partner of \(\widetilde{K}\).
Theorem 3
For \(\varphi \in \mathcal {G}\)
where \(\Vert \,\cdot \,\Vert _{\widetilde{\mathcal {G}}}\) stands for the norm in \(\widetilde{\mathcal {G}}\). Consequently, \((\widetilde{K},\widetilde{\mathcal {G}})\) is a reproducing couple.
Theorem 3 and everything around are the quintessence of Pedrick’s considerations.
Proof
The link established in (18) and (19) yields
Carrying out “\(\sup \)” over
in both sides of the above equality, invoking \({6}^{\mathrm{o}}\) and \({7}^{\mathrm{o}}\) we arrive at (23). Now (23) applied to the right hand side of (12) and the defining formula (19) to its left hand side leads to the reproducing formula for \(\widetilde{K}\) with \(\widetilde{\mathcal {G}}\) as its Hilbert space. \(\square \)
4 Some Upcoming Cases
Due to Theorem 3 the mapping
besides being a unitary operator between two Hilbert spaces \(\mathcal {G}\) and \(\widetilde{\mathcal {G}}\) of functions preserves the reproducing property of both couples \((K,\mathcal {G})\) and \((\widetilde{K},\widetilde{\mathcal {G}})\). Thus we may think of RKHS isomorphism in all respects.
Looking now at (18) as an equality between \(\widetilde{K}\) and K one may catch an idea of going along it in any the two of directions: from operator (vector) valued kernels to scalar ones and the other way. “The other way” seems to be more interesting to monitor, let us do this roughly leaving the details for the reader. Anyway it relies on Proposition 12, which may be helpful.
Remark 4
Notice that the underlying set for the kernel \(\widetilde{K}\) is \(X\times \mathcal {E}\) amalgamating two factors X and \(\mathcal {E}\) of different (usually independent) structure. The set X is often of algebraic nature while \(\mathcal {E}\) bears a geometrical structure,
4.1 Particularising X and \(\mathcal {E}\)
The set X can be provided with some algebraic structure, the most notable the structure of semigroup (or, a bit more generally, a semigroup of actions on X); we think of the semigroup acting multiplicatively unless it is commutative when the additive notation is customarily in use. Existence of unit in a semigroup is not a common assumption however for the time being we assume that. We also enrich the structure of X introducing an involution in it which gives the term *-semigroup, consult [12, Chapter 2].
Keep the space \(\mathcal {E}\) normed. If \(\widetilde{K}(1,f,1,f)=\Vert f\Vert ^{2}\) we call \(\widetilde{K}\) isometric. The embedding
in case of isometric \(\widetilde{K}\) is just an isometry.
Let \(\widetilde{K}_{y,f'}\) be the kernel functions (22) generated by the scalar kernels \(\widetilde{K}\), cf. (1). Under the current circumstances we can consider the following operators.
4.2 The Operators
The semigroup structure of X allows us to introduce two linear operators in \(\widetilde{\mathcal {H}}\) playing a basic role in dilation theory. Take \(u\in X\) and define the mapping
with
and the linear space
Now we will try to define two linear operators in \(\widetilde{\mathcal {H}}\) corresponding to \(u\in X\). First of them, \(\varPhi (u)\), can be set definitely right now
The second, \(\varPhi _u\), relies on
and requires some caution, it extends linearly to a well-defined linear operator on \( \mathcal {D}({\varPhi _u}){{\,\mathrm{{{\mathop {=}\limits ^{{\scriptscriptstyle {\mathsf {def}}}}}}}\,}}\mathcal {D}_{\widetilde{K}}\) if and only if
otherwise it is a linear relation. Regardless \(\varPhi _{u}\) is already a well defined operator or not the formula
holds true, cf. (25), provided X is unital.
Proposition 5
The basic link is
Corollary 6
The following consequences of Proposition 5 are important to be notified.
- 1:
-
The operator \(\varPhi (u)\) is closed.
- 2:
-
If \(\varPhi (u)\) is densely defined, that is \(\mathcal {D}(u)\) is dense in \(\widetilde{\mathcal {H}}\), then the operator \(\varPhi _{u}\) is well defined on \(\mathcal {D}\).
- 3:
-
If \(\varPhi (u)\) is densely defined then
$$\begin{aligned} \varPhi _u^{*}=\varPhi (u),\;\varPhi _u \text { is closable and } \,\overline{\varPhi }_u=\varPhi (u)^{*}. \end{aligned}$$(32)
Boundedness of \(\varPhi (u)\) and \(\varPhi _u\) is a subject of separate analysis. In the case of \(*\)-involution semigroups there is a bunch of equivalent conditions to (33), cf. [7, 9].
Proposition 7
\(\varPhi _u\) is a well-defined bounded operator if and only if there exists \(c(u)\geqslant 0\) such that
If this happens \(\varPhi (u)\) is a densely defined operator, and both \(\varPhi _{u}\) and \(\varPhi (u)\) bounded operators with
Let us also have a look at algebraic properties of the mappings \(u\mapsto \varPhi (u)\) and \(u\mapsto \varPhi _u\).
Proposition 8
Suppose that for each \(u\in X\) (29) holds. Then \(\mathcal {D}({\varPhi _u})\) is invariant on \(\varPhi _u\), that is, \({\varPhi _u}\mathcal {D}({\varPhi _u})\subset \mathcal {D}({\varPhi _u})\), and the mapping \(u\mapsto \varPhi _u\) is multiplicative, that is
The mapping \(u\mapsto \varPhi (u)\) is anti-multiplicative, which here means that
Since we have all the ingredients ready, it is time for the first and most general dilation theorem.
Theorem 9
Let X be a unital semigroup, \(\mathcal {E}\) a normed space, and K a positive definite isometric kernel on \(X\times \mathcal {E}\). Then, in the RHKS \(\widetilde{\mathcal {H}}\) corresponding to \(\widetilde{K}\) we have formulaeFootnote 9
where all the objects mentioned in the conclusion have been defined already.
Remark 10
The remarkable attraction of Pedrick’s “tilde correspondence” is that the resulting reproducing kernel Hilbert space composed of complex valued (scalar) functions can be decoded using the RKHS test \({6}^{\mathrm{o}}\), p. 2. In particular it can help localising the domains of operators appearing in Corollary 6 as is done in [13] in order to detect subnormality of unbounded operators.
4.3 \(*\)-Invariance
Suppose X is a \(*\)-semigroup with unit 1 and K, therefor \(\widetilde{K}\) is invariant in the sense
This introduces a new definition
which reduces the number of variables by one; call \(\omega \) a form.
In the fundamental paper of Sz.-Nagy [14], which unfortunately is disregarded by the so called experts, forms generated by bounded operators is considered in “théorème principal” and dilation results stated by them. Among the forms those determined by contractions (here the famous Sz.-Nagy 1953 dilation theorem is materialised), semispectral (POV) measures, operator moment problems on bounded intervals are included as special cases. This is presented in details though in a rather general setup in [9].
5 Spaces in Duality: Repository
Remark 11
Suppose \(\mathcal {H}\) is a complex Hilbert space and \(\Phi \) is a continuous linear functional on \(\mathcal {H}\). Then there is a unique element \(g_{\Phi }\) of \(\mathcal {H}\) such that
This is the classical F. Riesz representation theorem; the correspondence \(\Phi \longleftrightarrow g_{\Phi }\) is anti-linear.
Duality as it appears in Functional Analysis, cf. [3, Chapter 3], [2, p. 155], [4, p. 59] declares three objects to be given: linear spaces \(\mathcal {E}\) and \(\mathcal {F}\), and a bilinear form
which is separating in a sense that
The spaces \(\mathcal {E}\) and \(\mathcal {F}\) when accompanied by B are referred to as being in duality. The most recognised examples are
-
\(\mathcal {E}\) is a linear space and \(\mathcal {F}=\mathcal {E}^{*}\), where \(\mathcal {E}^{*}\) is the algebraic dual of \(\mathcal {E}\), that is the space of all linear functionals on \(\mathcal {E}\);
-
\(\mathcal {E}\) is a locally convex space and \(\mathcal {F}=\mathcal {E}'\), where \(\mathcal {E}'\) is the topological dual of \(\mathcal {E}\), that is the space of all continuous linear functionals on \(\mathcal {E}\)
the bilinear form in both these cases is just the standard pairing, that is \(B=\left\langle \,\cdot \,,-\right\rangle \); from now on we use the latter instead of B.
The first of these two cases can always be directed in the second by introducing the so called \(\sigma (\mathcal {E},\mathcal {F})\) topology in \(\mathcal {E}\) or reversing the role the spaces play a \(\sigma (\mathcal {F},\mathcal {E})\) topology in \(\mathcal {F}\); in general they are not the only one possibilities. More precisely, if \(\mathcal {E}\) and \(\mathcal {F}\) are arbitrary linear spaces being in duality furnished with the separating bilinear form \(B=\left\langle \,\cdot \,,-\right\rangle \) there is always a topology on \(\mathcal {E}\), just \(\sigma (\mathcal {E},\mathcal {F})\), making it a locally convex space and turning \(\mathcal {F}\) into its topological dual; the same can applied by reversing the role of spaces. We use the customarily notation \(\sigma (\mathcal {E},\mathcal {F})\) and \(\sigma (\mathcal {F},\mathcal {E})\) for these topology while for the bilinear form we use the subscript \((\mathcal {E},\mathcal {F})\) or \((\mathcal {F},\mathcal {E})\) to indicate the proper choice, see [2, Definition (3.84), p 156].
\(\underline{\mathsf {Important}}~\underline{\mathsf {change}}\). Because the Riesz representation theorem identifies the topological dual of a Hilbert space with the space itself establishing merely an antilinear mapping we prefer to make a change introducing a prefix “anti” to tailor the aforesaid duality to the newly required situation; no essential technical modification is neededFootnote 10 to implement this. In practice we start from the duality form \(B=\left\langle \,\cdot \,,-\right\rangle \) to be Hermitian bilinear, that is linear in the first variable, anti-linear (aka Hermitian linear or even sometimes called linear conjugate) in the second. This approach is supported by Remark 11.
Here is an excerpt from [2, Theorem (38.7)] in its (antilinear) modified form.
Proposition 12
A linear functional F on \(\mathcal {E}\) is \(\sigma (\mathcal {E},\mathcal {F})\) continuous if and only if there is (necessarily a unique) \(g\in \mathcal {F}\) such that \(F=\left\langle \,\cdot \,,g\right\rangle _{(\mathcal {E},\mathcal {F})}\). The dual statement holds as well and says an anti-linear functional G on \(\mathcal {F}\) is \(\sigma (\mathcal {F},\mathcal {E})\) continuous if and only if there is \(f\in \mathcal {E}\) such that \(G=\left\langle f,\,\cdot \,\right\rangle _{(\mathcal {E},\mathcal {F})}\).
For some support in this matter look at [5, §1] or [6], both are given the same flavour.
Notes
We maintain the commonly used term reproducing kernel Hilbert space, RKHS briefly, despite linguistic nuances which may not emphasise enough that both members of the couple have equal rights.
The functions \(K_{x}\) may be called kernel functions if necessary, as they are functions of a single variable and come from the kernel K, a function of two variables like K in Analysis is generally called a kernel; some authors seem not to be aware of this subtle distinction.
We spread the notation \(``{{\,\mathrm{lin}\,}}\)” for the linear span while \(``{{\,\mathrm{clolin}\,}}\)” for the closed linear one.
Notice now, unlike (5) they are defined on an inner product space exclusively.
Notice that it needs not to be orthonormal, this comes out a posteriori as an extra condition required, cf. [8].
This is the space of all anti-linear(=linear conjugate) continuous functionals on \(\mathcal {E}\), which just coincides with the space of all complex conjugates of continuous linear functionals on \(\mathcal {E}\), the members of the topological dual of \(\mathcal {E}\). For duality consult Sect. 5.
\(\varvec{L}(\mathcal {X},\mathcal {Y})\) denotes the totality of all linear operators from \(\mathcal {X}\) into \(\mathcal {Y}\), which by the way is a complex linear space; as always shorten \(\varvec{L}(\mathcal {X},\mathcal {X})\) to \(\varvec{L}(\mathcal {X})\).
Pedrick declares these topologies to coincide a priori, we prefer to conclude this going another way around, see Proposition 3.
Note that first of these conditions could be omitted without any loss, since it is a fact contained in the definition of the reproducing kernel Hilbert space.
This is because anti-linear(=linear conjugate) functionals on \(\mathcal {E}\) coincide with complex conjugates of linear functionals on \(\mathcal {E}\).
References
Aronszajn, N.: Theory of reproducing kernels. Trans. Am. Math. Soc. 68, 337–404 (1950)
Berberian, S.K.: Lectures in Functional Analysis and Operator Theory. Springer, New York (1974)
Horváth, J.: Topological Vector Spaces and Distributions, vol. I. Addison-Wesley Publishing Co, Reading (1966)
Pedersen, G.K.: Analysis Now. Springer, New York (1989)
Pedrick, G.: Theory of reproducing kernels for Hilbert spaces of vector valued functions, Thesis (Ph.D.)–University of Kansas, pp. 59 (1958)
Schwartz, L.: Sous-espaces hilbertiens d’espaces vectoriels topologiques et noyaux associés (noyaux reproduisants). J. Analyse Math. 13, 115–256 (1964)
Szafraniec, F.H.: Boundedness of the shift operator related to positive definite forms: an application to moment problems. Ark. Mat. 19, 251–259 (1981)
Szafraniec, F.H.: Przestrzenie Hilberta z ja̧drem reprodukuja̧cym (Positive definite kernels and Hilbert\(C{*}\)-modules, Reproducing kernel Hilbert spaces, in Polish). Wydawnictwo Uniwersytetu Jagiellońskiego, Kraków (2004)
Szafraniec, F.H.: Murphy’s Positive definite kernels and Hilbert C\(^{\prime }\)-modules reorganized. Banach Center Public. 89, 275–295 (2010)
Szafraniec, F.H.: The reproducing kernel property and its space: the basics. In: Alpay, Daniel (ed.) Operator Theory, vol. 1, pp. 3–30. Springer, Basel (2015)
Szafraniec, F.H.: The reproducing kernel property and its space: more or less standard examples of applications. In: Alpay, Daniel (ed.) Operator Theory, vol. 1, pp. 31–58. Springer, Basel (2015)
Szafraniec, F.H.: The Reproducing Property: Spaces and Operators. Cambridge University Press (in progress)
Szafraniec, F.H.: The Sz.-Nagy “théorème principal” extended. Application to subnormality. Acta Sci. Math. (Szeged) 57, 249–262 (1993)
Sz.-Nagy, B.: Prolongements des transformations de l’espace de Hilbert qui sortent de cet espace. Appendice au livre “Leçons d’analyse fonctionnelle” par F. Riesz et B. Sz.-Nagy, Akadémiai Kiadó, Budapest (1955)
Zaremba, S.: L’équation biharmonique et une classe remarquable de functions fondamentales harmoniques. Bull. Int. l’Acad. Sci. Cracovie 147–196 (1907)
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Seppo Hassi.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Dedication. To Henk with appreciation.
This article is part of the topical collection “Recent Developments in Operator Theory - Contributions in Honor of H.S.V. de Snoo” edited by Jussi Behrndt and Seppo Hassi.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Szafraniec, F.H. Revitalising Pedrick’s Approach to Reproducing Kernel Hilbert Spaces. Complex Anal. Oper. Theory 15, 66 (2021). https://doi.org/10.1007/s11785-021-01091-w
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s11785-021-01091-w