SlideShare ist ein Scribd-Unternehmen logo
1 von 13
1 Introduction
These notes introduces a particular kind of Hilbert space known
as a reproducing kernel Hilbert space (RKHS).
We will establish connections with kernels, defined previously,
and show that kernels and RKHSs are in one-to-
one correspondence. This material is largely drawn from
Chapter 4 of [1], although some results are presented
in a slightly different way to ease digestion.
2 Reproducing Kernel Hilbert Spaces
Throughout these notes, we use the term “Hilbert function space
over X ” to refer to a Hilbert space whose
elements are functions f : X 7→ R.
Definition 1. (Reproducing Kernel) Let F be a Hilbert function
space over X . A reproducing kernel of F is a
function k : X × X 7→ R which satisfies the following two
properties:
1. k (·,x) ∈ F for any x ∈ X.
2. (Reproducing property) For any f ∈ F and any x ∈ X, f (x) =
〈f,k (·,x)〉F.
Theorem 1. Let F be a Hilbert function space over X. The
following are equivalent:
1. F has a reproducing kernel.
2. For any x ∈ X, the function δx : F 7→ R defined by δx (f) = f
(x) is continuous.
Definition 2. Let F be a Hilbert function space over X. We say F
is a reproducing kernel Hilbert space
over X if it satisfies the conditions of the previous theorem.
Proof. ( (1) ⇒ (2) ) . Suppose that F has a reproducing kernel, k
: X ×X 7→ R. We need to show that if
(fn)
∞
n=1 converges to f ∈ F, i.e., ‖fn −f‖F → 0, then for every x ∈ X ,
|δx (fn) −δx (f)| = |fn (x) −f (x)|→
0. Now
δx (f) = f (x) = 〈f,k (·,x)〉F = 〈lim
n→∞
fn,k (·,x)〉F
(a)
= lim
n→∞
〈fn,k (·,x)〉F = lim
n→∞
fn (x) = lim
n→∞
δx (fn)
Note that the identity “(a)” is implied by the continuity of inner
product operator of its first argument.
Before proving the reverse implication, we state a classical
result from functional analysis named the Riesz
representation theorem.
Theorem 2 (Riesz representation theorem). Let F be a Hilbert
space and L : F 7→ R be a linear functional
on F. Then L is continuous if and only if there exists Φ ∈ F such
that L (f) = 〈f, Φ〉F for any f ∈ F.
1
2
( (2) ⇒ (1) ) . Let x ∈ X . It’s trivial to see that δx is a linear
functional, so due to the assumed
continuity of δx, Theorem 2 ensures the existence of a Φx ∈ F
such that δx (f) = f (x) = 〈f, Φx〉F. Now
define k (x2,x1) := Φx1 (x2) ∈ R. Note that k (·,x) = Φx ∈ F
(establishing the first property of reproducing
kernels). Also,
f (x) = 〈f, Φx〉F = 〈f,k (·,x)〉F
which shows that the reproducing property holds.
The next result establishes that kernels and reproducing kernels
are the same.
Theorem 3. Let k : X ×X 7→ R. Then k is a kernel if and only if
k is a reproducing kernel of some RKHS
F over X.
Proof. (⇐) . We first prove the reverse implication. Let k be the
reproducing kernel of F and define Φ :
X 7→F by Φ (x) = k (·,x). Now for any x′ ∈ X , consider the
function fx′ = k (·,x′). Using the reproducing
property and symmetry of the inner product, we obtain
k (x,x′) = fx′ (x) = 〈fx′,k (·,x)〉F = 〈k (·,x′) ,k (·,x)〉F
= 〈Φ (x′) , Φ (x)〉F = 〈Φ (x) , Φ (x′)〉F.
Hence, k is a kernel.
(⇒) . The following lemma is needed.
Lemma 1. If k is a kernel, then it has a feature space F̃ and a
feature map Φ̃ : X 7→ F̃ such that the map
V : F̃ 7→ (X 7→ R) (the range of V is the set of functions from
X to R) given by
V (ω) = 〈ω, Φ̃ (·)〈F̃ (1)
is injective.
Proof of Lemma 1. Let F0, Φ0 be a feature space and feature
map associated to k, respectively, i.e., k (x,x′) =
〈Φ0 (x) , Φ0 (x′)〉F0 . Now define
F = {f = 〈ω, Φ0 (·)〉F0 | ω ∈ F0}
Since Φ0 is not known to be onto, it’s possible to have multiple
ω’s mapping to f. Consider the nullspace
of V, null (V) = {ω : Vω = 〈ω, Φ0 (·)〉F0 = 0}, where the 0
refers to the zero function. One can easily show
using the continuity of an inner product in its first argument
that null (V) is closed. The projection theorem
then implies that F0 = null (V) 〈F̃ (⊕ denotes the direct sum)
where
F̃ = (null (V))⊥ = {v ∈ F0 : 〈ω,v〉F0 = 0 ∀ ω ∈ null (V)}
F̃ is closed by a routine argument, and therefore F̃ is a Hilbert
space by inheriting the inner product of
F̃. For any ω ∈ null (V) and any x ∈ X , the construction of V
leads to V (ω) = 〈ω, Φ0 (x)〉F0 = 0. Thus,
Φ0 (x) ∈ (null (V))
⊥
= F̃. Hence, Φ̃ = Φ0 is a valid feature map on X → F̃. Finally,
the restriction
V |F̃: F̃ 7→F is such that ker (V |F̃) = {0}, and therefore is
injective.
Let (Φ̃,F̃) be as in Lemma 1. Define
F =
{
f = 〈ω, Φ̃ (·)〈F̃ | ω 〈 F̃
}
F is clearly a space of functions. The linear map V : F̃ 7→ F
defined by identity (1) (linearity of V is an
immediate consequence of linearity an of inner product in its
first argument) is bijective (injective and onto)
by the constructive definition of F and therefore V is invertible.
Now, define an inner product on F by
〈f,f′〈F = 〈V−1f,V−1f′〈F̃.
3
Since V is a bijective linear map, so is its inverse, and so it’s
straightforward to check that 〈·, ·〉F defines
a valid inner product. Therefore V is also an isometry (distance
preserving map). We also need to show
that F is complete. Thus, let {fn}n∈ N be a Cauchy sequence in
F. Since V is an isometry, we have that
‖fn −fm‖F =
〈〈V−1fn −V−1fm〈〈F̃ for any m,n ∈ N. Hence, (V−1fn)n∈ N
is a Cauchy sequence in the
complete space F̃ which means that it converges to a limit f ̃ 〈
F̃. Since V is an isometry it is continuous,
and therefore fn = V(V−1fn) converges to Vf ̃ ∈ F. This shows
that F is complete.
Next, we show that k is a reproducing kernel of F. If x ∈ X ,
then
k (·,x) = 〈Φ̃ (x) , Φ̃ (·)〈F̃ = VΦ̃ (x) ∈ F
This proves the first property of a reproducing kernel. Lastly,
for any f ∈ F and any x ∈ X , observe
f (x) = 〈V−1 (f) , Φ̃ (x)〈F̃ = 〈f,VΦ̃ (x)〉F = 〈f,k (·,x)〉F
which established the reproducing property.
3 Kernels and RKHSs are in one-to-one correspondence
The next two results establish that kernels and RKHSs are in
one-to-one correspondence.
Theorem 4. If F is a RKHS, then it has a unique reproducing
kernel.
The proof is left as an exercise below.
Theorem 5. Let k be a kernel on X, and let F0 and Φ0 : X 7→F0
be an associated feature space and feature
map, respectively, such that the mapping V : F0 7→ F = {f =
〈ω, Φ0 (·)〉F0 | ω ∈ F0} is injective, whose
existence is guarenteed by Lemma 1. Then,
1. F is the unique RKHS with k as its reproducing kernel.
2. The set Fpre =
{
n∑
i=1
αik (·,xi) | n ∈ N, αi ∈ R,xi ∈ X
}
is dense in F.
3. For f,f′ ∈ Fpre with f =
n∑
i=1
αik (·,xi) and f′ =
n′∑
i=1
α′ik (·,x
′
i),
〈f,f′〉F =
n∑
i=1
n′∑
j=1
αiα
′
jk
(
xi,x
′
j
)
.
Proof. We already have seen in the proof of Theorem 3 that F is
an RKHS. The proof of uniqueness is
presented after proving the other two parts of the theorem.
Proof of part 2. Let F̃ be any RKHS with k as its reproducing
kernel. Since k (·,x) 〈 F̃ for any x ∈ X ,
we see that Fpre 〈 F̃. Now, suppose towards a contradiction
that Fpre is not dense in F̃. Then the
orthogonal complement of the closure of Fpre has a non-trivial
element, i.e.
(
Fpre
)⊥
6= {0}. Thus, there
exists f ∈
(
Fpre
)⊥
and x ∈ X such that f (x) 6= 0. But k (·,x) ∈ Fpre, and so
0 = 〈f,k (·,x)〉F = f (x) 6= 0,
a contradiction.
4
Proof of part 3. Let again F̃ be any RKHS with k as its
reproducing kernel. Using the reproducing
property and bi-linearity of inner product, we get
〈f,f′〈F̃ =
n∑
i=1
n′∑
j=1
αiα
′
j〈k (·,xi) ,k
(
·,x′j
)
〈F̃ =
n∑
i=1
n′∑
j=1
αiα
′
jk
(
xi,x
′
j
)
.
Proof of part 1. Assume that F1 and F2 are two RKHSs with the
same reproducing kernel k. Choose an
arbitrary f ∈ F1. We will show f ∈ F2, establishing F1 ⊆F2. The
reverse inclusion is established similarly.
From part 2, there is a sequence (fn)n∈ N,fn ∈ Fpre, such that ‖f
−fn‖F1 → 0. By part 3, ‖·‖F1 and
‖·‖F2 coincide on Fpre, and so (fn)n∈ N is Cauchy in F2.
Therefore, (fn)n∈ N converges to some g ∈ F2.
Moreover, for any x ∈ X , we have
g(x) = lim
n→∞
fn(x) (point evaluation at x is continuous on F2)
= f(x), (point evaluation at x is continuous on F1)
so f = g. This shows that F1 ⊆F2, and the reverse inclusion
holds similarly, so F1 = F2 as sets.
It remains to show that the inner products agree. Thus, let f,f′
be arbitrary functions in F1 = F2,
expressed as limits of functions in Fpre as f = lim
n→∞
fn and f
′ = lim
n→∞
f′n. Appealing to continuity of an
inner product in one argument while the other is held fixed,
〈f,f′〉F1 = lim
n→∞
〈fn,f′〉F1 = lim
n→∞
lim
m→∞
〈fn,f′m〉F1 = lim
n→∞
lim
m→∞
〈fn,f′m〉Fpre
= lim
n→∞
lim
m→∞
〈fn,f′m〉F2 = lim
n→∞
〈fn,f′〉F2 = 〈f,f
′〉F2.
So the two RKHSs are the same, and thus F is the unique RKHS
with k as its reproducing kernel.
By the above properties, for any kernel k with associated RKHS
F, the feature map Φ : X →F defined
by Φ(x) = k(·,x) is a valid feature map, and is called the
canonical feature map.
For additional background on reproducing kernel Hilbert spaces,
see [1].
Exercises
1. Show that convergence of functions in an RKHS implies
pointwise convergence. That is, if ‖fn−f‖F → 0
then for all x, |fn(x) − f(x)| → 0.
2. Is the Hilbert space L2(R) a RKHS? If so, what is its
reproducing kernel? Hint: This problem is super
easy if you understand the definitions of RKHSs and L2(R).
3. Show that if F is a RKHS, then it has a unique reproducing
kernel.
4. Elements of an RKHS inherit properties of the associated
kernel. Let k be a kernel on a metric space X
and F its RKHS. We say k is bounded if supx∈ X k(x, x) < ∞.
Show that
(a) if k is bounded, then every f ∈ F is a bounded function.
(b) if k is bounded, then convergence in F implies convergence
in the supremum norm.
(c) if k is bounded and for all x, k(·, x) is a continuous function,
then every f ∈ F is bounded and
continuous. Hint: Use the denseness of Fpre in F and part (b).
5
References
[1] I. Steinwart and A. Christman, Support Vector Machines,
Springer, 2008.
[2] M. Mohri, A. Rostamizadeh, and A. Talwalkar, Foundations
of Machine Learning, MIT Press, 2012.

