How do I tell the rank of the electric susceptibility tensor (and others)?












2












$begingroup$


I understand that a tensor is a multilinear map from
$V^*timescdotstimes V^*times Vtimescdotstimes V$ to $V$'s underlying field, where $V$ is a vector space and $V^*$ its dual. This is fine, and I know that I can also see it as an element in the space $Votimesldotsotimes Votimes V^*otimescdotsotimes V^*$. I also know that a tensor has rank $(p,q)$ if its domain is the cartesian product of $p$ instances of $V^*$ and $q$ instances of $V$.



However, I cannot recognize the type of tensors in examples from examples in textbooks. For instance, the electric susceptibility tensor. I know that, given a vector $E$ (from the electric field, which is a vector field), it will give me another vector $P$ (the density of electric dipole moments), which may have direction different from $E$:



$$ P = epsilon_0chi E $$



So $chi$ is a tensor (and $epsilon_0$ is the permittivity of vacuum, "included so $chi$ is dimensionless" -- says the textbook from where the example was taken).



So, I see that it must have order 2, but is it $(2,0)$, $(1,1)$ or $(0,2)$? How would I, just from a formula like that and a description of what the tensor means, tell its rank?



My guess is that it is just a $(1,1)$ tensor, hence no more than an ordinary linear map that we study in basic Linear Algebra (because both $E$ and $P$ are vectors that should represent directions and magnitude in the same space). Is this correct? But from the information given, "it transforms a vector into another vector", how can one conclude that it is linear, and then write the equation like that?



Also, in this case, how can I tell if $epsilon_0$ is a tensor, and what type it has if it is really a tensor?



(The example above is from "Tensor Calculus for Physics", by Dwight Neuenschwander)










share|cite|improve this question











$endgroup$








  • 1




    $begingroup$
    I think $varepsilon_0$ will never be a tensor.
    $endgroup$
    – Botond
    Jan 14 at 13:46










  • $begingroup$
    Typically for $mathbb{R}^n$ the dual vectors are simply just the transpose. Can assume that $chi$ is finite dimensional? If that's the case, then (1,1) would be the right answer since $chi$ can be constructed as the outer product of two vectors in $V$.
    $endgroup$
    – Tyler Kharazi
    Jan 14 at 14:33










  • $begingroup$
    @TylerKharazi yes, $chi$ is finite dimensional, since it models transformation of vectors in three-dimensional space. Now, why can it be constructed as outer product of two vectors?
    $endgroup$
    – paulellis
    Jan 14 at 14:53












  • $begingroup$
    Okay, then I believe (1,1) would be the correct answer then. And do you understand the outer product reasoning? I can write up a full answer below if you prefer.
    $endgroup$
    – Tyler Kharazi
    Jan 14 at 14:54










  • $begingroup$
    @TylerKharazi I didn't get the construction as outer product/ It would be nice to have a full answer, yes -- thank you!
    $endgroup$
    – paulellis
    Jan 14 at 14:57


















2












$begingroup$


I understand that a tensor is a multilinear map from
$V^*timescdotstimes V^*times Vtimescdotstimes V$ to $V$'s underlying field, where $V$ is a vector space and $V^*$ its dual. This is fine, and I know that I can also see it as an element in the space $Votimesldotsotimes Votimes V^*otimescdotsotimes V^*$. I also know that a tensor has rank $(p,q)$ if its domain is the cartesian product of $p$ instances of $V^*$ and $q$ instances of $V$.



However, I cannot recognize the type of tensors in examples from examples in textbooks. For instance, the electric susceptibility tensor. I know that, given a vector $E$ (from the electric field, which is a vector field), it will give me another vector $P$ (the density of electric dipole moments), which may have direction different from $E$:



$$ P = epsilon_0chi E $$



So $chi$ is a tensor (and $epsilon_0$ is the permittivity of vacuum, "included so $chi$ is dimensionless" -- says the textbook from where the example was taken).



