40
$\begingroup$

Update: In the category of sets, an epimorphism is a surjective map and a monomorphism is an injective map. As is mentioned in the morphisms question, the usual notation is $\rightarrowtail$ or $\hookrightarrow$ for $1:1$ functions and $\twoheadrightarrow$ for onto functions. These arrows should be universally understood, so in some sense, this is a narrow duplicate of the morphisms question.

What are usual symbols for surjective, injective and bijective functions? I think in one of Lang's book I saw an arrow with 1:1 e.g. $A\xrightarrow{\rm 1:1}B$ above it to be understood as a bijective function , what are usual notations for surjective, injective and bijective functions?

Update : maybe following notations make sense and are also easily latexed : $A\xrightarrow{\rm 1:1}B$, $A\xrightarrow{\rm onto}B$, $A\xrightarrow{\rm 1:1,onto}B$

I don't know if these notations make sense with morphisms question, but this question was specific and there was no intent to find an answer for the more general case ( but would definitely be preferred).

$\endgroup$
15
  • 1
    $\begingroup$ possible duplicate of Special arrows for notation of morphisms $\endgroup$ Commented Jun 21, 2011 at 11:38
  • 1
    $\begingroup$ @user6312: "From the internationalization perspective, the current nomenclature is an improvement." I agree. The problem for non-native speakers with "onto" and "one to one onto" is that it sounds very idiomatic. $\endgroup$ Commented Jun 21, 2011 at 12:26
  • 1
    $\begingroup$ @Asaf: I don't get it. It's exactly the same question in a special context. $\endgroup$ Commented Jun 21, 2011 at 12:31
  • 2
    $\begingroup$ @Americo Tavares: But I do prefer short plain words. Mantissa, abscissa, denominator, subtrahend, associative, and so on make it harder for students to know that we are dealing with real things. $\endgroup$ Commented Jun 21, 2011 at 12:40
  • 3
    $\begingroup$ $A\xrightarrow{\rm bij}B$ is nice and concise $\endgroup$ Commented Dec 6, 2021 at 4:28

4 Answers 4

Reset to default
46
$\begingroup$

I personnaly use $\hookrightarrow$ to mean injection and $\twoheadrightarrow$ to mean surjection. Although I do not have a particular notation to mean bijection, I use $\leftrightarrow$ to mean bijective correspondance.

$\endgroup$
2
  • 1
    $\begingroup$ seems reasonable, except for dobuble headed bijective arrow which still makes sense. $\endgroup$ Commented Jun 21, 2011 at 19:57
  • $\begingroup$ How do you know when your ↪ means injection or when it means inclusion map? $\endgroup$ Commented Feb 6, 2024 at 9:47
32
$\begingroup$

My favorites are $\rightarrowtail$ for an injection and $\twoheadrightarrow$ for a surjection. In the days of typesetting, before LaTeX took over, you could combine these in an arrow with two heads and one tail for a bijection. Perhaps someone else knows the LaTeX for this.

$\endgroup$
8
  • 1
    $\begingroup$ Sounds like a good question for our sister site $\endgroup$ Commented Jun 21, 2011 at 12:42
  • $\begingroup$ @Willie, John: $\rightarrowtail$ I assume and it is \rightarrowtail (from the commonly used amssymb) $\endgroup$ Commented Jun 21, 2011 at 12:48
  • 3
    $\begingroup$ There's an easy fix to combine the two into one, similar to Theo's but a bit shorter use just \hspace except negative so we can get stuff like $\rightarrowtail \hspace{-8pt} \rightarrow$ and $\hookrightarrow \hspace{-8pt} \rightarrow$, just by doing '\rightarrowtail \hspace{-8pt} \rightarrow' and '\hookrightarrow \hspace{-8pt} \rightarrow'. Although there is an issue with the rightarrowtail being a bit small. $\endgroup$ Commented Jun 21, 2011 at 21:22
  • 4
    $\begingroup$ @JSchlather Try \mathbin{\rightarrowtail \hspace{-8pt} \twoheadrightarrow} which gives: $\mathbin{\rightarrowtail \hspace{-8pt} \twoheadrightarrow}$ $\endgroup$ Commented Nov 29, 2016 at 9:54
  • 1
    $\begingroup$ I quite like another idea: mathoverflow.net/questions/42929/suggestions-for-good-notation/… $\endgroup$ Commented Oct 6, 2018 at 9:05
