Does the system of equations a + b, a * b provide a one-to-one correspondence between ordered and unordered...
$begingroup$
Let's write ordered sets as $[a,b,c,...]$ and ${a,b,c,...}$ for unordered sets.
Now let $f(a,b)=[a+b,a b]$. Note $f(a,b)=f(b,a).$
Consider $g([x,y])={a,b}$ where $a+b=x,a b=y$.
Mathematica's Solve function came up with $left{frac{1}{2} left(x-sqrt{x^2-4 y}right),frac{1}{2} left(sqrt{x^2-4 y}+xright)right}$ as the value of ${a,b}$ given $[x,y]$, and in my testing, it worked for everything I threw at it. (On a philosophical note it is interesting that just from the definitions provided there's no implied order for $a$ and $b$ given $[x,y]$.)
Is this a correct one-to-one correspondence from ordered sets of two elements to unordered sets of two elements in the domain of imaginary numbers? If so, does it have a name? I'd like to find out more about it.
As an aside, the one element and three element cases seem to work also. Mathematica spent a long time trying to find equations for my guess at the four element case $a+b+c+d,a b+a c+a d+b c+b d+c d,a b c+a b d+a c d+b c d,a b c d$, but eventually I aborted it. I suspect if there is a solution, it might generalize to $n$ elements.
Also, I think it works with ordered lists and unordered lists.
Many thanks!
Edit: as DanielWainfleet points out in the comments "if $x^2=4y$ then $g([x,y])={x/2}$ which has only one element. So the above can't go from ordered sets of two elements to unordered sets of two elements.
So I'd like to revise the question to the highly related case of including sets of one OR two elements (unordered sets stay at two elements).
elementary-set-theory
$endgroup$
|
show 6 more comments
$begingroup$
Let's write ordered sets as $[a,b,c,...]$ and ${a,b,c,...}$ for unordered sets.
Now let $f(a,b)=[a+b,a b]$. Note $f(a,b)=f(b,a).$
Consider $g([x,y])={a,b}$ where $a+b=x,a b=y$.
Mathematica's Solve function came up with $left{frac{1}{2} left(x-sqrt{x^2-4 y}right),frac{1}{2} left(sqrt{x^2-4 y}+xright)right}$ as the value of ${a,b}$ given $[x,y]$, and in my testing, it worked for everything I threw at it. (On a philosophical note it is interesting that just from the definitions provided there's no implied order for $a$ and $b$ given $[x,y]$.)
Is this a correct one-to-one correspondence from ordered sets of two elements to unordered sets of two elements in the domain of imaginary numbers? If so, does it have a name? I'd like to find out more about it.
As an aside, the one element and three element cases seem to work also. Mathematica spent a long time trying to find equations for my guess at the four element case $a+b+c+d,a b+a c+a d+b c+b d+c d,a b c+a b d+a c d+b c d,a b c d$, but eventually I aborted it. I suspect if there is a solution, it might generalize to $n$ elements.
Also, I think it works with ordered lists and unordered lists.
Many thanks!
Edit: as DanielWainfleet points out in the comments "if $x^2=4y$ then $g([x,y])={x/2}$ which has only one element. So the above can't go from ordered sets of two elements to unordered sets of two elements.
So I'd like to revise the question to the highly related case of including sets of one OR two elements (unordered sets stay at two elements).
elementary-set-theory
$endgroup$
$begingroup$
What does $g([x,y])={a,b}$ mean here? The way I would usually interpret it doesn't seem to be what you mean.
$endgroup$
– Matt Samuel
Jun 17 '17 at 0:10
1
$begingroup$
See also en.wikipedia.org/wiki/Elementary_symmetric_polynomial
$endgroup$
– Matt Samuel
Jun 17 '17 at 0:13
$begingroup$
It means that $g$ is a function from an unordered set $[x,y]$ to a set ${a,b}$. Maybe $g:[x,y]mapsto{a,b}$ is more correct. As for symmetric polynomials, they look highly related, but I'm not seeing this particular application.
$endgroup$
– Tyler Spaeth
Jun 17 '17 at 0:54
$begingroup$
(Side note: the above should read "It's supposed to mean...". I didn't mean to imply that was a reasonable way of writing that.)
$endgroup$
– Tyler Spaeth
Jun 17 '17 at 1:04
1
$begingroup$
If $x^2=4y$ then $g([x,y]) ={x/2}$ has only $1$ member.
$endgroup$
– DanielWainfleet
Jun 17 '17 at 2:04
|
show 6 more comments
$begingroup$
Let's write ordered sets as $[a,b,c,...]$ and ${a,b,c,...}$ for unordered sets.
Now let $f(a,b)=[a+b,a b]$. Note $f(a,b)=f(b,a).$
Consider $g([x,y])={a,b}$ where $a+b=x,a b=y$.
Mathematica's Solve function came up with $left{frac{1}{2} left(x-sqrt{x^2-4 y}right),frac{1}{2} left(sqrt{x^2-4 y}+xright)right}$ as the value of ${a,b}$ given $[x,y]$, and in my testing, it worked for everything I threw at it. (On a philosophical note it is interesting that just from the definitions provided there's no implied order for $a$ and $b$ given $[x,y]$.)
Is this a correct one-to-one correspondence from ordered sets of two elements to unordered sets of two elements in the domain of imaginary numbers? If so, does it have a name? I'd like to find out more about it.
As an aside, the one element and three element cases seem to work also. Mathematica spent a long time trying to find equations for my guess at the four element case $a+b+c+d,a b+a c+a d+b c+b d+c d,a b c+a b d+a c d+b c d,a b c d$, but eventually I aborted it. I suspect if there is a solution, it might generalize to $n$ elements.
Also, I think it works with ordered lists and unordered lists.
Many thanks!
Edit: as DanielWainfleet points out in the comments "if $x^2=4y$ then $g([x,y])={x/2}$ which has only one element. So the above can't go from ordered sets of two elements to unordered sets of two elements.
So I'd like to revise the question to the highly related case of including sets of one OR two elements (unordered sets stay at two elements).
elementary-set-theory
$endgroup$
Let's write ordered sets as $[a,b,c,...]$ and ${a,b,c,...}$ for unordered sets.
Now let $f(a,b)=[a+b,a b]$. Note $f(a,b)=f(b,a).$
Consider $g([x,y])={a,b}$ where $a+b=x,a b=y$.
Mathematica's Solve function came up with $left{frac{1}{2} left(x-sqrt{x^2-4 y}right),frac{1}{2} left(sqrt{x^2-4 y}+xright)right}$ as the value of ${a,b}$ given $[x,y]$, and in my testing, it worked for everything I threw at it. (On a philosophical note it is interesting that just from the definitions provided there's no implied order for $a$ and $b$ given $[x,y]$.)
Is this a correct one-to-one correspondence from ordered sets of two elements to unordered sets of two elements in the domain of imaginary numbers? If so, does it have a name? I'd like to find out more about it.
As an aside, the one element and three element cases seem to work also. Mathematica spent a long time trying to find equations for my guess at the four element case $a+b+c+d,a b+a c+a d+b c+b d+c d,a b c+a b d+a c d+b c d,a b c d$, but eventually I aborted it. I suspect if there is a solution, it might generalize to $n$ elements.
Also, I think it works with ordered lists and unordered lists.
Many thanks!
Edit: as DanielWainfleet points out in the comments "if $x^2=4y$ then $g([x,y])={x/2}$ which has only one element. So the above can't go from ordered sets of two elements to unordered sets of two elements.
So I'd like to revise the question to the highly related case of including sets of one OR two elements (unordered sets stay at two elements).
elementary-set-theory
elementary-set-theory
edited Jun 17 '17 at 19:12
Tyler Spaeth
asked Jun 17 '17 at 0:06
Tyler SpaethTyler Spaeth
464
464
$begingroup$
What does $g([x,y])={a,b}$ mean here? The way I would usually interpret it doesn't seem to be what you mean.
$endgroup$
– Matt Samuel
Jun 17 '17 at 0:10
1
$begingroup$
See also en.wikipedia.org/wiki/Elementary_symmetric_polynomial
$endgroup$
– Matt Samuel
Jun 17 '17 at 0:13
$begingroup$
It means that $g$ is a function from an unordered set $[x,y]$ to a set ${a,b}$. Maybe $g:[x,y]mapsto{a,b}$ is more correct. As for symmetric polynomials, they look highly related, but I'm not seeing this particular application.
$endgroup$
– Tyler Spaeth
Jun 17 '17 at 0:54
$begingroup$
(Side note: the above should read "It's supposed to mean...". I didn't mean to imply that was a reasonable way of writing that.)
$endgroup$
– Tyler Spaeth
Jun 17 '17 at 1:04
1
$begingroup$
If $x^2=4y$ then $g([x,y]) ={x/2}$ has only $1$ member.
$endgroup$
– DanielWainfleet
Jun 17 '17 at 2:04
|
show 6 more comments
$begingroup$
What does $g([x,y])={a,b}$ mean here? The way I would usually interpret it doesn't seem to be what you mean.
$endgroup$
– Matt Samuel
Jun 17 '17 at 0:10
1
$begingroup$
See also en.wikipedia.org/wiki/Elementary_symmetric_polynomial
$endgroup$
– Matt Samuel
Jun 17 '17 at 0:13
$begingroup$
It means that $g$ is a function from an unordered set $[x,y]$ to a set ${a,b}$. Maybe $g:[x,y]mapsto{a,b}$ is more correct. As for symmetric polynomials, they look highly related, but I'm not seeing this particular application.
$endgroup$
– Tyler Spaeth
Jun 17 '17 at 0:54
$begingroup$
(Side note: the above should read "It's supposed to mean...". I didn't mean to imply that was a reasonable way of writing that.)
$endgroup$
– Tyler Spaeth
Jun 17 '17 at 1:04
1
$begingroup$
If $x^2=4y$ then $g([x,y]) ={x/2}$ has only $1$ member.
$endgroup$
– DanielWainfleet
Jun 17 '17 at 2:04
$begingroup$
What does $g([x,y])={a,b}$ mean here? The way I would usually interpret it doesn't seem to be what you mean.
$endgroup$
– Matt Samuel
Jun 17 '17 at 0:10
$begingroup$
What does $g([x,y])={a,b}$ mean here? The way I would usually interpret it doesn't seem to be what you mean.
$endgroup$
– Matt Samuel
Jun 17 '17 at 0:10
1
1
$begingroup$
See also en.wikipedia.org/wiki/Elementary_symmetric_polynomial
$endgroup$
– Matt Samuel
Jun 17 '17 at 0:13
$begingroup$
See also en.wikipedia.org/wiki/Elementary_symmetric_polynomial
$endgroup$
– Matt Samuel
Jun 17 '17 at 0:13
$begingroup$
It means that $g$ is a function from an unordered set $[x,y]$ to a set ${a,b}$. Maybe $g:[x,y]mapsto{a,b}$ is more correct. As for symmetric polynomials, they look highly related, but I'm not seeing this particular application.
$endgroup$
– Tyler Spaeth
Jun 17 '17 at 0:54
$begingroup$
It means that $g$ is a function from an unordered set $[x,y]$ to a set ${a,b}$. Maybe $g:[x,y]mapsto{a,b}$ is more correct. As for symmetric polynomials, they look highly related, but I'm not seeing this particular application.
$endgroup$
– Tyler Spaeth
Jun 17 '17 at 0:54
$begingroup$
(Side note: the above should read "It's supposed to mean...". I didn't mean to imply that was a reasonable way of writing that.)
$endgroup$
– Tyler Spaeth
Jun 17 '17 at 1:04
$begingroup$
(Side note: the above should read "It's supposed to mean...". I didn't mean to imply that was a reasonable way of writing that.)
$endgroup$
– Tyler Spaeth
Jun 17 '17 at 1:04
1
1
$begingroup$
If $x^2=4y$ then $g([x,y]) ={x/2}$ has only $1$ member.
$endgroup$
– DanielWainfleet
Jun 17 '17 at 2:04
$begingroup$
If $x^2=4y$ then $g([x,y]) ={x/2}$ has only $1$ member.
$endgroup$
– DanielWainfleet
Jun 17 '17 at 2:04
|
show 6 more comments
1 Answer
1
active
oldest
votes
$begingroup$
Does it have a name?
— Yes, it's called the quadratic formula along with Vieta's formulas (often also referred to as Vieta's theorem).
That's because effectively, to find $a$ and $b$, you need to solve the equation $t^2-xt+y=0$. By Vieta's formulas, the coefficients $x$ and $y$ and the roots $a$ and $b$ of this quadratic equation are related precisely in the way you defined $x$ and $y$, i.e. $x=a+b$ and $y=ab$. And the proof of this relation is fairly simple too: the quadratic equation with the roots $a$ and $b$ and the leading coefficient $1$ has to be
$$(t-a)(t-b)=0 iff t^2-at-bt+ab=0 iff t^2-underbrace{(a+b)}_{x}t+underbrace{ab}_{y}=0.$$
What you observed with three and more numbers is the same thing extended to polynomial equations of higher degree: symmetric polynomials in the roots of a polynomial equation are the coefficients of that equation.
$endgroup$
add a comment |
Your Answer
StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");
StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "69"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});
function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});
}
});
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%2f2325645%2fdoes-the-system-of-equations-a-b-a-b-provide-a-one-to-one-correspondence-be%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
Does it have a name?
— Yes, it's called the quadratic formula along with Vieta's formulas (often also referred to as Vieta's theorem).
That's because effectively, to find $a$ and $b$, you need to solve the equation $t^2-xt+y=0$. By Vieta's formulas, the coefficients $x$ and $y$ and the roots $a$ and $b$ of this quadratic equation are related precisely in the way you defined $x$ and $y$, i.e. $x=a+b$ and $y=ab$. And the proof of this relation is fairly simple too: the quadratic equation with the roots $a$ and $b$ and the leading coefficient $1$ has to be
$$(t-a)(t-b)=0 iff t^2-at-bt+ab=0 iff t^2-underbrace{(a+b)}_{x}t+underbrace{ab}_{y}=0.$$
What you observed with three and more numbers is the same thing extended to polynomial equations of higher degree: symmetric polynomials in the roots of a polynomial equation are the coefficients of that equation.
$endgroup$
add a comment |
$begingroup$
Does it have a name?
— Yes, it's called the quadratic formula along with Vieta's formulas (often also referred to as Vieta's theorem).
That's because effectively, to find $a$ and $b$, you need to solve the equation $t^2-xt+y=0$. By Vieta's formulas, the coefficients $x$ and $y$ and the roots $a$ and $b$ of this quadratic equation are related precisely in the way you defined $x$ and $y$, i.e. $x=a+b$ and $y=ab$. And the proof of this relation is fairly simple too: the quadratic equation with the roots $a$ and $b$ and the leading coefficient $1$ has to be
$$(t-a)(t-b)=0 iff t^2-at-bt+ab=0 iff t^2-underbrace{(a+b)}_{x}t+underbrace{ab}_{y}=0.$$
What you observed with three and more numbers is the same thing extended to polynomial equations of higher degree: symmetric polynomials in the roots of a polynomial equation are the coefficients of that equation.
$endgroup$
add a comment |
$begingroup$
Does it have a name?
— Yes, it's called the quadratic formula along with Vieta's formulas (often also referred to as Vieta's theorem).
That's because effectively, to find $a$ and $b$, you need to solve the equation $t^2-xt+y=0$. By Vieta's formulas, the coefficients $x$ and $y$ and the roots $a$ and $b$ of this quadratic equation are related precisely in the way you defined $x$ and $y$, i.e. $x=a+b$ and $y=ab$. And the proof of this relation is fairly simple too: the quadratic equation with the roots $a$ and $b$ and the leading coefficient $1$ has to be
$$(t-a)(t-b)=0 iff t^2-at-bt+ab=0 iff t^2-underbrace{(a+b)}_{x}t+underbrace{ab}_{y}=0.$$
What you observed with three and more numbers is the same thing extended to polynomial equations of higher degree: symmetric polynomials in the roots of a polynomial equation are the coefficients of that equation.
$endgroup$
Does it have a name?
— Yes, it's called the quadratic formula along with Vieta's formulas (often also referred to as Vieta's theorem).
That's because effectively, to find $a$ and $b$, you need to solve the equation $t^2-xt+y=0$. By Vieta's formulas, the coefficients $x$ and $y$ and the roots $a$ and $b$ of this quadratic equation are related precisely in the way you defined $x$ and $y$, i.e. $x=a+b$ and $y=ab$. And the proof of this relation is fairly simple too: the quadratic equation with the roots $a$ and $b$ and the leading coefficient $1$ has to be
$$(t-a)(t-b)=0 iff t^2-at-bt+ab=0 iff t^2-underbrace{(a+b)}_{x}t+underbrace{ab}_{y}=0.$$
What you observed with three and more numbers is the same thing extended to polynomial equations of higher degree: symmetric polynomials in the roots of a polynomial equation are the coefficients of that equation.
answered Dec 24 '18 at 17:25
zipirovichzipirovich
11.3k11731
11.3k11731
add a comment |
add a comment |
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.
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%2f2325645%2fdoes-the-system-of-equations-a-b-a-b-provide-a-one-to-one-correspondence-be%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
$begingroup$
What does $g([x,y])={a,b}$ mean here? The way I would usually interpret it doesn't seem to be what you mean.
$endgroup$
– Matt Samuel
Jun 17 '17 at 0:10
1
$begingroup$
See also en.wikipedia.org/wiki/Elementary_symmetric_polynomial
$endgroup$
– Matt Samuel
Jun 17 '17 at 0:13
$begingroup$
It means that $g$ is a function from an unordered set $[x,y]$ to a set ${a,b}$. Maybe $g:[x,y]mapsto{a,b}$ is more correct. As for symmetric polynomials, they look highly related, but I'm not seeing this particular application.
$endgroup$
– Tyler Spaeth
Jun 17 '17 at 0:54
$begingroup$
(Side note: the above should read "It's supposed to mean...". I didn't mean to imply that was a reasonable way of writing that.)
$endgroup$
– Tyler Spaeth
Jun 17 '17 at 1:04
1
$begingroup$
If $x^2=4y$ then $g([x,y]) ={x/2}$ has only $1$ member.
$endgroup$
– DanielWainfleet
Jun 17 '17 at 2:04