Functions in $mathbb R^2$ and double limits in Compositions

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











up vote
0
down vote

favorite












I was looking at the double limits for two variable function in $mathbb R$, and so I decided to partition the set of all such functions into two disjoint subsets as follows:



$$mathbb F=f(x,y):(x,y) in mathbb R^2=mathbb F_i cup mathbb F_j quadquadquadquadquadquadquadquadquadquadquadquadquadquadquadquadquadquadquadquadquadquad,,(0)$$



$$mathbb F_i(f(X,Y))=Bigglf(x,y) in mathbb F:lim _xrightarrow X left( lim _yrightarrow Yf left( x,y
right) right) neq lim _yrightarrow Y left( lim _x
rightarrow X f left( x,y right) right)Biggr
quadquadquadquadquadquadquad(1)$$



$$mathbb F_j(f(X,Y))=Bigglf(x,y) in mathbb F:lim _xrightarrow X left( lim _yrightarrow Yf left( x,y
right) right) = lim _yrightarrow Y left( lim _x
rightarrow X f left( x,y right) right)Biggr
quadquadquadquadquadquadquad,(2)$$



Here are some examples of subsets of (1) and (2) for $X,Y=0,infty$:



$$ left frac 1xy,xy,rm e^xy,
rm e^-xy,ln left( xy right) ,tan left( xy right)
right subset mathbb F_i quadquadquadquadquadquadquadquadquad,quadquadquadquadquadquadquadquadquad(1e)$$



$$ left x^y,frac xy,frac yx,cos left( frac y
x right) ,sin left( frac yx right) ,tan left( frac x
y right) ,tan left( frac yx right) right
subset mathbb F_jquadquadquadquadquadquadquadquadquad,quadquadquad(2e)$$
And in observing the obvious trend that can be seen in these examples for many other functions, I made the following statements:



$$S_0:lim _xrightarrow X left( lim _yrightarrow Yg left( x,y
right) right) =lim _yrightarrow Y left( lim _xrightarrow X
g left( x,y right) right)$$



$$S_1: X=lim _yrightarrow YBigr(frac1YBigl), lor , X=lim _xrightarrow XBigr(frac1YBigl) $$
$$S_2:lim _xrightarrow X left( lim _yrightarrow Y(f(g left( x,y
)right)) right) =lim _yrightarrow Y left( lim _xrightarrow X
f(g left( x,y right)) right) $$



$$S_0 land S_1 Rightarrow S_2$$



So my first question is:



1) Are the above assertions always the case, and what functions serve as counter examples?



And my second question is:



2) Does there exist any such case examples for which $mathbb F_i neq ,$ is true but $S_1$ is false?







share|cite|improve this question





















  • Why use $i,j$ as subscripts?
    – zhw.
    Jul 24 at 19:32










  • what should I use?
    – Adam
    Jul 24 at 19:50














up vote
0
down vote

favorite












I was looking at the double limits for two variable function in $mathbb R$, and so I decided to partition the set of all such functions into two disjoint subsets as follows:



$$mathbb F=f(x,y):(x,y) in mathbb R^2=mathbb F_i cup mathbb F_j quadquadquadquadquadquadquadquadquadquadquadquadquadquadquadquadquadquadquadquadquadquad,,(0)$$



$$mathbb F_i(f(X,Y))=Bigglf(x,y) in mathbb F:lim _xrightarrow X left( lim _yrightarrow Yf left( x,y
right) right) neq lim _yrightarrow Y left( lim _x
rightarrow X f left( x,y right) right)Biggr
quadquadquadquadquadquadquad(1)$$



$$mathbb F_j(f(X,Y))=Bigglf(x,y) in mathbb F:lim _xrightarrow X left( lim _yrightarrow Yf left( x,y
right) right) = lim _yrightarrow Y left( lim _x
rightarrow X f left( x,y right) right)Biggr
quadquadquadquadquadquadquad,(2)$$



Here are some examples of subsets of (1) and (2) for $X,Y=0,infty$:



$$ left frac 1xy,xy,rm e^xy,
rm e^-xy,ln left( xy right) ,tan left( xy right)
right subset mathbb F_i quadquadquadquadquadquadquadquadquad,quadquadquadquadquadquadquadquadquad(1e)$$



$$ left x^y,frac xy,frac yx,cos left( frac y
x right) ,sin left( frac yx right) ,tan left( frac x
y right) ,tan left( frac yx right) right
subset mathbb F_jquadquadquadquadquadquadquadquadquad,quadquadquad(2e)$$
And in observing the obvious trend that can be seen in these examples for many other functions, I made the following statements:



$$S_0:lim _xrightarrow X left( lim _yrightarrow Yg left( x,y
right) right) =lim _yrightarrow Y left( lim _xrightarrow X
g left( x,y right) right)$$



$$S_1: X=lim _yrightarrow YBigr(frac1YBigl), lor , X=lim _xrightarrow XBigr(frac1YBigl) $$
$$S_2:lim _xrightarrow X left( lim _yrightarrow Y(f(g left( x,y
)right)) right) =lim _yrightarrow Y left( lim _xrightarrow X
f(g left( x,y right)) right) $$



$$S_0 land S_1 Rightarrow S_2$$



So my first question is:



1) Are the above assertions always the case, and what functions serve as counter examples?



And my second question is:



2) Does there exist any such case examples for which $mathbb F_i neq ,$ is true but $S_1$ is false?







share|cite|improve this question





















  • Why use $i,j$ as subscripts?
    – zhw.
    Jul 24 at 19:32










  • what should I use?
    – Adam
    Jul 24 at 19:50












up vote
0
down vote

favorite









up vote
0
down vote

favorite











I was looking at the double limits for two variable function in $mathbb R$, and so I decided to partition the set of all such functions into two disjoint subsets as follows:



$$mathbb F=f(x,y):(x,y) in mathbb R^2=mathbb F_i cup mathbb F_j quadquadquadquadquadquadquadquadquadquadquadquadquadquadquadquadquadquadquadquadquadquad,,(0)$$



$$mathbb F_i(f(X,Y))=Bigglf(x,y) in mathbb F:lim _xrightarrow X left( lim _yrightarrow Yf left( x,y
right) right) neq lim _yrightarrow Y left( lim _x
rightarrow X f left( x,y right) right)Biggr
quadquadquadquadquadquadquad(1)$$



$$mathbb F_j(f(X,Y))=Bigglf(x,y) in mathbb F:lim _xrightarrow X left( lim _yrightarrow Yf left( x,y
right) right) = lim _yrightarrow Y left( lim _x
rightarrow X f left( x,y right) right)Biggr
quadquadquadquadquadquadquad,(2)$$



Here are some examples of subsets of (1) and (2) for $X,Y=0,infty$:



$$ left frac 1xy,xy,rm e^xy,
rm e^-xy,ln left( xy right) ,tan left( xy right)
right subset mathbb F_i quadquadquadquadquadquadquadquadquad,quadquadquadquadquadquadquadquadquad(1e)$$



$$ left x^y,frac xy,frac yx,cos left( frac y
x right) ,sin left( frac yx right) ,tan left( frac x
y right) ,tan left( frac yx right) right
subset mathbb F_jquadquadquadquadquadquadquadquadquad,quadquadquad(2e)$$
And in observing the obvious trend that can be seen in these examples for many other functions, I made the following statements:



$$S_0:lim _xrightarrow X left( lim _yrightarrow Yg left( x,y
right) right) =lim _yrightarrow Y left( lim _xrightarrow X
g left( x,y right) right)$$



$$S_1: X=lim _yrightarrow YBigr(frac1YBigl), lor , X=lim _xrightarrow XBigr(frac1YBigl) $$
$$S_2:lim _xrightarrow X left( lim _yrightarrow Y(f(g left( x,y
)right)) right) =lim _yrightarrow Y left( lim _xrightarrow X
f(g left( x,y right)) right) $$



$$S_0 land S_1 Rightarrow S_2$$



So my first question is:



1) Are the above assertions always the case, and what functions serve as counter examples?



And my second question is:



2) Does there exist any such case examples for which $mathbb F_i neq ,$ is true but $S_1$ is false?







share|cite|improve this question













I was looking at the double limits for two variable function in $mathbb R$, and so I decided to partition the set of all such functions into two disjoint subsets as follows:



$$mathbb F=f(x,y):(x,y) in mathbb R^2=mathbb F_i cup mathbb F_j quadquadquadquadquadquadquadquadquadquadquadquadquadquadquadquadquadquadquadquadquadquad,,(0)$$



$$mathbb F_i(f(X,Y))=Bigglf(x,y) in mathbb F:lim _xrightarrow X left( lim _yrightarrow Yf left( x,y
right) right) neq lim _yrightarrow Y left( lim _x
rightarrow X f left( x,y right) right)Biggr
quadquadquadquadquadquadquad(1)$$



$$mathbb F_j(f(X,Y))=Bigglf(x,y) in mathbb F:lim _xrightarrow X left( lim _yrightarrow Yf left( x,y
right) right) = lim _yrightarrow Y left( lim _x
rightarrow X f left( x,y right) right)Biggr
quadquadquadquadquadquadquad,(2)$$



Here are some examples of subsets of (1) and (2) for $X,Y=0,infty$:



$$ left frac 1xy,xy,rm e^xy,
rm e^-xy,ln left( xy right) ,tan left( xy right)
right subset mathbb F_i quadquadquadquadquadquadquadquadquad,quadquadquadquadquadquadquadquadquad(1e)$$



$$ left x^y,frac xy,frac yx,cos left( frac y
x right) ,sin left( frac yx right) ,tan left( frac x
y right) ,tan left( frac yx right) right
subset mathbb F_jquadquadquadquadquadquadquadquadquad,quadquadquad(2e)$$
And in observing the obvious trend that can be seen in these examples for many other functions, I made the following statements:



$$S_0:lim _xrightarrow X left( lim _yrightarrow Yg left( x,y
right) right) =lim _yrightarrow Y left( lim _xrightarrow X
g left( x,y right) right)$$



$$S_1: X=lim _yrightarrow YBigr(frac1YBigl), lor , X=lim _xrightarrow XBigr(frac1YBigl) $$
$$S_2:lim _xrightarrow X left( lim _yrightarrow Y(f(g left( x,y
)right)) right) =lim _yrightarrow Y left( lim _xrightarrow X
f(g left( x,y right)) right) $$



$$S_0 land S_1 Rightarrow S_2$$



So my first question is:



1) Are the above assertions always the case, and what functions serve as counter examples?



And my second question is:



2) Does there exist any such case examples for which $mathbb F_i neq ,$ is true but $S_1$ is false?









share|cite|improve this question












share|cite|improve this question




share|cite|improve this question








edited Aug 2 at 11:57
























asked Jul 24 at 17:15









Adam

11411




11411











  • Why use $i,j$ as subscripts?
    – zhw.
    Jul 24 at 19:32










  • what should I use?
    – Adam
    Jul 24 at 19:50
















  • Why use $i,j$ as subscripts?
    – zhw.
    Jul 24 at 19:32










  • what should I use?
    – Adam
    Jul 24 at 19:50















Why use $i,j$ as subscripts?
– zhw.
Jul 24 at 19:32




Why use $i,j$ as subscripts?
– zhw.
Jul 24 at 19:32












what should I use?
– Adam
Jul 24 at 19:50




what should I use?
– Adam
Jul 24 at 19:50















active

oldest

votes











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%2f2861569%2ffunctions-in-mathbb-r2-and-double-limits-in-compositions%23new-answer', 'question_page');

);

Post as a guest



































active

oldest

votes













active

oldest

votes









active

oldest

votes






active

oldest

votes










 

draft saved


draft discarded


























 


draft saved


draft discarded














StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2861569%2ffunctions-in-mathbb-r2-and-double-limits-in-compositions%23new-answer', 'question_page');

);

Post as a guest













































































Comments

Popular posts from this blog

What is the equation of a 3D cone with generalised tilt?

Color the edges and diagonals of a regular polygon

Relationship between determinant of matrix and determinant of adjoint?