Weitere ähnliche Inhalte

Ähnlich wie 1 IntroductionThese notes introduces a particular kind of Hi

A Komlo ́sTheorem for general Banach lattices of measurable functions
A Komlo ́sTheorem for general Banach lattices of measurable functionsA Komlo ́sTheorem for general Banach lattices of measurable functions
A Komlo ́sTheorem for general Banach lattices of measurable functions
esasancpe
 

Ähnlich wie 1 IntroductionThese notes introduces a particular kind of Hi (20)

Paper 2
Paper 2Paper 2
Paper 2
 
Analysis Solutions CIV
Analysis Solutions CIVAnalysis Solutions CIV
Analysis Solutions CIV
 
On Analytic Review of Hahn–Banach Extension Results with Some Generalizations
On Analytic Review of Hahn–Banach Extension Results with Some GeneralizationsOn Analytic Review of Hahn–Banach Extension Results with Some Generalizations
On Analytic Review of Hahn–Banach Extension Results with Some Generalizations
 
Lesson 23: Antiderivatives (slides)
Lesson 23: Antiderivatives (slides)Lesson 23: Antiderivatives (slides)
Lesson 23: Antiderivatives (slides)
 
Lesson 23: Antiderivatives (slides)
Lesson 23: Antiderivatives (slides)Lesson 23: Antiderivatives (slides)
Lesson 23: Antiderivatives (slides)
 
