Is this “inverse the limit” process right?

The name of the pictureThe name of the pictureThe name of the pictureClash Royale CLAN TAG#URR8PPP











up vote
10
down vote

favorite
2












Suppose you have two (nice enough) functions $f$ and $g$ and a constant $lambda$ such that $$lim_xtoinftyfracf(x)g(x)=lambda$$
Is it true that $$lim_xtoinftyfracf^-1(x)g^-1(x/lambda)=1$$



The "reasoning" goes like this: $$fracf(x)g(x)approxlambda$$ $$f(x)approxlambda g(x)$$ $$xapprox f^-1(lambda g(x))$$ $$g^-1(x/lambda)approx f^-1(x)$$ $$fracf^-1(x)g^-1(x/lambda)approx 1$$



all of this supposing there is no problem in $xmapsto f^-1(x)$ and $xmapsto g^-1(x/lambda)$



I think assuming "nice enough" (continuity, inverse, ...) and being a bit more precise like $$f(x)=lambda g(x)+o(g(x))$$ will prove the statement.



What I'm more interested in is under what conditions does it remain true in discrete variable (and non-existing inverse function for $f$ or $g$ or both)



Thanks!










share|cite|improve this question























  • Why do you have $n$ in the limit?
    – Thomas Andrews
    Aug 18 at 23:28






  • 6




    Where does $g^-1(x/lambda)approx f^-1(x)$ come from?
    – Jack M
    Aug 19 at 0:36










  • @ThomasAndrews thanks! i wanted to write $x$
    – Pedro
    Aug 19 at 1:05










  • @JackM from setting $xmapsto g^-1(x/lambda )$
    – Pedro
    Aug 19 at 1:06










  • @Pedro I don't understand what that means. We have $g(x)approx fracf(x)lambda$, but not $g(x)approxfrac xlambda$
    – Jack M
    Aug 19 at 10:35















up vote
10
down vote

favorite
2












Suppose you have two (nice enough) functions $f$ and $g$ and a constant $lambda$ such that $$lim_xtoinftyfracf(x)g(x)=lambda$$
Is it true that $$lim_xtoinftyfracf^-1(x)g^-1(x/lambda)=1$$



The "reasoning" goes like this: $$fracf(x)g(x)approxlambda$$ $$f(x)approxlambda g(x)$$ $$xapprox f^-1(lambda g(x))$$ $$g^-1(x/lambda)approx f^-1(x)$$ $$fracf^-1(x)g^-1(x/lambda)approx 1$$



all of this supposing there is no problem in $xmapsto f^-1(x)$ and $xmapsto g^-1(x/lambda)$



I think assuming "nice enough" (continuity, inverse, ...) and being a bit more precise like $$f(x)=lambda g(x)+o(g(x))$$ will prove the statement.



What I'm more interested in is under what conditions does it remain true in discrete variable (and non-existing inverse function for $f$ or $g$ or both)



Thanks!










share|cite|improve this question























  • Why do you have $n$ in the limit?
    – Thomas Andrews
    Aug 18 at 23:28






  • 6




    Where does $g^-1(x/lambda)approx f^-1(x)$ come from?
    – Jack M
    Aug 19 at 0:36










  • @ThomasAndrews thanks! i wanted to write $x$
    – Pedro
    Aug 19 at 1:05










  • @JackM from setting $xmapsto g^-1(x/lambda )$
    – Pedro
    Aug 19 at 1:06










  • @Pedro I don't understand what that means. We have $g(x)approx fracf(x)lambda$, but not $g(x)approxfrac xlambda$
    – Jack M
    Aug 19 at 10:35













up vote
10
down vote

favorite
2









up vote
10
down vote

favorite
2






2





Suppose you have two (nice enough) functions $f$ and $g$ and a constant $lambda$ such that $$lim_xtoinftyfracf(x)g(x)=lambda$$
Is it true that $$lim_xtoinftyfracf^-1(x)g^-1(x/lambda)=1$$



