Create an injection from {a^2+b^2

  • Thread starter Thread starter aaaa202
  • Start date Start date
  • Tags Tags
    Injection
Click For Summary
Creating an injection from the set of sums of squares {a^2+b^2 | a,b ∈ Q} to the set of sums {a+b | a,b ∈ Q} poses challenges due to multiple combinations of a and b yielding the same result. The definition of an injection requires that distinct inputs produce distinct outputs, which is complicated by the overlapping values in both sets. The discussion emphasizes the need for a well-defined function that can uniquely map elements from one set to the other. It is noted that both sets are subsets of the rational numbers, which complicates the identification of unique pairs (a,b) for each element. A clearer understanding of set membership and the relationships between the sets is essential before pursuing the construction of an injection.
aaaa202
Messages
1,144
Reaction score
2

Homework Statement


Is it possible to create an injection from {a^2+b^2 l a,b\inQ} to {{a+b l a,b\inQ}

Homework Equations


I am not sure about this. The problem is that many combinations of a,b can yield the same number, so how do I tackle this obstacle?


The Attempt at a Solution

 
Physics news on Phys.org
Consider the definition of injection.
 
the definition says:

x1≠x2 => f(x1)≠f(x2)

But the problem is as said that many combinations give rise to the same numbers in the set.
 
Then perhaps it is not possible!
 
it certainly should be, since the two sets have same cardinality. I just need help with coming up with a well defined function that does it. Problem is you can't really say something like f(a^2+b^2)=lal+lbl because of the earlier stated.
 
aaaa202 said:
it certainly should be, since the two sets have same cardinality.
Is this necessarily true?

aaaa202 said:
I just need help with coming up with a well defined function that does it.
How about x → x?
 
It might simplify the problem somewhat to observe that ##\{a+b \, | \, a,b\in \mathbb{Q}\}## is simply ##\mathbb{Q}##.
 
I've just looked at a couple of your other posts like this one where again you seem to be confused about what you mean by {a^2+b^2 l a,b∈Q}. Can you see that all elements of this set are in ## \mathbb{Q} ##, and that a and b are only relevant in selecting which elements of ## \mathbb{Q} ## are elements of this set? You can't then define a function f(a,b) and expect it to have any meaning in relation to this set without defining how you get the unique pair (a,b) from ## x \in \mathbb{Q} ##.

Before you try to think about jections (I hate that word) you need to think more clearly about the membership of sets and the domain, co-domain and range of relations between them.
 
Last edited:

Similar threads

  • · Replies 10 ·
Replies
10
Views
2K
Replies
5
Views
2K
Replies
1
Views
2K
  • · Replies 36 ·
2
Replies
36
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
Replies
5
Views
2K
Replies
3
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
Replies
3
Views
2K