3
$\begingroup$

Is there a technical name for a function $f$ such that $(g \circ f)(a_1, a_2,\cdots) \rightarrow g(a_1, a_2, \cdots)$? That is, is there a name for a function $f$ such that the result of composing $g$ with $f$ is $g$ invoked with $f$'s arguments?

EDIT: Accidentally reversed the order of operations and put $f \circ g$ when I meant $g \circ f$ (i.e. $g(f(\cdots)$).

  • 0
    Example: $g(x,y)=(1,1)$ then for any $f(x,y)$ we have $g\circ f(x,y)=g(f(x,y))=(1,1)=g(x,y)$.2011-11-08

2 Answers 2

10

To add to Bill's answer: in certain contexts we would say that "$f$ is a symmetry of the function $g$" or that "$g$ is invariant under $f$".

For example, if $g(x) = x^2$ and $f(x) = -x$, we say that $g$ is symmetric under reflection and $f$ is the reflection operation.

Another example, if $g(x) = \sin x$ and $f(x) = x+2\pi$, we say that $g$ is periodic with period $2\pi$, or that $g$ is invariant under translation by $2\pi$, or that $g$ is invariant under $f$.

  • 0
    @Bill: there are however times when left/right identity "sound" better. For example, let $g(x,y)$ be independent of $y$. And let $f(x,y) = (x,0)$ be the projection map. Sure you can say that $g$ has a symmetry. But the operation $f$ itself, being a projection map, I tend to think of as a "generalised" identity operator (since it *is* the identity operator for the subspace $X\times\{0\}$). This tend to be more relevant in (linear) algebraic contexts though.2011-11-08
3

In general for a binary operation $\circ$...

If $f \circ g=g$, then $f$ is a left identity for $g$ and if $g \circ f = g$, then $f$ is a right identity for $g$.

If $\circ$ is composition and $f$ is a right identity for all functions $g$, then $f$ must be the identity function: $f(x_1,\dots,x_n)=(x_1,\dots,x_n)$. The same is true if we change "right" to "left".

In fact, if $g$ has a left inverse (which is true iff it is one-to-one), then $\mathrm{id}=g^{-1} \circ g = g^{-1}\circ g\circ f= \mathrm{id}\circ f=f$.

If $g$ is not one-to-one, there are potentially many functions (other than the identity) such that $g\circ f=g$.

When "left" is replaced by "right", "one-to-one" should be replaced by "onto".