The space of continuous functions is a normed vector space
Given topological spaces $X$ and $Y$, define \[ C(X,Y) = \{f : X \to Y | \; f {\rm \; is \; continuous} \} .\]
Let $X$ be a compact topological space and $V$ a normed vector space.
Prove that $C(X,V)$ becomes a normed vector space if we define addition and scalar multiplication in $C(X,V)$ by \[ (f + g)(x) = f(x) + g(x) \] \[ (c f)(x) = c f(x) \] for $f,g \in C(X,V)$, $c \in C$ and $x \in X$, and define the define sup norm of $f \in C(X,V)$ by \[ \|f\|_{\sup} = \sup_{x \in X} \|f(x)\| .\]
Willyburns
Answer
First note that since $X$ is compact, every $f \in C(X,V)$ is bounded, i.e. $\|f\|_{\sup}<\infty$. (i) It is easy to see that for a continuous function $f:X\rightarrow Y$ \[ \|f\|_{\sup} =0 \Leftrightarrow f \equiv 0. \] (ii) For $\alpha \in \R$ \[ \| \alpha f\|_{\sup}= \sup_{x\in X} \|\alpha f\|= |\alpha| \sup_{x \in X} \|f\|=|\alpha| \|f\|_{\sup}. \] (iii) Let $f,g \in C(X,V)$. Then \[ \|f+g\|_{\sup} = \sup_{x \in X} \|f(x)+g(x)\|\leq \sup_{x\in X}\|f(x)\|+\sup_{x\in X}\|g(x)\|=\|f\|_{\sup}+\|g\|_{\sup}. \] Thus $C(X,Y)$ is a normed vector space. $\Box$
Erdos
- answered
- 2102 views
- $20.00
Related Questions
- Measure Theory and the Hahn Decomposition Theorem
- How to properly write rational exponents when expressed as roots?
- [Linear Algebra] $T$-invariant subspace
- real analysis
- Use first set of data to derive a second set
- Define$ F : C[0, 1] → C[0, 1] by F(f) = f^2$. For each $p, q ∈ \{1, 2, ∞\}$, determine whether $F : (C[0, 1], d_p) → (C[0, 1], d_q)$ is continuous
- Probability Question
- Let $f\in C (\mathbb{R})$ and $f_n=\frac{1}{n}\sum\limits_{k=0}^{n-1} f(x+\frac{k}{n})$. Prove that $f_n$ converges uniformly on every finite interval.
