Integer and Rational Number Subtleties in an Algebra Problem

Click For Summary

Homework Help Overview

The discussion revolves around the function defined as ##f : \mathbb{N} \rightarrow S##, where ##S = \{\frac{1}{n} + \mathbb{Z} ~|~ n \in \mathbb{N} \}##. The original poster attempts to demonstrate that this function is a bijection, focusing on the injectivity aspect of the proof.

Discussion Character

  • Conceptual clarification, Mathematical reasoning, Assumption checking

Approaches and Questions Raised

  • Participants explore the implications of the equality ##f(n) = f(m)##, leading to the condition that ##\frac{1}{n} - \frac{1}{m} \in \mathbb{Z}##. Questions arise regarding the nature of the integers involved and the conditions under which ##m \neq n##. There is also discussion on the implications of ##nm\,\vert \,(m-n)## and the bounds on ##p## derived from the relationship between ##n## and ##m##.

Discussion Status

The discussion is active, with participants providing insights and exploring various interpretations of the conditions set by the problem. Some participants suggest testing specific values to gain further understanding, while others analyze the implications of the derived inequalities.

Contextual Notes

There is an emphasis on the properties of natural numbers and the relationships between them, particularly in the context of fractions and integers. The discussion also reflects on the assumptions made regarding the values of ##n## and ##m##.

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
If ##\frac{m-n}{nm}## is a natural number, which you can assume since both are and one has to be larger than the other (or equal), what does it mean that ##nm\,\vert \,(m-n)\, ##? Just try some values to see what I mean.
 
Suppose n and m are positive integers such that \frac1n - \frac1m = p \in \mathbb{Z}. Now <br /> 0 &lt; n = \frac{m}{1 + pm} and as m &gt; 0 we have that 1 + pm &gt; 0 and so p &gt; -\frac1m. However in fact n \geq 1, so we can get an upper bound on p as well.
 
Suppose n and m are positive integers such that \frac1n - \frac1m = p \in \mathbb{Z}. Now <br /> 0 &lt; n = \frac{m}{1 + pm} and as m &gt; 0 we have that 1 + pm &gt; 0 and so p &gt; -\frac1m. However in fact n \geq 1, so we can get an upper bound on p as well.
 

Similar threads

Replies
20
Views
3K
  • · Replies 13 ·
Replies
13
Views
4K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 11 ·
Replies
11
Views
1K
  • · Replies 1 ·
Replies
1
Views
2K
Replies
7
Views
4K
Replies
1
Views
2K
Replies
3
Views
2K