Proving One to One: f(x,y) = (x+y, 2x-3y) is a One-to-One Function

  • Thread starter scorpius1782
  • Start date
In summary, the conversation discusses a proof for the function ##f(x,y)=(x+y, 2x-3y)## being one to one. The conversation covers the definition of one to one, attempts at a solution using linear equations, and a recommendation to also prove that the function is a surjection. The expert summarizer suggests using the fact that there is a unique solution to the system of equations to show that the function is one to one.
  • #1
scorpius1782
107
0

Homework Statement


I'm having a lot of problems with this class of thinking I understand something then getting a grade back that proves otherwise. I'd like someone to check my proof of this:

Claim: ##f:\mathbb{N}^2 \rightarrow \mathbb{N}^2 by f(x,y) = (x+y, 2x-3y)## is one to one.




Homework Equations





The Attempt at a Solution



Using the definition of one to one: ## f:A\rightarrow B## is one-to-one, i.e. ##\forall x,y \in A, f(x) = f(y) \rightarrow x = y##

Proof: Let x, y, w, z ##\in \mathbb{Z}##

I'll take the two elements (that is x+y and 2x-3y) separately in order to prove one to one.

In order for ##f(x,y)=g(w,z)## then ##x+y=w+z## therefore x=w or x=z and y=w or y=z. So it is clear that by itself this part of the function is not one to one.



Now for ##2x-3y## we have ##f(x,y)=g(w,z)##. Then ##2x-3y=2w-3z##. However here we do not have the possibility for x to equal w or z and y cannot equal w or z. It must be one or the other as ##2x-3y\neq2y-3x## and ##2w-3z\neq2z-3w##. Except if, and only if, ##x=y=w=z=0##. But this fits in the definition of one to one, regardless.



Finally, from the above constraints ##w=x## and ##y=z##. Therefore ##x, y, w, z \in \mathbb{Z}, f(x,y)=f(w,z) \implies (x,y)=(w,z)##
 
Physics news on Phys.org
  • #2
Why don't you just form the pair of linear equations

##x+y=x'+y'##
##2x-3y=2x'-3y'##

and solve it to find that ##(x,y)=(x',y')##?

I recommend you also try to próve that the function is a surjection, ie. for any pair of numbers ##(x,y)\in\mathbb{N}\times\mathbb{N}## there exists a pair of numbers ##(a,b)\in\mathbb{N}\times\mathbb{N}## such that ##f(a,b)=(x,y)##. That's a good exercise.
 
  • #3
hilbert2 said:
Why don't you just form the pair of linear equations

##x+y=x'+y'##
##2x-3y=2x'-3y'##

and solve it to find that ##(x,y)=(x',y')##?

Not sure what you mean. Can you point me towards an example with another set of equations? I always have a hard time understanding without some sort of an example. And to me, with things like this, it looks like setting up those two equations like that requires that ##(x,y)=(x',y')## since they've been defined that way.

And, is my proof correct, if inefficient? To make sure I understand it conceptually.
 
  • #4
scorpius1782 said:

In order for ##f(x,y)=g(w,z)## then ##x+y=w+z## therefore x=w or x=z and y=w or y=z. So it is clear that by itself this part of the function is not one to one.


Take ##x=y=1## and ##w=0##, ##z=2##. Then ##x+y=w+z=2##, but ##x\neq w## and ##x\neq z##. So clearly that part of the function is decidedly not 1-1. In fact, it is ##\omega##-1, where ##\omega## is the cardinality of the natural numbers. So there are a lot of counterexamples to your claim.

Also, what is ##g##?

Now for ##2x-3y## we have ##f(x,y)=g(w,z)##. Then ##2x-3y=2w-3z##. However here we do not have the possibility for x to equal w or z and y cannot equal w or z. It must be one or the other as ##2x-3y\neq2y-3x## and ##2w-3z\neq2z-3w##. Except if, and only if, ##x=y=w=z=0##. But this fits in the definition of one to one, regardless.

Again, very much not 1-1. I'll let you find your own counterexamples.

Finally, from the above constraints ##w=x## and ##y=z##. Therefore ##x, y, w, z \in \mathbb{Z}, f(x,y)=f(w,z) \implies (x,y)=(w,z)##

