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?

  • $\begingroup$ Think, which integrals you have to sompute. They are not that hard. $\endgroup$ – Hagen von Eitzen Oct 17 '12 at 16:53
  • $\begingroup$ How did you prove $p(af) = |a|p(f)$? $$ p(af) = \int_{-\infty}^{\infty}|af(x)|^2dx = |a^2| \int_{-\infty}^{\infty}|f(x)|^2dx = |a^2| p(f)$$ $\endgroup$ – Rudy the Reindeer Oct 17 '12 at 18:21
  • $\begingroup$ What is $A$? ${}$ $\endgroup$ – Rudy the Reindeer Oct 17 '12 at 18:22
  • 1
    $\begingroup$ $A>0 \in \mathbb{R}$ $\endgroup$ – juaninf Oct 17 '12 at 18:23
  • 1
    $\begingroup$ @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. $\endgroup$ – Rudy the Reindeer Oct 19 '12 at 6:14

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$.


(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)$.

  • $\begingroup$ Hope this helps. $\endgroup$ – Rudy the Reindeer Oct 19 '12 at 6:25
  • $\begingroup$ @Juan Any time! : ) $\endgroup$ – Rudy the Reindeer Oct 19 '12 at 17:59

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.