1. Limited time only! Sign up for a free 30min personal tutor trial with Chegg Tutors
    Dismiss Notice
Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Proving that this set is a Dedekind cut.

  1. Apr 17, 2012 #1
    1. The problem statement, all variables and given/known data


    2. Relevant 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.
  2. jcsd
  3. Apr 17, 2012 #2


    User Avatar
    Staff Emeritus
    Science Advisor
    Gold Member

    Then try things step-by-step. First, carefully write out what it is to be proven, incorporating the definition of -A....
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Similar Discussions: Proving that this set is a Dedekind cut.
  1. Dedekind Cuts (Replies: 9)

  2. Dedekind cut (Replies: 0)