11
$\begingroup$

I usually use two types of notations for function, injection, surjection and bijiection as follows.

enter image description here

Note that the \twoheadrightarrowtail is defined as follows, and the others are AMS symbols.

\usepackage{mathtools} \newcommand{\twoheadrightarrowtail}\mathrel{\mathrlap{\rightarrowtail}}\mathrel{\mkern2mu\twoheadrightarrow}

$\endgroup$
2
$\begingroup$

Since the authors of preceding answers seem to have gotten away with presenting notation as they (individually) like it, allow me to present notation I like instead: I'm used to denoting the relation between domain and codomain as

$ \large \unicode{x1f814} \hspace{-0.3em} \unicode{x1f816} $ for bijections, i.e. for functions which are both injective and surjective; and

$ \large \! \style{display: inline-block; transform: translateY(-1px)}{\unicode{xFF0D}} \hspace{-0.8em} \style{display: inline-block; transform: translateY(-1px)}{\unicode{xFF0D}} \hspace{-0.5em} \unicode{x1f816} $ for injections which are not bijections, i.e. which are not surjective as well.
(Since other answers seem to attach different meaning to arrows pointing only in the one direction from domain to codomain, I've tried to draw my arrows consistently in a separate style.)

For functions which are in general "many-to-one" relations (and thus not injective) I'd symbolize the relation between domain and codomain correspondingly as

$ \large \unicode{5171} \hspace{-0.2em} \unicode{x1f816} {\hspace{-2.em} \style{display: inline-block; transform: rotate(153deg) translateY(-6px)}{\unicode{x1f816}}} {\hspace{-2.em} \style{display: inline-block; transform: rotate(-153deg) translateY(4px)}{\unicode{x1f816}}} $ for surjective (and not injective) functions; and

$ \large \unicode{5171} \hspace{-0.3em} \unicode{x1f816} $ for functions which are neither surjective, nor injective.

Readily added can be symbols for relating domain and codomain of maps which are in general "one-to-many", and which are therefore not functions at all:

$ \large \unicode{x1f814} \hspace{-0.2em} \unicode{5176} {\hspace{-0.5em} \style{display: inline-block; transform: rotate(-27deg) translateY(-6px)}{\unicode{x1f816}}} {\hspace{-1.em} \style{display: inline-block; transform: rotate(27deg) translateY(5px)}{\unicode{x1f816}}}$ if the mapping is to each element of the codomain, or

$ \large \! \style{display: inline-block; transform: translateY(-1px)}{\unicode{xFF0D}} \hspace{-0.75em} \style{display: inline-block; transform: translateY(-1px)}{\unicode{xFF0D}} \hspace{-0.4em} \unicode{5176} {\hspace{-0.5em} \style{display: inline-block; transform: rotate(-27deg) translateY(-6px)}{\unicode{x1f816}}} {\hspace{-1.em} \style{display: inline-block; transform: rotate(27deg) translateY(5px)}{\unicode{x1f816}}}$ otherwise.

Please note:

This question is also meant as a strong suggestion to those with the necessary skills and knowledge (of $\LaTeX$, $\TeX$, ... etc. (?) ....) to "properly create" symbols with the suggested appearance, and to provide corresponding $\LaTeX$ commands for easy general use.

(Please let me know if you did. Meanwhile, I'm going to investigate whether and how this question may be cross-posted to https://tex.stackexchange.com/ .)

$\endgroup$
2
  • $\begingroup$ How do you make all those symbols in LaTeX? $\endgroup$ Commented Apr 29, 2024 at 1:31
  • $\begingroup$ @evaristegd "How do you make all those symbols in LaTeX?" -- Well, by now you seem to have collected enough "reputation score" to edit my question and to look up exactly how I managed to let these symbols appear, as they do, in my question. (The last one was apparently the most complicated, btw.) $$ $$ But CAUTION ! -- Those are obviously complete hacks! I have no knowledge whatsoever how symbol shapes are correctly produced with $\LaTeX$, or (perhaps) rather: with $\TeX$; I barely know, that I don't know (and I'm too busy, or lazy, or lonely, to try to find out). $\endgroup$ Commented Nov 7, 2024 at 5:31

You must log in to answer this question.

Start asking to get answers

Find the answer to your question by asking.

Ask question

Explore related questions

See similar questions with these tags.