Division algorithm for R

Main Question or Discussion Point

How might I prove a Division Algorithm for the Real numbers?

That is to say, if [tex]x, \alpha \in \mathbb{R}[/tex], then [tex]x=k \alpha + \delta[/tex] for some [tex]k \in \mathbb{Z}, [/tex] [tex]\delta \in \mathbb{R}[/tex] with [tex]0 \leq \delta < \alpha[/tex] where [tex]k, \delta[/tex] are unique.
 

Answers and Replies

mathman
Science Advisor
7,713
397
Assume that it is not unique, subtract one representation from the other. The resultant equation is obviously false.
 
Yeah, but how can I show existence?
 
mathman
Science Advisor
7,713
397
Yeah, but how can I show existence?
The sequence na for n=1,2,... is unbounded. Therefore for some n, na>x. Find lowest bound, subtract 1 and you will have k. ka<=x, (k+1)a>x, so x-ka(remainder)<a
 
355
3
or even more straightforward, let k = floor(x/a)
 

Related Threads for: Division algorithm for R

Replies
2
Views
2K
  • Last Post
Replies
1
Views
2K
Replies
12
Views
2K
  • Last Post
Replies
3
Views
2K
  • Last Post
Replies
10
Views
1K
Replies
0
Views
1K
Replies
4
Views
3K
Top