pcp1316 – Proofs in the Pudding

Addition and Multiplication on the Rational Numbers

May 30, 2023pcp1316 Leave a Comment

Patrick Chen

We may not realize it, but addition and multiplication on the integers can be seen as functions. For example, we can represent addition on the integers as the function $a: \mathbb{Z}^{2} \rightarrow \mathbb{Z}$ defined by $a(x,y) = x + y$ for all $(x,y) \in \mathbb{Z}^{2}$ . Similarly, we can represent multiplication on the integers as $m: \mathbb{Z}^{2} \rightarrow \mathbb{Z}$ defined by $m(x,y) = xy$ for all $(x,y) \in \mathbb{Z}^{2}$ . Because of this, addition and multiplication just like functions must be well-defined, meaning that the sum of two elements elements and the multiplication of two elements must be unique. In the case of integers by the way they are defined, this is pretty trivial.

However, it becomes less trivial as we move to the rational numbers $\mathbb{Q}$ . This is because every rational number can be represented infinitely many ways. For example, $\frac{1}{2}$ can be represented as $\frac{2}{4}, \frac{3}{6}, \frac{-1}{-2}$ , …. and $\frac{1}{3}$ can be represented as $\frac{2}{6}, \frac{3}{9}, \frac{-1}{-3}$ , …. since they all represent the same value. Because of this, we must ensure that the result from addition and multiplication are well defined, meaning they don’t depend on the way we represent the different values.

In this post, we will define addition and multiplication on the rational numbers and prove that they are well defined.

Recall from Class

As we have seen in lecture, we can build the rational numbers through the equivalence relation $\simeq$ on $\mathbb{Z} \times \mathbb{Z}\backslash\{0\}$ defined by $(a,b) \simeq (c,d)$ if $ad = bc$ .… Read the rest