# What does “$f$ is a function on $S$” mean?

If somebody says "$f$ is a function on $S$", what do they mean?

Does it mean that $S$ is the domain of the function, the codomain, or both?

-
$S$ is a domain. The codomain is any superset of the image of $S$ under $f$. – Jayesh Badwaik Aug 2 '12 at 14:49
In what context? If I saw that alone I'd think it meant $f:S \to \mathbb{R}$, but the codomain might be something else depending on context. – Clive Newstead Aug 2 '12 at 14:50
I am guessing the exact expression of $f$ will provide image. – Jayesh Badwaik Aug 2 '12 at 14:53
I'd think that a function "on" $S$ is $f: S \to S,$ (no necessarily total or surjective) but I will leave it up to the more experienced users. – user2468 Aug 2 '12 at 14:55
@J.D.: What comes to my mind, probably because it's the only context in which I've seen this terminology used, is measure theory, where "let $f$ be a function on the measure space $E$" would mean "let $f : E \to \mathbb{R}$ be a measurable function". Of course, there are no doubt other contexts in which the meaning is different. – Clive Newstead Aug 2 '12 at 15:23

When dealing with functions, one usually specifies "$f$ is a function from $X$ to $Y$" or "a function on $X$ into $Y$", or $f$ is a function $f:X\to Y$. In particular, a function $f$ is a subset of the cartesian product $X\times Y$ , that is, a relation from $X$ into $Y$, such that for every $x\in X$ there is a $y\in Y$ for which $(x,y)\in f$, and whenever $(x,y)\in f$ and $(x,y')\in f$ it follows that $y=y'$.

That is, to every $x\in X$ there corresponds a unique $y\in Y$ such that $(x,y)\in f$. Note it can happen that for two different $x,x'\in X$, the pairs $(x',y)$ and $(x,y)$ are in $f$.

We usually call $X$ the domain and $Y$ codomain, and we call the image of $A\subset X$ under $f$ to the subset $f(A)\subset Y$ whose elements are the points $y=f(x)$ with $x\in X$, or more precisely, to the subset $f(A)$ of points in $Y$ such that $(x,y)\in f$ for $x\in A$. As an example, let $f$ be a function $f:[-4,4]\to \Bbb R$ such that $(x,y)\in f$ whenever $y=x^2$. Then $f([-1,1])=[0,1]$ and $f([-4,0]) =[0,16]$

Now, when it happens that "$f$ is a function from (on) $X$ to (into) $X$" or $f:X\to X$, we might say simply that "$f$ is a function on $X$" (recall how a relation $R$ is said to be a relation on $X$ when boths its range and domain are the same set). This means $f$ is a subset of the product $X\times X$ with the aforementioned conditions. In this case the both the domain and codomain are $X$, and the image of $X$ under $f$ will be a subset of $X$ itself.

As J.D. noted, this constraint can produce some problems and should be handled carefully: consider the correspondence $f$ such that $(x,y)\in f$ whenever $y=x^2$, on the set $[0,10]$. It is immediate that whenever we choose $x>\sqrt 10$ we wont be able to find an $y$ to map $x$ to. This misbehaviour is given a name, namely, we call $f$ a partial function from $X$ to $Y$ if $f$ is a function $f:X'\to Y$ such that ${\rm dom }\, f=X'\subset X$, that is, not every element of $X$ is mapped into $Y$. Note that $f:X'\to Y$ is a "good" function in its own right, and it is the worded specification of $X$ that is problematic.

As Nate has commented, it might also happen that we say $f$ is a function on $X$ when the codomain $Y$ is understood, such as $\mathbb C$ or $\Bbb R$, and we need only to specify what the domain is. The word mapping is used as a synonym with function in nonspecific contexts, but might be given a special definition in other areas, as he notes.

-
I wouldn't agree that this "usually" means a function from $X$ into $X$. For instance, in real analysis, "a function on $X$" usually means a function from $X$ into $\mathbb{R}$ (or perhaps $\mathbb{C}$). Often $X$ is some abstract space; in this case functions from $X$ to itself are much less commonly considered, and often called "mappings". – Nate Eldredge Aug 2 '12 at 15:40
@NateEldredge I'll try to rewrite this. Now I have to go. That is what I learned it means. I have that mapping is a synonym with function, also. – Pedro Tamaroff Aug 2 '12 at 15:43
@NateEldredge Tell me what you think. – Pedro Tamaroff Aug 2 '12 at 16:23
I like it! ${}$ – Nate Eldredge Aug 2 '12 at 16:42
I have never heard "function on X" to mean "function from X to itself", but always something like a function whose domain is X and whose values are something like numerical, for example, I heard it use for real valued functions, complex valued functions, and sections of structure sheaves in algebraic or analytic geometry. – Omar Antolín-Camarena Aug 2 '12 at 17:01

$S$ is the domain. This sentence doesn't specify the codomain of $f$; it would have to be determined from context.

-