Talk:Binary function

Mathematics Stub‑class Low‑priority

	Mathematics portal This article is within the scope of WikiProject Mathematics, a collaborative effort to improve the coverage of mathematics on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.MathematicsWikipedia:WikiProject MathematicsTemplate:WikiProject Mathematicsmathematics
Stub	This article has been rated as Stub-class on Wikipedia's content assessment scale.
Low	This article has been rated as Low-priority on the project's priority scale.

Binary function vs. ternary relation

Is the following statement true?

A binary function always is a ternary relation.

(I would say it is.) --Abdull (talk) 09:22, 5 September 2010 (UTC)[reply]

I'm not an expert but I suspect it's a Binary relation. My reasoning is that if it's mapping an ordered pair (the inputs) to some output. Then the set representing the relation should be a set of ordered pairs each containing an ordered pair and an "output" element: ((a,b), c). Paulmiko (talk) 16:08, 27 June 2011 (UTC)[reply]

yes.

In one sense, it (and every function) is a binary relation - or rather functions can be seen as an ordered pair (u,v) within the space UXV, where the function g is g:U->V and U,V are arbitrary sets. So a binary function f could be seen as a collection of ordered pairs, where each pair is ((a,b),f(a,b)). Hence a binary relation.

BUT because one of the parts of this ordered pair is itself an ordered pair (namely the (a,b)) there is an obvious equivalence to the ordered tripple of (a, b, f(a,b)). So it can also be considered as a ternary relation.

What I am trying to say is, every set of ordered pairs (i.e. binary relation) where one 'part' is an ordered pair can be split up into an ordered tripple. This (binary function) is one such occasion when an binary relation can be thought of as a ternary relation.

It is not the case that every binary relation is a ternary relation (should be obvious). However, every ternary relation (or ordered tripple (a,b,c)) can be thought of as a binary relation (e.g. as ((a,b),c) or (a,(b,c)).

Because of this it is more helpful to normally consider any relation as the higher order relation available (in this case ternary).

It may be worth noting that in some cases you may want to think of a binary function as a function and thus a binary relation. Also in some cases it may be possible to consider it as a n-relation.

Hope that helps. TM-86 (talk) 02:10, 16 December 2011 (UTC)[reply]