Why does $Pair(x,y) = frac{(x+y)(x+y+1)}{2} + x$ exhibit a bijection with the pairs (x,y)?
up vote
0
down vote
favorite
Consider
$$Pair(x,y) = frac{(x+y)(x+y+1)}{2} + x$$
I discovers it essentially zigzags along the grid with $mathbf N$ vs $mathbf N$ (natural numbers). So intuitively, given any P(x,y) we follow the grid path to get a bijection. But I wanted a rigurous way to do this. How does one find what the explicit bijection is? Do we need some elementary number theory fact that escapes me?
Like is there an explicit mapping between a number $Pair(x,y)$ to its pair? Like an equation rather than an algorithm that starts from the bottom and until it finds the number it needs...
(note that this is all in the natural numbers which makes it trickier for me...in fact even if I had square roots available I would have no idea how to do this).
Note that Pair only maps pair to 1 unique number so its obviously a injective function from x,y to natural numbers. Which is important, now only the other direction is needed.
context: comes up in development of Godel numbering: https://faculty.math.illinois.edu/~vddries/main.pdf
page 85.
number-theory logic inverse-function natural-numbers
add a comment |
up vote
0
down vote
favorite
Consider
$$Pair(x,y) = frac{(x+y)(x+y+1)}{2} + x$$
I discovers it essentially zigzags along the grid with $mathbf N$ vs $mathbf N$ (natural numbers). So intuitively, given any P(x,y) we follow the grid path to get a bijection. But I wanted a rigurous way to do this. How does one find what the explicit bijection is? Do we need some elementary number theory fact that escapes me?
Like is there an explicit mapping between a number $Pair(x,y)$ to its pair? Like an equation rather than an algorithm that starts from the bottom and until it finds the number it needs...
(note that this is all in the natural numbers which makes it trickier for me...in fact even if I had square roots available I would have no idea how to do this).
Note that Pair only maps pair to 1 unique number so its obviously a injective function from x,y to natural numbers. Which is important, now only the other direction is needed.
context: comes up in development of Godel numbering: https://faculty.math.illinois.edu/~vddries/main.pdf
page 85.
number-theory logic inverse-function natural-numbers
1
I think you posted this one twice? math.stackexchange.com/questions/3010935/…
– Patrick Stevens
Nov 23 at 22:54
@PatrickStevens this one asks for the explicit bijection. The other one asks for an intuition of the zigzagging based on just the equation.
– Pinocchio
Nov 23 at 22:55
add a comment |
up vote
0
down vote
favorite
up vote
0
down vote
favorite
Consider
$$Pair(x,y) = frac{(x+y)(x+y+1)}{2} + x$$
I discovers it essentially zigzags along the grid with $mathbf N$ vs $mathbf N$ (natural numbers). So intuitively, given any P(x,y) we follow the grid path to get a bijection. But I wanted a rigurous way to do this. How does one find what the explicit bijection is? Do we need some elementary number theory fact that escapes me?
Like is there an explicit mapping between a number $Pair(x,y)$ to its pair? Like an equation rather than an algorithm that starts from the bottom and until it finds the number it needs...
(note that this is all in the natural numbers which makes it trickier for me...in fact even if I had square roots available I would have no idea how to do this).
Note that Pair only maps pair to 1 unique number so its obviously a injective function from x,y to natural numbers. Which is important, now only the other direction is needed.
context: comes up in development of Godel numbering: https://faculty.math.illinois.edu/~vddries/main.pdf
page 85.
number-theory logic inverse-function natural-numbers
Consider
$$Pair(x,y) = frac{(x+y)(x+y+1)}{2} + x$$
I discovers it essentially zigzags along the grid with $mathbf N$ vs $mathbf N$ (natural numbers). So intuitively, given any P(x,y) we follow the grid path to get a bijection. But I wanted a rigurous way to do this. How does one find what the explicit bijection is? Do we need some elementary number theory fact that escapes me?
Like is there an explicit mapping between a number $Pair(x,y)$ to its pair? Like an equation rather than an algorithm that starts from the bottom and until it finds the number it needs...
(note that this is all in the natural numbers which makes it trickier for me...in fact even if I had square roots available I would have no idea how to do this).
Note that Pair only maps pair to 1 unique number so its obviously a injective function from x,y to natural numbers. Which is important, now only the other direction is needed.
context: comes up in development of Godel numbering: https://faculty.math.illinois.edu/~vddries/main.pdf
page 85.
number-theory logic inverse-function natural-numbers
number-theory logic inverse-function natural-numbers
edited Nov 23 at 22:56
asked Nov 23 at 22:49
Pinocchio
1,85821753
1,85821753
1
I think you posted this one twice? math.stackexchange.com/questions/3010935/…
– Patrick Stevens
Nov 23 at 22:54
@PatrickStevens this one asks for the explicit bijection. The other one asks for an intuition of the zigzagging based on just the equation.
– Pinocchio
Nov 23 at 22:55
add a comment |
1
I think you posted this one twice? math.stackexchange.com/questions/3010935/…
– Patrick Stevens
Nov 23 at 22:54
@PatrickStevens this one asks for the explicit bijection. The other one asks for an intuition of the zigzagging based on just the equation.
– Pinocchio
Nov 23 at 22:55
1
1
I think you posted this one twice? math.stackexchange.com/questions/3010935/…
– Patrick Stevens
Nov 23 at 22:54
I think you posted this one twice? math.stackexchange.com/questions/3010935/…
– Patrick Stevens
Nov 23 at 22:54
@PatrickStevens this one asks for the explicit bijection. The other one asks for an intuition of the zigzagging based on just the equation.
– Pinocchio
Nov 23 at 22:55
@PatrickStevens this one asks for the explicit bijection. The other one asks for an intuition of the zigzagging based on just the equation.
– Pinocchio
Nov 23 at 22:55
add a comment |
active
oldest
votes
active
oldest
votes
active
oldest
votes
active
oldest
votes
active
oldest
votes
Thanks for contributing an answer to Mathematics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Some of your past answers have not been well-received, and you're in danger of being blocked from answering.
Please pay close attention to the following guidance:
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3010940%2fwhy-does-pairx-y-fracxyxy12-x-exhibit-a-bijection-with-the-p%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
1
I think you posted this one twice? math.stackexchange.com/questions/3010935/…
– Patrick Stevens
Nov 23 at 22:54
@PatrickStevens this one asks for the explicit bijection. The other one asks for an intuition of the zigzagging based on just the equation.
– Pinocchio
Nov 23 at 22:55