## closed set, normed spaces

1. The problem statement, all variables and given/known data
Let $$X=(C([0,1]), || . ||_1 )$$, where $$||f||_1=\int_{0}^{1}|f(t)|dt$$.
Let $$M=\{f \in C([0,1]) : \int_{0}^{1}f(t)dt=2, f(1)=0\}$$.
Is M closed in X?

3. The attempt at a solution

I've tried the following:
Let $$f_n$$ be a sequence in M such that $$f_n \rightarrow f$$.
I'm checking whether $$f \in M$$, because that would prove that M is closed (if a set contains all the limits of its convergent sequences, it is closed).
There are obviously two conditions to check.
The first one:
$$\int_{0}^{1}f(t)dt=\int_{0}^{1}limf_n(t)dt=lim\int_{0}^{1}f_n(t)dt=lim 2=2$$.
Now I have to check the second one, that is, is $$f(1)=0$$, and I don't know how.

Any help is much appreciated.
 Recognitions: Gold Member Science Advisor Staff Emeritus If $f_n(1)= 0$ and $f_n\rightarrow f$, then.... (What kind of convergence are you talking about? Pointwise? Uniform? In the norm?) And is your justification for saying $$\int_0^1 limf_n(t)dt= lim\int_0^1 f_n(t)dt$$?

 Quote by HallsofIvy If $f_n(1)= 0$ and $f_n\rightarrow f$, then.... (What kind of convergence are you talking about? Pointwise? Uniform? In the norm?)
In the norm.

 And is your justification for saying $$\int_0^1 limf_n(t)dt= lim\int_0^1 f_n(t)dt$$?
My justification would be that f_n are continuous functions, so integral and limit commute.

 Tags closed sets, norm, normed spaces