Do binary operations need to be surjective functions?

Let $star$ be a binary operation on the set $S=[0,1]$ defined to be $$star : [0,1] times [0,1] to [0,1] $$

$$textwhere a star b = textminleft(frac12 a , frac12 bright) $$

From observation we can see that the set $S$ is closed under $star$ and that each ordered pair $(a,b)$ is mapped to only one element in $S$.

For example, $1 star 0.3 = 0.15$

But we also don't have every element in the codomain being hit. There doesn't exist any $(a,b) in S^2$ such that $a star b = 0.75$, for example.

Does this cause a problem at all? Is $star$ still considered a binary operation on $S$? In class we were told all binary operations were surjective, but the textbook for the class states no such thing. And if it is not a problem, I am wondering if there are any more complicated or "elegant" examples. I am interested to see them if they are.

Thanks for any clarification on my confusion.

4 Answers
4

Binary operations do not need to be surjective. Here is a natural example:

Let $mathbb N = 1,2,3,dots $. Then $+: mathbb N times mathbb N to mathbb N$ is not surjective because $1$ is not in the image.

Here is another natural, more interesting example:

Let $mathbb N' = 2,3,dots $. Then $times: mathbb N' times mathbb N' to mathbb N'$ is not surjective because the prime numbers are not in the image.

In general binary operations are not surjective.

Note that, say, for some set $S$ and a fixed $s in S$ the operation given by $a times b = s$ for all $a,b in S$ is a binary operation.

Just binary operation means really little. It's literally just a function from $Stimes S$ to $S$.

However, if the binary relation has an identity element (or just a left-identity or a right-identity would also suffice), then it can be directly seen that it is surjective. This may or may not be the reason for the discrepancy you observed. It also explains why not few of the most common binary operations are in fact surjective (they have an identity), and further shows a way how to construct some somewhat natural ones that don't.

Note that in the two examples in lhf's answer they judiciously avoided to have the respective natural neutral element in the set.

Let me add some more examples:

The reals greater than $0.5$ with addition. This also works for the reals greater than $t$ for any fixed positive $t$, yet not for the positive reals.

The reals in the interval $[-0.5,0.5]$ with multiplication (works for any closed interval, even non-symmetric ones in $(-1,1)$ yet not for $(-1,1)$ itself).

The reals or also the complex numbers with absolute value greater than $2$ with multiplication (works for greater than $t$ for any fixed $t > 1$, yet not for greater than $1$).

The $n times n$ (real) matrices with determinant greater than $2$ (works for any fixed $t>1$).

However, if the binary relation has a neutral element

I'll give a simple non-fancy example. Consider $f : mathbbR^2 to mathbbR$ defined by $$f(x, y) = 0$$ think of this function as assigning the value $0$ to every point on the plane. Certainly $f$ is a binary operation, but it's as non-surjective as such a function can get.

If you define operation on a set $S$ as a function from $S times S$ on S, then it has no reason to be surjective, and you and others gave many example on such non surjective functions.

But common true operations are surjective, simply because real world operations are. Almost all (if not all) interesting operation have an invariant element: $i$ for which $ forall x in S, i otimes x = x$. Such an element is enough to guarantee that the operation will be surjective, and all operations with interesting properties have.

Thanks for contributing an answer to Mathematics Stack Exchange!

But avoid …

Use MathJax to format equations. MathJax reference.

To learn more, see our tips on writing great answers.

Some of your past answers have not been well-received, and you're in danger of being blocked from answering.

Please pay close attention to the following guidance:

But avoid …

To learn more, see our tips on writing great answers.

Required, but never shown

Required, but never shown

By clicking "Post Your Answer", you acknowledge that you have read our updated terms of service, privacy policy and cookie policy, and that your continued use of the website is subject to these policies.