Integer and Rational Number Subtleties in an Algebra Problem

Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
3 replies · 1K views
Bashyboy
Messages
1,419
Reaction score
5

Homework Statement


Let ##S = \{\frac{1}{n} + \mathbb{Z} ~|~ n \in \mathbb{N} \}##. I am trying to show that ##f : \mathbb{N} \rightarrow S## defined by ##f(n) = \frac{1}{n} + \mathbb{Z}## is a bijection. Surjectivity is trivial, but injectivity is a little more involved.

Homework Equations

The Attempt at a Solution



Suppose that ##f(n) = f(m)##. Then ##\frac{1}{n} + \mathbb{Z} = \frac{1}{m} + \mathbb{Z}## or ##\frac{1}{n} - \frac{1}{m} \in \mathbb{Z}##. This implies ##\frac{m-n}{nm}## is an integer. If ##m \neq n##, then the fraction is not zero but a ratio of two nonzero integers. However, if ##\frac{p}{q}## is ##\frac{m-n}{nm}## in reduced form, how do I know that ##q = 1## can't be true; how do I know that ##m \neq n## and ##p=1## can't both be true?
 
Physics news on Phys.org
Suppose [itex]n[/itex] and [itex]m[/itex] are positive integers such that [tex]\frac1n - \frac1m = p \in \mathbb{Z}.[/tex] Now [tex] 0 < n = \frac{m}{1 + pm}[/tex] and as [itex]m > 0[/itex] we have that [itex]1 + pm > 0[/itex] and so [itex]p > -\frac1m[/itex]. However in fact [itex]n \geq 1[/itex], so we can get an upper bound on [itex]p[/itex] as well.
 
Suppose [itex]n[/itex] and [itex]m[/itex] are positive integers such that [tex]\frac1n - \frac1m = p \in \mathbb{Z}.[/tex] Now [tex] 0 < n = \frac{m}{1 + pm}[/tex] and as [itex]m > 0[/itex] we have that [itex]1 + pm > 0[/itex] and so [itex]p > -\frac1m[/itex]. However in fact [itex]n \geq 1[/itex], so we can get an upper bound on [itex]p[/itex] as well.