- #1

- 6

- 0

## Homework Statement

Let [tex]V[/tex] denote the linear space of all real functions continuous on the interval [tex] [-\pi,\pi][/tex]. Let [tex]S[/tex] be that subset of [tex]V[/tex] consisting of all [tex]f[/tex] satisfying the three equations [tex]\[\int_{-\pi}^{\pi} f(t) dt = 0, ~~~\int_{-\pi}^{\pi} f(t) cos(t) dt = 0, ~~~ \int_{-\pi}^{\pi} f(t)sin(t) dt = 0\] [/tex]

(c) Prove that [tex]S[/tex] is infinite-dimensional.

## Homework Equations

From parts (a) and (b) of the question we know that [tex]S[/tex] is a subspace of [tex]V[/tex] and that [tex]S[/tex] contains the functions [tex]f(x) = cos (nx), ~~ f(x) = sin(nx)[/tex] for [tex]n=2,3,...[/tex]. Also I'm not sure whether it's relevant, but the sections before this group of exercises covered null spaces, rank, and linear transformations. So if it is relevant I would imagine that dim N + dim T = dim V would be useful where N is the null space, T is the range, V is the domain (which is a linear space), and dim is dimension.

## The Attempt at a Solution

My idea is that you would try a proof by contradiction where you would assume that [tex]S[/tex] is finite-dimensional. From there I had a few random ideas, such as trying to show that the null space is infinite-dimensional and then use the formula above to show that [tex]S[/tex] would somehow be infinite-dimensional. Also I was thinking of assuming that there are [tex]n[/tex] independent elements and somehow showing that they are not actually independent using part b or by applying the fact that they are in [tex]S[/tex], though I'm not really sure how that would work.

Really I'm not looking for an answer, so much as helpful hints. I'm actually working through this book on my own so I don't really have a teacher to ask questions to. Also, I hope that I provided enough relevant data. Thank you for your time.