Some Characterizations of Riesz Valued Sequence Spaces generated by an Order ...
Some Characterizations of Riesz Valued Sequence Spaces generated by an Order ...Some Characterizations of Riesz Valued Sequence Spaces generated by an Order ...
Some Characterizations of Riesz Valued Sequence Spaces generated by an Order ...
 
On Spaces of Entire Functions Having Slow Growth Represented By Dirichlet Series
On Spaces of Entire Functions Having Slow Growth Represented By Dirichlet SeriesOn Spaces of Entire Functions Having Slow Growth Represented By Dirichlet Series
On Spaces of Entire Functions Having Slow Growth Represented By Dirichlet Series
 
Aa2
Aa2Aa2
Aa2
 
A Komlo ́sTheorem for general Banach lattices of measurable functions
A Komlo ́sTheorem for general Banach lattices of measurable functionsA Komlo ́sTheorem for general Banach lattices of measurable functions
A Komlo ́sTheorem for general Banach lattices of measurable functions
 
Tychonoff's theorem.pdf
Tychonoff's theorem.pdfTychonoff's theorem.pdf
Tychonoff's theorem.pdf
 
Limits and continuity[1]
Limits and continuity[1]Limits and continuity[1]
Limits and continuity[1]
 
Some notes on Tight Frames
Some notes on Tight FramesSome notes on Tight Frames
Some notes on Tight Frames
 
sequence of functios
sequence of functiossequence of functios
sequence of functios
 
1. I. Hassairi.pdf
1.  I. Hassairi.pdf1.  I. Hassairi.pdf
1. I. Hassairi.pdf
 
1. I. Hassairi.pdf
1.  I. Hassairi.pdf1.  I. Hassairi.pdf
1. I. Hassairi.pdf
 
3. Functions II.pdf
3. Functions II.pdf3. Functions II.pdf
3. Functions II.pdf
 
CMSC 56 | Lecture 9: Functions Representations
CMSC 56 | Lecture 9: Functions RepresentationsCMSC 56 | Lecture 9: Functions Representations
CMSC 56 | Lecture 9: Functions Representations
 
differentiate free
differentiate freedifferentiate free
differentiate free
 
18MMA21C-U2.pdf
18MMA21C-U2.pdf18MMA21C-U2.pdf
18MMA21C-U2.pdf
 
Analysis Solutions CV
Analysis Solutions CVAnalysis Solutions CV
Analysis Solutions CV
 

Mehr von AbbyWhyte974

1. Use Postman” to test API at  httpspostman-echo.coma. Use
1. Use Postman” to test API at  httpspostman-echo.coma. Use1. Use Postman” to test API at  httpspostman-echo.coma. Use
1. Use Postman” to test API at  httpspostman-echo.coma. Use
AbbyWhyte974
 
1. Use the rubric to complete the assignment and pay attention t
1. Use the rubric to complete the assignment and pay attention t1. Use the rubric to complete the assignment and pay attention t
1. Use the rubric to complete the assignment and pay attention t
AbbyWhyte974
 