So, I see that it must have order 2, but is it $(2,0)$, $(1,1)$ or $(0,2)$? How would I, just from a formula like that and a description of what the tensor means, tell its rank?



My guess is that it is just a $(1,1)$ tensor, hence no more than an ordinary linear map that we study in basic Linear Algebra (because both $E$ and $P$ are vectors that should represent directions and magnitude in the same space). Is this correct? But from the information given, "it transforms a vector into another vector", how can one conclude that it is linear, and then write the equation like that?



Also, in this case, how can I tell if $epsilon_0$ is a tensor, and what type it has if it is really a tensor?



(The example above is from "Tensor Calculus for Physics", by Dwight Neuenschwander)










share|cite|improve this question











$endgroup$








  • 1




    $begingroup$
    I think $varepsilon_0$ will never be a tensor.
    $endgroup$
    – Botond
    Jan 14 at 13:46










  • $begingroup$
    Typically for $mathbb{R}^n$ the dual vectors are simply just the transpose. Can assume that $chi$ is finite dimensional? If that's the case, then (1,1) would be the right answer since $chi$ can be constructed as the outer product of two vectors in $V$.
    $endgroup$
    – Tyler Kharazi
    Jan 14 at 14:33










  • $begingroup$
    @TylerKharazi yes, $chi$ is finite dimensional, since it models transformation of vectors in three-dimensional space. Now, why can it be constructed as outer product of two vectors?
    $endgroup$
    – paulellis
    Jan 14 at 14:53












  • $begingroup$
    Okay, then I believe (1,1) would be the correct answer then. And do you understand the outer product reasoning? I can write up a full answer below if you prefer.
    $endgroup$
    – Tyler Kharazi
    Jan 14 at 14:54










  • $begingroup$
    @TylerKharazi I didn't get the construction as outer product/ It would be nice to have a full answer, yes -- thank you!
    $endgroup$
    – paulellis
    Jan 14 at 14:57
















2












2








2


1



$begingroup$


I understand that a tensor is a multilinear map from
$V^*timescdotstimes V^*times Vtimescdotstimes V$ to $V$'s underlying field, where $V$ is a vector space and $V^*$ its dual. This is fine, and I know that I can also see it as an element in the space $Votimesldotsotimes Votimes V^*otimescdotsotimes V^*$. I also know that a tensor has rank $(p,q)$ if its domain is the cartesian product of $p$ instances of $V^*$ and $q$ instances of $V$.



However, I cannot recognize the type of tensors in examples from examples in textbooks. For instance, the electric susceptibility tensor. I know that, given a vector $E$ (from the electric field, which is a vector field), it will give me another vector $P$ (the density of electric dipole moments), which may have direction different from $E$:



$$ P = epsilon_0chi E $$



So $chi$ is a tensor (and $epsilon_0$ is the permittivity of vacuum, "included so $chi$ is dimensionless" -- says the textbook from where the example was taken).



So, I see that it must have order 2, but is it $(2,0)$, $(1,1)$ or $(0,2)$? How would I, just from a formula like that and a description of what the tensor means, tell its rank?



My guess is that it is just a $(1,1)$ tensor, hence no more than an ordinary linear map that we study in basic Linear Algebra (because both $E$ and $P$ are vectors that should represent directions and magnitude in the same space). Is this correct? But from the information given, "it transforms a vector into another vector", how can one conclude that it is linear, and then write the equation like that?



Also, in this case, how can I tell if $epsilon_0$ is a tensor, and what type it has if it is really a tensor?



(The example above is from "Tensor Calculus for Physics", by Dwight Neuenschwander)










share|cite|improve this question











$endgroup$




I understand that a tensor is a multilinear map from
$V^*timescdotstimes V^*times Vtimescdotstimes V$ to $V$'s underlying field, where $V$ is a vector space and $V^*$ its dual. This is fine, and I know that I can also see it as an element in the space $Votimesldotsotimes Votimes V^*otimescdotsotimes V^*$. I also know that a tensor has rank $(p,q)$ if its domain is the cartesian product of $p$ instances of $V^*$ and $q$ instances of $V$.



