Real Analysis – What Does It Mean to Extend a Function?
functionsreal-analysis
What does it mean to extend a function? Can someone please give an example?
Thanks in advance!
Best Answer
A good example might be $\sqrt{x}$. We cannot put a negative $x$ in a square root if we only care about real numbers. But, we can define a function $\sqrt{|x|}$. If $x\geq 0$ this is the same function as before since, in this case, $|x|=x$. But, the function can now take in negative numbers.
The animated picture in the link draks gave you gives you the basic idea. If you pause the animation at any given point, the "overlap" refers to the area in yellow.
If you imagine a function as corresponding to its graph on the plane, you can take two functions, $f$ and $g$, graph them on separate transparent sheets of plastic, and then place the two sheets one on top of the other; "overlap" would refer to the section of the plane that lies simultaneously between the $X$-axis and the graph of $f$, and between the $X$-axis and the graph of $g$.
The problem with this simple minded comparison is that you can have two identical functions, but one of them "shifted horizontally" so that there is no overlap between the two graphs. The convolution accounts for this by "sliding" one of the two graphs horizontally and measuring the overlap then, and "adding it up".
$f:A\to B$ means that $f$ is a function whose domain is $A$ and such that $f(a)\in B$ for every $a\in A.$
$C[0,1]$ is the set of continuous functions from $[0,1]$ into $\mathcal R.$
$C[0,1]$ is a vector space over the reals under the definition $(r f+g)(t)=r f(t)+g(t)$ for $f,g \in C[0,1]$ and $r\in \mathcal R$ and every $t\in [0,1].$
The zero-vector of the space $C[0,1]$ is the constant function that maps $[0,1]$ onto the set $\{0\}.$ So what you are asked is: If $r_1,r_2\in \mathcal R$ and if $r_1\cos t+r_2\sin t=0$ for every $t\in [0,1]$ then does $r_1=r_2=0?$
Best Answer
A good example might be $\sqrt{x}$. We cannot put a negative $x$ in a square root if we only care about real numbers. But, we can define a function $\sqrt{|x|}$. If $x\geq 0$ this is the same function as before since, in this case, $|x|=x$. But, the function can now take in negative numbers.