Proving that two vector spaces of equal dimension are isomorphic
$begingroup$
Given the following problem
Let $U$ and $V$ be finite dimensional vector spaces, such that $dim(U) = dim(V)$. Prove that $U$ and $V$ are isomorphic.
I was just wondering if somebody could critique and validate my proof.
Proof
Two vector spaces $U$ and $V$ are isomorphic if and only if there exists a bijection $phi: U to V$. That is, an invertible linear map between the two. Let $dim(U) = dim(V) = n$ and let $left{u_1, dots, u_nright}$ and $left{v_1, dots, v_nright}$ be bases for $U$ and $V$, respectively. It follows that any vector $u in U$ can be written as
$$
u = c_1u_1 + cdots + c_nu_n
$$
We define $phi: U to V$ as
$$
phi(c_1u_1 + cdots + c_nu_n) = c_1v_1 + cdots + c_nv_n
$$
Observe that $phi$ is invertible. That is, given a vector
$$
v = d_1v_1 + cdots + d_nv_n
$$
in $V$, we define $phi^{-1}: V to U$ as
$$
phi^{-1}(d_1v_1 + cdots + d_nv_n) = d_1u_1 + cdots + d_nu_n
$$
Since there exists a bijection between $U$ and $V$, they are isomorphic.
linear-algebra proof-verification vector-space-isomorphism
$endgroup$
add a comment |
$begingroup$
Given the following problem
Let $U$ and $V$ be finite dimensional vector spaces, such that $dim(U) = dim(V)$. Prove that $U$ and $V$ are isomorphic.
I was just wondering if somebody could critique and validate my proof.
Proof
Two vector spaces $U$ and $V$ are isomorphic if and only if there exists a bijection $phi: U to V$. That is, an invertible linear map between the two. Let $dim(U) = dim(V) = n$ and let $left{u_1, dots, u_nright}$ and $left{v_1, dots, v_nright}$ be bases for $U$ and $V$, respectively. It follows that any vector $u in U$ can be written as
$$
u = c_1u_1 + cdots + c_nu_n
$$
We define $phi: U to V$ as
$$
phi(c_1u_1 + cdots + c_nu_n) = c_1v_1 + cdots + c_nv_n
$$
Observe that $phi$ is invertible. That is, given a vector
$$
v = d_1v_1 + cdots + d_nv_n
$$
in $V$, we define $phi^{-1}: V to U$ as
$$
phi^{-1}(d_1v_1 + cdots + d_nv_n) = d_1u_1 + cdots + d_nu_n
$$
Since there exists a bijection between $U$ and $V$, they are isomorphic.
linear-algebra proof-verification vector-space-isomorphism
$endgroup$
$begingroup$
your proof is pretty good except that at the end you should say "since there is a linear bijection". it is pretty obvious that your map is linear, as you mention. however the isomorphism concept is about preserving structure, and so in any discussions of isomorphism the relevant structure should always be kept to the forefront of attention
$endgroup$
– David Holden
Dec 2 '13 at 1:29
$begingroup$
Our professor always just uses the term "bijection" since it is a linear algebra course and linear bijections are the only type of bijections we study. However, I will change it to "linear bijection" to be more rigorous. Thank you very much!
$endgroup$
– David Bradwell
Dec 2 '13 at 1:31
$begingroup$
all the best with your studies! i love math, but sometimes suffer from short-circuit of the brain which leads me to make bizarre assertions! i'm trying to learn to be more careful and thorough.
$endgroup$
– David Holden
Dec 2 '13 at 1:43
$begingroup$
You might want to write “can be written uniquely as”, otherwise $phi$ would not be well-defined.
$endgroup$
– Carsten S
Dec 14 '13 at 14:58
$begingroup$
You need to mention (or show a little) bit why the map $varphi$ that you defined is linear. And then you need to mention again that by the same argumen the inverse map that you defined is linear as well.
$endgroup$
– user9077
Dec 11 '18 at 17:29
add a comment |
$begingroup$
Given the following problem
Let $U$ and $V$ be finite dimensional vector spaces, such that $dim(U) = dim(V)$. Prove that $U$ and $V$ are isomorphic.
I was just wondering if somebody could critique and validate my proof.
Proof
Two vector spaces $U$ and $V$ are isomorphic if and only if there exists a bijection $phi: U to V$. That is, an invertible linear map between the two. Let $dim(U) = dim(V) = n$ and let $left{u_1, dots, u_nright}$ and $left{v_1, dots, v_nright}$ be bases for $U$ and $V$, respectively. It follows that any vector $u in U$ can be written as
$$
u = c_1u_1 + cdots + c_nu_n
$$
We define $phi: U to V$ as
$$
phi(c_1u_1 + cdots + c_nu_n) = c_1v_1 + cdots + c_nv_n
$$
Observe that $phi$ is invertible. That is, given a vector
$$
v = d_1v_1 + cdots + d_nv_n
$$
in $V$, we define $phi^{-1}: V to U$ as
$$
phi^{-1}(d_1v_1 + cdots + d_nv_n) = d_1u_1 + cdots + d_nu_n
$$
Since there exists a bijection between $U$ and $V$, they are isomorphic.
linear-algebra proof-verification vector-space-isomorphism
$endgroup$
Given the following problem
Let $U$ and $V$ be finite dimensional vector spaces, such that $dim(U) = dim(V)$. Prove that $U$ and $V$ are isomorphic.
I was just wondering if somebody could critique and validate my proof.
Proof
Two vector spaces $U$ and $V$ are isomorphic if and only if there exists a bijection $phi: U to V$. That is, an invertible linear map between the two. Let $dim(U) = dim(V) = n$ and let $left{u_1, dots, u_nright}$ and $left{v_1, dots, v_nright}$ be bases for $U$ and $V$, respectively. It follows that any vector $u in U$ can be written as
$$
u = c_1u_1 + cdots + c_nu_n
$$
We define $phi: U to V$ as
$$
phi(c_1u_1 + cdots + c_nu_n) = c_1v_1 + cdots + c_nv_n
$$
Observe that $phi$ is invertible. That is, given a vector
$$
v = d_1v_1 + cdots + d_nv_n
$$
in $V$, we define $phi^{-1}: V to U$ as
$$
phi^{-1}(d_1v_1 + cdots + d_nv_n) = d_1u_1 + cdots + d_nu_n
$$
Since there exists a bijection between $U$ and $V$, they are isomorphic.
linear-algebra proof-verification vector-space-isomorphism
linear-algebra proof-verification vector-space-isomorphism
edited Feb 26 '18 at 17:57
nbro
2,41153173
2,41153173
asked Dec 2 '13 at 1:19
David BradwellDavid Bradwell
3113
3113
$begingroup$
your proof is pretty good except that at the end you should say "since there is a linear bijection". it is pretty obvious that your map is linear, as you mention. however the isomorphism concept is about preserving structure, and so in any discussions of isomorphism the relevant structure should always be kept to the forefront of attention
$endgroup$
– David Holden
Dec 2 '13 at 1:29
$begingroup$
Our professor always just uses the term "bijection" since it is a linear algebra course and linear bijections are the only type of bijections we study. However, I will change it to "linear bijection" to be more rigorous. Thank you very much!
$endgroup$
– David Bradwell
Dec 2 '13 at 1:31
$begingroup$
all the best with your studies! i love math, but sometimes suffer from short-circuit of the brain which leads me to make bizarre assertions! i'm trying to learn to be more careful and thorough.
$endgroup$
– David Holden
Dec 2 '13 at 1:43
$begingroup$
You might want to write “can be written uniquely as”, otherwise $phi$ would not be well-defined.
$endgroup$
– Carsten S
Dec 14 '13 at 14:58
$begingroup$
You need to mention (or show a little) bit why the map $varphi$ that you defined is linear. And then you need to mention again that by the same argumen the inverse map that you defined is linear as well.
$endgroup$
– user9077
Dec 11 '18 at 17:29
add a comment |
$begingroup$
your proof is pretty good except that at the end you should say "since there is a linear bijection". it is pretty obvious that your map is linear, as you mention. however the isomorphism concept is about preserving structure, and so in any discussions of isomorphism the relevant structure should always be kept to the forefront of attention
$endgroup$
– David Holden
Dec 2 '13 at 1:29
$begingroup$
Our professor always just uses the term "bijection" since it is a linear algebra course and linear bijections are the only type of bijections we study. However, I will change it to "linear bijection" to be more rigorous. Thank you very much!
$endgroup$
– David Bradwell
Dec 2 '13 at 1:31
$begingroup$
all the best with your studies! i love math, but sometimes suffer from short-circuit of the brain which leads me to make bizarre assertions! i'm trying to learn to be more careful and thorough.
$endgroup$
– David Holden
Dec 2 '13 at 1:43
$begingroup$
You might want to write “can be written uniquely as”, otherwise $phi$ would not be well-defined.
$endgroup$
– Carsten S
Dec 14 '13 at 14:58
$begingroup$
You need to mention (or show a little) bit why the map $varphi$ that you defined is linear. And then you need to mention again that by the same argumen the inverse map that you defined is linear as well.
$endgroup$
– user9077
Dec 11 '18 at 17:29
$begingroup$
your proof is pretty good except that at the end you should say "since there is a linear bijection". it is pretty obvious that your map is linear, as you mention. however the isomorphism concept is about preserving structure, and so in any discussions of isomorphism the relevant structure should always be kept to the forefront of attention
$endgroup$
– David Holden
Dec 2 '13 at 1:29
$begingroup$
your proof is pretty good except that at the end you should say "since there is a linear bijection". it is pretty obvious that your map is linear, as you mention. however the isomorphism concept is about preserving structure, and so in any discussions of isomorphism the relevant structure should always be kept to the forefront of attention
$endgroup$
– David Holden
Dec 2 '13 at 1:29
$begingroup$
Our professor always just uses the term "bijection" since it is a linear algebra course and linear bijections are the only type of bijections we study. However, I will change it to "linear bijection" to be more rigorous. Thank you very much!
$endgroup$
– David Bradwell
Dec 2 '13 at 1:31
$begingroup$
Our professor always just uses the term "bijection" since it is a linear algebra course and linear bijections are the only type of bijections we study. However, I will change it to "linear bijection" to be more rigorous. Thank you very much!
$endgroup$
– David Bradwell
Dec 2 '13 at 1:31
$begingroup$
all the best with your studies! i love math, but sometimes suffer from short-circuit of the brain which leads me to make bizarre assertions! i'm trying to learn to be more careful and thorough.
$endgroup$
– David Holden
Dec 2 '13 at 1:43
$begingroup$
all the best with your studies! i love math, but sometimes suffer from short-circuit of the brain which leads me to make bizarre assertions! i'm trying to learn to be more careful and thorough.
$endgroup$
– David Holden
Dec 2 '13 at 1:43
$begingroup$
You might want to write “can be written uniquely as”, otherwise $phi$ would not be well-defined.
$endgroup$
– Carsten S
Dec 14 '13 at 14:58
$begingroup$
You might want to write “can be written uniquely as”, otherwise $phi$ would not be well-defined.
$endgroup$
– Carsten S
Dec 14 '13 at 14:58
$begingroup$
You need to mention (or show a little) bit why the map $varphi$ that you defined is linear. And then you need to mention again that by the same argumen the inverse map that you defined is linear as well.
$endgroup$
– user9077
Dec 11 '18 at 17:29
$begingroup$
You need to mention (or show a little) bit why the map $varphi$ that you defined is linear. And then you need to mention again that by the same argumen the inverse map that you defined is linear as well.
$endgroup$
– user9077
Dec 11 '18 at 17:29
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
This is a common theorem that qualifies as
• Theorem 6.25 on P512 of Linear Algebra by David Poole,
• Theorem 3.18 on P55 of Linear Algebra Done Right by Sheldon Axler,
• and can be found here at Google Books.
Also, in your first line, I think that you should specify $phi$ to be a bijective linear transformation, and not just a bijection. I hope that this helps.
$endgroup$
add a 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%2f588888%2fproving-that-two-vector-spaces-of-equal-dimension-are-isomorphic%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$
This is a common theorem that qualifies as
• Theorem 6.25 on P512 of Linear Algebra by David Poole,
• Theorem 3.18 on P55 of Linear Algebra Done Right by Sheldon Axler,
• and can be found here at Google Books.
Also, in your first line, I think that you should specify $phi$ to be a bijective linear transformation, and not just a bijection. I hope that this helps.
$endgroup$
add a comment |
$begingroup$
This is a common theorem that qualifies as
• Theorem 6.25 on P512 of Linear Algebra by David Poole,
• Theorem 3.18 on P55 of Linear Algebra Done Right by Sheldon Axler,
• and can be found here at Google Books.
Also, in your first line, I think that you should specify $phi$ to be a bijective linear transformation, and not just a bijection. I hope that this helps.
$endgroup$
add a comment |
$begingroup$
This is a common theorem that qualifies as
• Theorem 6.25 on P512 of Linear Algebra by David Poole,
• Theorem 3.18 on P55 of Linear Algebra Done Right by Sheldon Axler,
• and can be found here at Google Books.
Also, in your first line, I think that you should specify $phi$ to be a bijective linear transformation, and not just a bijection. I hope that this helps.
$endgroup$
This is a common theorem that qualifies as
• Theorem 6.25 on P512 of Linear Algebra by David Poole,
• Theorem 3.18 on P55 of Linear Algebra Done Right by Sheldon Axler,
• and can be found here at Google Books.
Also, in your first line, I think that you should specify $phi$ to be a bijective linear transformation, and not just a bijection. I hope that this helps.
answered Dec 14 '13 at 14:55
Greek - Area 51 ProposalGreek - Area 51 Proposal
3,176769105
3,176769105
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%2f588888%2fproving-that-two-vector-spaces-of-equal-dimension-are-isomorphic%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$
your proof is pretty good except that at the end you should say "since there is a linear bijection". it is pretty obvious that your map is linear, as you mention. however the isomorphism concept is about preserving structure, and so in any discussions of isomorphism the relevant structure should always be kept to the forefront of attention
$endgroup$
– David Holden
Dec 2 '13 at 1:29
$begingroup$
Our professor always just uses the term "bijection" since it is a linear algebra course and linear bijections are the only type of bijections we study. However, I will change it to "linear bijection" to be more rigorous. Thank you very much!
$endgroup$
– David Bradwell
Dec 2 '13 at 1:31
$begingroup$
all the best with your studies! i love math, but sometimes suffer from short-circuit of the brain which leads me to make bizarre assertions! i'm trying to learn to be more careful and thorough.
$endgroup$
– David Holden
Dec 2 '13 at 1:43
$begingroup$
You might want to write “can be written uniquely as”, otherwise $phi$ would not be well-defined.
$endgroup$
– Carsten S
Dec 14 '13 at 14:58
$begingroup$
You need to mention (or show a little) bit why the map $varphi$ that you defined is linear. And then you need to mention again that by the same argumen the inverse map that you defined is linear as well.
$endgroup$
– user9077
Dec 11 '18 at 17:29