However, I cannot recognize the type of tensors in examples from examples in textbooks. For instance, the electric susceptibility tensor. I know that, given a vector $E$ (from the electric field, which is a vector field), it will give me another vector $P$ (the density of electric dipole moments), which may have direction different from $E$:



$$ P = epsilon_0chi E $$



So $chi$ is a tensor (and $epsilon_0$ is the permittivity of vacuum, "included so $chi$ is dimensionless" -- says the textbook from where the example was taken).



So, I see that it must have order 2, but is it $(2,0)$, $(1,1)$ or $(0,2)$? How would I, just from a formula like that and a description of what the tensor means, tell its rank?



My guess is that it is just a $(1,1)$ tensor, hence no more than an ordinary linear map that we study in basic Linear Algebra (because both $E$ and $P$ are vectors that should represent directions and magnitude in the same space). Is this correct? But from the information given, "it transforms a vector into another vector", how can one conclude that it is linear, and then write the equation like that?



Also, in this case, how can I tell if $epsilon_0$ is a tensor, and what type it has if it is really a tensor?



(The example above is from "Tensor Calculus for Physics", by Dwight Neuenschwander)







physics tensors applications tensor-rank






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Jan 15 at 1:15







paulellis

















asked Jan 14 at 13:39









paulellispaulellis

134




134








  • 1




    $begingroup$
    I think $varepsilon_0$ will never be a tensor.
    $endgroup$
    – Botond
    Jan 14 at 13:46










  • $begingroup$
    Typically for $mathbb{R}^n$ the dual vectors are simply just the transpose. Can assume that $chi$ is finite dimensional? If that's the case, then (1,1) would be the right answer since $chi$ can be constructed as the outer product of two vectors in $V$.
    $endgroup$
    – Tyler Kharazi
    Jan 14 at 14:33










  • $begingroup$
    @TylerKharazi yes, $chi$ is finite dimensional, since it models transformation of vectors in three-dimensional space. Now, why can it be constructed as outer product of two vectors?
    $endgroup$
    – paulellis
    Jan 14 at 14:53












  • $begingroup$
    Okay, then I believe (1,1) would be the correct answer then. And do you understand the outer product reasoning? I can write up a full answer below if you prefer.
    $endgroup$
    – Tyler Kharazi
    Jan 14 at 14:54










  • $begingroup$
    @TylerKharazi I didn't get the construction as outer product/ It would be nice to have a full answer, yes -- thank you!
    $endgroup$
    – paulellis
    Jan 14 at 14:57
















  • 1




    $begingroup$
    I think $varepsilon_0$ will never be a tensor.
    $endgroup$
    – Botond
    Jan 14 at 13:46










  • $begingroup$
    Typically for $mathbb{R}^n$ the dual vectors are simply just the transpose. Can assume that $chi$ is finite dimensional? If that's the case, then (1,1) would be the right answer since $chi$ can be constructed as the outer product of two vectors in $V$.
    $endgroup$
    – Tyler Kharazi
    Jan 14 at 14:33










  • $begingroup$
    @TylerKharazi yes, $chi$ is finite dimensional, since it models transformation of vectors in three-dimensional space. Now, why can it be constructed as outer product of two vectors?
    $endgroup$
    – paulellis
    Jan 14 at 14:53












  • $begingroup$
    Okay, then I believe (1,1) would be the correct answer then. And do you understand the outer product reasoning? I can write up a full answer below if you prefer.
    $endgroup$
    – Tyler Kharazi
    Jan 14 at 14:54










  • $begingroup$
    @TylerKharazi I didn't get the construction as outer product/ It would be nice to have a full answer, yes -- thank you!
    $endgroup$
    – paulellis
    Jan 14 at 14:57










1




1