1. True or false. Unlike a merchandising business, a manufacturing
1. True or false. Unlike a merchandising business, a manufacturing1. True or false. Unlike a merchandising business, a manufacturing
1. True or false. Unlike a merchandising business, a manufacturing
AbbyWhyte974
 
1. Top hedge fund manager Sally Buffit believes that a stock with
1. Top hedge fund manager Sally Buffit believes that a stock with 1. Top hedge fund manager Sally Buffit believes that a stock with
1. Top hedge fund manager Sally Buffit believes that a stock with
AbbyWhyte974
 
1. This question is on the application of the Binomial option
1. This question is on the application of the Binomial option1. This question is on the application of the Binomial option
1. This question is on the application of the Binomial option
AbbyWhyte974
 
1. Tiktaalik httpswww.palaeocast.comtiktaalikW
1. Tiktaalik        httpswww.palaeocast.comtiktaalikW1. Tiktaalik        httpswww.palaeocast.comtiktaalikW
1. Tiktaalik httpswww.palaeocast.comtiktaalikW
AbbyWhyte974
 
1. This week, we learned about the balanced scorecard and dashboar
1. This week, we learned about the balanced scorecard and dashboar1. This week, we learned about the balanced scorecard and dashboar
1. This week, we learned about the balanced scorecard and dashboar
AbbyWhyte974
 
1. The company I chose was Amazon2.3.4.1) Keep i
1. The company I chose was Amazon2.3.4.1) Keep i1. The company I chose was Amazon2.3.4.1) Keep i
1. The company I chose was Amazon2.3.4.1) Keep i
AbbyWhyte974
 
1. Think about a persuasive speech that you would like to present
1. Think about a persuasive speech that you would like to present 1. Think about a persuasive speech that you would like to present
1. Think about a persuasive speech that you would like to present
AbbyWhyte974
 
1. The two properties about a set of measurements of a dependent v
1. The two properties about a set of measurements of a dependent v1. The two properties about a set of measurements of a dependent v
1. The two properties about a set of measurements of a dependent v
AbbyWhyte974
 
1. The Danube River flows through 10 countries. Name them in the s
1. The Danube River flows through 10 countries. Name them in the s1. The Danube River flows through 10 countries. Name them in the s
1. The Danube River flows through 10 countries. Name them in the s
AbbyWhyte974
 
1. The 3 genes that you will compare at listed below. Take a look.
1. The 3 genes that you will compare at listed below. Take a look.1. The 3 genes that you will compare at listed below. Take a look.
1. The 3 genes that you will compare at listed below. Take a look.
AbbyWhyte974
 
1. Student and trainer detailsStudent details Full nameStu
1. Student and trainer detailsStudent details  Full nameStu1. Student and trainer detailsStudent details  Full nameStu
1. Student and trainer detailsStudent details Full nameStu
AbbyWhyte974
 
1. Student uses MS Excel to calculate income tax expense or refund
1. Student uses MS Excel to calculate income tax expense or refund1. Student uses MS Excel to calculate income tax expense or refund
1. Student uses MS Excel to calculate income tax expense or refund
AbbyWhyte974
 
1. Socrates - In your view, what was it about Socrates’ teachings
1. Socrates - In your view, what was it about Socrates’ teachings 1. Socrates - In your view, what was it about Socrates’ teachings
1. Socrates - In your view, what was it about Socrates’ teachings
AbbyWhyte974
 
1. Select a patient” (friend or family member) on whom to perform
1. Select a patient” (friend or family member) on whom to perform1. Select a patient” (friend or family member) on whom to perform
1. Select a patient” (friend or family member) on whom to perform
AbbyWhyte974
 
1. Respond to your classmates’ question and post. Submission to y
1. Respond to your classmates’ question and post.  Submission to y1. Respond to your classmates’ question and post.  Submission to y
1. Respond to your classmates’ question and post. Submission to y
AbbyWhyte974
 
1. Review the HCAPHS survey document, by clicking on the hyperlink
1. Review the HCAPHS survey document, by clicking on the hyperlink1. Review the HCAPHS survey document, by clicking on the hyperlink
1. Review the HCAPHS survey document, by clicking on the hyperlink
AbbyWhyte974
 
1. Reference is ch. 5 in the e-text, or ch. 2 in paper text...plea
1. Reference is ch. 5 in the e-text, or ch. 2 in paper text...plea1. Reference is ch. 5 in the e-text, or ch. 2 in paper text...plea
1. Reference is ch. 5 in the e-text, or ch. 2 in paper text...plea
AbbyWhyte974
 

Mehr von AbbyWhyte974 (20)

1. Use Postman” to test API at  httpspostman-echo.coma. Use
1. Use Postman” to test API at  httpspostman-echo.coma. Use1. Use Postman” to test API at  httpspostman-echo.coma. Use
1. Use Postman” to test API at  httpspostman-echo.coma. Use
 
1. Use the rubric to complete the assignment and pay attention t
1. Use the rubric to complete the assignment and pay attention t1. Use the rubric to complete the assignment and pay attention t
1. Use the rubric to complete the assignment and pay attention t
 
1. True or false. Unlike a merchandising business, a manufacturing
1. True or false. Unlike a merchandising business, a manufacturing1. True or false. Unlike a merchandising business, a manufacturing
1. True or false. Unlike a merchandising business, a manufacturing
 
1. Top hedge fund manager Sally Buffit believes that a stock with
1. Top hedge fund manager Sally Buffit believes that a stock with 1. Top hedge fund manager Sally Buffit believes that a stock with
1. Top hedge fund manager Sally Buffit believes that a stock with
 