The "reasoning" goes like this: $$fracf(x)g(x)approxlambda$$ $$f(x)approxlambda g(x)$$ $$xapprox f^-1(lambda g(x))$$ $$g^-1(x/lambda)approx f^-1(x)$$ $$fracf^-1(x)g^-1(x/lambda)approx 1$$



all of this supposing there is no problem in $xmapsto f^-1(x)$ and $xmapsto g^-1(x/lambda)$



I think assuming "nice enough" (continuity, inverse, ...) and being a bit more precise like $$f(x)=lambda g(x)+o(g(x))$$ will prove the statement.



What I'm more interested in is under what conditions does it remain true in discrete variable (and non-existing inverse function for $f$ or $g$ or both)



Thanks!










share|cite|improve this question















Suppose you have two (nice enough) functions $f$ and $g$ and a constant $lambda$ such that $$lim_xtoinftyfracf(x)g(x)=lambda$$
Is it true that $$lim_xtoinftyfracf^-1(x)g^-1(x/lambda)=1$$



The "reasoning" goes like this: $$fracf(x)g(x)approxlambda$$ $$f(x)approxlambda g(x)$$ $$xapprox f^-1(lambda g(x))$$ $$g^-1(x/lambda)approx f^-1(x)$$ $$fracf^-1(x)g^-1(x/lambda)approx 1$$



all of this supposing there is no problem in $xmapsto f^-1(x)$ and $xmapsto g^-1(x/lambda)$



I think assuming "nice enough" (continuity, inverse, ...) and being a bit more precise like $$f(x)=lambda g(x)+o(g(x))$$ will prove the statement.



What I'm more interested in is under what conditions does it remain true in discrete variable (and non-existing inverse function for $f$ or $g$ or both)



Thanks!







real-analysis limits






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Aug 19 at 1:04

























asked Aug 18 at 23:23









Pedro

474212




474212











  • Why do you have $n$ in the limit?
    – Thomas Andrews
    Aug 18 at 23:28






  • 6




    Where does $g^-1(x/lambda)approx f^-1(x)$ come from?
    – Jack M
    Aug 19 at 0:36










  • @ThomasAndrews thanks! i wanted to write $x$
    – Pedro
    Aug 19 at 1:05










  • @JackM from setting $xmapsto g^-1(x/lambda )$
    – Pedro
    Aug 19 at 1:06










  • @Pedro I don't understand what that means. We have $g(x)approx fracf(x)lambda$, but not $g(x)approxfrac xlambda$
    – Jack M
    Aug 19 at 10:35

















  • Why do you have $n$ in the limit?
    – Thomas Andrews
    Aug 18 at 23:28






  • 6




    Where does $g^-1(x/lambda)approx f^-1(x)$ come from?
    – Jack M
    Aug 19 at 0:36










  • @ThomasAndrews thanks! i wanted to write $x$
    – Pedro
    Aug 19 at 1:05










  • @JackM from setting $xmapsto g^-1(x/lambda )$
    – Pedro
    Aug 19 at 1:06










  • @Pedro I don't understand what that means. We have $g(x)approx fracf(x)lambda$, but not $g(x)approxfrac xlambda$
    – Jack M
    Aug 19 at 10:35
















Why do you have $n$ in the limit?
– Thomas Andrews
Aug 18 at 23:28




Why do you have $n$ in the limit?
– Thomas Andrews
Aug 18 at 23:28




6




6




Where does $g^-1(x/lambda)approx f^-1(x)$ come from?
– Jack M
Aug 19 at 0:36




Where does $g^-1(x/lambda)approx f^-1(x)$ come from?
– Jack M
Aug 19 at 0:36












@ThomasAndrews thanks! i wanted to write $x$
– Pedro
Aug 19 at 1:05




@ThomasAndrews thanks! i wanted to write $x$
– Pedro
Aug 19 at 1:05












