Math 360, Fall 2014, Assignment 2

We admit, in geometry, not only infinite magnitudes, that is to say, magnitudes greater than any assignable magnitude, but infinite magnitudes infinitely greater, the one than the other. This astonishes our dimension of brains, which is only about six inches long, five broad, and six in depth, in the largest heads.

- Voltaire

Carefully define the following terms, then give one example and one non-example of each:

1. Binary operation (on a set $S$).
2. Induced operation (on a subset of $S$).
3. Commutative operation.
4. Associative operation.
5. Composition (of two functions).

Carefully state the following theorems (you need not prove them):

1. Theorem relating equivalence relations to partitions (Theorem 0.22).
2. Associativity of composition (Theorem 2.13).

Solve the following problems:

1. Section 0, problems 29, 31, and 34.
2. Section 2, problems 2, 3, 7, 8, 9, 10, and 11.

--------------------End of assignment--------------------

Solutions:

Definitions:

1. A binary operation on a set $S$ is a function from $S\times S$ into $S$.
   1. Example: Normal addition on the reals is a binary operation. We write $+\(a,b\)$ as $a+b$.