1. This question is on the application of the Binomial option
1. This question is on the application of the Binomial option1. This question is on the application of the Binomial option
1. This question is on the application of the Binomial option
 
1. Tiktaalik httpswww.palaeocast.comtiktaalikW
1. Tiktaalik        httpswww.palaeocast.comtiktaalikW1. Tiktaalik        httpswww.palaeocast.comtiktaalikW
1. Tiktaalik httpswww.palaeocast.comtiktaalikW
 
1. This week, we learned about the balanced scorecard and dashboar
1. This week, we learned about the balanced scorecard and dashboar1. This week, we learned about the balanced scorecard and dashboar
1. This week, we learned about the balanced scorecard and dashboar
 
1. The company I chose was Amazon2.3.4.1) Keep i
1. The company I chose was Amazon2.3.4.1) Keep i1. The company I chose was Amazon2.3.4.1) Keep i
1. The company I chose was Amazon2.3.4.1) Keep i
 
1. Think about a persuasive speech that you would like to present
1. Think about a persuasive speech that you would like to present 1. Think about a persuasive speech that you would like to present
1. Think about a persuasive speech that you would like to present
 
1. The two properties about a set of measurements of a dependent v
1. The two properties about a set of measurements of a dependent v1. The two properties about a set of measurements of a dependent v
1. The two properties about a set of measurements of a dependent v
 
1. The Danube River flows through 10 countries. Name them in the s
1. The Danube River flows through 10 countries. Name them in the s1. The Danube River flows through 10 countries. Name them in the s
1. The Danube River flows through 10 countries. Name them in the s
 
1. The 3 genes that you will compare at listed below. Take a look.
1. The 3 genes that you will compare at listed below. Take a look.1. The 3 genes that you will compare at listed below. Take a look.
1. The 3 genes that you will compare at listed below. Take a look.
 
1. Student and trainer detailsStudent details Full nameStu
1. Student and trainer detailsStudent details  Full nameStu1. Student and trainer detailsStudent details  Full nameStu
1. Student and trainer detailsStudent details Full nameStu
 
1. Student uses MS Excel to calculate income tax expense or refund
1. Student uses MS Excel to calculate income tax expense or refund1. Student uses MS Excel to calculate income tax expense or refund
1. Student uses MS Excel to calculate income tax expense or refund
 
1. Socrates - In your view, what was it about Socrates’ teachings
1. Socrates - In your view, what was it about Socrates’ teachings 1. Socrates - In your view, what was it about Socrates’ teachings
1. Socrates - In your view, what was it about Socrates’ teachings
 
1. Select a patient” (friend or family member) on whom to perform
1. Select a patient” (friend or family member) on whom to perform1. Select a patient” (friend or family member) on whom to perform
1. Select a patient” (friend or family member) on whom to perform
 
1. Respond to your classmates’ question and post. Submission to y
1. Respond to your classmates’ question and post.  Submission to y1. Respond to your classmates’ question and post.  Submission to y
1. Respond to your classmates’ question and post. Submission to y
 
1. Review the HCAPHS survey document, by clicking on the hyperlink
1. Review the HCAPHS survey document, by clicking on the hyperlink1. Review the HCAPHS survey document, by clicking on the hyperlink
1. Review the HCAPHS survey document, by clicking on the hyperlink
 
1. Saint Leo Portal loginUser ID[email protected]
1. Saint Leo Portal loginUser ID[email protected]          1. Saint Leo Portal loginUser ID[email protected]
1. Saint Leo Portal loginUser ID[email protected]
 
1. Reference is ch. 5 in the e-text, or ch. 2 in paper text...plea
1. Reference is ch. 5 in the e-text, or ch. 2 in paper text...plea1. Reference is ch. 5 in the e-text, or ch. 2 in paper text...plea
1. Reference is ch. 5 in the e-text, or ch. 2 in paper text...plea
 

Kürzlich hochgeladen

1029-Danh muc Sach Giao Khoa khoi 6.pdf
1029-Danh muc Sach Giao Khoa khoi  6.pdf1029-Danh muc Sach Giao Khoa khoi  6.pdf
1029-Danh muc Sach Giao Khoa khoi 6.pdf
QucHHunhnh
 
The basics of sentences session 2pptx copy.pptx
The basics of sentences session 2pptx copy.pptxThe basics of sentences session 2pptx copy.pptx
The basics of sentences session 2pptx copy.pptx
heathfieldcps1
 
Kisan Call Centre - To harness potential of ICT in Agriculture by answer farm...
Kisan Call Centre - To harness potential of ICT in Agriculture by answer farm...Kisan Call Centre - To harness potential of ICT in Agriculture by answer farm...
Kisan Call Centre - To harness potential of ICT in Agriculture by answer farm...
Krashi Coaching
 
Beyond the EU: DORA and NIS 2 Directive's Global Impact
Beyond the EU: DORA and NIS 2 Directive's Global ImpactBeyond the EU: DORA and NIS 2 Directive's Global Impact
Beyond the EU: DORA and NIS 2 Directive's Global Impact
PECB
 
BASLIQ CURRENT LOOKBOOK LOOKBOOK(1) (1).pdf
BASLIQ CURRENT LOOKBOOK  LOOKBOOK(1) (1).pdfBASLIQ CURRENT LOOKBOOK  LOOKBOOK(1) (1).pdf
BASLIQ CURRENT LOOKBOOK LOOKBOOK(1) (1).pdf
SoniaTolstoy
 

Kürzlich hochgeladen (20)

Measures of Dispersion and Variability: Range, QD, AD and SD
Measures of Dispersion and Variability: Range, QD, AD and SDMeasures of Dispersion and Variability: Range, QD, AD and SD
Measures of Dispersion and Variability: Range, QD, AD and SD
 
