40
$\begingroup$

How did a "one-to-one" function come to mean an injective one? I find it so non-intuitive that I often have to backtrack when reading texts that use "one-to-one" because I suddenly discover that I have been internalizing it as "bijective".

If there was were any logic to the terminology, "one-to-one" would mean bijective and injective would be "(zero-or-one)-to-one".

Perhaps I would be able to remember it better if I knew of any way to make "one-to-one"="injective" make some kind of logical sense, however tenuous. Can anyone suggest one, please?

(To clarify, I know (?) that "one-to-one" is older than "injective", but that doesn't in itself explain how the ancients got the idea of using such a strange and illogical term in the first place.)

  • 1
    @Chris has a good point. The terminology is completely natural for those of us, like me, who don’t automatically think of functions as having codomains. To me a function is first and foremost a set of ordered pairs in which distinct pairs have distinct 1st elements; if distinct pairs also have distinct 2nd elements, it’s 1-1, and it’s a 1-1 correspondence between its domain and its range. I still think of a codomain as an extra bit of machinery, and as a result I don’t think of *onto-ness* as a property inherent in the function itself.2011-09-09

2 Answers 2

18

In the old usage, as well as contemporary usage in set theory, one may consider a function without specifying a particular codomain or target set. (The insistence that a function come along with a particular codomain is a comparatively recent innovation, probably arising in Bourbaki.)

That is, if one understands a function merely to be a set of ordered pairs satisfying the function property (that each input is associated to one output), or as a rule associating to every object in a domain an output value, then it is true to say that a function is one-to-one if and only if it is a bijection from its domain to its range. Thus, injective functions really are one-to-one in the sense that you want.

Of course, this one-to-one terminology was long established by the time Bourbaki wanted to insist that functions come along with a specified co-domain, giving the definition of function as a triple consisting of domain, codomain and set of ordered pairs. The fact that in this context the concept of one-to-one doesn't tell the whole story may be part of the reason that they introducted the injective, surjective, bijective terminology.

But meanwhile, a function is one-to-one if and only if it provides a one-to-one correspondence between its domain and its range. This is perfectly logical, and seems to be the explanation that you are seeking. I would think that the one-to-one terminology begins to seem illogical only when one also insists on attaching to the function a target set or codomain that is not the same as its range, which is, after all, a somewhat illogical thing to do.

  • 0
    We probably shouldn't diverge into too long a debate here, but do note that I'm speaking about set _theory_ rather than set _theorists_. The set theorists I've met have been no less able to work and argue in a variety of styles and traditions than anyone else.2011-09-19
10

The terms injectif, surjectif and bijectif are lexical creations of Bourbaki. Their first appearance was in Chapters I and II of his Théorie des Ensembles, published in 1954. (Mac Lane and others knew about them and had used them in print slightly before)

Surjective functions were called fonctions sur in contradistinction to general functions, just called fonctions dans. Bourbaki was very attentive to the quality and beauty of the French he used and found it shocking to use the preposition "sur", instead of a genuine adjective, to qualify the name "function". Hence the neologisms.

Here is a link, in English, to this theme (look at the entry "Injection, surjection and bijection").

As to the terminology one-to-one, your actual question !, the reference I give attributes its first use to Zeuthen in 1870 (in French). The first appearance in English dates from 1873. There is also a reference to its use by Bertrand Russell in 1903.

The above doesn't really answer your question on the reasons why mathematicians used the terminology "one-to-one" but has the advantage of giving hard facts. As to these reasons, the suggestions and guesses in the comments look very reasonable and informed and I second them. And, by the way, your statement that one-to-one predates injective is now proved to be absolutely correct.

  • 2
    @Georges Thanks for the clarification. That's useful to know, since sometimes the information on JM's pages in not completely accurate.2011-09-09