6
$\begingroup$

I am doing IGCSE Maths, and am having a few problems with function notation. I understand the form f(x).

What does the form f: x ↦ y mean? Could you also give one or two examples?

And, if possible, state your source. Thank you.

$\endgroup$
15
$\begingroup$

It means that $f$ is a function that takes the value $x$ to the value $y$. For instance, $$f: x\mapsto x^2$$ is an alternate way of writing $f(x) = x^2$.

$\endgroup$
  • $\begingroup$ Could you please give an example? Thanks :) $\endgroup$ – Annabelle Sykes Apr 20 '16 at 13:11
  • $\begingroup$ Could you please state your source? Thanks :) $\endgroup$ – Annabelle Sykes Apr 20 '16 at 13:21
  • 1
    $\begingroup$ @SWFApp: I've known this for a while so I don't have the source that I used; here is another SE question with several answers that agree with me. $\endgroup$ – Deusovi Apr 20 '16 at 13:22
  • $\begingroup$ So, is there any scenario where you would need to use the "↦" notation instead of "=" notation? If your answer is a full explanation, it seems to me that ↦ is entirely useless. $\endgroup$ – twiz Jul 29 '16 at 11:15
  • 2
    $\begingroup$ @twiz: Just using = leaves open the possibility that x is a constant. Sure, we assume that it's a variable, but it's not necessarily the case. For instance, what if $f(x)$ was actually the function where $x \mapsto x³-4$? Then "$f(x) = x^2$" would be an equation to solve, not a definition of a function. That sort of thing pops up all the time - for instance, when we want to find the roots of the function, we use the equation $f(x) = 0$; that does not mean that we're redefining $f$ to be the function that always gives $0$. $\endgroup$ – Deusovi Jul 29 '16 at 11:19
7
$\begingroup$

$f:x \mapsto y$ means that $f$ is a function which takes in a value $x$ and gives out $y$.

But,
$f: \mathbb{N} \to \mathbb{N}$ means that $f$ is a function which takes a natural number as domain and results in a natural number as the result.

$\endgroup$
  • $\begingroup$ So if f = x+2, f: 1 ↦ y = 3 $\endgroup$ – Annabelle Sykes Apr 20 '16 at 13:14
  • $\begingroup$ Could you explain domain and range too, and give examples with numbers like 1 and 2. $\endgroup$ – Annabelle Sykes Apr 20 '16 at 13:17
  • 2
    $\begingroup$ Because you're wrong: the $\to$ and $\mapsto$ arrows mean different things. Also, $\mathbb{W}$ is not the set of positive numbers: that's $\mathbb{R}^+$. Whole numbers are not nonnegative numbers, either; they are natural numbers including 0. Oh, and $\to$ talks about the sets of the domain and range, while $\mapsto$ talks about the elements: you conflated them. $\endgroup$ – Deusovi Apr 20 '16 at 13:18
  • 1
    $\begingroup$ Whole numbers are the nonnegative integers. And you conflated two different arrows: $\to$ and $\mapsto$. They have different definitions. $f(x) = x^2$ can be described as $x\mapsto x^2: \mathbb R \to \mathbb R^+$. $\endgroup$ – Deusovi Apr 20 '16 at 13:27
  • 1
    $\begingroup$ Are you only on this site for reputation points? Expect downvotes if you aren’t going to post quality answers. $\endgroup$ – Prince M Mar 28 '18 at 6:31
4
$\begingroup$

As it is evident from math.stackexchange notation — the symbol $\mapsto$ reads as "maps to".
This is backed up by Wikipedia article on functions:

... the notation $\mapsto$ ("maps to", an arrow with a bar at its tail) ...

There is another arrow-symbol, which also used for mapping $\rightarrow$, which might be a bit confusing. The difference between two (as it is mentioned in the linked answer, as well as in the answer by MathEnthusiast):

  • $\mapsto$ maps an element of one set to an element of another set;
  • $\rightarrow$ maps a set to a set.

Example (borrowed from here):

$$f:R \rightarrow R$$ $$x \mapsto x^2$$

It means that: under $f$, any element $x \subset R$ gets mapped to the element $x∗x=x^2$ (which is also an element of $R$).

$\endgroup$

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.