$begingroup$
I think $varepsilon_0$ will never be a tensor.
$endgroup$
– Botond
Jan 14 at 13:46




$begingroup$
I think $varepsilon_0$ will never be a tensor.
$endgroup$
– Botond
Jan 14 at 13:46












$begingroup$
Typically for $mathbb{R}^n$ the dual vectors are simply just the transpose. Can assume that $chi$ is finite dimensional? If that's the case, then (1,1) would be the right answer since $chi$ can be constructed as the outer product of two vectors in $V$.
$endgroup$
– Tyler Kharazi
Jan 14 at 14:33




$begingroup$
Typically for $mathbb{R}^n$ the dual vectors are simply just the transpose. Can assume that $chi$ is finite dimensional? If that's the case, then (1,1) would be the right answer since $chi$ can be constructed as the outer product of two vectors in $V$.
$endgroup$
– Tyler Kharazi
Jan 14 at 14:33












$begingroup$
@TylerKharazi yes, $chi$ is finite dimensional, since it models transformation of vectors in three-dimensional space. Now, why can it be constructed as outer product of two vectors?
$endgroup$
– paulellis
Jan 14 at 14:53






$begingroup$
@TylerKharazi yes, $chi$ is finite dimensional, since it models transformation of vectors in three-dimensional space. Now, why can it be constructed as outer product of two vectors?
$endgroup$
– paulellis
Jan 14 at 14:53














$begingroup$
Okay, then I believe (1,1) would be the correct answer then. And do you understand the outer product reasoning? I can write up a full answer below if you prefer.
$endgroup$
– Tyler Kharazi
Jan 14 at 14:54




$begingroup$
Okay, then I believe (1,1) would be the correct answer then. And do you understand the outer product reasoning? I can write up a full answer below if you prefer.
$endgroup$
– Tyler Kharazi
Jan 14 at 14:54












$begingroup$
@TylerKharazi I didn't get the construction as outer product/ It would be nice to have a full answer, yes -- thank you!
$endgroup$
– paulellis
Jan 14 at 14:57






$begingroup$
@TylerKharazi I didn't get the construction as outer product/ It would be nice to have a full answer, yes -- thank you!
$endgroup$
– paulellis
Jan 14 at 14:57












1 Answer
1






active

oldest

votes


















1












$begingroup$

Sorry, long answer, but I think this should explain some questions in the comments as well. Feel free to ask more questions.



Your conclusion seems correct to me, admittedly, this is my first time learning of this definition of rank. But, since $chi$ is finite dimensional, and since we are dealing with a physical problem, we can assume that our underlying vector space is $mathbb{R}^n$.



The dual of the vectors in $mathbb{R}^n$ would simply be the transpose. That is, column vectors map to row vectors and vice versa. Now, due to some properties about $mathbb{R}^n$ (namely completeness), we can construct the operator $chi$ by taking the outer product of two vectors in $V=mathbb{R}^n$. The outer product is sort of the opposite of the inner product in that it maps $V times V mapsto Vtimes V$ rather than $V times V mapsto mathbb{R}$. That is, in terms of vectors and matrices, the outer product maps two vectors to a matrix, whereas the inner product maps two vectors to a scalar.



Now, to bring this all together, the inner product can be represented as the juxtaposition of an $1times n$ vector and an $n times 1$ vector (assuming a finite dimensional vector space). Outer products on the other hand can be represented as the products of an $n times 1$ vector and an $1 times m$ vector, resulting in an $ntimes m$ matrix.



Thus, for your case we have a matrix $chi$ that can be constructed as the outer product of two vectors in $mathbb{R}^n$, due to the definition of the outer product, we require that one of the matrices be in the dual (transpose) space, and the other be in the normal space (non-transpose) space. That leads me to assume, using your provided definition of rank, that $chi$ must have rank $(1,1)$.






share|cite|improve this answer









