0
$\begingroup$

Let be $f:\mathbb{R} \rightarrow \mathbb{C}$. Consider the space of piecewise linear curves, with support in the interval [-1,1], sucht that $f(x)= A-|x|$ if $|x|\leq 1$; $f(x)= 0$ otherwise. For this space show that expression $p(f)=\int_{-\infty}^{\infty}|f(x)|^2dx$ is a norm.

I am show that $p(af)=|a|p(f)$, $\forall a \in \mathbb{C}$. How I will be able to demonstrate the other two properties?

  • 1
    @Juan I suggest you do the following: you have already shown that what your teacher wrote is not a norm since $p(af) = a^2 p(f)$. Write this on your homework sheet. Then write: but if we define $p$ with the square root then it is indeed a norm. And then you write the three parts of the proof that it is indeed a norm, the first one is $p(af) = |a|p(f)$. The second will be to verify that it's $\geq$ zero and zero if and only if $f=0$ and the third one is the triangle inequality.2012-10-19

1 Answers 1

1

Let $L$ denote the space of piecewise linear functions $f: \mathbb R \to \mathbb C$ that is, $f(x) = \begin{cases} A - |x| & x \in [-1,1] \\ 0 & \text{ otherwise} \end{cases}$ where $A \in \mathbb R_{>0}$.

Define $p(f) := \sqrt{\int_{-\infty}^\infty |f(x)|^2 dx}$.


Claim: $p: L \to [0,\infty)$ defines a norm on $L$.

Proof:

(i) $p \geq 0$ is clear. If $f=0$ then clearly $p(f) = 0$. Now assume $p(f)=0$ and show that $f=0$. By contradiction, if $f$ was non-zero at some point then since it is continuous it would have to be non-zero on an open interval and then the integral would also be non-zero. Contradiction. So $f$ is the zero function.

(ii) $ p(af) = \sqrt{\int_{-\infty}^\infty |af(x)|^2 dx} = |a|^2 \sqrt{\int_{-\infty}^\infty |f(x)|^2 dx}= |a|^2 p(f)$

(iii) Here you want to show $p(f+g) \leq p(f) + p(g)$.

  • 0
    @Juan Any time! : )2012-10-19