Function
A function [ilmath]f[/ilmath] is a special kind of relation
Contents
Definition
A function is a special kind relation[1], for a relation:
- [ilmath]f\subseteq X\times Y[/ilmath]
We must have:
- [ilmath]f[/ilmath] being a right-unique relation, recall that is:
- For a relation [ilmath]\mathcal{R}\subseteq X\times Y[/ilmath] we have [ilmath]\forall x\in X\forall y,z\in Y[(x\mathcal{R}y\wedge x\mathcal{R}z)\implies y=z][/ilmath]
- Everything maps to something
Then we write: [ilmath]f:X\rightarrow Y[/ilmath][1] Furthermore, if [ilmath](x,y)\in f[/ilmath] (which is to say [ilmath]xfy[/ilmath] or [ilmath]f[/ilmath] relates [ilmath]x[/ilmath] to [ilmath]y[/ilmath]) we write:
- [ilmath]f(x)=y[/ilmath] or [ilmath]f:x\mapsto y[/ilmath]
Notation when tuples are involved
It is often convenient to write things like [ilmath]f:(A,B)\rightarrow(C,D,E)[/ilmath] where [ilmath](A,B)[/ilmath] is a space with some useful property, this always means [ilmath]f:A\rightarrow C[/ilmath], for example:
- If we have say two topological spaces [ilmath](X,\mathcal{J})[/ilmath] and [ilmath](Y,\mathcal{K})[/ilmath] then we may write:
- [ilmath]f:(X,\mathcal{J})\rightarrow(Y,\mathcal{K})[/ilmath] and mean [ilmath]f:X\rightarrow Y[/ilmath]
- That is to say that as a general rule given a function [ilmath]f:(A_1,A_2,\cdots)\rightarrow(B_1,B_2,\cdots)[/ilmath] take it as a function [ilmath]f:A_1\rightarrow B_1[/ilmath]
- A tuple makes no sense there anyway, for multiple arguments we write the Cartesian product, so [ilmath]f:A\times B\rightarrow C\times D\times E[/ilmath] say.
Conventions
We've now covered the formal definition of a function, however conventionally sometimes these are broken
Functions and their domain
A function ought be defined for everything in its domain, that's for every point in the domain the function maps the point to something. Often mathematicians don't bother (as Mathematicians are lazy) especially if the number of undefined points is finite.
Examples
- [math]f:\mathbb{R}\rightarrow\mathbb{R}[/math] given by [math]f(x)=\frac{1}{x}[/math] isn't defined at [math]0[/math], it should be: [ilmath]f:\mathbb{R}-\{0\}\rightarrow\mathbb{R} [/ilmath] with [ilmath]f:x\rightarrow\frac{1}{x} [/ilmath]
- [math]f:\mathbb{R}\rightarrow\mathbb{R}[/math] given by [math]f(x)=x^2[/math] is correct, it is not surjective though, because nothing maps onto the negative numbers, however [math]f:\mathbb{R}\rightarrow\mathbb{R}_{\ge 0}[/math] with [math]f(x)=x^2[/math] is a surjection. It is not an injective function as only [math]0[/math] maps to one point.
Alternative names
A function may AKA:
