Section 11.1 and 11.2. Homework #4 Masaya SatoSection 11.14.
Prove that the space of realvalued functions on the closed interval [
a,b
] is an inﬁnitedimensional vector space over
R
, where
a < b
.
Proof.
First observe that the space
F
([
a,b
]
,
R
) of realvalued function on [
a,b
] is an abeliangroup under the pointwise addition,
i.e.
(
f
+
g
)(
x
) =
f
(
x
) +
g
(
x
)
∀
f,g
∈ F
([
a,b
]
,
R
)
∀
x
∈
[
a,b
].Then for all
f,g
∈ F
([
a,b
]
,
R
) and
r,s
∈
R
1. (
rs
)
f
=
r
(
sf
)2. 1
f
=
f
3. (
r
+
s
)
f
=
rf
+
sf
4.
r
(
f
+
g
) =
rf
+
rg
,where the ring action is given by the pointwise multiplication
rf
(
x
) for all
f
∈ F
([
a,b
]
,
R
)and all
r
∈
R
. Thus
F
([
a,b
]
,
R
) is a vector space over
R
.Now we want to claim that
F
([
a,b
]
,
R
) is inﬁnite dimensional. So suppose by contradictionthat
F
([
a,b
]
,
R
) is ﬁnite dimensional with a basis
{
f
i
,...,f
n

f
i
∈ F
([
a,b
]
,
R
)
∀
i
= 1
,...,n
}
.Since each
f
i
is chosen to be a basis element,
f
i
is not a zero function. So each compactsupport
C
i
of
f
i
is not empty. Therefore for every
f
∈ F
([
a,b
]
,
R
) there are
a
1
,...a
n
∈
R
such that
f
=
a
1
f
1
+
···
+
a
n
f
n
,and the compact support of
f
is given by
C
i
1
∪ ··· ∪
C
i
k
, where 1
≤
i
1
≤ ··· ≤
i
k
≤
n
.However
F
([
a,b
]
,
R
) contains a realvalued function
g
whose compact support is distinctfrom any of
C
i
1
∪···∪
C
i
k
. This contradicts that the space
F
([
a,b
]
,
R
) is ﬁnite dimensional.Hence
F
([
a,b
]
,
R
) is inﬁnite dimensional.
5.
Prove that the space of continuous realvalued functions on the closed interval [
a,b
] is aninﬁnite dimensional vector space over
R
, where
a < b
.
Proof.
The same argument above applies to this problem, and the space
C
([
a,b
]
,
R
) of continuous realvalued functions is a vector space over
R
. Now consider the space
R
[
x
] of polynomials of one variable
x
deﬁned over the closed interval [
a,b
]. [
x
] is a subspace of
C
([
a,b
]
,
R
), and a basis is given by
{
1
,x,x
2
,...
}
.Thus
R
[
x
] is inﬁnite dimensional and hence
C
([
a,b
]
,
R
) is inﬁnite dimensional as well.
6.
Let
V
be a vector space of ﬁnite dimension. If
ϕ
is any linear transformation from
V
to
V
prove there is an integer
m
such that the intersection of the image of
ϕ
m
and the kernelof
ϕ
m
is
{
0
}
.
Abstract Algebra
by Dummit and Foote 1