0
$\begingroup$

I'm reading Pugh's "Real Mathematical Analysis" where C.Pugh constructs real numbers system using Dedekind cuts. Unfortunately, he omits a construction of a multiplicative inverse of a real number $x = A|B$ where $A$ and $B$ are cuts in $\mathbb{Q}$. First, some required definitions:

A cut in $\mathbb{Q}$ is a pair of subsets $A,B$ of $\mathbb{R}$ such that

a)$A \cup B = \mathbb{Q}, A \neq \varnothing, B \neq \varnothing, A \cap B = \varnothing$

b) If $a \in A$ and $b \in B$ then $a < b$

c) A contains no largest element

A real number is a cut in $\mathbb{Q}$.

The additive inverse of a cut $x = A|B$ is defined as $(-x) = C|D$ where $C = \{r \in Q| \exists b \in B$ (not the smallest elements of $B$ ) $: r = -b \}$ and $D = \mathbb{Q} \setminus C$

Multiplication is defined for positive numbers $x > 0$. If $x = A|B, y = C|D$, then $xy = E|F$ where

$E = \{r \in \mathbb{Q}| r \leq 0$ or $\exists a \in A \ \ \exists c \in C: a > 0, c > 0, r = ac \}, F = \mathbb{Q} \setminus E$. If $x > 0, y < 0$ then we define $xy = -(x(-y))$

Now I wonder how can we define a multiplicative inverse of a positive cut $x = A|B$. Obviously, it's a cut $\frac{1}{x} = C|D$ such that $x \frac{1}{x} = 1$

So, it's such a cut $C|D$ such that for $C$ we have $\{r \in \mathbb{Q}| r \leq 0$ or $\exists a \in A \ \ \exists c \in C : a > 0, b > 0, r = ac \} = \{r \in \mathbb{Q}| r < 1 \}$

Any ideas how we can define $C$(if we define $C$, then $D = \mathbb{Q} \setminus C$)?

$\endgroup$
2
$\begingroup$

If $x > 0$, $$C = \{ r \in \Bbb Q \mid r <= 0 \text{ or } \forall a \in A,\, ra < 1\}$$

If $x < 0$, $$C = \{ r \in \Bbb Q \mid \forall a \in A, \,ra > 1\}$$

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.