Do all elements belonging to kernel of a linear transformation represented by a skew symmetric matrix NOT belong to its range? The 2019 Stack Overflow Developer Survey Results Are In Announcing the arrival of Valued Associate #679: Cesar Manara Planned maintenance scheduled April 17/18, 2019 at 00:00UTC (8:00pm US/Eastern)Help clearing doubt about expansion of $vec itimes(vec atimes vec i)$Do four dimensional vectors have a cross product property?$vecatimes(vecatimesvecR)-vecbtimes(vecbtimesvecR)$Making sense of a cross product of three vectorsShow matrix transformation, finding kernel & range of itIs taking sum inside cross product valid?A bit confused on usage of cross products.Cross Product PropertiesKernel and image of a matrix converting linear transformationThe proof of Triple Vector Products
Single author papers against my advisor's will?
Variable with quotation marks "$()"
Why not take a picture of a closer black hole?
US Healthcare consultation for visitors
Was credit for the black hole image misappropriated?
Presidential Pardon
When did F become S? Why?
why is the limit of this expression equal to 1?
Loose spokes after only a few rides
Are there continuous functions who are the same in an interval but differ in at least one other point?
Example of compact Riemannian manifold with only one geodesic.
What to do when moving next to a bird sanctuary with a loosely-domesticated cat?
How to politely respond to generic emails requesting a PhD/job in my lab? Without wasting too much time
Simulating Exploding Dice
Can each chord in a progression create its own key?
For what reasons would an animal species NOT cross a *horizontal* land bridge?
What force causes entropy to increase?
how can a perfect fourth interval be considered either consonant or dissonant?
Is there a writing software that you can sort scenes like slides in PowerPoint?
Why are PDP-7-style microprogrammed instructions out of vogue?
Keeping a retro style to sci-fi spaceships?
Sort list of array linked objects by keys and values
Is this wall load bearing? Blueprints and photos attached
One-dimensional Japanese puzzle
Do all elements belonging to kernel of a linear transformation represented by a skew symmetric matrix NOT belong to its range?
The 2019 Stack Overflow Developer Survey Results Are In
Announcing the arrival of Valued Associate #679: Cesar Manara
Planned maintenance scheduled April 17/18, 2019 at 00:00UTC (8:00pm US/Eastern)Help clearing doubt about expansion of $vec itimes(vec atimes vec i)$Do four dimensional vectors have a cross product property?$vecatimes(vecatimesvecR)-vecbtimes(vecbtimesvecR)$Making sense of a cross product of three vectorsShow matrix transformation, finding kernel & range of itIs taking sum inside cross product valid?A bit confused on usage of cross products.Cross Product PropertiesKernel and image of a matrix converting linear transformationThe proof of Triple Vector Products
$begingroup$
I have a linear transformation represented by a skew symmetric matrix $S(vec b(t))$ of rank $2$, which in my context, is the cross-product matrix of magnetic field $vec b(t)$. I have explained what a cross product matrix is towards the end.
I know that its kernel is the set of all vectors collinear to $vec b(t)$ (since cross product of a non-zero vector with another non-zero vector is zero if and only if the other vector is collinear to it). Now, this fact is used to imply that the linear transformation can never give a vector collinear to $vec b(t)$ as output. I do not understand why this implication is true.
Cross product matrix refers to the matrix $S(vec b(t))$ such that, $$ vec atimes vec b = S(vec b)a $$ where $a$ is a $3 times 1$ column matrix.
Note: Just in case this might be helpful to someone, in my case, I have torque, $$tau = S(vec b(t))m_coils$$ where $m_coils$ is the magnetic moment generated by current carrying coils. Now the above fact is used to imply torque can never be along magnetic field vector.
Edit: This can be trivially shown using the fact that $vec atimes vec b$ is perpendicular to $vec b$. But the implication made in the paper I am reading seems to have been made solely based on the fact that kernel is given by $vec b$. Now, I maybe wrong here in this interpretation or the paper itself might have a mistake but the wording there seems to be saying this.
matrices linear-transformations cross-product
$endgroup$
add a comment |
$begingroup$
I have a linear transformation represented by a skew symmetric matrix $S(vec b(t))$ of rank $2$, which in my context, is the cross-product matrix of magnetic field $vec b(t)$. I have explained what a cross product matrix is towards the end.
I know that its kernel is the set of all vectors collinear to $vec b(t)$ (since cross product of a non-zero vector with another non-zero vector is zero if and only if the other vector is collinear to it). Now, this fact is used to imply that the linear transformation can never give a vector collinear to $vec b(t)$ as output. I do not understand why this implication is true.
Cross product matrix refers to the matrix $S(vec b(t))$ such that, $$ vec atimes vec b = S(vec b)a $$ where $a$ is a $3 times 1$ column matrix.
Note: Just in case this might be helpful to someone, in my case, I have torque, $$tau = S(vec b(t))m_coils$$ where $m_coils$ is the magnetic moment generated by current carrying coils. Now the above fact is used to imply torque can never be along magnetic field vector.
Edit: This can be trivially shown using the fact that $vec atimes vec b$ is perpendicular to $vec b$. But the implication made in the paper I am reading seems to have been made solely based on the fact that kernel is given by $vec b$. Now, I maybe wrong here in this interpretation or the paper itself might have a mistake but the wording there seems to be saying this.
matrices linear-transformations cross-product
$endgroup$
$begingroup$
In your particular case, you just need the fact that $vecatimesvecb$ is orthogonal to $vecb$
$endgroup$
– Poon Levi
Apr 7 at 13:03
$begingroup$
@PoonLevi Yes true, when you look at it that way, its trivial. But the implication made in the paper I have been reading seems only from the fact that kernel is given by $vec b(t)$. I have edited my question to make this clear.
$endgroup$
– Niket Parikh
Apr 7 at 13:19
add a comment |
$begingroup$
I have a linear transformation represented by a skew symmetric matrix $S(vec b(t))$ of rank $2$, which in my context, is the cross-product matrix of magnetic field $vec b(t)$. I have explained what a cross product matrix is towards the end.
I know that its kernel is the set of all vectors collinear to $vec b(t)$ (since cross product of a non-zero vector with another non-zero vector is zero if and only if the other vector is collinear to it). Now, this fact is used to imply that the linear transformation can never give a vector collinear to $vec b(t)$ as output. I do not understand why this implication is true.
Cross product matrix refers to the matrix $S(vec b(t))$ such that, $$ vec atimes vec b = S(vec b)a $$ where $a$ is a $3 times 1$ column matrix.
Note: Just in case this might be helpful to someone, in my case, I have torque, $$tau = S(vec b(t))m_coils$$ where $m_coils$ is the magnetic moment generated by current carrying coils. Now the above fact is used to imply torque can never be along magnetic field vector.
Edit: This can be trivially shown using the fact that $vec atimes vec b$ is perpendicular to $vec b$. But the implication made in the paper I am reading seems to have been made solely based on the fact that kernel is given by $vec b$. Now, I maybe wrong here in this interpretation or the paper itself might have a mistake but the wording there seems to be saying this.
matrices linear-transformations cross-product
$endgroup$
I have a linear transformation represented by a skew symmetric matrix $S(vec b(t))$ of rank $2$, which in my context, is the cross-product matrix of magnetic field $vec b(t)$. I have explained what a cross product matrix is towards the end.
I know that its kernel is the set of all vectors collinear to $vec b(t)$ (since cross product of a non-zero vector with another non-zero vector is zero if and only if the other vector is collinear to it). Now, this fact is used to imply that the linear transformation can never give a vector collinear to $vec b(t)$ as output. I do not understand why this implication is true.
Cross product matrix refers to the matrix $S(vec b(t))$ such that, $$ vec atimes vec b = S(vec b)a $$ where $a$ is a $3 times 1$ column matrix.
Note: Just in case this might be helpful to someone, in my case, I have torque, $$tau = S(vec b(t))m_coils$$ where $m_coils$ is the magnetic moment generated by current carrying coils. Now the above fact is used to imply torque can never be along magnetic field vector.
Edit: This can be trivially shown using the fact that $vec atimes vec b$ is perpendicular to $vec b$. But the implication made in the paper I am reading seems to have been made solely based on the fact that kernel is given by $vec b$. Now, I maybe wrong here in this interpretation or the paper itself might have a mistake but the wording there seems to be saying this.
matrices linear-transformations cross-product
matrices linear-transformations cross-product
edited Apr 7 at 13:26
Niket Parikh
asked Apr 7 at 8:49
Niket ParikhNiket Parikh
397
397
$begingroup$
In your particular case, you just need the fact that $vecatimesvecb$ is orthogonal to $vecb$
$endgroup$
– Poon Levi
Apr 7 at 13:03
$begingroup$
@PoonLevi Yes true, when you look at it that way, its trivial. But the implication made in the paper I have been reading seems only from the fact that kernel is given by $vec b(t)$. I have edited my question to make this clear.
$endgroup$
– Niket Parikh
Apr 7 at 13:19
add a comment |
$begingroup$
In your particular case, you just need the fact that $vecatimesvecb$ is orthogonal to $vecb$
$endgroup$
– Poon Levi
Apr 7 at 13:03
$begingroup$
@PoonLevi Yes true, when you look at it that way, its trivial. But the implication made in the paper I have been reading seems only from the fact that kernel is given by $vec b(t)$. I have edited my question to make this clear.
$endgroup$
– Niket Parikh
Apr 7 at 13:19
$begingroup$
In your particular case, you just need the fact that $vecatimesvecb$ is orthogonal to $vecb$
$endgroup$
– Poon Levi
Apr 7 at 13:03
$begingroup$
In your particular case, you just need the fact that $vecatimesvecb$ is orthogonal to $vecb$
$endgroup$
– Poon Levi
Apr 7 at 13:03
$begingroup$
@PoonLevi Yes true, when you look at it that way, its trivial. But the implication made in the paper I have been reading seems only from the fact that kernel is given by $vec b(t)$. I have edited my question to make this clear.
$endgroup$
– Niket Parikh
Apr 7 at 13:19
$begingroup$
@PoonLevi Yes true, when you look at it that way, its trivial. But the implication made in the paper I have been reading seems only from the fact that kernel is given by $vec b(t)$. I have edited my question to make this clear.
$endgroup$
– Niket Parikh
Apr 7 at 13:19
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
Inspired by the $3times 3$ case (which reduces to a cross product), we may consider the quantity $u^T M v$, where $u$ is in the kernel of $M$, $v$ is an arbitrary column vector and $M$ is skew-symmetric. But we have
$$u^T M v=-(Mu)^T v=0$$
Hence a non-zero real vector cannot belong to both the kernel and range of $M$.
$endgroup$
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%2f3177964%2fdo-all-elements-belonging-to-kernel-of-a-linear-transformation-represented-by-a%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$
Inspired by the $3times 3$ case (which reduces to a cross product), we may consider the quantity $u^T M v$, where $u$ is in the kernel of $M$, $v$ is an arbitrary column vector and $M$ is skew-symmetric. But we have
$$u^T M v=-(Mu)^T v=0$$
Hence a non-zero real vector cannot belong to both the kernel and range of $M$.
$endgroup$
add a comment |
$begingroup$
Inspired by the $3times 3$ case (which reduces to a cross product), we may consider the quantity $u^T M v$, where $u$ is in the kernel of $M$, $v$ is an arbitrary column vector and $M$ is skew-symmetric. But we have
$$u^T M v=-(Mu)^T v=0$$
Hence a non-zero real vector cannot belong to both the kernel and range of $M$.
$endgroup$
add a comment |
$begingroup$
Inspired by the $3times 3$ case (which reduces to a cross product), we may consider the quantity $u^T M v$, where $u$ is in the kernel of $M$, $v$ is an arbitrary column vector and $M$ is skew-symmetric. But we have
$$u^T M v=-(Mu)^T v=0$$
Hence a non-zero real vector cannot belong to both the kernel and range of $M$.
$endgroup$
Inspired by the $3times 3$ case (which reduces to a cross product), we may consider the quantity $u^T M v$, where $u$ is in the kernel of $M$, $v$ is an arbitrary column vector and $M$ is skew-symmetric. But we have
$$u^T M v=-(Mu)^T v=0$$
Hence a non-zero real vector cannot belong to both the kernel and range of $M$.
edited Apr 8 at 9:25
answered Apr 8 at 8:04
Poon LeviPoon Levi
73639
73639
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%2f3177964%2fdo-all-elements-belonging-to-kernel-of-a-linear-transformation-represented-by-a%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$
In your particular case, you just need the fact that $vecatimesvecb$ is orthogonal to $vecb$
$endgroup$
– Poon Levi
Apr 7 at 13:03
$begingroup$
@PoonLevi Yes true, when you look at it that way, its trivial. But the implication made in the paper I have been reading seems only from the fact that kernel is given by $vec b(t)$. I have edited my question to make this clear.
$endgroup$
– Niket Parikh
Apr 7 at 13:19