Explore beautiful and ugly buildings. Mathematics helps us create beautiful d...
Explore beautiful and ugly buildings. Mathematics helps us create beautiful d...Explore beautiful and ugly buildings. Mathematics helps us create beautiful d...
Explore beautiful and ugly buildings. Mathematics helps us create beautiful d...
 
Código Creativo y Arte de Software | Unidad 1
Código Creativo y Arte de Software | Unidad 1Código Creativo y Arte de Software | Unidad 1
Código Creativo y Arte de Software | Unidad 1
 
Holdier Curriculum Vitae (April 2024).pdf
Holdier Curriculum Vitae (April 2024).pdfHoldier Curriculum Vitae (April 2024).pdf
Holdier Curriculum Vitae (April 2024).pdf
 
1029-Danh muc Sach Giao Khoa khoi 6.pdf
1029-Danh muc Sach Giao Khoa khoi  6.pdf1029-Danh muc Sach Giao Khoa khoi  6.pdf
1029-Danh muc Sach Giao Khoa khoi 6.pdf
 
Sports & Fitness Value Added Course FY..
Sports & Fitness Value Added Course FY..Sports & Fitness Value Added Course FY..
Sports & Fitness Value Added Course FY..
 
Q4-W6-Restating Informational Text Grade 3
Q4-W6-Restating Informational Text Grade 3Q4-W6-Restating Informational Text Grade 3
Q4-W6-Restating Informational Text Grade 3
 
microwave assisted reaction. General introduction
microwave assisted reaction. General introductionmicrowave assisted reaction. General introduction
microwave assisted reaction. General introduction
 
Mattingly "AI & Prompt Design: Structured Data, Assistants, & RAG"
Mattingly "AI & Prompt Design: Structured Data, Assistants, & RAG"Mattingly "AI & Prompt Design: Structured Data, Assistants, & RAG"
Mattingly "AI & Prompt Design: Structured Data, Assistants, & RAG"
 
The Most Excellent Way | 1 Corinthians 13
The Most Excellent Way | 1 Corinthians 13The Most Excellent Way | 1 Corinthians 13
The Most Excellent Way | 1 Corinthians 13
 
Presentation by Andreas Schleicher Tackling the School Absenteeism Crisis 30 ...
Presentation by Andreas Schleicher Tackling the School Absenteeism Crisis 30 ...Presentation by Andreas Schleicher Tackling the School Absenteeism Crisis 30 ...
Presentation by Andreas Schleicher Tackling the School Absenteeism Crisis 30 ...
 
The basics of sentences session 2pptx copy.pptx
The basics of sentences session 2pptx copy.pptxThe basics of sentences session 2pptx copy.pptx
The basics of sentences session 2pptx copy.pptx
 
Sanyam Choudhary Chemistry practical.pdf
Sanyam Choudhary Chemistry practical.pdfSanyam Choudhary Chemistry practical.pdf
Sanyam Choudhary Chemistry practical.pdf
 
Interactive Powerpoint_How to Master effective communication
Interactive Powerpoint_How to Master effective communicationInteractive Powerpoint_How to Master effective communication
Interactive Powerpoint_How to Master effective communication
 
Kisan Call Centre - To harness potential of ICT in Agriculture by answer farm...
Kisan Call Centre - To harness potential of ICT in Agriculture by answer farm...Kisan Call Centre - To harness potential of ICT in Agriculture by answer farm...
Kisan Call Centre - To harness potential of ICT in Agriculture by answer farm...
 
Beyond the EU: DORA and NIS 2 Directive's Global Impact
Beyond the EU: DORA and NIS 2 Directive's Global ImpactBeyond the EU: DORA and NIS 2 Directive's Global Impact
Beyond the EU: DORA and NIS 2 Directive's Global Impact
 
Arihant handbook biology for class 11 .pdf
Arihant handbook biology for class 11 .pdfArihant handbook biology for class 11 .pdf
Arihant handbook biology for class 11 .pdf
 
BASLIQ CURRENT LOOKBOOK LOOKBOOK(1) (1).pdf
BASLIQ CURRENT LOOKBOOK  LOOKBOOK(1) (1).pdfBASLIQ CURRENT LOOKBOOK  LOOKBOOK(1) (1).pdf
BASLIQ CURRENT LOOKBOOK LOOKBOOK(1) (1).pdf
 
fourth grading exam for kindergarten in writing
fourth grading exam for kindergarten in writingfourth grading exam for kindergarten in writing
fourth grading exam for kindergarten in writing
 
Paris 2024 Olympic Geographies - an activity
Paris 2024 Olympic Geographies - an activityParis 2024 Olympic Geographies - an activity
Paris 2024 Olympic Geographies - an activity
 

