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?

  • 0
    Think, which integrals you have to sompute. They are not that hard.2012-10-17
  • 0
    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)$$2012-10-17
  • 0
    What is $A$? ${}$2012-10-17
  • 0
    @MattN. I want prove the other two propiertes2012-10-17
  • 0
    I suggest that you first prove the first property.2012-10-17
  • 1
    $A>0 \in \mathbb{R}$2012-10-17
  • 0
    @MattN. The first property I already did2012-10-17
  • 0
    Can I see your proof please?2012-10-17
  • 0
    @MattN. is same as you wrote it above2012-10-17
  • 0
    What I wrote above is not a prove of $p(af) = |a|p(f)$ but rather $p(af) = |a^2|p(f)$2012-10-17
  • 0
    @MattN. my proof have mistake, but I attempted again making: Let be $a = a_0+a_1j$ and $f(x)=m_x+n_xj$, then $p(af) = \int_{-\infty}^{\infty}|(a_0+a_1j)(m_x+n_xj)|^2=\int_{-\infty}^{\infty}(a_0^2+a_1^2)(m_x^2+n_x^2)dx$, but I don't get yet, help me please2012-10-19
  • 0
    @Juan I think there is a mistake in the definition of $p$. Shouldn't it be $$ p(f)=\sqrt{ \int_{-\infty}^{\infty}|f(x)|^2dx }$$?2012-10-19
  • 0
    @MattN. no, my teacher wrote this2012-10-19
  • 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
    Hope this helps.2012-10-19
  • 0
    @Juan Any time! : )2012-10-19