$endgroup$









  • 1




    $begingroup$
    I think I understand. So, because the tensor can be constructed as outer product (that is, using one $(1,0)$ tensor and one $(0,1)$ tensor), then it is of type $(1,1)$. Does this apply to all $(p,q)$ tensors (with $p,q < infty$)?
    $endgroup$
    – paulellis
    Jan 14 at 15:38












  • $begingroup$
    Yeah, your reasoning is perfect. To be honest, this is the first time I've seen this definition, but from how I understand it, and from what I've read, this seems like it could apply to finite dimensional operators over a complete space. You might need the operator to also be Hermitian, but I'm not too sure.
    $endgroup$
    – Tyler Kharazi
    Jan 14 at 15:41











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',
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
});


}
});














draft saved

draft discarded


















StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3073240%2fhow-do-i-tell-the-rank-of-the-electric-susceptibility-tensor-and-others%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









1












$begingroup$

Sorry, long answer, but I think this should explain some questions in the comments as well. Feel free to ask more questions.



Your conclusion seems correct to me, admittedly, this is my first time learning of this definition of rank. But, since $chi$ is finite dimensional, and since we are dealing with a physical problem, we can assume that our underlying vector space is $mathbb{R}^n$.



The dual of the vectors in $mathbb{R}^n$ would simply be the transpose. That is, column vectors map to row vectors and vice versa. Now, due to some properties about $mathbb{R}^n$ (namely completeness), we can construct the operator $chi$ by taking the outer product of two vectors in $V=mathbb{R}^n$. The outer product is sort of the opposite of the inner product in that it maps $V times V mapsto Vtimes V$ rather than $V times V mapsto mathbb{R}$. That is, in terms of vectors and matrices, the outer product maps two vectors to a matrix, whereas the inner product maps two vectors to a scalar.



Now, to bring this all together, the inner product can be represented as the juxtaposition of an $1times n$ vector and an $n times 1$ vector (assuming a finite dimensional vector space). Outer products on the other hand can be represented as the products of an $n times 1$ vector and an $1 times m$ vector, resulting in an $ntimes m$ matrix.



Thus, for your case we have a matrix $chi$ that can be constructed as the outer product of two vectors in $mathbb{R}^n$, due to the definition of the outer product, we require that one of the matrices be in the dual (transpose) space, and the other be in the normal space (non-transpose) space. That leads me to assume, using your provided definition of rank, that $chi$ must have rank $(1,1)$.






share|cite|improve this answer









$endgroup$









  • 1




    $begingroup$
    I think I understand. So, because the tensor can be constructed as outer product (that is, using one $(1,0)$ tensor and one $(0,1)$ tensor), then it is of type $(1,1)$. Does this apply to all $(p,q)$ tensors (with $p,q < infty$)?
    $endgroup$
    – paulellis
    Jan 14 at 15:38












  • $begingroup$
    Yeah, your reasoning is perfect. To be honest, this is the first time I've seen this definition, but from how I understand it, and from what I've read, this seems like it could apply to finite dimensional operators over a complete space. You might need the operator to also be Hermitian, but I'm not too sure.
    $endgroup$
    – Tyler Kharazi
    Jan 14 at 15:41
















1












$begingroup$

Sorry, long answer, but I think this should explain some questions in the comments as well. Feel free to ask more questions.



Your conclusion seems correct to me, admittedly, this is my first time learning of this definition of rank. But, since $chi$ is finite dimensional, and since we are dealing with a physical problem, we can assume that our underlying vector space is $mathbb{R}^n$.



The dual of the vectors in $mathbb{R}^n$ would simply be the transpose. That is, column vectors map to row vectors and vice versa. Now, due to some properties about $mathbb{R}^n$ (namely completeness), we can construct the operator $chi$ by taking the outer product of two vectors in $V=mathbb{R}^n$. The outer product is sort of the opposite of the inner product in that it maps $V times V mapsto Vtimes V$ rather than $V times V mapsto mathbb{R}$. That is, in terms of vectors and matrices, the outer product maps two vectors to a matrix, whereas the inner product maps two vectors to a scalar.



