$f \circ g$ is usually interpreted as $f(g(x))$ although, as Google shows, $g(f(x))$ is used frequently too. My question: Does anybody know who was the first mathematician to use this symbol and what was his interpretation?
History of $f \circ g$
-
3$f\circ g$ is *always* interpreted as $f(g(x))$; more precisely, the rule for the function $f\circ g$ is $(f\circ g)(x)=f(g(x))$. $g(f(x))$ would correspond to $g\circ f$: $(g\circ f)(x)=g(f(x))$. $f\circ g$ and $g\circ f$ are generally different functions. – 2012-04-17
-
8$f\circ g$ is _not_ interpreted as $f(g(x))$. Rather $(f\circ g)(x)$ is interpreted as $f(g(x))$, and $(f\circ g)(w)$ is interpreted as $f(g(w))$, and $(f\circ g)(5.2)$ is interpreted as $f(g(5.2))$, and so on. – 2012-04-17
-
0[Wikipedia](http://en.wikipedia.org/wiki/Function_composition#Alternative_notations) mentions this but has no references. – 2012-04-17
-
2Google shows 60000 results for "(f o g)(x)= g(f(x))" If you interpret from left to right, then f should be applied first. But this interpretation is obviously of a minority. Therefore I would be interested in the opinion of the inventor. – 2012-04-17
-
7it depends on whether you write $f$ as $f(x)$ or $(x)f$. although the latter notation is rare, it does occur (often in the context of permutation mappings, or other algebraic contexts in which "we do as we parse"). – 2012-04-17
-
4If you put the symbol for a function after arguments, then f∘g means (x)(f∘g) or equivalently ((x)f)g which means the same thing as g(f(x)) when you put the symbol for a function before arguments. – 2012-04-17
-
1@BelsaZarkin: if you look at the results of your search, you'll be hard pressed to find mathematics papers. The only academic things seems to be on computer science and engineering. – 2012-04-17
-
1As an aside: $xf$ instead of $f(x)$ is useful when diagram chasing. – 2012-04-17
-
3Back in graduate school, in our Galois Theory text, the author wrote $x^\sigma$ for the result of applying automorphism $\sigma$ to the element $x$. So naturally composition was $x^{\sigma\circ\tau} = (x^\sigma)^\tau$. That is: $\sigma\circ\tau$ means: first do $\sigma$, then do $\tau$. – 2012-04-17
-
0@GEdgar: That seems to prevail in algebraic texts. Some authors write: let s be a mapping from M into N and t be a mapping from N into P, then the product st of s and t is defined by x^st = (x^s)^t from M into P. So first s and then t is applied. – 2012-04-17
-
0The order of composition was discussed [at MO](http://mathoverflow.net/questions/18593/what-are-the-worst-notations-in-your-opinion/18607#18607), too. – 2012-04-21
-
0@Martin: Thanks again. I read that now. (They could give a hint when closing a question.) But the information about who used "o" first and with which meaning has not yet been answered. – 2012-04-21
4 Answers
N. Bourbaki used $f\circ g$ with the interpretation $(f\circ g)(x)=f(g(x))$ in 1949 (Fonctions d'une variable réelle).
Looking at the Bourbaki papers, I found this example from 1944 (middle of page 5), with the same interpretation. I haven't found any older examples, although I haven't tried very hard. (Van der Waerden does not use this notation in his Moderne Algebra from 1930.)
It is certainly conceivable that the notation $f\circ g$ was invented by someone from the Bourbaki group. They were certainly very occupied with good notation, and André Weil introduced the modern symbol for the empty set in 1939 to be able to distinguish between $\emptyset$ and $0$. This notation for composition could have appeared from a similar discussion about $f(g(x))$ and $f(x)g(x)$.
I have never seen "$(f\circ g)(x)=g(f(x))$" in a math paper or book. Looking at a few of the results you quote from Google, the only academic papers I find there are either in computer science or engineering.
Maybe the confusion arises from the following fact: in Spanish (and maybe in French?) which is the language I took my undergrad classes in, one reads "$f\circ g$" as "$g$ composed with $f$". I remember this was a source of confusion for many students.
-
0I know of a professor in category theory/computer science who uses $(f\circ g)(x)$ to mean $g(f(x))$. He does this because when drawing a commutative diagram, the composition $f\circ g$ would be rendered $X\overset g \to Y\overset f \to Z$ and so he writes the composition as $gf$. – 2012-04-17
-
0Doesn't Herstein, in his book **Topics in Algebra**, use $(f\circ g)(x)=g(f(x))?$ I don't have a copy of his book with me now, but I seem to recall that in his book $fg$ means apply $f$ first, then apply $g$ to the result. (I had a 2-semester undergraduate algebra sequence from Herstein's text, but this was during the 1976-77 academic year.) Perhaps Herstein didn't use the $\circ$ notion, however ... I don't remember. – 2012-04-17
-
0@Dave: I'm afraid I don't have access to that book. I would find it really weird (not saying it's not possible) because that choice forces one to use brackets all the time, and things like $ABx$ that one writes all the time in linear algebra would be messed up. – 2012-04-17
-
0@Martin Argerami: I'll look at the book when I get home tonight and report back here tomorrow, unless someone else beats me to it (very likely, since it's such a well-known text). – 2012-04-17
-
0@Dave: Herstein's definition of composition says "$s(\sigma\circ\tau)=(s\sigma)\tau$ for every $s\in S$." – 2012-04-17
-
2@AMPerrine: that makes sense, when one writes *everything* on the other side. – 2012-04-17
-
2@ Martin Argerami: AMPerrine's quote can be found on p. 13 of the 2nd edition (1975) of Herstein's text. I recall that we used to say something like you have to drive on the other side of the road when reading Herstein. – 2012-04-18
-
1FWIW, I don't think it is standard even for Spanish-speaking countries to read "$f\circ g$" as "$g$ composed with $f$"... In Uruguay, at least, we say "$f$ compuesto con $g$". Also, my secondary education was in French, and I remember reading "$f\circ g$" as "$f$ rond $g$" (which in retrospect is quite ugly!) – 2012-06-15
-
0@Martin: to avoid this confusion, F. W. Lawvere calls $f \circ g$ "$f$ following $g$", to indicate that $g$ would be applied first. – 2012-07-04
In dealing with categories and groupoids it is natural to write the composition of
$$A \xrightarrow{f} B \xrightarrow{g} C $$ as $$ A \xrightarrow{fg} C.$$ This convention is used in the book
Higgins, P.J., Categories and Groupoids, Van Nostrand Reinhold Mathematical studies 32, Van Nostrand Reinhold, London, (1971); Reprints in Theory and Applications of Categories, No. 7 (2005) pp 1--195. (downloadable)
and might be called the "algebraist's convention". I have found it very useful in dealing with double and higher categories and groupoids. It involves writing functions on the right as $(x)f$ as mentioned in other answers. This goes against the grain of course in dealing with the functions sin and log !
These ideas and notations, for example $x \mapsto x^2 +1$, evolved through trying to clarify the notion of function, and eventually finding both the domain and codomain were important, leading to a function being $f: A \to B$, with domain $A$ and codomain $B$. This arrow notation is one of the impetuses behind the notion of category. A further complication is that ordinary real number analysis and calculus is largely about partial functions $\mathbb R \to \mathbb R$, i.e. functions whose domain of definition is a subset of $\mathbb R$.
-
5How does that relate to the question who invented the $\circ$ notation is beyond me... – 2012-06-14
Typing $$\rm history\ mathematical\ notation$$ into Google turned up some sites that might be worth checking out, and it also gave Florian Cajori's book, A History of Mathematical Notations, which ought to be worth a look.
-
1Unfortunately Cajori's two volumes do not contain the solution (unless I am too blind). – 2012-04-24