Complete subspace
-
- Community Team
- Posts: 426
- Joined: Mon Nov 09, 2015 1:52 pm
Complete subspace
Consider the \(\displaystyle{\mathbb{R}}\) - space \(\displaystyle{\left(C(\left[0,1\right]),+,\cdot\right)}\) equipped
with the norm \(\displaystyle{||\cdot||_{\infty}:C(\left[0,1\right])\longrightarrow \mathbb{R}\,,f\mapsto ||f||_{\infty}=\max\,\left\{\left|f(x)\right|: 0\leq x\leq 1\right\}}\) .
Prove that the \(\displaystyle{\mathbb{R}}\) -subspace \(\displaystyle{Y=\left\{f\in C(\left[0,1\right]): f(0)=0\right\}}\) of
\(\displaystyle{\left(C(\left[0,1\right]),||\cdot||_{\infty}\right)}\) is complete.
with the norm \(\displaystyle{||\cdot||_{\infty}:C(\left[0,1\right])\longrightarrow \mathbb{R}\,,f\mapsto ||f||_{\infty}=\max\,\left\{\left|f(x)\right|: 0\leq x\leq 1\right\}}\) .
Prove that the \(\displaystyle{\mathbb{R}}\) -subspace \(\displaystyle{Y=\left\{f\in C(\left[0,1\right]): f(0)=0\right\}}\) of
\(\displaystyle{\left(C(\left[0,1\right]),||\cdot||_{\infty}\right)}\) is complete.
- Tolaso J Kos
- Administrator
- Posts: 867
- Joined: Sat Nov 07, 2015 6:12 pm
- Location: Larisa
- Contact:
Re: Complete subspace
It is sufficient to prove that the subspace \( Y \) is closed. Let \( f \in \bar{Y} \). Then there exists a sequence , say \( f_n , \;\; n \in \mathbb{N} \) that \( f_n \xrightarrow{||\cdot||_{\infty}} f \). That is:Papapetros Vaggelis wrote:Consider the \(\displaystyle{\mathbb{R}}\) - space \(\displaystyle{\left(C(\left[0,1\right]),+,\cdot\right)}\) equipped
with the norm \(\displaystyle{||\cdot||_{\infty}:C(\left[0,1\right])\longrightarrow \mathbb{R}\,,f\mapsto ||f||_{\infty}=\max\,\left\{\left|f(x)\right|: 0\leq x\leq 1\right\}}\) .
Prove that the \(\displaystyle{\mathbb{R}}\) -subspace \(\displaystyle{Y=\left\{f\in C(\left[0,1\right]): f(0)=0\right\}}\) of
\(\displaystyle{\left(C(\left[0,1\right]),||\cdot||_{\infty}\right)}\) is complete.
$$(\forall \epsilon>0 ) (\exists n_0 \in \mathbb{N}) (n\geq n_0) \Rightarrow ||f_n-f||_{\infty}<\epsilon$$
Hence:
$$(\forall \epsilon>0 ) (\exists n_0 \in \mathbb{N}) (n\geq n_0) (\forall x \in [0, 1]): |f_n(x)-f(x)|\leq ||f_n-f||_{\infty} < \epsilon$$
Therefore \( f_n \) converges uniformly to \( f\) , hence \( f \) continuous and \( f_n(0) \rightarrow f(0) \Rightarrow f(0)=0 \). That is \( f \in Y \) which is what we want.
Imagination is much more important than knowledge.
-
- Community Team
- Posts: 426
- Joined: Mon Nov 09, 2015 1:52 pm
Re: Complete subspace
Hint
The \(\displaystyle{\mathbb{R}}\) normed space \(\displaystyle{\left(C(\left[0,1\right]),||\cdot||_{\infty}\right)}\)
is a \(\displaystyle{\rm{Banach}}\) space.
The \(\displaystyle{\mathbb{R}}\) normed space \(\displaystyle{\left(C(\left[0,1\right]),||\cdot||_{\infty}\right)}\)
is a \(\displaystyle{\rm{Banach}}\) space.
Create an account or sign in to join the discussion
You need to be a member in order to post a reply
Create an account
Not a member? register to join our community
Members can start their own topics & subscribe to topics
It’s free and only takes a minute
Sign in
Who is online
Users browsing this forum: No registered users and 12 guests