Originally Posted by
quiney Define the relation ⊑ on converging sequences such that
α ⊑ β iff for all rationals p > 0, there is a natural number n such that for every k ≥ n, β(k) - α(k) < p. Prove that ⊑ is a total order.
I tried proving it this way:
Assume that ¬(α ⊑ β) and ¬(β ⊑ α) Thus, there is a p1 > 0, for all n ∈ Ν, there is a j ≥ n such that β(j) – α(j) ≥ p1, and there is a p2 > 0 such that for all n ∈ Ν, there is a j ≥ n such that α(j) – β(j) ≥ p2. Add these two inequalities to get 0 ≥ p1 + p2. However, since p1 and p2 are both positive, this is impossible.
I'm sure this is wrong since there is no guarantee that it's the same j for both inequalities. How might I fix this?