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

  • Thread starter Thread starter aaaa202
  • Start date Start date
  • Tags Tags
    Injection
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
7 replies · 2K views
aaaa202
Messages
1,144
Reaction score
2

Homework Statement


Is it possible to create an injection from {a^2+b^2 l a,b[itex]\in[/itex]Q} to {{a+b l a,b[itex]\in[/itex]Q}

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
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.
 
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?
 
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: