Induction over the rationals?

  • Thread starter epkid08
  • Start date
  • #1
263
1
Is there a variant form of induction to prove something about the rationals as opposed to just the natural numbers?

You could start by proving it for the open interval (0, 1) by showing that for an arbitrary integer m, m < n, [tex]P(\frac{m}{n}) \Rightarrow P(\frac{m}{n+1})[/tex], for all natural numbers n, and then extend the domain to all positive rationals.

Is this even plausible?
 

Answers and Replies

  • #2
336
0
You could start by proving it for the open interval (0, 1) by showing that for an arbitrary integer m, m < n, [tex]P(\frac{m}{n}) \Rightarrow P(\frac{m}{n+1})[/tex], for all natural numbers n, and then extend the domain to all positive rationals.

Certainly, try the dictionary or spiral ordering of rationals. For that matter, induction is applicable to any countable set.The practical appicability is limited, though.
 
  • #3
841
0
Is there a variant form of induction to prove something about the rationals as opposed to just the natural numbers?

You could start by proving it for the open interval (0, 1) by showing that for an arbitrary integer m, m < n, [tex]P(\frac{m}{n}) \Rightarrow P(\frac{m}{n+1})[/tex], for all natural numbers n, and then extend the domain to all positive rationals .

Is this even plausible?
I would try proving it for the open interval (0, 1) by showing that for an arbitrary integer m, m < n, [tex]P(\frac{m}{n}) \Rightarrow P(\frac{m+1}{n})[/tex], for all natural numbers n, and then extend the starter domain to all positive rationals m/n, m<n. Where n = 1 you have the standard induction process.
 
Last edited:

Related Threads on Induction over the rationals?

  • Last Post
2
Replies
33
Views
19K
  • Last Post
Replies
2
Views
2K
  • Last Post
Replies
4
Views
3K
Replies
10
Views
3K
  • Last Post
Replies
4
Views
5K
Replies
8
Views
3K
  • Last Post
Replies
1
Views
2K
  • Last Post
Replies
1
Views
3K
Replies
5
Views
3K
Top