Integer Inequality Homework: Proving Existence of Integer m

  • Thread starter Thread starter annoymage
  • Start date Start date
  • Tags Tags
    Integer
Click For Summary
SUMMARY

The discussion focuses on proving the existence of an integer \( m \) such that \( -a \leq m \leq b \) and \( m-1 \leq c < m \), given positive integers \( a \), \( b \), and a real number \( c \) with the condition \( -a < c < b \). The user initially attempts a proof by contradiction and considers the well-ordering principle. Ultimately, they refine their approach by defining the set \( A = \{ n \in \mathbb{Z} \mid n > c \} \), demonstrating that \( A \) is non-empty and bounded below, which leads to the conclusion that \( A \) has a minimal element \( m \) satisfying the required inequalities.

PREREQUISITES
  • Understanding of integer properties and inequalities
  • Familiarity with the well-ordering principle
  • Basic knowledge of set theory and real numbers
  • Experience with proof techniques, particularly proof by contradiction
NEXT STEPS
  • Study the well-ordering principle in depth
  • Explore proof techniques in mathematics, focusing on contradiction
  • Learn about bounded sets and their properties in set theory
  • Investigate integer properties and their applications in inequalities
USEFUL FOR

Mathematics students, educators, and anyone interested in number theory and proof techniques, particularly those dealing with integer inequalities and set theory.

annoymage
Messages
360
Reaction score
0

Homework Statement

let a,b be positive integer , c is real number, and -a&lt;c&lt;b

i want to show there exist integer m, -a \leq m \leq b such that m-1 \leq c&lt;m

i don't know any easy method, but this is where i got now,

Let set S=[m|-a \leq m \leq b]

So by contradiction,

suppose that for all m in S, m \leq c or m-1&gt;c

If m \leq c for all m in S, then i know b is in S, means b \leq c which contradict c&lt;b,

If m-1&gt;c for all m in S and i stuck somewhere. Any hint T_T, or easier any easier method, I'm thinking of well ordering principle, but it i can't see it for now
 
Physics news on Phys.org
Take the set

A=\{n\in \mathbb{Z}~\vert~n\geq c\}

Show that A is nonempty and bounded by below. This implies that A has a minimal element m. Show that this m satisfies all your conditions.
 
hmm then i got

<br /> m-1 \leq c \leq m it's not the same as <br /> m-1 \leq c&lt;m right?
 
Remove the \geq and replace it with a > sign. Well when you apply the modified suggestion given you should get c &lt; n_0. Since n_0 is the smallest integer with this property we know that n_0 -1 \leq c &lt; n_0.
 
you mean this right? <br /> A=\{n\in \mathbb{Z}~\vert~n&gt; c\} <br />

thanks you soo much
 
Yes. :-)
 

Similar threads

  • · Replies 14 ·
Replies
14
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 3 ·
Replies
3
Views
1K
  • · Replies 2 ·
Replies
2
Views
2K
Replies
5
Views
2K
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 26 ·
Replies
26
Views
3K
  • · Replies 5 ·
Replies
5
Views
3K
  • · Replies 5 ·
Replies
5
Views
2K