{"id":19503,"date":"2025-05-15T10:01:32","date_gmt":"2025-05-15T14:01:32","guid":{"rendered":"https:\/\/notes.math.ca\/article\/on-invertible-functions-and-on-functions-in-general\/"},"modified":"2025-09-12T11:03:31","modified_gmt":"2025-09-12T15:03:31","slug":"on-invertible-functions-and-on-functions-in-general","status":"publish","type":"article","link":"https:\/\/notes.math.ca\/en\/article\/on-invertible-functions-and-on-functions-in-general\/","title":{"rendered":"On invertible functions and on functions in general"},"content":{"rendered":"

Once upon a time my University (Simon Fraser University) administered a survey about conditions for faculty employment. The survey was rather boring, but provided colleagues an opportunity to complain about lack of time for research, insufficient support from administration, large classes, poor ventilation, etc. \u00a0But this survey also had an interesting question: What do you like about your job at SFU?<\/em> As this was towards the end of filling multiple pages, I responded with \u201can opportunity to ski on weekdays<\/em>\u201d. While Vancouverites know what I was referring to, the rest of Canadians may require an explanation. Vancouver\u2019s three local mountains are overcrowded on weekends, so only those with flexible employment hours (or wealthy unemployed) can escape the crowds and enjoy the terrain on a weekday.<\/p>\n

Jokes aside, I wish to provide a bit more serious answer about what I like about my job as a mathematics educator and researcher. It is an opportunity to extend my understanding of mathematics.<\/em>\u00a0 And there is always an opportunity to understand further the mathematics you already know, or think you know.<\/p>\n

In the following I exemplify what I mean.<\/p>\n

What functions are invertible? That is, what conditions are required for a function to have an inverse? I invite the readers to think of their own answer before reading further.<\/p>\n

This rather simple question \u2013 where an answer is available for a high school student \u2013 resulted in a major disagreement between myself and a very respected and knowledgeable colleague. While I claimed furiously that in order to have an inverse, a function has to be one-to-one (injective) and onto (surjective), my colleague claimed passionately that only injectivity is required. Note that as of the moment of writing this note, AI agrees with me, but our disagreement took place before AI became the ultimate tie breaker, and there are multiple resources, including textbooks, that support either case.\u00a0 So what\u2019s the deal? Or, who is right?<\/p>\n

This reminds me of an old parable of two fellows approaching a rabbi, seeking his ruling on their conflicting arguments. The rabbi listens carefully to the first fellow, and tells him, \u201cYou are right.\u201d Then he listens to the second fellow and also tells him, \u201cYou are right\u201d. A third fellow, who witnessed the event, approaches the rabbi in bewilderment and suggests, \u201cThey are presenting contradictory views, they cannot both be right!\u201d\u00a0 To which the rabbi responds, \u201cIndeed, you are right, but\u2026\u201d. \u00a0<\/p>\n

Back to conditions for function invertibility, the \u201cright\u201d view depends on the (implied) definition for a function. In fact, there are two, slightly different, but both accepted in the mathematical community definitions. One is the \u201cordered pairs definition”, that is, a function is a set of ordered pairs that is univalent.<\/em> The meaning of univalence is that an element cannot appear in the first place in more than one ordered pair. Formally, if (a,b) in<\/span>\u00a0 f\u00a0 and (a,c) in<\/span> f\u00a0 then b=c. Another is the \u201ctriple definition\u201d, that is, a function as a triple (F, A, B), where A and B are sets and F is a univalent set of ordered pairs (x,y) where x in<\/span>\u00a0A and y in<\/span>\u00a0B. That is, for all x in A there exists a unique y in B (univalent) such that (x,y) is a member of F. The set A is the domain of the function, B is the codomain.<\/p>\n

While the similarity is evident, a notable difference is explicit mention of domain and codomain in the \u201ctriple definition\u201d. As such, adopting (even implicitly) the latter definition requires bijection (both injection and surjection) for function invertibility, while in adopting the \u201cordered pairs definition\u201d injection is sufficient for the existence of inverse.<\/p>\n

These issues are explored and nicely exemplified in Mirin, Milner, Wasserman, and Weber, K. (2020)\u00a0(ask me for a copy if you cannot obtain it easily!). In fact, this article suggests to \u201csee Zazkis & Marmur (2018), for a more thorough explanation\u201d.\u00a0<\/p>\n

That is where the disagreement, between the authors and the editor, regarding the requirement for invertibility started, and the parties respectfully agreed to disagree. Of interest, my informal investigation \u2013 which consisted of asking several colleagues-mathematicians \u2013 suggested that people mathematically-educated in North America tend to claim that injection is a sufficient requirement, while those mathematically-educated in Europe tend towards bijection. Do you confirm this observation?<\/p>\n

Finally,<\/p>\n

Are these two functions equivalent?<\/p>\n

g: R\u2192R, where g(x) = x2<\/sup><\/p>\n

h: R\u2192[0, \u221e), where h(x) = x2<\/sup><\/p>\n

I suggest that it is a good exercise for undergraduate students, which hopefully will provoke a disagreement, and may result in a \u201cbetter\u201d understanding of what they previously understood.\u00a0<\/p>\n


References:<\/em><\/p>\n

Mirin, A., Milner, F., Wasserman, N., & Weber, K. (2020). On two definitions of \u2018function\u2019.\u00a0For the learning of mathematics, 41<\/em>(3), 21-24.\u00a0\u00a0<\/p>\n

Zazkis R. & Marmur O. (2018). Groups to the rescue: responding to situations of contingency. In Wasserman, N. (Ed.)\u00a0Connecting Abstract Algebra to Secondary Mathematics, for Secondary Mathematics Teachers<\/em>, 363\u2014381. Springer.\u00a0<\/p>\n","protected":false},"author":11,"template":"","section":[56],"keyword":[],"class_list":["post-19503","article","type-article","status-publish","hentry","section-education-notes"],"toolset-meta":{"author-4-info":{"author-4-surname":{"type":"textfield","raw":""},"author-4-given-names":{"type":"textfield","raw":""},"author-4-honorific":{"type":"textfield","raw":""},"author-4-institution":{"type":"textfield","raw":""},"author-4-email":{"type":"email","raw":""},"author-4-cms-role":{"type":"textfield","raw":""}},"author-3-info":{"author-3-surname":{"type":"textfield","raw":""},"author-3-given-names":{"type":"textfield","raw":""},"author-3-honorific":{"type":"textfield","raw":""},"author-3-institution":{"type":"textfield","raw":""},"author-3-email":{"type":"email","raw":""},"author-3-cms-role":{"type":"textfield","raw":""}},"author-2-info":{"author-2-surname":{"type":"textfield","raw":""},"author-2-given-names":{"type":"textfield","raw":""},"author-2-honorific":{"type":"textfield","raw":""},"author-2-institution":{"type":"textfield","raw":""},"author-2-email":{"type":"email","raw":""},"author-2-cms-role":{"type":"textfield","raw":""}},"author-info":{"author-surname":{"type":"textfield","raw":"Zazkis"},"author-given-names":{"type":"textfield","raw":"Rina"},"author-honorific":{"type":"textfield","raw":""},"author-email":{"type":"email","raw":""},"author-institution":{"type":"textfield","raw":"Simon Fraser University"},"author-cms-role":{"type":"textfield","raw":""}},"unknown":{"downloadable-pdf":{"type":"file","raw":"https:\/\/notes.math.ca\/wp-content\/uploads\/2025\/05\/On-invertible-functions-and-on-functions-in-general-\u2013-CMS-Notes.pdf","attachment_id":20035},"article-toc-weight":{"type":"numeric","raw":"3"},"author-surname":{"type":"textfield","raw":"Zazkis"},"author-given-names":{"type":"textfield","raw":"Rina"}}},"_links":{"self":[{"href":"https:\/\/notes.math.ca\/en\/wp-json\/wp\/v2\/article\/19503","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/notes.math.ca\/en\/wp-json\/wp\/v2\/article"}],"about":[{"href":"https:\/\/notes.math.ca\/en\/wp-json\/wp\/v2\/types\/article"}],"author":[{"embeddable":true,"href":"https:\/\/notes.math.ca\/en\/wp-json\/wp\/v2\/users\/11"}],"version-history":[{"count":16,"href":"https:\/\/notes.math.ca\/en\/wp-json\/wp\/v2\/article\/19503\/revisions"}],"predecessor-version":[{"id":19969,"href":"https:\/\/notes.math.ca\/en\/wp-json\/wp\/v2\/article\/19503\/revisions\/19969"}],"wp:attachment":[{"href":"https:\/\/notes.math.ca\/en\/wp-json\/wp\/v2\/media?parent=19503"}],"wp:term":[{"taxonomy":"section","embeddable":true,"href":"https:\/\/notes.math.ca\/en\/wp-json\/wp\/v2\/section?post=19503"},{"taxonomy":"keyword","embeddable":true,"href":"https:\/\/notes.math.ca\/en\/wp-json\/wp\/v2\/keyword?post=19503"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}