Economics 712 Steven N. Durlauf Fall 2010
Economics 712 Steven N. Durlauf Fall 2010
Steven N. Durlauf
Fall 2010
1. Basic definitions
All of the spaces we work with will represent refinements of the concept of
a linear space. Following Simmons (1963 p. 80)
Let Γ denote a non-empty set. For each pair of elements γ i and γ j contained in
that for the combination of the set Γ and the addition operation, the following
hold:
i. γ i + γ j = γ j + γ i
ii. γ i + (γ j + γ k ) = (γ i + γ j ) + γ k
1
iii. Γ contains a unique element, 0, such that γ + 0 =
γ ∀γ ∈ Γ
Further, for any scalar element c of the set of complex numbers C, assume that
c may be combined with any γ ∈ Γ to produce an element of Γ cγ . This is the
multiplication operation. Suppose that for the combination of the set and the
multiplication operation, the following hold:
v. c (γ i + γ j ) = cγ i + cγ j
vi. (c + d )γ =cγ + d γ
vii. ( cd ) γ = c ( d γ )
viii. 1γ = γ
Then, the set Γ , addition operator and multiplication operator together define a
linear space.
Two comments. First, one can replace the set of complex numbers with
the set of real numbers R and define a linear space analogously. We will use
real and complex weights in different contexts. Second, notice that the addition
and multiplication operators are defined to according to how they operate on
elements of Γ . Thus the definition of a linear space is quite general, we will work
with linear spaces of number, functions, etc.
In essence, the definition of a linear space requires that the space is
closed with respect to addition of any pair of elements of the space and that
multiplying any element by a scalar produces another element of the space. This
definition does not require the space to be complete. A space is complete when
the limit of every sequence of elements in the space is also a element of the
2
space. One reason why it is useful to work with a complete space concerns
optimization. In order to rigorously discuss whether the space is complete, it is
necessary to equip the linear space with a norm. A norm is a function that
defines distances between elements of a space. This definition is required to
fulfill certain properties.
that
i. γ ≥ 0; γ = 0 → γ = 0
ii. cγ = c γ ∀ c ∈C
iii. γ i + γ j ≤ γ i + γ j
When a space is endowed with a norm, one can discuss the convergence
properties of various sequences of elements in the space. An important type of
sequence is a Cauchy sequence.
3
Definition 1.1.4. Cauchy sequence
The sequence γ i is a Cauchy sequence if, for any ε > 0 , there exists an I (which
may depend on ε ) such that for all i , j > I γ i − γ j < ε .
The element γ is the limit to Cauchy sequence γ i if, for any ε > 0 , there exists
an I (which may depend on ε ) such that for all i > I , γ i − γ < ε
A linear space Γ is complete if the limit to every Cauchy sequence in the space
is an element of the space.
4
γ i − γ j . It is important to also be able to characterize the relationship between
pairs of elements relative to one another. The key notion for this is the inner
product of two elements of a space. For the complex number c , c denotes its
complex conjugate.
ii. 〈γ i , γ j 〉 =
〈γ j , γ i 〉
iii. 〈γ i , γ i 〉 ≥ 0
iv. 〈γ i , γ i 〉 = 0 → γ i = 0
Our final definition describes Banach spaces where the inner product
defines the norm.
Hilbert spaces provide the foundation for the theory of time series.
5
Definition 1.2.1 Orthogonality
i. Projections
〈γ i , γ j 〉
γ − γj (1.1)
i
〈γ j , γ j 〉
This element is also a member of the Hilbert space since the space is linear.
Further, this element is orthogonal to γ j since
〈γ i , γ j 〉
〈γ i − γ j , γ j 〉 = 〈γ i , γ j 〉 − 〈γ i , γ j 〉 = 0 (1.2)
〈γ j , γ j 〉
Suppose that Γ and Γ1 are Hilbert spaces such that Γ1 ⊆ Γ . Then there exists a
6
i. Γ = Γ1 ⊕ Γ 2
ii. Γ1 ⊥ Γ 2
The operator “ ⊕ ” is called the direct sum. The direct sum of two spaces
produces a third space whose elements consist of all linear combinations of
elements of the original spaces and the limits of all such combinations. The
following corollary is nothing more than the restriction of Theorem 1.2.1 to
consideration of a single element of Γ .
Suppose that Γ and Γ1 are Hilbert spaces such that Γ1 ⊆ Γ . For a given element
i. γ= γ 1 + γ 2
ii. γ 1 ⊥ γ 2
minξ ∈Γ1 γ − ξ
2
(1.3)
7
In other words, one wants to find that element of the subspace Γ1 that is closest
γ −ξ = γ1 + γ 2 − ξ
2 2
=
γ1 − ξ + γ2 + γ 1 − ξ ,γ 2 + γ 2 ,γ 1 − ξ =
2 2
(1.4)
γ1 − ξ + γ2
2 2
where the last equality follows from the orthogonality of Γ1 and Γ 2 . Since ξ
8
If a set of vectors span a space, this means that if one takes all linear
combinations and limits of the linear combination of elements of the set, one
reproduces the space. Orthonormal bases have the important property that they
span the space. A set of elements of a space span it if, starting with the set,
linear combinations of the elements and their associated limits together
constitute the space.
9
I
γ = ∑ ai si (1.5)
i =1
or can be arbitrarily well approximated this way. (The difference is that since the
space is complete, it contains limits of all such sums as well as the sums
themselves.) The coefficients are implicitly determined by the projection of γ
onto each of the 1-dimensional subspaces spanned by the ε i ’s. 2 Using the
Fourier coefficients.
3. Applications
with associated norm ( ∑ xi xi )1/2 . To see how the Hilbert space decomposition
i
1
A space is separable if it contains a countable dense subset. The spaces we
study will always be separable.
2
Each si spans a distinct 1-dimensional subspace by the fact that the si ’s form
an orthonormal basis.
10
Similarly, a number of simple properties of Hilbert spaces are
generalizations of results that one finds in a range of mathematical contexts.
Suppose that some element of a Hilbert space, call it x , is the sum of two
orthogonal elements y and z . In this case, the square of the norm of x obeys
〈 x, x 〉 = 〈 y + z, y + z〉 = 〈 y , y 〉 + 〈 z, z〉 (1.6)
2
〈 x + ay , x + ay 〉 = 〈 x, x 〉 + a〈 y , x 〉 + a 〈 x, y 〉 + a 〈 y , y 〉 ≥ 0 (1.7)
〈 x, y 〉
Suppose that a = − . Substituting into the above,
〈 y, y 〉
2
〈 x, y 〉 〈y, x〉 〈 x, y 〉
〈 x + ay , x + ay 〉 = 〈 x, x 〉 − 〈y, x〉 − 〈 x, y 〉 + 〈 y, y 〉 =
〈y, y 〉 〈y, y 〉 〈y, y 〉
2
(1.8)
〈 x, y 〉
〈 x, x 〉 − ≥ 0.
〈y, y 〉
11
2
〈 x, x 〉〈 y , y 〉 ≥ 〈 x, y 〉 (1.9)
with equality iff x = ay (The if and only if claim is something you should verify.)
This is the Cauchy-Schwarz inequality for an arbitrary Hilbert space.
12
References
Ash, R., (1976), Real Analysis and Probability, New York: Academic Press.
Royden, H., (1988), Real Analysis, Third Edition, New York: MacMillan.
Simmons, G., (1963), Introduction to Topology and Modern Analysis, New York:
Academic Press.
13