Now, to bring this all together, the inner product can be represented as the juxtaposition of an $1times n$ vector and an $n times 1$ vector (assuming a finite dimensional vector space). Outer products on the other hand can be represented as the products of an $n times 1$ vector and an $1 times m$ vector, resulting in an $ntimes m$ matrix.



Thus, for your case we have a matrix $chi$ that can be constructed as the outer product of two vectors in $mathbb{R}^n$, due to the definition of the outer product, we require that one of the matrices be in the dual (transpose) space, and the other be in the normal space (non-transpose) space. That leads me to assume, using your provided definition of rank, that $chi$ must have rank $(1,1)$.






share|cite|improve this answer









$endgroup$









  • 1




    $begingroup$
    I think I understand. So, because the tensor can be constructed as outer product (that is, using one $(1,0)$ tensor and one $(0,1)$ tensor), then it is of type $(1,1)$. Does this apply to all $(p,q)$ tensors (with $p,q < infty$)?
    $endgroup$
    – paulellis
    Jan 14 at 15:38












  • $begingroup$
    Yeah, your reasoning is perfect. To be honest, this is the first time I've seen this definition, but from how I understand it, and from what I've read, this seems like it could apply to finite dimensional operators over a complete space. You might need the operator to also be Hermitian, but I'm not too sure.
    $endgroup$
    – Tyler Kharazi
    Jan 14 at 15:41














1












1








1





$begingroup$

Sorry, long answer, but I think this should explain some questions in the comments as well. Feel free to ask more questions.



Your conclusion seems correct to me, admittedly, this is my first time learning of this definition of rank. But, since $chi$ is finite dimensional, and since we are dealing with a physical problem, we can assume that our underlying vector space is $mathbb{R}^n$.



The dual of the vectors in $mathbb{R}^n$ would simply be the transpose. That is, column vectors map to row vectors and vice versa. Now, due to some properties about $mathbb{R}^n$ (namely completeness), we can construct the operator $chi$ by taking the outer product of two vectors in $V=mathbb{R}^n$. The outer product is sort of the opposite of the inner product in that it maps $V times V mapsto Vtimes V$ rather than $V times V mapsto mathbb{R}$. That is, in terms of vectors and matrices, the outer product maps two vectors to a matrix, whereas the inner product maps two vectors to a scalar.



Now, to bring this all together, the inner product can be represented as the juxtaposition of an $1times n$ vector and an $n times 1$ vector (assuming a finite dimensional vector space). Outer products on the other hand can be represented as the products of an $n times 1$ vector and an $1 times m$ vector, resulting in an $ntimes m$ matrix.



Thus, for your case we have a matrix $chi$ that can be constructed as the outer product of two vectors in $mathbb{R}^n$, due to the definition of the outer product, we require that one of the matrices be in the dual (transpose) space, and the other be in the normal space (non-transpose) space. That leads me to assume, using your provided definition of rank, that $chi$ must have rank $(1,1)$.






share|cite|improve this answer









$endgroup$



Sorry, long answer, but I think this should explain some questions in the comments as well. Feel free to ask more questions.



Your conclusion seems correct to me, admittedly, this is my first time learning of this definition of rank. But, since $chi$ is finite dimensional, and since we are dealing with a physical problem, we can assume that our underlying vector space is $mathbb{R}^n$.



The dual of the vectors in $mathbb{R}^n$ would simply be the transpose. That is, column vectors map to row vectors and vice versa. Now, due to some properties about $mathbb{R}^n$ (namely completeness), we can construct the operator $chi$ by taking the outer product of two vectors in $V=mathbb{R}^n$. The outer product is sort of the opposite of the inner product in that it maps $V times V mapsto Vtimes V$ rather than $V times V mapsto mathbb{R}$. That is, in terms of vectors and matrices, the outer product maps two vectors to a matrix, whereas the inner product maps two vectors to a scalar.



