Division algorithm for R

  • #1
Doom of Doom
86
0
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

  • #2
mathman
Science Advisor
8,069
543
Assume that it is not unique, subtract one representation from the other. The resultant equation is obviously false.
 
  • #3
Doom of Doom
86
0
Yeah, but how can I show existence?
 
  • #4
mathman
Science Advisor
8,069
543
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
 
  • #5
LukeD
355
3
or even more straightforward, let k = floor(x/a)
 

Suggested for: Division algorithm for R

  • Last Post
Replies
1
Views
630
Replies
2
Views
912
Replies
12
Views
2K
  • Last Post
Replies
2
Views
248
Replies
1
Views
285
Replies
44
Views
2K
Replies
2
Views
627
Replies
1
Views
883
Replies
4
Views
1K
Top