Image preservation of Linear Transformation
Clash Royale CLAN TAG#URR8PPP
up vote
1
down vote
favorite
This might sound quite trivial. Let $mathbfx = beginpmatrixx_1,ldots,x_N endpmatrix^top$ which takes on values on the $N$-dimensional orthant $mathcalO_N = [0,infty)^N$. If $mathbfy$ is linear transformation of $mathbfx$ defined as $mathbfy = mathbfAmathbfx$ where $mathbfA$ is an $Ntimes N$ transformation matrix (i.e., invertible),
$mathbf1.$ is the image still $mathcalO_N$?
$mathbf2.$ If no, is there a necessary and sufficient condition in $mathbfA$ for the the image to be preserved?
Context: Currently working on multivariate integration involving change-of-variables resulting to change in domain of integration.
linear-algebra linear-transformations analytic-geometry
add a comment |Â
up vote
1
down vote
favorite
This might sound quite trivial. Let $mathbfx = beginpmatrixx_1,ldots,x_N endpmatrix^top$ which takes on values on the $N$-dimensional orthant $mathcalO_N = [0,infty)^N$. If $mathbfy$ is linear transformation of $mathbfx$ defined as $mathbfy = mathbfAmathbfx$ where $mathbfA$ is an $Ntimes N$ transformation matrix (i.e., invertible),
$mathbf1.$ is the image still $mathcalO_N$?
$mathbf2.$ If no, is there a necessary and sufficient condition in $mathbfA$ for the the image to be preserved?
Context: Currently working on multivariate integration involving change-of-variables resulting to change in domain of integration.
linear-algebra linear-transformations analytic-geometry
add a comment |Â
up vote
1
down vote
favorite
up vote
1
down vote
favorite
This might sound quite trivial. Let $mathbfx = beginpmatrixx_1,ldots,x_N endpmatrix^top$ which takes on values on the $N$-dimensional orthant $mathcalO_N = [0,infty)^N$. If $mathbfy$ is linear transformation of $mathbfx$ defined as $mathbfy = mathbfAmathbfx$ where $mathbfA$ is an $Ntimes N$ transformation matrix (i.e., invertible),
$mathbf1.$ is the image still $mathcalO_N$?
$mathbf2.$ If no, is there a necessary and sufficient condition in $mathbfA$ for the the image to be preserved?
Context: Currently working on multivariate integration involving change-of-variables resulting to change in domain of integration.
linear-algebra linear-transformations analytic-geometry
This might sound quite trivial. Let $mathbfx = beginpmatrixx_1,ldots,x_N endpmatrix^top$ which takes on values on the $N$-dimensional orthant $mathcalO_N = [0,infty)^N$. If $mathbfy$ is linear transformation of $mathbfx$ defined as $mathbfy = mathbfAmathbfx$ where $mathbfA$ is an $Ntimes N$ transformation matrix (i.e., invertible),
$mathbf1.$ is the image still $mathcalO_N$?
$mathbf2.$ If no, is there a necessary and sufficient condition in $mathbfA$ for the the image to be preserved?
Context: Currently working on multivariate integration involving change-of-variables resulting to change in domain of integration.
linear-algebra linear-transformations analytic-geometry
linear-algebra linear-transformations analytic-geometry
asked Sep 2 at 9:48
venrey
13811
13811
add a comment |Â
add a comment |Â
1 Answer
1
active
oldest
votes
up vote
2
down vote
No, in general the image is not $mathcalO_N$. This is easy to see, for example take $N=2$ and $A$ to be the standard rotation matrix:
$$beginbmatrix
costheta & -sintheta \
sintheta & costheta \
endbmatrix
$$
Here, if you put $theta = 90^circ$, then the image is completely disjoint from $mathcalO_N$. Or you can use the shear matrix to obtain situations where the image is strictly contained in $mathcalO_N$ or will strictly contain $mathcalO_N$.
For your second question, it is easy to detect if the image is contained in $mathcalO_N$. To check that, we just need to check if all the basis vectors of $mathcalO_N$ land in $mathcalO_N$.
To check if the image is exactly $mathcalO_N$, we'll have to check whether every element of $mathcalO_N$ (or at least the basis) has a preimage which will be no different than looking at the image of $mathcalO_N$ and comparing.
This is quite insightful. Mind if I ask, what would happen if $mathbfA$ is positive definite? Would it suffice for preservation of image?
â venrey
Sep 2 at 10:25
I mean $mathcalO_N$ where I accidentally wrote $mathcal0_N$ in my previous comment.
â Ekanshdeep Gupta
Sep 2 at 13:04
Can you formalize the proof when you say "If $mathbfA$ is positive definite, then image will be contained in $mathcalO_N$" ?
â venrey
Sep 2 at 15:27
Oh, I apologize. That statement isn't true. Example, you can take A to be the rotation matrix as in my answer with $0^circ < theta < 90^circ$, and it will be positive definite. But the image won't lie in $mathcalO_N$. I'm sorry for creating a misunderstanding. I'll remove my previous, extremely inaccurate comment now.
â Ekanshdeep Gupta
Sep 2 at 18:04
It's okay. I think I have the solution now. Your answer gave me an idea by considering eigendecomposition of $mathbfA$.
â venrey
Sep 3 at 2:12
add a comment |Â
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
up vote
2
down vote
No, in general the image is not $mathcalO_N$. This is easy to see, for example take $N=2$ and $A$ to be the standard rotation matrix:
$$beginbmatrix
costheta & -sintheta \
sintheta & costheta \
endbmatrix
$$
Here, if you put $theta = 90^circ$, then the image is completely disjoint from $mathcalO_N$. Or you can use the shear matrix to obtain situations where the image is strictly contained in $mathcalO_N$ or will strictly contain $mathcalO_N$.
For your second question, it is easy to detect if the image is contained in $mathcalO_N$. To check that, we just need to check if all the basis vectors of $mathcalO_N$ land in $mathcalO_N$.
To check if the image is exactly $mathcalO_N$, we'll have to check whether every element of $mathcalO_N$ (or at least the basis) has a preimage which will be no different than looking at the image of $mathcalO_N$ and comparing.
This is quite insightful. Mind if I ask, what would happen if $mathbfA$ is positive definite? Would it suffice for preservation of image?
â venrey
Sep 2 at 10:25
I mean $mathcalO_N$ where I accidentally wrote $mathcal0_N$ in my previous comment.
â Ekanshdeep Gupta
Sep 2 at 13:04
Can you formalize the proof when you say "If $mathbfA$ is positive definite, then image will be contained in $mathcalO_N$" ?
â venrey
Sep 2 at 15:27
Oh, I apologize. That statement isn't true. Example, you can take A to be the rotation matrix as in my answer with $0^circ < theta < 90^circ$, and it will be positive definite. But the image won't lie in $mathcalO_N$. I'm sorry for creating a misunderstanding. I'll remove my previous, extremely inaccurate comment now.
â Ekanshdeep Gupta
Sep 2 at 18:04
It's okay. I think I have the solution now. Your answer gave me an idea by considering eigendecomposition of $mathbfA$.
â venrey
Sep 3 at 2:12
add a comment |Â
up vote
2
down vote
No, in general the image is not $mathcalO_N$. This is easy to see, for example take $N=2$ and $A$ to be the standard rotation matrix:
$$beginbmatrix
costheta & -sintheta \
sintheta & costheta \
endbmatrix
$$
Here, if you put $theta = 90^circ$, then the image is completely disjoint from $mathcalO_N$. Or you can use the shear matrix to obtain situations where the image is strictly contained in $mathcalO_N$ or will strictly contain $mathcalO_N$.
For your second question, it is easy to detect if the image is contained in $mathcalO_N$. To check that, we just need to check if all the basis vectors of $mathcalO_N$ land in $mathcalO_N$.
To check if the image is exactly $mathcalO_N$, we'll have to check whether every element of $mathcalO_N$ (or at least the basis) has a preimage which will be no different than looking at the image of $mathcalO_N$ and comparing.
This is quite insightful. Mind if I ask, what would happen if $mathbfA$ is positive definite? Would it suffice for preservation of image?
â venrey
Sep 2 at 10:25
I mean $mathcalO_N$ where I accidentally wrote $mathcal0_N$ in my previous comment.
â Ekanshdeep Gupta
Sep 2 at 13:04
Can you formalize the proof when you say "If $mathbfA$ is positive definite, then image will be contained in $mathcalO_N$" ?
â venrey
Sep 2 at 15:27
Oh, I apologize. That statement isn't true. Example, you can take A to be the rotation matrix as in my answer with $0^circ < theta < 90^circ$, and it will be positive definite. But the image won't lie in $mathcalO_N$. I'm sorry for creating a misunderstanding. I'll remove my previous, extremely inaccurate comment now.
â Ekanshdeep Gupta
Sep 2 at 18:04
It's okay. I think I have the solution now. Your answer gave me an idea by considering eigendecomposition of $mathbfA$.
â venrey
Sep 3 at 2:12
add a comment |Â
up vote
2
down vote
up vote
2
down vote
No, in general the image is not $mathcalO_N$. This is easy to see, for example take $N=2$ and $A$ to be the standard rotation matrix:
$$beginbmatrix
costheta & -sintheta \
sintheta & costheta \
endbmatrix
$$
Here, if you put $theta = 90^circ$, then the image is completely disjoint from $mathcalO_N$. Or you can use the shear matrix to obtain situations where the image is strictly contained in $mathcalO_N$ or will strictly contain $mathcalO_N$.
For your second question, it is easy to detect if the image is contained in $mathcalO_N$. To check that, we just need to check if all the basis vectors of $mathcalO_N$ land in $mathcalO_N$.
To check if the image is exactly $mathcalO_N$, we'll have to check whether every element of $mathcalO_N$ (or at least the basis) has a preimage which will be no different than looking at the image of $mathcalO_N$ and comparing.
No, in general the image is not $mathcalO_N$. This is easy to see, for example take $N=2$ and $A$ to be the standard rotation matrix:
$$beginbmatrix
costheta & -sintheta \
sintheta & costheta \
endbmatrix
$$
Here, if you put $theta = 90^circ$, then the image is completely disjoint from $mathcalO_N$. Or you can use the shear matrix to obtain situations where the image is strictly contained in $mathcalO_N$ or will strictly contain $mathcalO_N$.
For your second question, it is easy to detect if the image is contained in $mathcalO_N$. To check that, we just need to check if all the basis vectors of $mathcalO_N$ land in $mathcalO_N$.
To check if the image is exactly $mathcalO_N$, we'll have to check whether every element of $mathcalO_N$ (or at least the basis) has a preimage which will be no different than looking at the image of $mathcalO_N$ and comparing.
answered Sep 2 at 10:02
Ekanshdeep Gupta
4816
4816
This is quite insightful. Mind if I ask, what would happen if $mathbfA$ is positive definite? Would it suffice for preservation of image?
â venrey
Sep 2 at 10:25
I mean $mathcalO_N$ where I accidentally wrote $mathcal0_N$ in my previous comment.
â Ekanshdeep Gupta
Sep 2 at 13:04
Can you formalize the proof when you say "If $mathbfA$ is positive definite, then image will be contained in $mathcalO_N$" ?
â venrey
Sep 2 at 15:27
Oh, I apologize. That statement isn't true. Example, you can take A to be the rotation matrix as in my answer with $0^circ < theta < 90^circ$, and it will be positive definite. But the image won't lie in $mathcalO_N$. I'm sorry for creating a misunderstanding. I'll remove my previous, extremely inaccurate comment now.
â Ekanshdeep Gupta
Sep 2 at 18:04
It's okay. I think I have the solution now. Your answer gave me an idea by considering eigendecomposition of $mathbfA$.
â venrey
Sep 3 at 2:12
add a comment |Â
This is quite insightful. Mind if I ask, what would happen if $mathbfA$ is positive definite? Would it suffice for preservation of image?
â venrey
Sep 2 at 10:25
I mean $mathcalO_N$ where I accidentally wrote $mathcal0_N$ in my previous comment.
â Ekanshdeep Gupta
Sep 2 at 13:04
Can you formalize the proof when you say "If $mathbfA$ is positive definite, then image will be contained in $mathcalO_N$" ?
â venrey
Sep 2 at 15:27
Oh, I apologize. That statement isn't true. Example, you can take A to be the rotation matrix as in my answer with $0^circ < theta < 90^circ$, and it will be positive definite. But the image won't lie in $mathcalO_N$. I'm sorry for creating a misunderstanding. I'll remove my previous, extremely inaccurate comment now.
â Ekanshdeep Gupta
Sep 2 at 18:04
It's okay. I think I have the solution now. Your answer gave me an idea by considering eigendecomposition of $mathbfA$.
â venrey
Sep 3 at 2:12
This is quite insightful. Mind if I ask, what would happen if $mathbfA$ is positive definite? Would it suffice for preservation of image?
â venrey
Sep 2 at 10:25
This is quite insightful. Mind if I ask, what would happen if $mathbfA$ is positive definite? Would it suffice for preservation of image?
â venrey
Sep 2 at 10:25
I mean $mathcalO_N$ where I accidentally wrote $mathcal0_N$ in my previous comment.
â Ekanshdeep Gupta
Sep 2 at 13:04
I mean $mathcalO_N$ where I accidentally wrote $mathcal0_N$ in my previous comment.
â Ekanshdeep Gupta
Sep 2 at 13:04
Can you formalize the proof when you say "If $mathbfA$ is positive definite, then image will be contained in $mathcalO_N$" ?
â venrey
Sep 2 at 15:27
Can you formalize the proof when you say "If $mathbfA$ is positive definite, then image will be contained in $mathcalO_N$" ?
â venrey
Sep 2 at 15:27
Oh, I apologize. That statement isn't true. Example, you can take A to be the rotation matrix as in my answer with $0^circ < theta < 90^circ$, and it will be positive definite. But the image won't lie in $mathcalO_N$. I'm sorry for creating a misunderstanding. I'll remove my previous, extremely inaccurate comment now.
â Ekanshdeep Gupta
Sep 2 at 18:04
Oh, I apologize. That statement isn't true. Example, you can take A to be the rotation matrix as in my answer with $0^circ < theta < 90^circ$, and it will be positive definite. But the image won't lie in $mathcalO_N$. I'm sorry for creating a misunderstanding. I'll remove my previous, extremely inaccurate comment now.
â Ekanshdeep Gupta
Sep 2 at 18:04
It's okay. I think I have the solution now. Your answer gave me an idea by considering eigendecomposition of $mathbfA$.
â venrey
Sep 3 at 2:12
It's okay. I think I have the solution now. Your answer gave me an idea by considering eigendecomposition of $mathbfA$.
â venrey
Sep 3 at 2:12
add a comment |Â
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
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2902536%2fimage-preservation-of-linear-transformation%23new-answer', 'question_page');
);
Post as a guest
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
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
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