@JackM from setting $xmapsto g^-1(x/lambda )$
– Pedro
Aug 19 at 1:06




@JackM from setting $xmapsto g^-1(x/lambda )$
– Pedro
Aug 19 at 1:06












@Pedro I don't understand what that means. We have $g(x)approx fracf(x)lambda$, but not $g(x)approxfrac xlambda$
– Jack M
Aug 19 at 10:35





@Pedro I don't understand what that means. We have $g(x)approx fracf(x)lambda$, but not $g(x)approxfrac xlambda$
– Jack M
Aug 19 at 10:35











1 Answer
1






active

oldest

votes

















up vote
17
down vote



accepted










No. If you take $f(x) = log(x)$ and $g(x) = log(x)-1$ and $lambda = 1$ then :



$$ undersetxrightarrowinftylimfracf(x)g(x) = 1 $$



But :



$$ fracf^-1(x)g^-1(x) = frace^xe^x+1 = e^-1 neq 1$$






share|cite|improve this answer




















  • Nice counterexample! Thanks
    – Pedro
    Aug 19 at 1:10










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',
convertImagesToLinks: true,
noModals: false,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
);



);













 

draft saved


draft discarded


















StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2887205%2fis-this-inverse-the-limit-process-right%23new-answer', 'question_page');

);

Post as a guest






























1 Answer
1






active

oldest

votes








1 Answer
1






active

oldest

votes









active

oldest

votes






active

oldest

votes








up vote
17
down vote



accepted










No. If you take $f(x) = log(x)$ and $g(x) = log(x)-1$ and $lambda = 1$ then :



$$ undersetxrightarrowinftylimfracf(x)g(x) = 1 $$



But :



$$ fracf^-1(x)g^-1(x) = frace^xe^x+1 = e^-1 neq 1$$






share|cite|improve this answer




















  • Nice counterexample! Thanks
    – Pedro
    Aug 19 at 1:10














up vote
17
down vote



accepted










No. If you take $f(x) = log(x)$ and $g(x) = log(x)-1$ and $lambda = 1$ then :



$$ undersetxrightarrowinftylimfracf(x)g(x) = 1 $$



But :



$$ fracf^-1(x)g^-1(x) = frace^xe^x+1 = e^-1 neq 1$$






share|cite|improve this answer




















  • Nice counterexample! Thanks
    – Pedro
    Aug 19 at 1:10












up vote
17
down vote



accepted







up vote
17
down vote



accepted






No. If you take $f(x) = log(x)$ and $g(x) = log(x)-1$ and $lambda = 1$ then :



$$ undersetxrightarrowinftylimfracf(x)g(x) = 1 $$



But :



$$ fracf^-1(x)g^-1(x) = frace^xe^x+1 = e^-1 neq 1$$






share|cite|improve this answer












No. If you take $f(x) = log(x)$ and $g(x) = log(x)-1$ and $lambda = 1$ then :



$$ undersetxrightarrowinftylimfracf(x)g(x) = 1 $$



But :



$$ fracf^-1(x)g^-1(x) = frace^xe^x+1 = e^-1 neq 1$$







share|cite|improve this answer












share|cite|improve this answer



share|cite|improve this answer










answered Aug 18 at 23:35









tmaths

1,336113




1,336113











  • Nice counterexample! Thanks
    – Pedro
    Aug 19 at 1:10
















  • Nice counterexample! Thanks
    – Pedro
    Aug 19 at 1:10















Nice counterexample! Thanks
– Pedro
Aug 19 at 1:10




Nice counterexample! Thanks
– Pedro
Aug 19 at 1:10

















 

draft saved


draft discarded















































 


draft saved


draft discarded














StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2887205%2fis-this-inverse-the-limit-process-right%23new-answer', 'question_page');

);

Post as a guest













































































Popular posts from this blog

Peggy Mitchell

Palaiologos

The Forum (Inglewood, California)