Can someone explain to me what a function arrow is?

[IntegrateMe]

Can someone explain to me what a "function arrow" is?

In particular, what this may mean:

I = [a, b]
f : I --> R

I'm just trying to understand what the arrow means.

Or if we have R --> R what that would mean.

Thank you!

 

[JHamm]

The thing to the left of the arrow is the domain of the map f and the thing to the right is the range.
As an example a map which returns the square of all real numbers would be
[tex] f: \mathbb{R} \longrightarrow \mathbb{R} [/tex]
A map which multiplies natural numbers by [itex]\frac{12}{7}[/itex] would be
[tex] f: \mathbb{N} \longrightarrow \mathbb{R} [/tex]
And a map which takes a number from 1 to 4 and returns a complex number would be
[tex] f: [1, 4] \longrightarrow \mathbb{R}^2 [/tex]

 

[DavidAlan]

It is just notation. It means that the map entails some correspondence between sets. In English, the arrow points to the possible set of outputs of the map. If your map takes as its domain some set and "points" to the set of complex numbers, then your map is "complex valued," meaning that it takes inputs that are elements of the set at the beginning of the arrow, and outputs elements of the complex numbers (i.e. numbers of the form a+ib).

For example, if f: R^2 --> C is defined by f(x,y)=x+iy then f turns elements of R^2 into "high school" complex numbers.

 

[IntegrateMe]

JHamm,

If we use the example of:

f: R --> R

You said that it would return the square of all real numbers. But wouldn't it just return all real numbers, since the range, which is to the right, is R? The second one which involves 12/7 is also confusing me. Can you, or anyone for that matter, please clarify this for me.

Thanks for the help, guys, greatly appreciated.

Edit: Is this how you're describing the function f? For example, could I have said that f(x) = x^3 so that f: R --> R would actually return the cube of all real numbers?

 

[Deveno]

the usual notation is:

[tex]f: A \to B[/tex]

what is meant by this is:

for any element a in the set A, f(a) is defined, and is an element of the set B. B is called the "co-domain" of f, and is not to be confused with the "range" of f (or the image set), which is f(A). f(A) is always a subset of B, it may not be all of B itself.

for example, if we have:

[tex]f:\mathbb{R} \to \mathbb{R}, f(x) = x^2[/tex]

then we are saying f (the "squaring function") is defined for every real number x, and that x² is also a real number. as it turns out, x² is always non-negative, so in this case, the range of f is considerably smaller than the co-domain.

in general, you can always make the domain (the set A) smaller (this is called a restriction), and the co-domain bigger. in calculus, it is common to choose the entire real numbers as the co-domain, rather than trying to figure out ahead of time what the actual range is. often, we are only concerned with the behavior of f on a particular kind of subset of R, an interval (usally denoted I, or [a,b] or (a,b) if we wish to specify whether the interval includes the boundary points).

often, A is called "the source (or start) set", and B the "target set" (and the arrow is suggestive of some kind of motion, or action, or transformation).

 

[JHamm]

JHamm,

If we use the example of:

f: R --> R

You said that it would return the square of all real numbers. But wouldn't it just return all real numbers, since the range, which is to the right, is R? The second one which involves 12/7 is also confusing me. Can you, or anyone for that matter, please clarify this for me.

Thanks for the help, guys, greatly appreciated.

Edit: Is this how you're describing the function f? For example, could I have said that f(x) = x^3 so that f: R --> R would actually return the cube of all real numbers?

Exactly, the bit with the arrow doesn't tell you what the function really does, it just tells you the set of its domain and the set of its range.