Tuesday 27 August 2013

functions - Precision in $f : A to B$ notation

Here I have a nice function (also known as $f(x)=\sin (\pi x/2)+1$) that is continuous on the interval $[0,4]$:



sin graph



According to the definitions I've found, $f:A\rightarrow B$ means that $\forall n\in A:f(n)\in B$. Therefore, in describing this function’s domain and range, the most precise thing to do would be to say $f:[1,4]\rightarrow [0,2]$. However, from what I understand, this notation is not the most precise, and the following would also be true:





  • $f:[1,4]\rightarrow [-5,5]$

  • $f:[1,4]\rightarrow\Bbb{R}$

  • $f:[1,2]\rightarrow\Bbb{R}$



Basically, $A$ must include some—but not all of—$f$’s domain but must not include any number for which $f$ is not defined while $B$ can include any numbers so long as it includes the range of $f$ on $A$—which makes sense when looking at the definition of $f:A\rightarrow B$.



All of this research I’ve been doing (I’m only a junior in high school who just started AP Calculus BC) was originally to determine a concise and symbolic way to express that a function is continuous on a certain interval, but now my question has evolved to include something else: how can one clearly and symbolically define the full domain and range of a function without any ambiguity and in one fell swoop?







Update:



It has come to my attention that codomain and range are actually different. From what I understand at this point, codomain is a kind of restriction on the range. Here's an example:



Let $f:x\mapsto\sin\left(\dfrac{\pi x}{2}\right) +1$, as shown in red:
red




If one wishes to restrict the domain, simply graph $f:[0,4]\rightarrow\Bbb R$ (as shown in blue):
blue



Want to restrict the range, too? Go ahead and meddle with the codomain. Here's $f:[0,4]\rightarrow [0.25,1.75]$ in green:
green
As of right now I'm confused as to whether or not you have to restrict the domain to exclude images of x that would be excluded anyways by restricting the codomain

No comments:

Post a Comment

real analysis - How to find $lim_{hrightarrow 0}frac{sin(ha)}{h}$

How to find $\lim_{h\rightarrow 0}\frac{\sin(ha)}{h}$ without lhopital rule? I know when I use lhopital I easy get $$ \lim_{h\rightarrow 0}...