Now, to bring this all together, the inner product can be represented as the juxtaposition of an $1times n$ vector and an $n times 1$ vector (assuming a finite dimensional vector space). Outer products on the other hand can be represented as the products of an $n times 1$ vector and an $1 times m$ vector, resulting in an $ntimes m$ matrix.



Thus, for your case we have a matrix $chi$ that can be constructed as the outer product of two vectors in $mathbb{R}^n$, due to the definition of the outer product, we require that one of the matrices be in the dual (transpose) space, and the other be in the normal space (non-transpose) space. That leads me to assume, using your provided definition of rank, that $chi$ must have rank $(1,1)$.







share|cite|improve this answer












share|cite|improve this answer



share|cite|improve this answer










answered Jan 14 at 15:13









Tyler KharaziTyler Kharazi

361110




361110








  • 1




    $begingroup$
    I think I understand. So, because the tensor can be constructed as outer product (that is, using one $(1,0)$ tensor and one $(0,1)$ tensor), then it is of type $(1,1)$. Does this apply to all $(p,q)$ tensors (with $p,q < infty$)?
    $endgroup$
    – paulellis
    Jan 14 at 15:38












  • $begingroup$
    Yeah, your reasoning is perfect. To be honest, this is the first time I've seen this definition, but from how I understand it, and from what I've read, this seems like it could apply to finite dimensional operators over a complete space. You might need the operator to also be Hermitian, but I'm not too sure.
    $endgroup$
    – Tyler Kharazi
    Jan 14 at 15:41














  • 1




    $begingroup$
    I think I understand. So, because the tensor can be constructed as outer product (that is, using one $(1,0)$ tensor and one $(0,1)$ tensor), then it is of type $(1,1)$. Does this apply to all $(p,q)$ tensors (with $p,q < infty$)?
    $endgroup$
    – paulellis
    Jan 14 at 15:38












  • $begingroup$
    Yeah, your reasoning is perfect. To be honest, this is the first time I've seen this definition, but from how I understand it, and from what I've read, this seems like it could apply to finite dimensional operators over a complete space. You might need the operator to also be Hermitian, but I'm not too sure.
    $endgroup$
    – Tyler Kharazi
    Jan 14 at 15:41








1




1




$begingroup$
I think I understand. So, because the tensor can be constructed as outer product (that is, using one $(1,0)$ tensor and one $(0,1)$ tensor), then it is of type $(1,1)$. Does this apply to all $(p,q)$ tensors (with $p,q < infty$)?
$endgroup$
– paulellis
Jan 14 at 15:38






$begingroup$
I think I understand. So, because the tensor can be constructed as outer product (that is, using one $(1,0)$ tensor and one $(0,1)$ tensor), then it is of type $(1,1)$. Does this apply to all $(p,q)$ tensors (with $p,q < infty$)?
$endgroup$
– paulellis
Jan 14 at 15:38














$begingroup$
Yeah, your reasoning is perfect. To be honest, this is the first time I've seen this definition, but from how I understand it, and from what I've read, this seems like it could apply to finite dimensional operators over a complete space. You might need the operator to also be Hermitian, but I'm not too sure.
$endgroup$
– Tyler Kharazi
Jan 14 at 15:41




$begingroup$
Yeah, your reasoning is perfect. To be honest, this is the first time I've seen this definition, but from how I understand it, and from what I've read, this seems like it could apply to finite dimensional operators over a complete space. You might need the operator to also be Hermitian, but I'm not too sure.
$endgroup$
– Tyler Kharazi
Jan 14 at 15:41


















draft saved

draft discarded




















































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.




draft saved


draft discarded














StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3073240%2fhow-do-i-tell-the-rank-of-the-electric-susceptibility-tensor-and-others%23new-answer', 'question_page');
}
);

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







Popular posts from this blog

Mario Kart Wii

Understanding the size os this class of aleatory events

Partial Derivative Guidance.