A one-to-one map between $M_{ntimes n}$ and the $mathbb{R}^{n^{2}}$?
$begingroup$
I've been trying to think in something that can make this happen, but i'm not get anywhere. Plus, i have to show something through this map that can make this space($M_{ntimes n}$) a metric space, so a think to use the trace of a matrix. Is that correct?
linear-algebra general-topology matrices metric-spaces
$endgroup$
add a comment |
$begingroup$
I've been trying to think in something that can make this happen, but i'm not get anywhere. Plus, i have to show something through this map that can make this space($M_{ntimes n}$) a metric space, so a think to use the trace of a matrix. Is that correct?
linear-algebra general-topology matrices metric-spaces
$endgroup$
add a comment |
$begingroup$
I've been trying to think in something that can make this happen, but i'm not get anywhere. Plus, i have to show something through this map that can make this space($M_{ntimes n}$) a metric space, so a think to use the trace of a matrix. Is that correct?
linear-algebra general-topology matrices metric-spaces
$endgroup$
I've been trying to think in something that can make this happen, but i'm not get anywhere. Plus, i have to show something through this map that can make this space($M_{ntimes n}$) a metric space, so a think to use the trace of a matrix. Is that correct?
linear-algebra general-topology matrices metric-spaces
linear-algebra general-topology matrices metric-spaces
edited Dec 4 '18 at 20:02
J.G.
24.6k22539
24.6k22539
asked Dec 4 '18 at 19:51
gbcostagbcosta
64
64
add a comment |
add a comment |
2 Answers
2
active
oldest
votes
$begingroup$
The trace of matrix is invalid since it reduces the dimension from $n^2$ to $n$. You can define the set of $ntimes n$ matrices with Frobenius norm and reorder the rows of the matrices back to back and define the Euclidean $2$-norm on $Bbb R^{n^2}$. In this manner the two metric spaces would become homeomorphic.
$endgroup$
$begingroup$
Actually, $mathrm{tr}:M_{ntimes n}tomathbb R$ reduces the dimension to just $1$.
$endgroup$
– Federico
Dec 4 '18 at 20:05
1
$begingroup$
I mean the degree of freedom reduces to $n$ since only diagonal entries are important.
$endgroup$
– Mostafa Ayaz
Dec 4 '18 at 20:05
$begingroup$
Yeah, i saw my mistake about the trace. I'm gonna look the sugestion of Frobenius norm here, thanks a lot.
$endgroup$
– gbcosta
Dec 4 '18 at 20:33
$begingroup$
You're welcome. I also can help you further if you needed....
$endgroup$
– Mostafa Ayaz
Dec 4 '18 at 20:40
$begingroup$
@Federico actually, any metric $m: X times X to mathbb{R}$ has dimension 1 codomain, so I don't think that affects anything...
$endgroup$
– Monstrous Moonshiner
Dec 4 '18 at 21:10
|
show 3 more comments
$begingroup$
Just take
$$
f:Ato (a_{1,1},a_{1,2},dots,a_{1,n},a_{2,1},dots a_{2,n},a_{3,1}dots,a_{n,1},a_{n,2},dots, a_{n,n})
$$
i.e just rearrange the entries of $A$ into a vector in $mathbb{R}^{n^2}$.
Then define $d(A,B):=||f(A)-f(B)||$.
$endgroup$
$begingroup$
But this map is one-to-one? I think that $$f:Arightarrow (a_{1,1},..., a_{1,n}, a_{2,1}...,a{2,n},...,a_{n,1},...,a_{n,n})$$ answer the question, but i'm not sure of that.
$endgroup$
– gbcosta
Dec 4 '18 at 20:40
$begingroup$
Take n=3. If $A=begin{array}{lcr} a & b & c \ d & e & f \ g & h & j end{array}$ and $B = begin{array}{lcr} a & b & c \ k & l & m \ g & h & j end{array}$. So $Aneq B$ but f(A)=f(B)
$endgroup$
– gbcosta
Dec 4 '18 at 20:57
$begingroup$
No problem, anyway you helped me a lot, thank you so much.
$endgroup$
– gbcosta
Dec 4 '18 at 21:04
$begingroup$
@gbcosta no problem
$endgroup$
– qbert
Dec 4 '18 at 21:04
2
$begingroup$
Your objection : "Take n=3..." is not valid : we order the entries f(A)=(a, b, c, d, e, f, g, h, i) is different from f(B)=(a, b, c, k, l, m, g, h, i) !
$endgroup$
– Jean Marie
Dec 4 '18 at 21:12
|
show 1 more comment
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
});
}
});
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%2f3026067%2fa-one-to-one-map-between-m-n-times-n-and-the-mathbbrn2%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
2 Answers
2
active
oldest
votes
2 Answers
2
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
The trace of matrix is invalid since it reduces the dimension from $n^2$ to $n$. You can define the set of $ntimes n$ matrices with Frobenius norm and reorder the rows of the matrices back to back and define the Euclidean $2$-norm on $Bbb R^{n^2}$. In this manner the two metric spaces would become homeomorphic.
$endgroup$
$begingroup$
Actually, $mathrm{tr}:M_{ntimes n}tomathbb R$ reduces the dimension to just $1$.
$endgroup$
– Federico
Dec 4 '18 at 20:05
1
$begingroup$
I mean the degree of freedom reduces to $n$ since only diagonal entries are important.
$endgroup$
– Mostafa Ayaz
Dec 4 '18 at 20:05
$begingroup$
Yeah, i saw my mistake about the trace. I'm gonna look the sugestion of Frobenius norm here, thanks a lot.
$endgroup$
– gbcosta
Dec 4 '18 at 20:33
$begingroup$
You're welcome. I also can help you further if you needed....
$endgroup$
– Mostafa Ayaz
Dec 4 '18 at 20:40
$begingroup$
@Federico actually, any metric $m: X times X to mathbb{R}$ has dimension 1 codomain, so I don't think that affects anything...
$endgroup$
– Monstrous Moonshiner
Dec 4 '18 at 21:10
|
show 3 more comments
$begingroup$
The trace of matrix is invalid since it reduces the dimension from $n^2$ to $n$. You can define the set of $ntimes n$ matrices with Frobenius norm and reorder the rows of the matrices back to back and define the Euclidean $2$-norm on $Bbb R^{n^2}$. In this manner the two metric spaces would become homeomorphic.
$endgroup$
$begingroup$
Actually, $mathrm{tr}:M_{ntimes n}tomathbb R$ reduces the dimension to just $1$.
$endgroup$
– Federico
Dec 4 '18 at 20:05
1
$begingroup$
I mean the degree of freedom reduces to $n$ since only diagonal entries are important.
$endgroup$
– Mostafa Ayaz
Dec 4 '18 at 20:05
$begingroup$
Yeah, i saw my mistake about the trace. I'm gonna look the sugestion of Frobenius norm here, thanks a lot.
$endgroup$
– gbcosta
Dec 4 '18 at 20:33
$begingroup$
You're welcome. I also can help you further if you needed....
$endgroup$
– Mostafa Ayaz
Dec 4 '18 at 20:40
$begingroup$
@Federico actually, any metric $m: X times X to mathbb{R}$ has dimension 1 codomain, so I don't think that affects anything...
$endgroup$
– Monstrous Moonshiner
Dec 4 '18 at 21:10
|
show 3 more comments
$begingroup$
The trace of matrix is invalid since it reduces the dimension from $n^2$ to $n$. You can define the set of $ntimes n$ matrices with Frobenius norm and reorder the rows of the matrices back to back and define the Euclidean $2$-norm on $Bbb R^{n^2}$. In this manner the two metric spaces would become homeomorphic.
$endgroup$
The trace of matrix is invalid since it reduces the dimension from $n^2$ to $n$. You can define the set of $ntimes n$ matrices with Frobenius norm and reorder the rows of the matrices back to back and define the Euclidean $2$-norm on $Bbb R^{n^2}$. In this manner the two metric spaces would become homeomorphic.
answered Dec 4 '18 at 19:57
Mostafa AyazMostafa Ayaz
15.4k3939
15.4k3939
$begingroup$
Actually, $mathrm{tr}:M_{ntimes n}tomathbb R$ reduces the dimension to just $1$.
$endgroup$
– Federico
Dec 4 '18 at 20:05
1
$begingroup$
I mean the degree of freedom reduces to $n$ since only diagonal entries are important.
$endgroup$
– Mostafa Ayaz
Dec 4 '18 at 20:05
$begingroup$
Yeah, i saw my mistake about the trace. I'm gonna look the sugestion of Frobenius norm here, thanks a lot.
$endgroup$
– gbcosta
Dec 4 '18 at 20:33
$begingroup$
You're welcome. I also can help you further if you needed....
$endgroup$
– Mostafa Ayaz
Dec 4 '18 at 20:40
$begingroup$
@Federico actually, any metric $m: X times X to mathbb{R}$ has dimension 1 codomain, so I don't think that affects anything...
$endgroup$
– Monstrous Moonshiner
Dec 4 '18 at 21:10
|
show 3 more comments
$begingroup$
Actually, $mathrm{tr}:M_{ntimes n}tomathbb R$ reduces the dimension to just $1$.
$endgroup$
– Federico
Dec 4 '18 at 20:05
1
$begingroup$
I mean the degree of freedom reduces to $n$ since only diagonal entries are important.
$endgroup$
– Mostafa Ayaz
Dec 4 '18 at 20:05
$begingroup$
Yeah, i saw my mistake about the trace. I'm gonna look the sugestion of Frobenius norm here, thanks a lot.
$endgroup$
– gbcosta
Dec 4 '18 at 20:33
$begingroup$
You're welcome. I also can help you further if you needed....
$endgroup$
– Mostafa Ayaz
Dec 4 '18 at 20:40
$begingroup$
@Federico actually, any metric $m: X times X to mathbb{R}$ has dimension 1 codomain, so I don't think that affects anything...
$endgroup$
– Monstrous Moonshiner
Dec 4 '18 at 21:10
$begingroup$
Actually, $mathrm{tr}:M_{ntimes n}tomathbb R$ reduces the dimension to just $1$.
$endgroup$
– Federico
Dec 4 '18 at 20:05
$begingroup$
Actually, $mathrm{tr}:M_{ntimes n}tomathbb R$ reduces the dimension to just $1$.
$endgroup$
– Federico
Dec 4 '18 at 20:05
1
1
$begingroup$
I mean the degree of freedom reduces to $n$ since only diagonal entries are important.
$endgroup$
– Mostafa Ayaz
Dec 4 '18 at 20:05
$begingroup$
I mean the degree of freedom reduces to $n$ since only diagonal entries are important.
$endgroup$
– Mostafa Ayaz
Dec 4 '18 at 20:05
$begingroup$
Yeah, i saw my mistake about the trace. I'm gonna look the sugestion of Frobenius norm here, thanks a lot.
$endgroup$
– gbcosta
Dec 4 '18 at 20:33
$begingroup$
Yeah, i saw my mistake about the trace. I'm gonna look the sugestion of Frobenius norm here, thanks a lot.
$endgroup$
– gbcosta
Dec 4 '18 at 20:33
$begingroup$
You're welcome. I also can help you further if you needed....
$endgroup$
– Mostafa Ayaz
Dec 4 '18 at 20:40
$begingroup$
You're welcome. I also can help you further if you needed....
$endgroup$
– Mostafa Ayaz
Dec 4 '18 at 20:40
$begingroup$
@Federico actually, any metric $m: X times X to mathbb{R}$ has dimension 1 codomain, so I don't think that affects anything...
$endgroup$
– Monstrous Moonshiner
Dec 4 '18 at 21:10
$begingroup$
@Federico actually, any metric $m: X times X to mathbb{R}$ has dimension 1 codomain, so I don't think that affects anything...
$endgroup$
– Monstrous Moonshiner
Dec 4 '18 at 21:10
|
show 3 more comments
$begingroup$
Just take
$$
f:Ato (a_{1,1},a_{1,2},dots,a_{1,n},a_{2,1},dots a_{2,n},a_{3,1}dots,a_{n,1},a_{n,2},dots, a_{n,n})
$$
i.e just rearrange the entries of $A$ into a vector in $mathbb{R}^{n^2}$.
Then define $d(A,B):=||f(A)-f(B)||$.
$endgroup$
$begingroup$
But this map is one-to-one? I think that $$f:Arightarrow (a_{1,1},..., a_{1,n}, a_{2,1}...,a{2,n},...,a_{n,1},...,a_{n,n})$$ answer the question, but i'm not sure of that.
$endgroup$
– gbcosta
Dec 4 '18 at 20:40
$begingroup$
Take n=3. If $A=begin{array}{lcr} a & b & c \ d & e & f \ g & h & j end{array}$ and $B = begin{array}{lcr} a & b & c \ k & l & m \ g & h & j end{array}$. So $Aneq B$ but f(A)=f(B)
$endgroup$
– gbcosta
Dec 4 '18 at 20:57
$begingroup$
No problem, anyway you helped me a lot, thank you so much.
$endgroup$
– gbcosta
Dec 4 '18 at 21:04
$begingroup$
@gbcosta no problem
$endgroup$
– qbert
Dec 4 '18 at 21:04
2
$begingroup$
Your objection : "Take n=3..." is not valid : we order the entries f(A)=(a, b, c, d, e, f, g, h, i) is different from f(B)=(a, b, c, k, l, m, g, h, i) !
$endgroup$
– Jean Marie
Dec 4 '18 at 21:12
|
show 1 more comment
$begingroup$
Just take
$$
f:Ato (a_{1,1},a_{1,2},dots,a_{1,n},a_{2,1},dots a_{2,n},a_{3,1}dots,a_{n,1},a_{n,2},dots, a_{n,n})
$$
i.e just rearrange the entries of $A$ into a vector in $mathbb{R}^{n^2}$.
Then define $d(A,B):=||f(A)-f(B)||$.
$endgroup$
$begingroup$
But this map is one-to-one? I think that $$f:Arightarrow (a_{1,1},..., a_{1,n}, a_{2,1}...,a{2,n},...,a_{n,1},...,a_{n,n})$$ answer the question, but i'm not sure of that.
$endgroup$
– gbcosta
Dec 4 '18 at 20:40
$begingroup$
Take n=3. If $A=begin{array}{lcr} a & b & c \ d & e & f \ g & h & j end{array}$ and $B = begin{array}{lcr} a & b & c \ k & l & m \ g & h & j end{array}$. So $Aneq B$ but f(A)=f(B)
$endgroup$
– gbcosta
Dec 4 '18 at 20:57
$begingroup$
No problem, anyway you helped me a lot, thank you so much.
$endgroup$
– gbcosta
Dec 4 '18 at 21:04
$begingroup$
@gbcosta no problem
$endgroup$
– qbert
Dec 4 '18 at 21:04
2
$begingroup$
Your objection : "Take n=3..." is not valid : we order the entries f(A)=(a, b, c, d, e, f, g, h, i) is different from f(B)=(a, b, c, k, l, m, g, h, i) !
$endgroup$
– Jean Marie
Dec 4 '18 at 21:12
|
show 1 more comment
$begingroup$
Just take
$$
f:Ato (a_{1,1},a_{1,2},dots,a_{1,n},a_{2,1},dots a_{2,n},a_{3,1}dots,a_{n,1},a_{n,2},dots, a_{n,n})
$$
i.e just rearrange the entries of $A$ into a vector in $mathbb{R}^{n^2}$.
Then define $d(A,B):=||f(A)-f(B)||$.
$endgroup$
Just take
$$
f:Ato (a_{1,1},a_{1,2},dots,a_{1,n},a_{2,1},dots a_{2,n},a_{3,1}dots,a_{n,1},a_{n,2},dots, a_{n,n})
$$
i.e just rearrange the entries of $A$ into a vector in $mathbb{R}^{n^2}$.
Then define $d(A,B):=||f(A)-f(B)||$.
edited Dec 4 '18 at 21:01
answered Dec 4 '18 at 20:08
qbertqbert
22.1k32460
22.1k32460
$begingroup$
But this map is one-to-one? I think that $$f:Arightarrow (a_{1,1},..., a_{1,n}, a_{2,1}...,a{2,n},...,a_{n,1},...,a_{n,n})$$ answer the question, but i'm not sure of that.
$endgroup$
– gbcosta
Dec 4 '18 at 20:40
$begingroup$
Take n=3. If $A=begin{array}{lcr} a & b & c \ d & e & f \ g & h & j end{array}$ and $B = begin{array}{lcr} a & b & c \ k & l & m \ g & h & j end{array}$. So $Aneq B$ but f(A)=f(B)
$endgroup$
– gbcosta
Dec 4 '18 at 20:57
$begingroup$
No problem, anyway you helped me a lot, thank you so much.
$endgroup$
– gbcosta
Dec 4 '18 at 21:04
$begingroup$
@gbcosta no problem
$endgroup$
– qbert
Dec 4 '18 at 21:04
2
$begingroup$
Your objection : "Take n=3..." is not valid : we order the entries f(A)=(a, b, c, d, e, f, g, h, i) is different from f(B)=(a, b, c, k, l, m, g, h, i) !
$endgroup$
– Jean Marie
Dec 4 '18 at 21:12
|
show 1 more comment
$begingroup$
But this map is one-to-one? I think that $$f:Arightarrow (a_{1,1},..., a_{1,n}, a_{2,1}...,a{2,n},...,a_{n,1},...,a_{n,n})$$ answer the question, but i'm not sure of that.
$endgroup$
– gbcosta
Dec 4 '18 at 20:40
$begingroup$
Take n=3. If $A=begin{array}{lcr} a & b & c \ d & e & f \ g & h & j end{array}$ and $B = begin{array}{lcr} a & b & c \ k & l & m \ g & h & j end{array}$. So $Aneq B$ but f(A)=f(B)
$endgroup$
– gbcosta
Dec 4 '18 at 20:57
$begingroup$
No problem, anyway you helped me a lot, thank you so much.
$endgroup$
– gbcosta
Dec 4 '18 at 21:04
$begingroup$
@gbcosta no problem
$endgroup$
– qbert
Dec 4 '18 at 21:04
2
$begingroup$
Your objection : "Take n=3..." is not valid : we order the entries f(A)=(a, b, c, d, e, f, g, h, i) is different from f(B)=(a, b, c, k, l, m, g, h, i) !
$endgroup$
– Jean Marie
Dec 4 '18 at 21:12
$begingroup$
But this map is one-to-one? I think that $$f:Arightarrow (a_{1,1},..., a_{1,n}, a_{2,1}...,a{2,n},...,a_{n,1},...,a_{n,n})$$ answer the question, but i'm not sure of that.
$endgroup$
– gbcosta
Dec 4 '18 at 20:40
$begingroup$
But this map is one-to-one? I think that $$f:Arightarrow (a_{1,1},..., a_{1,n}, a_{2,1}...,a{2,n},...,a_{n,1},...,a_{n,n})$$ answer the question, but i'm not sure of that.
$endgroup$
– gbcosta
Dec 4 '18 at 20:40
$begingroup$
Take n=3. If $A=begin{array}{lcr} a & b & c \ d & e & f \ g & h & j end{array}$ and $B = begin{array}{lcr} a & b & c \ k & l & m \ g & h & j end{array}$. So $Aneq B$ but f(A)=f(B)
$endgroup$
– gbcosta
Dec 4 '18 at 20:57
$begingroup$
Take n=3. If $A=begin{array}{lcr} a & b & c \ d & e & f \ g & h & j end{array}$ and $B = begin{array}{lcr} a & b & c \ k & l & m \ g & h & j end{array}$. So $Aneq B$ but f(A)=f(B)
$endgroup$
– gbcosta
Dec 4 '18 at 20:57
$begingroup$
No problem, anyway you helped me a lot, thank you so much.
$endgroup$
– gbcosta
Dec 4 '18 at 21:04
$begingroup$
No problem, anyway you helped me a lot, thank you so much.
$endgroup$
– gbcosta
Dec 4 '18 at 21:04
$begingroup$
@gbcosta no problem
$endgroup$
– qbert
Dec 4 '18 at 21:04
$begingroup$
@gbcosta no problem
$endgroup$
– qbert
Dec 4 '18 at 21:04
2
2
$begingroup$
Your objection : "Take n=3..." is not valid : we order the entries f(A)=(a, b, c, d, e, f, g, h, i) is different from f(B)=(a, b, c, k, l, m, g, h, i) !
$endgroup$
– Jean Marie
Dec 4 '18 at 21:12
$begingroup$
Your objection : "Take n=3..." is not valid : we order the entries f(A)=(a, b, c, d, e, f, g, h, i) is different from f(B)=(a, b, c, k, l, m, g, h, i) !
$endgroup$
– Jean Marie
Dec 4 '18 at 21:12
|
show 1 more 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%2f3026067%2fa-one-to-one-map-between-m-n-times-n-and-the-mathbbrn2%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