Is there a generalized way to find an inverse of a function defined as a sum (if the inverse exists)?
$begingroup$
Suppose I had a summation for a monotonic increasing function, like $f(n)=sum_{k=1}^{n}k$. We already know this has a closed form solution in the form of $frac{n(n+1)}{2}$. If you want to find $n$, you could use the quadratic formula. But, what if you didn't know the closed formula? What if all you knew was some $sum_{k=1}^{n}g(k)$? Is there some way to invert this process to find $n$ like with $g^{-1}(n)$?
summation inverse
$endgroup$
add a comment |
$begingroup$
Suppose I had a summation for a monotonic increasing function, like $f(n)=sum_{k=1}^{n}k$. We already know this has a closed form solution in the form of $frac{n(n+1)}{2}$. If you want to find $n$, you could use the quadratic formula. But, what if you didn't know the closed formula? What if all you knew was some $sum_{k=1}^{n}g(k)$? Is there some way to invert this process to find $n$ like with $g^{-1}(n)$?
summation inverse
$endgroup$
add a comment |
$begingroup$
Suppose I had a summation for a monotonic increasing function, like $f(n)=sum_{k=1}^{n}k$. We already know this has a closed form solution in the form of $frac{n(n+1)}{2}$. If you want to find $n$, you could use the quadratic formula. But, what if you didn't know the closed formula? What if all you knew was some $sum_{k=1}^{n}g(k)$? Is there some way to invert this process to find $n$ like with $g^{-1}(n)$?
summation inverse
$endgroup$
Suppose I had a summation for a monotonic increasing function, like $f(n)=sum_{k=1}^{n}k$. We already know this has a closed form solution in the form of $frac{n(n+1)}{2}$. If you want to find $n$, you could use the quadratic formula. But, what if you didn't know the closed formula? What if all you knew was some $sum_{k=1}^{n}g(k)$? Is there some way to invert this process to find $n$ like with $g^{-1}(n)$?
summation inverse
summation inverse
edited Jan 2 at 20:58
user14554
asked Jan 2 at 8:13
user14554user14554
446
446
add a comment |
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
It's possible to find many inverses of a sum. for example, if a+b=10, then $1+9$, $2+8$, $3+7$, $4+6$, $5+5$ are all solutions to the equation and there's also many negative solutions like $(-1)+11$.
Good way to think about this, is that given 10 length sequence of successors, you split the sequence to two parts and the cut point is arbitrarily chosen, thus 0+10, 1+9, 2+8 etc are all good working solutions.
So steps to solve this kind of problems($a+b=c$):
- take $c$
- split it to successors $1+1+1+..+1$
- split the successors to many groups: $(1+1+1)+(1+1+1+1+1)$
- mark the groups as variables $a+b$
Now, to get more complexity, we should do $f(x)+f(y)+f(z)=d$, would become
$$ d mapsto (a+b+c) mapsto (a,b,c) mapsto (f^{-1}(a),f^{-1}(b),f^{-1}(c)) mapsto (x=f^{-1}(a),y=f^{-1}(b),z=f^{-1}(c))$$
i.e. after finding $a,b,c$ for solutions to $a+b+c=d$, just apply inverse of the function.
Now if you have something like $f(1)+f(2)+f(3)=d$, then we need to use the previous logic, and add just ${x=1,y=2,z=3}$ to get $(f^{-1}(a)=1, f^{-1}(b)=2, f^{-1}(c)=3)$.
$endgroup$
$begingroup$
"It's possible to find many inverses of a sum" is a contradiction, isn't it? If I have defined a function, then an inverse must be unique if the function has an inverse. I suppose I could specify that: suppose the function is monotonic and increasing with consecutive indices.
$endgroup$
– user14554
Jan 2 at 20:57
1
$begingroup$
It's not a contradiction, but it's just an informal and straightforward way to say that it does not have a uniquely defined inverse function, only a preimage (fiber).
$endgroup$
– Niki Di Giano
Jan 2 at 21:18
add a comment |
Your Answer
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%2f3059232%2fis-there-a-generalized-way-to-find-an-inverse-of-a-function-defined-as-a-sum-if%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$
It's possible to find many inverses of a sum. for example, if a+b=10, then $1+9$, $2+8$, $3+7$, $4+6$, $5+5$ are all solutions to the equation and there's also many negative solutions like $(-1)+11$.
Good way to think about this, is that given 10 length sequence of successors, you split the sequence to two parts and the cut point is arbitrarily chosen, thus 0+10, 1+9, 2+8 etc are all good working solutions.
So steps to solve this kind of problems($a+b=c$):
- take $c$
- split it to successors $1+1+1+..+1$
- split the successors to many groups: $(1+1+1)+(1+1+1+1+1)$
- mark the groups as variables $a+b$
Now, to get more complexity, we should do $f(x)+f(y)+f(z)=d$, would become
$$ d mapsto (a+b+c) mapsto (a,b,c) mapsto (f^{-1}(a),f^{-1}(b),f^{-1}(c)) mapsto (x=f^{-1}(a),y=f^{-1}(b),z=f^{-1}(c))$$
i.e. after finding $a,b,c$ for solutions to $a+b+c=d$, just apply inverse of the function.
Now if you have something like $f(1)+f(2)+f(3)=d$, then we need to use the previous logic, and add just ${x=1,y=2,z=3}$ to get $(f^{-1}(a)=1, f^{-1}(b)=2, f^{-1}(c)=3)$.
$endgroup$
$begingroup$
"It's possible to find many inverses of a sum" is a contradiction, isn't it? If I have defined a function, then an inverse must be unique if the function has an inverse. I suppose I could specify that: suppose the function is monotonic and increasing with consecutive indices.
$endgroup$
– user14554
Jan 2 at 20:57
1
$begingroup$
It's not a contradiction, but it's just an informal and straightforward way to say that it does not have a uniquely defined inverse function, only a preimage (fiber).
$endgroup$
– Niki Di Giano
Jan 2 at 21:18
add a comment |
$begingroup$
It's possible to find many inverses of a sum. for example, if a+b=10, then $1+9$, $2+8$, $3+7$, $4+6$, $5+5$ are all solutions to the equation and there's also many negative solutions like $(-1)+11$.
Good way to think about this, is that given 10 length sequence of successors, you split the sequence to two parts and the cut point is arbitrarily chosen, thus 0+10, 1+9, 2+8 etc are all good working solutions.
So steps to solve this kind of problems($a+b=c$):
- take $c$
- split it to successors $1+1+1+..+1$
- split the successors to many groups: $(1+1+1)+(1+1+1+1+1)$
- mark the groups as variables $a+b$
Now, to get more complexity, we should do $f(x)+f(y)+f(z)=d$, would become
$$ d mapsto (a+b+c) mapsto (a,b,c) mapsto (f^{-1}(a),f^{-1}(b),f^{-1}(c)) mapsto (x=f^{-1}(a),y=f^{-1}(b),z=f^{-1}(c))$$
i.e. after finding $a,b,c$ for solutions to $a+b+c=d$, just apply inverse of the function.
Now if you have something like $f(1)+f(2)+f(3)=d$, then we need to use the previous logic, and add just ${x=1,y=2,z=3}$ to get $(f^{-1}(a)=1, f^{-1}(b)=2, f^{-1}(c)=3)$.
$endgroup$
$begingroup$
"It's possible to find many inverses of a sum" is a contradiction, isn't it? If I have defined a function, then an inverse must be unique if the function has an inverse. I suppose I could specify that: suppose the function is monotonic and increasing with consecutive indices.
$endgroup$
– user14554
Jan 2 at 20:57
1
$begingroup$
It's not a contradiction, but it's just an informal and straightforward way to say that it does not have a uniquely defined inverse function, only a preimage (fiber).
$endgroup$
– Niki Di Giano
Jan 2 at 21:18
add a comment |
$begingroup$
It's possible to find many inverses of a sum. for example, if a+b=10, then $1+9$, $2+8$, $3+7$, $4+6$, $5+5$ are all solutions to the equation and there's also many negative solutions like $(-1)+11$.
Good way to think about this, is that given 10 length sequence of successors, you split the sequence to two parts and the cut point is arbitrarily chosen, thus 0+10, 1+9, 2+8 etc are all good working solutions.
So steps to solve this kind of problems($a+b=c$):
- take $c$
- split it to successors $1+1+1+..+1$
- split the successors to many groups: $(1+1+1)+(1+1+1+1+1)$
- mark the groups as variables $a+b$
Now, to get more complexity, we should do $f(x)+f(y)+f(z)=d$, would become
$$ d mapsto (a+b+c) mapsto (a,b,c) mapsto (f^{-1}(a),f^{-1}(b),f^{-1}(c)) mapsto (x=f^{-1}(a),y=f^{-1}(b),z=f^{-1}(c))$$
i.e. after finding $a,b,c$ for solutions to $a+b+c=d$, just apply inverse of the function.
Now if you have something like $f(1)+f(2)+f(3)=d$, then we need to use the previous logic, and add just ${x=1,y=2,z=3}$ to get $(f^{-1}(a)=1, f^{-1}(b)=2, f^{-1}(c)=3)$.
$endgroup$
It's possible to find many inverses of a sum. for example, if a+b=10, then $1+9$, $2+8$, $3+7$, $4+6$, $5+5$ are all solutions to the equation and there's also many negative solutions like $(-1)+11$.
Good way to think about this, is that given 10 length sequence of successors, you split the sequence to two parts and the cut point is arbitrarily chosen, thus 0+10, 1+9, 2+8 etc are all good working solutions.
So steps to solve this kind of problems($a+b=c$):
- take $c$
- split it to successors $1+1+1+..+1$
- split the successors to many groups: $(1+1+1)+(1+1+1+1+1)$
- mark the groups as variables $a+b$
Now, to get more complexity, we should do $f(x)+f(y)+f(z)=d$, would become
$$ d mapsto (a+b+c) mapsto (a,b,c) mapsto (f^{-1}(a),f^{-1}(b),f^{-1}(c)) mapsto (x=f^{-1}(a),y=f^{-1}(b),z=f^{-1}(c))$$
i.e. after finding $a,b,c$ for solutions to $a+b+c=d$, just apply inverse of the function.
Now if you have something like $f(1)+f(2)+f(3)=d$, then we need to use the previous logic, and add just ${x=1,y=2,z=3}$ to get $(f^{-1}(a)=1, f^{-1}(b)=2, f^{-1}(c)=3)$.
edited Jan 2 at 10:27
answered Jan 2 at 9:51
tp1tp1
34648
34648
$begingroup$
"It's possible to find many inverses of a sum" is a contradiction, isn't it? If I have defined a function, then an inverse must be unique if the function has an inverse. I suppose I could specify that: suppose the function is monotonic and increasing with consecutive indices.
$endgroup$
– user14554
Jan 2 at 20:57
1
$begingroup$
It's not a contradiction, but it's just an informal and straightforward way to say that it does not have a uniquely defined inverse function, only a preimage (fiber).
$endgroup$
– Niki Di Giano
Jan 2 at 21:18
add a comment |
$begingroup$
"It's possible to find many inverses of a sum" is a contradiction, isn't it? If I have defined a function, then an inverse must be unique if the function has an inverse. I suppose I could specify that: suppose the function is monotonic and increasing with consecutive indices.
$endgroup$
– user14554
Jan 2 at 20:57
1
$begingroup$
It's not a contradiction, but it's just an informal and straightforward way to say that it does not have a uniquely defined inverse function, only a preimage (fiber).
$endgroup$
– Niki Di Giano
Jan 2 at 21:18
$begingroup$
"It's possible to find many inverses of a sum" is a contradiction, isn't it? If I have defined a function, then an inverse must be unique if the function has an inverse. I suppose I could specify that: suppose the function is monotonic and increasing with consecutive indices.
$endgroup$
– user14554
Jan 2 at 20:57
$begingroup$
"It's possible to find many inverses of a sum" is a contradiction, isn't it? If I have defined a function, then an inverse must be unique if the function has an inverse. I suppose I could specify that: suppose the function is monotonic and increasing with consecutive indices.
$endgroup$
– user14554
Jan 2 at 20:57
1
1
$begingroup$
It's not a contradiction, but it's just an informal and straightforward way to say that it does not have a uniquely defined inverse function, only a preimage (fiber).
$endgroup$
– Niki Di Giano
Jan 2 at 21:18
$begingroup$
It's not a contradiction, but it's just an informal and straightforward way to say that it does not have a uniquely defined inverse function, only a preimage (fiber).
$endgroup$
– Niki Di Giano
Jan 2 at 21:18
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%2f3059232%2fis-there-a-generalized-way-to-find-an-inverse-of-a-function-defined-as-a-sum-if%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