OK. For just a minute, forget about your problem for a second. Seriously, try to put it out of your mind.

Ready? Ok. Answer the following completely unrelated*, pre-calc level** question;

What it the solution set in ##\mathbb{R}^2## to the system of equations
[tex]
\left\{
\begin{array}{l}
x+y=a\\
2x-3y=b
\end{array}
\right.
[/tex]
where ##a,b\in\mathbb{R}## are fixed?

Did you answer that question? Ok, now think about your problem again.

* Of course it's related.
**(1) While the problem might be stated using more "advanced" language and in slightly more generality than a standard pre-calc problem, it really is a pre-calc problem. (2) I say that for your benefit so that you (a) don't think that it's harder than it really is and (b) have a frame of reference for how to potentially approach it.
 
  • #5
gopher_p said:
Did you answer that question? Ok, now think about your problem again.

I think I have it solved unless my algebra is as terrible as my understanding of proofs. But, it isn't taking me anywhere in terms of understanding how to use it to prove 1 to 1. When I look at this I only see that x and y depend on a or b (or vice versa).

Note:
Telling me this is a pre-calc problem doesn't hurt my feelings. I'm bad at this, like really bad. I'm prepared to be talked to like I don't get it, that's why I'm here. Proofs, even simple ones, are hard for me to understand and ten times harder for me to do on my own. I've gotten all A's until, what I thought was my last math class, linear algebra where I got a B. I can do math... but I just don't get proofs at all.
 
  • #6
scorpius1782 said:
I think I have it solved unless my algebra is as terrible as my understanding of proofs. But, it isn't taking me anywhere in terms of understanding how to use it to prove 1 to 1. When I look at this I only see that x and y depend on a or b (or vice versa).

Alright. So the fact that you got x and y to depend on a and b means that there is a unique solution to that particular system. So when a and b are real numbers, there is exactly one pair (x,y) of real numbers satisfying x+y=a and 2x-3y=b.

If we restrict a and b to being integers and (x,y) to being a pair of natural numbers, it's possible that there are no solutions. But could there ever be more than one solution to the system?

Now, given f(x,y)=(a,b)=f(w,z). Both (x,y) and (w,z) are solutions to the system of equations that we've been talking about, right? Now can you see how to use this idea to show that f is 1-1?

Note:
Telling me this is a pre-calc problem doesn't hurt my feelings. I'm bad at this, like really bad. I'm prepared to be talked to like I don't get it, that's why I'm here. Proofs, even simple ones, are hard for me to understand and ten times harder for me to do on my own. I've gotten all A's until, what I thought was my last math class, linear algebra where I got a B. I can do math... but I just don't get proofs at all.

Proofs are generally much easier to understand than they are to create, even for the "pros". I would think that it would be very hard to formulate your own proofs if you're having difficulty following the ones that have been provided to you. I would encourage you to work on understanding proofs that have been given to you; focus on understanding why each statement follows from previous statements/assumptions of the claim/definitions rather than trying to figure out how someone came up with the proof.

I find that a lot of times, especially in the "first class in proofs" type of problems, the inspiration for how to go about proving things comes when you write down explicitly what you're assuming, sometimes in multiple different ways. In this case, when you write down f(x,y)=f(w,z), nothing comes up. Then you write down x+y=w+z and 2x-3y=2w-3z, and that also isn't very helpful (unless you make some bad assumptions)*. But when you write down f(x,y)=(a,b)=f(w,z) and then rewrite that, x+y=a, 2x-3y=b and w+z=a, 2w-3z=b, then you maybe start to see that you have a system of linear equations. And you think "I know precalc, and I know linear algebra. I know some things about solutions to linear systems." And that gives you some inspiration towards how to deal with the proof.

Now, given that you know some linear algebra, can you see that the f that you have been given is linear? What is the kernel of f? What do you know about linear functions with trivial kernels?

*There is a way to use this, but it's not quite as intuitive (imo) as the approach that I am suggesting; recognize that x+y=w+z and 2x-3y=2w-3z is equivalent to (x-w)+(y-z)=0 and 2(x-w)-3(y-z)=0, and so (x-w,y-z) is a (the) solution to the system X+Y=0 and 2X-3Y=0. It's certainly faster and more elegant. But it's harder to come up with, I think.
 
  • #7
scorpius1782 said:

Homework Statement


I'm having a lot of problems with this class of thinking I understand something then getting a grade back that proves otherwise. I'd like someone to check my proof of this:

Claim: ##f:\mathbb{N}^2 \rightarrow \mathbb{N}^2 by f(x,y) = (x+y, 2x-3y)## is one to one.

The function [itex]f[/itex] as defined is not [itex]\mathbb{N}^2 \to \mathbb{N}^2[/itex], since [itex](1,1) \in \mathbb{N}^2[/itex] but [itex]f(1,1) = (2, -1) \notin \mathbb{N}^2[/itex].

Recall that [itex]\mathbb{N}[/itex] is the positive integers; depending on who you ask it might also include zero (zero being the cardinality of the empty set) but it certainly doesn't include -1. Either you have copied the problem incorrectly or whoever wrote the problem has made an error.

Sensible codomains for [itex]f[/itex] are [itex]\mathbb{Z}^2[/itex] or [itex]\mathbb{N} \times \mathbb{Z}[/itex].
 
  • #8
pasmith said:
The function [itex]f[/itex] as defined is not [itex]\mathbb{N}^2 \to \mathbb{N}^2[/itex], since [itex](1,1) \in \mathbb{N}^2[/itex] but [itex]f(1,1) = (2, -1) \notin \mathbb{N}^2[/itex].

Recall that [itex]\mathbb{N}[/itex] is the positive integers; depending on who you ask it might also include zero (zero being the cardinality of the empty set) but it certainly doesn't include -1. Either you have copied the problem incorrectly or whoever wrote the problem has made an error.

Sensible codomains for [itex]f[/itex] are [itex]\mathbb{Z}^2[/itex] or [itex]\mathbb{N} \times \mathbb{Z}[/itex].

This was recently fixed. So natural numbers to integers now. I'll be working on this again tonight.
 

Related to Proving One to One: f(x,y) = (x+y, 2x-3y) is a One-to-One Function

1. What does it mean for a function to be one-to-one?

A function is considered one-to-one if each input (x-value) corresponds to a unique output (y-value). This means that no two different inputs will produce the same output.

2. How can I prove that f(x,y) = (x+y, 2x-3y) is a one-to-one function?

To prove that a function is one-to-one, you can use the horizontal line test. Draw horizontal lines across the graph of the function, and if each line intersects the graph at most once, then the function is one-to-one.

3. What is the domain and range of the function f(x,y) = (x+y, 2x-3y)?

The domain of this function is all real numbers for both x and y. The range of the function is also all real numbers, as any combination of x and y will produce a unique output.

4. Can you provide an example of how to show that f(x,y) = (x+y, 2x-3y) is a one-to-one function?

Sure, let's take the inputs x=2 and y=5. Plugging these values into the function, we get f(2,5) = (7, -11). Now, let's try another set of inputs x=3 and y=4. Plugging these values into the function, we get f(3,4) = (7, -9). Since the outputs are different for each set of inputs, this function is one-to-one.

5. Are there any other methods for proving a function is one-to-one?

Yes, you can also use algebraic methods such as setting the function equal to itself with different inputs and solving for x or y. If you get unique solutions for x and y, then the function is one-to-one. Another method is to show that the function has an inverse, which is only possible for one-to-one functions.

Similar threads

  • Calculus and Beyond Homework Help
Replies
8
Views
332
  • Calculus and Beyond Homework Help
Replies
2
Views
504
  • Calculus and Beyond Homework Help
Replies
2
Views
804
  • Calculus and Beyond Homework Help
Replies
9
Views
1K
  • Calculus and Beyond Homework Help
Replies
1
Views
569
  • Calculus and Beyond Homework Help
Replies
3
Views
683
  • Calculus and Beyond Homework Help
Replies
3
Views
862
  • Calculus and Beyond Homework Help
Replies
6
Views
930
  • Calculus and Beyond Homework Help
Replies
3
Views
922
  • Calculus and Beyond Homework Help
Replies
2
Views
1K
Back
Top