1 IntroductionThese notes introduces a particular kind of Hi

  • 1. 1 Introduction These notes introduces a particular kind of Hilbert space known as a reproducing kernel Hilbert space (RKHS). We will establish connections with kernels, defined previously, and show that kernels and RKHSs are in one-to- one correspondence. This material is largely drawn from Chapter 4 of [1], although some results are presented in a slightly different way to ease digestion. 2 Reproducing Kernel Hilbert Spaces Throughout these notes, we use the term “Hilbert function space over X ” to refer to a Hilbert space whose elements are functions f : X 7→ R. Definition 1. (Reproducing Kernel) Let F be a Hilbert function space over X . A reproducing kernel of F is a function k : X × X 7→ R which satisfies the following two properties: 1. k (·,x) ∈ F for any x ∈ X. 2. (Reproducing property) For any f ∈ F and any x ∈ X, f (x) = 〈f,k (·,x)〉F. Theorem 1. Let F be a Hilbert function space over X. The following are equivalent: 1. F has a reproducing kernel. 2. For any x ∈ X, the function δx : F 7→ R defined by δx (f) = f (x) is continuous.
  • 2. Definition 2. Let F be a Hilbert function space over X. We say F is a reproducing kernel Hilbert space over X if it satisfies the conditions of the previous theorem. Proof. ( (1) ⇒ (2) ) . Suppose that F has a reproducing kernel, k : X ×X 7→ R. We need to show that if (fn) ∞ n=1 converges to f ∈ F, i.e., ‖fn −f‖F → 0, then for every x ∈ X , |δx (fn) −δx (f)| = |fn (x) −f (x)|→ 0. Now δx (f) = f (x) = 〈f,k (·,x)〉F = 〈lim n→∞ fn,k (·,x)〉F (a) = lim n→∞ 〈fn,k (·,x)〉F = lim n→∞ fn (x) = lim n→∞ δx (fn) Note that the identity “(a)” is implied by the continuity of inner product operator of its first argument. Before proving the reverse implication, we state a classical result from functional analysis named the Riesz representation theorem.
  • 3. Theorem 2 (Riesz representation theorem). Let F be a Hilbert space and L : F 7→ R be a linear functional on F. Then L is continuous if and only if there exists Φ ∈ F such that L (f) = 〈f, Φ〉F for any f ∈ F. 1 2 ( (2) ⇒ (1) ) . Let x ∈ X . It’s trivial to see that δx is a linear functional, so due to the assumed continuity of δx, Theorem 2 ensures the existence of a Φx ∈ F such that δx (f) = f (x) = 〈f, Φx〉F. Now define k (x2,x1) := Φx1 (x2) ∈ R. Note that k (·,x) = Φx ∈ F (establishing the first property of reproducing kernels). Also, f (x) = 〈f, Φx〉F = 〈f,k (·,x)〉F which shows that the reproducing property holds. The next result establishes that kernels and reproducing kernels are the same. Theorem 3. Let k : X ×X 7→ R. Then k is a kernel if and only if k is a reproducing kernel of some RKHS F over X. Proof. (⇐) . We first prove the reverse implication. Let k be the reproducing kernel of F and define Φ : X 7→F by Φ (x) = k (·,x). Now for any x′ ∈ X , consider the function fx′ = k (·,x′). Using the reproducing property and symmetry of the inner product, we obtain k (x,x′) = fx′ (x) = 〈fx′,k (·,x)〉F = 〈k (·,x′) ,k (·,x)〉F
  • 4. = 〈Φ (x′) , Φ (x)〉F = 〈Φ (x) , Φ (x′)〉F. Hence, k is a kernel. (⇒) . The following lemma is needed. Lemma 1. If k is a kernel, then it has a feature space F̃ and a feature map Φ̃ : X 7→ F̃ such that the map V : F̃ 7→ (X 7→ R) (the range of V is the set of functions from X to R) given by V (ω) = 〈ω, Φ̃ (·)〈F̃ (1) is injective. Proof of Lemma 1. Let F0, Φ0 be a feature space and feature map associated to k, respectively, i.e., k (x,x′) = 〈Φ0 (x) , Φ0 (x′)〉F0 . Now define F = {f = 〈ω, Φ0 (·)〉F0 | ω ∈ F0} Since Φ0 is not known to be onto, it’s possible to have multiple ω’s mapping to f. Consider the nullspace of V, null (V) = {ω : Vω = 〈ω, Φ0 (·)〉F0 = 0}, where the 0 refers to the zero function. One can easily show using the continuity of an inner product in its first argument that null (V) is closed. The projection theorem then implies that F0 = null (V) 〈F̃ (⊕ denotes the direct sum) where F̃ = (null (V))⊥ = {v ∈ F0 : 〈ω,v〉F0 = 0 ∀ ω ∈ null (V)} F̃ is closed by a routine argument, and therefore F̃ is a Hilbert space by inheriting the inner product of F̃. For any ω ∈ null (V) and any x ∈ X , the construction of V leads to V (ω) = 〈ω, Φ0 (x)〉F0 = 0. Thus, Φ0 (x) ∈ (null (V))
  • 5. ⊥ = F̃. Hence, Φ̃ = Φ0 is a valid feature map on X → F̃. Finally, the restriction V |F̃: F̃ 7→F is such that ker (V |F̃) = {0}, and therefore is injective. Let (Φ̃,F̃) be as in Lemma 1. Define F = { f = 〈ω, Φ̃ (·)〈F̃ | ω 〈 F̃ } F is clearly a space of functions. The linear map V : F̃ 7→ F defined by identity (1) (linearity of V is an immediate consequence of linearity an of inner product in its first argument) is bijective (injective and onto) by the constructive definition of F and therefore V is invertible. Now, define an inner product on F by 〈f,f′〈F = 〈V−1f,V−1f′〈F̃. 3 Since V is a bijective linear map, so is its inverse, and so it’s straightforward to check that 〈·, ·〉F defines a valid inner product. Therefore V is also an isometry (distance preserving map). We also need to show that F is complete. Thus, let {fn}n∈ N be a Cauchy sequence in F. Since V is an isometry, we have that ‖fn −fm‖F =
  • 6. 〈〈V−1fn −V−1fm〈〈F̃ for any m,n ∈ N. Hence, (V−1fn)n∈ N is a Cauchy sequence in the complete space F̃ which means that it converges to a limit f ̃ 〈 F̃. Since V is an isometry it is continuous, and therefore fn = V(V−1fn) converges to Vf ̃ ∈ F. This shows that F is complete. Next, we show that k is a reproducing kernel of F. If x ∈ X , then k (·,x) = 〈Φ̃ (x) , Φ̃ (·)〈F̃ = VΦ̃ (x) ∈ F This proves the first property of a reproducing kernel. Lastly, for any f ∈ F and any x ∈ X , observe f (x) = 〈V−1 (f) , Φ̃ (x)〈F̃ = 〈f,VΦ̃ (x)〉F = 〈f,k (·,x)〉F which established the reproducing property. 3 Kernels and RKHSs are in one-to-one correspondence The next two results establish that kernels and RKHSs are in one-to-one correspondence. Theorem 4. If F is a RKHS, then it has a unique reproducing kernel. The proof is left as an exercise below. Theorem 5. Let k be a kernel on X, and let F0 and Φ0 : X 7→F0 be an associated feature space and feature map, respectively, such that the mapping V : F0 7→ F = {f = 〈ω, Φ0 (·)〉F0 | ω ∈ F0} is injective, whose existence is guarenteed by Lemma 1. Then, 1. F is the unique RKHS with k as its reproducing kernel.
  • 7. 2. The set Fpre = { n∑ i=1 αik (·,xi) | n ∈ N, αi ∈ R,xi ∈ X } is dense in F. 3. For f,f′ ∈ Fpre with f = n∑ i=1 αik (·,xi) and f′ = n′∑ i=1 α′ik (·,x ′ i), 〈f,f′〉F = n∑ i=1 n′∑ j=1 αiα ′ jk
  • 8. ( xi,x ′ j ) . Proof. We already have seen in the proof of Theorem 3 that F is an RKHS. The proof of uniqueness is presented after proving the other two parts of the theorem. Proof of part 2. Let F̃ be any RKHS with k as its reproducing kernel. Since k (·,x) 〈 F̃ for any x ∈ X , we see that Fpre 〈 F̃. Now, suppose towards a contradiction that Fpre is not dense in F̃. Then the orthogonal complement of the closure of Fpre has a non-trivial element, i.e. ( Fpre )⊥ 6= {0}. Thus, there exists f ∈ ( Fpre )⊥ and x ∈ X such that f (x) 6= 0. But k (·,x) ∈ Fpre, and so 0 = 〈f,k (·,x)〉F = f (x) 6= 0, a contradiction.
  • 9. 4 Proof of part 3. Let again F̃ be any RKHS with k as its reproducing kernel. Using the reproducing property and bi-linearity of inner product, we get 〈f,f′〈F̃ = n∑ i=1 n′∑ j=1 αiα ′ j〈k (·,xi) ,k ( ·,x′j ) 〈F̃ = n∑ i=1 n′∑ j=1 αiα ′ jk
  • 10. ( xi,x ′ j ) . Proof of part 1. Assume that F1 and F2 are two RKHSs with the same reproducing kernel k. Choose an arbitrary f ∈ F1. We will show f ∈ F2, establishing F1 ⊆F2. The reverse inclusion is established similarly. From part 2, there is a sequence (fn)n∈ N,fn ∈ Fpre, such that ‖f −fn‖F1 → 0. By part 3, ‖·‖F1 and ‖·‖F2 coincide on Fpre, and so (fn)n∈ N is Cauchy in F2. Therefore, (fn)n∈ N converges to some g ∈ F2. Moreover, for any x ∈ X , we have g(x) = lim n→∞ fn(x) (point evaluation at x is continuous on F2) = f(x), (point evaluation at x is continuous on F1) so f = g. This shows that F1 ⊆F2, and the reverse inclusion holds similarly, so F1 = F2 as sets. It remains to show that the inner products agree. Thus, let f,f′ be arbitrary functions in F1 = F2, expressed as limits of functions in Fpre as f = lim n→∞ fn and f
  • 11. ′ = lim n→∞ f′n. Appealing to continuity of an inner product in one argument while the other is held fixed, 〈f,f′〉F1 = lim n→∞ 〈fn,f′〉F1 = lim n→∞ lim m→∞ 〈fn,f′m〉F1 = lim n→∞ lim m→∞ 〈fn,f′m〉Fpre = lim n→∞ lim m→∞ 〈fn,f′m〉F2 = lim n→∞ 〈fn,f′〉F2 = 〈f,f ′〉F2.
  • 12. So the two RKHSs are the same, and thus F is the unique RKHS with k as its reproducing kernel. By the above properties, for any kernel k with associated RKHS F, the feature map Φ : X →F defined by Φ(x) = k(·,x) is a valid feature map, and is called the canonical feature map. For additional background on reproducing kernel Hilbert spaces, see [1]. Exercises 1. Show that convergence of functions in an RKHS implies pointwise convergence. That is, if ‖fn−f‖F → 0 then for all x, |fn(x) − f(x)| → 0. 2. Is the Hilbert space L2(R) a RKHS? If so, what is its reproducing kernel? Hint: This problem is super easy if you understand the definitions of RKHSs and L2(R). 3. Show that if F is a RKHS, then it has a unique reproducing kernel. 4. Elements of an RKHS inherit properties of the associated kernel. Let k be a kernel on a metric space X and F its RKHS. We say k is bounded if supx∈ X k(x, x) < ∞. Show that (a) if k is bounded, then every f ∈ F is a bounded function. (b) if k is bounded, then convergence in F implies convergence in the supremum norm. (c) if k is bounded and for all x, k(·, x) is a continuous function, then every f ∈ F is bounded and continuous. Hint: Use the denseness of Fpre in F and part (b).
  • 13. 5 References [1] I. Steinwart and A. Christman, Support Vector Machines, Springer, 2008. [2] M. Mohri, A. Rostamizadeh, and A. Talwalkar, Foundations of Machine Learning, MIT Press, 2012.