- #1
jdinatale
- 155
- 0
Homework Statement
Homework Equations
In the above proplem, A is a dedekind cut.
To be a cut:
1. [itex]A \not= \mathbf{Q}[/itex] and [itex]A \not = \emptyset[/itex]
2. If [itex]r \in A[/itex], then all [itex]s \in A[/itex] for all [itex]s \in \mathbf{Q}[/itex] such that [itex]s < r[/itex]
3. A has no maximum
I know the 3 properties by heart, but the set -A is so unwieldy, that I'm having difficulty proving each of these properties.