# Thread: A complete Metric Space

1. ## A complete Metric Space

Dear Colleagues,

Show that the subspace $Y\subseteq[a,b]$ consisting of all $x\in C[a,b]$ such that $x(a)=x(b)$ is complete.

Best Regards.

2. Originally Posted by raed
Dear Colleagues,

Show that the subspace $Y\subseteq[a,b]$ consisting of all $x\in C[a,b]$ such that $x(a)=x(b)$ is complete.

Best Regards.
Where are you having difficulties with this? You need to take a sequence $(x_n)$ in $Y$ which converges in $X$. If $x_n\to x$ then you have to show that $x\in Y$.

3. Okay I understand that but how can I prove that x(a)=x(b) ?

4. Originally Posted by raed
Okay I understand that but how can I prove that x(a)=x(b) ?
Well you know that $x_n\in Y$, and so $x_n(a) = x_n(b)$, for each n. Doesn't that help?

5. Originally Posted by raed
Dear Colleagues,

Show that the subspace $Y\subseteq[a,b]$ consisting of all $x\in C[a,b]$ such that $x(a)=x(b)$ is complete.
Perhaps simpler than pure definition (though not much) is to notice that the linear functional $\varphi:C[a,b]\to F:f\mapsto f(a)-f(b)$ is continuous and thus $\ker\varphi$ (our set) is a closed subspace of the complete space $C[a,b]$ and thus complete (this is easier assuming that you know (which I've stated to you before and which is a very simple fact) that the evaluation functionals $\varphi_z:C[a,b]\to F:f\mapsto f(z)$ is continuous and $\varphi=\varphi_a-\varphi_b$ thus continuous).