Invariants between two isomorphic vector spacesComplex vector spacesSimple questions about isomorphisms between vector spacesWhat is needed to make Euclidean spaces isomorphic as groups?Vector Spaces and GroupsWhat do mathematicians mean by if two vector spaces are isomorphic, then “they are the same”What are the implications of the fact that vector spaces are isomorphic?Assume that $V$ and $W$ are isomorphic vector spaces. What does it imply if $V$ and $W$ are not finite dimensional.If there is a bijective linear transformation between two vector spaces, do they bear same properties?Are $C[0,1]$ and $C[0,1)$ isomorphic?Subspaces and elements of isomorphic vector spaces

Was Spock the First Vulcan in Starfleet?

How can a function with a hole (removable discontinuity) equal a function with no hole?

How to check is there any negative term in a large list?

System.debug(JSON.Serialize(o)) Not longer shows full string

India just shot down a satellite from the ground. At what altitude range is the resulting debris field?

Go Pregnant or Go Home

Inappropriate reference requests from Journal reviewers

Crossing the line between justified force and brutality

How does Loki do this?

What happens if you roll doubles 3 times then land on "Go to jail?"

A Rare Riley Riddle

What does 算不上 mean in 算不上太美好的日子?

I'm in charge of equipment buying but no one's ever happy with what I choose. How to fix this?

Pre-amplifier input protection

Why didn't Theresa May consult with Parliament before negotiating a deal with the EU?

How does buying out courses with grant money work?

Opposite of a diet

Is expanding the research of a group into machine learning as a PhD student risky?

What is the best translation for "slot" in the context of multiplayer video games?

Is there a good way to store credentials outside of a password manager?

How do I rename a Linux host without needing to reboot for the rename to take effect?

Customer Requests (Sometimes) Drive Me Bonkers!

Is the destination of a commercial flight important for the pilot?

How do we know the LHC results are robust?



Invariants between two isomorphic vector spaces


Complex vector spacesSimple questions about isomorphisms between vector spacesWhat is needed to make Euclidean spaces isomorphic as groups?Vector Spaces and GroupsWhat do mathematicians mean by if two vector spaces are isomorphic, then “they are the same”What are the implications of the fact that vector spaces are isomorphic?Assume that $V$ and $W$ are isomorphic vector spaces. What does it imply if $V$ and $W$ are not finite dimensional.If there is a bijective linear transformation between two vector spaces, do they bear same properties?Are $C[0,1]$ and $C[0,1)$ isomorphic?Subspaces and elements of isomorphic vector spaces













2












$begingroup$


I have a general question about isomorphisms between vector spaces.



From a general point of view, there are common properties (invariants) between two isomorphic structures (e.g., properties about compactness or connectedness between two isomorphic topological spaces, commutativity between two isomorphic groups). Can you give me some examples of invariants between two isomorphic vector spaces ?



Thank you for your help !










share|cite|improve this question











$endgroup$







  • 1




    $begingroup$
    Dimension certainly.
    $endgroup$
    – Wuestenfux
    yesterday















2












$begingroup$


I have a general question about isomorphisms between vector spaces.



From a general point of view, there are common properties (invariants) between two isomorphic structures (e.g., properties about compactness or connectedness between two isomorphic topological spaces, commutativity between two isomorphic groups). Can you give me some examples of invariants between two isomorphic vector spaces ?



Thank you for your help !










share|cite|improve this question











$endgroup$







  • 1




    $begingroup$
    Dimension certainly.
    $endgroup$
    – Wuestenfux
    yesterday













2












2








2





$begingroup$


I have a general question about isomorphisms between vector spaces.



From a general point of view, there are common properties (invariants) between two isomorphic structures (e.g., properties about compactness or connectedness between two isomorphic topological spaces, commutativity between two isomorphic groups). Can you give me some examples of invariants between two isomorphic vector spaces ?



Thank you for your help !










share|cite|improve this question











$endgroup$




I have a general question about isomorphisms between vector spaces.



From a general point of view, there are common properties (invariants) between two isomorphic structures (e.g., properties about compactness or connectedness between two isomorphic topological spaces, commutativity between two isomorphic groups). Can you give me some examples of invariants between two isomorphic vector spaces ?



Thank you for your help !







vector-spaces vector-space-isomorphism invariance






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited yesterday









José Carlos Santos

170k23132239




170k23132239










asked yesterday









deeppinkwaterdeeppinkwater

858




858







  • 1




    $begingroup$
    Dimension certainly.
    $endgroup$
    – Wuestenfux
    yesterday












  • 1




    $begingroup$
    Dimension certainly.
    $endgroup$
    – Wuestenfux
    yesterday







1




1




$begingroup$
Dimension certainly.
$endgroup$
– Wuestenfux
yesterday




$begingroup$
Dimension certainly.
$endgroup$
– Wuestenfux
yesterday










2 Answers
2






active

oldest

votes


















6












$begingroup$

One of the fundamental theorems of linear algebra is that there is only one invariant you really need to care about: the dimension. Two vector spaces are isomorphic if and only if they have the same dimension. The reason is that any map that bijectively takes a basis of one vector space to a basis of another vector space must extend linearly (in a unique way) to a vector space isomorphism.



Another example is the cardinality of the underlying set (of course, the isomorphism is a bijection).



This observation is actually useful in field theory. Suppose you have a field $K$ which you know is finite. Then the prime subfield of $K$ is $mathbbF_p$ for some prime $p.$ Now $K$ must have finite dimension as a vector space over $mathbbF_p$ (since $K$ is finite), so, again as a vector space, $K=(mathbbF_p)^oplus r$ for some $r.$ It follows immediately that $lvertKrvert=p^r$ for the same $r.$ Moreover, if two finite fields are of the same cardinality, then that cardinality must be $p^r$ for some prime $p$ and some integer $r,$ and it follows that those two fields are isomorphic as vector spaces over the prime subfield $mathbbF_p.$ (With a bit more work, one can show that any two finite fields of the same cardinality are isomorphic as fields, and that a finite field of cardinality $p^r$ does exist for every prime $p$ and every integer $r>0.$)






share|cite|improve this answer











$endgroup$












  • $begingroup$
    Thank you for this answer.
    $endgroup$
    – deeppinkwater
    yesterday










  • $begingroup$
    @deeppinkwater: It is perhaps also worth noting that although (or rather, because!) the dimension is the only thing that determines the isomorphism class of a vector space, most linear algebra courses actually spend more time focusing on the linear maps between vector spaces. Then there are lots of "invariants", depending upon your notion of isomorphism, the primary examples being eigenvalues (with their respective multiplicities), and therefore also the determinant and the trace, and the singular values.
    $endgroup$
    – Will R
    yesterday











  • $begingroup$
    I take it by "underlying set", you mean "scalar field"? I think that the latter is more precise.
    $endgroup$
    – Acccumulation
    yesterday










  • $begingroup$
    @Acccumulation: No, I mean the set of vectors. If a vector space over a field $K$ is an abelian group $V$ with a linear action of $K$ on $V$ (basically, you have some operations and a load of axioms are satisfied), then by "underlying set" I mean the set $V.$
    $endgroup$
    – Will R
    yesterday


















2












$begingroup$

The number one is the dimension, of course, since two vector spaces over the same field are isomorphic if and only if they have the same dimension.






share|cite|improve this answer









$endgroup$












  • $begingroup$
    Thank you, that's the only one that came to my mind actually !
    $endgroup$
    – deeppinkwater
    yesterday










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%2f3163230%2finvariants-between-two-isomorphic-vector-spaces%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









6












$begingroup$

One of the fundamental theorems of linear algebra is that there is only one invariant you really need to care about: the dimension. Two vector spaces are isomorphic if and only if they have the same dimension. The reason is that any map that bijectively takes a basis of one vector space to a basis of another vector space must extend linearly (in a unique way) to a vector space isomorphism.



Another example is the cardinality of the underlying set (of course, the isomorphism is a bijection).



This observation is actually useful in field theory. Suppose you have a field $K$ which you know is finite. Then the prime subfield of $K$ is $mathbbF_p$ for some prime $p.$ Now $K$ must have finite dimension as a vector space over $mathbbF_p$ (since $K$ is finite), so, again as a vector space, $K=(mathbbF_p)^oplus r$ for some $r.$ It follows immediately that $lvertKrvert=p^r$ for the same $r.$ Moreover, if two finite fields are of the same cardinality, then that cardinality must be $p^r$ for some prime $p$ and some integer $r,$ and it follows that those two fields are isomorphic as vector spaces over the prime subfield $mathbbF_p.$ (With a bit more work, one can show that any two finite fields of the same cardinality are isomorphic as fields, and that a finite field of cardinality $p^r$ does exist for every prime $p$ and every integer $r>0.$)






share|cite|improve this answer











$endgroup$












  • $begingroup$
    Thank you for this answer.
    $endgroup$
    – deeppinkwater
    yesterday










  • $begingroup$
    @deeppinkwater: It is perhaps also worth noting that although (or rather, because!) the dimension is the only thing that determines the isomorphism class of a vector space, most linear algebra courses actually spend more time focusing on the linear maps between vector spaces. Then there are lots of "invariants", depending upon your notion of isomorphism, the primary examples being eigenvalues (with their respective multiplicities), and therefore also the determinant and the trace, and the singular values.
    $endgroup$
    – Will R
    yesterday











  • $begingroup$
    I take it by "underlying set", you mean "scalar field"? I think that the latter is more precise.
    $endgroup$
    – Acccumulation
    yesterday










  • $begingroup$
    @Acccumulation: No, I mean the set of vectors. If a vector space over a field $K$ is an abelian group $V$ with a linear action of $K$ on $V$ (basically, you have some operations and a load of axioms are satisfied), then by "underlying set" I mean the set $V.$
    $endgroup$
    – Will R
    yesterday















6












$begingroup$

One of the fundamental theorems of linear algebra is that there is only one invariant you really need to care about: the dimension. Two vector spaces are isomorphic if and only if they have the same dimension. The reason is that any map that bijectively takes a basis of one vector space to a basis of another vector space must extend linearly (in a unique way) to a vector space isomorphism.



Another example is the cardinality of the underlying set (of course, the isomorphism is a bijection).



This observation is actually useful in field theory. Suppose you have a field $K$ which you know is finite. Then the prime subfield of $K$ is $mathbbF_p$ for some prime $p.$ Now $K$ must have finite dimension as a vector space over $mathbbF_p$ (since $K$ is finite), so, again as a vector space, $K=(mathbbF_p)^oplus r$ for some $r.$ It follows immediately that $lvertKrvert=p^r$ for the same $r.$ Moreover, if two finite fields are of the same cardinality, then that cardinality must be $p^r$ for some prime $p$ and some integer $r,$ and it follows that those two fields are isomorphic as vector spaces over the prime subfield $mathbbF_p.$ (With a bit more work, one can show that any two finite fields of the same cardinality are isomorphic as fields, and that a finite field of cardinality $p^r$ does exist for every prime $p$ and every integer $r>0.$)






share|cite|improve this answer











$endgroup$












  • $begingroup$
    Thank you for this answer.
    $endgroup$
    – deeppinkwater
    yesterday










  • $begingroup$
    @deeppinkwater: It is perhaps also worth noting that although (or rather, because!) the dimension is the only thing that determines the isomorphism class of a vector space, most linear algebra courses actually spend more time focusing on the linear maps between vector spaces. Then there are lots of "invariants", depending upon your notion of isomorphism, the primary examples being eigenvalues (with their respective multiplicities), and therefore also the determinant and the trace, and the singular values.
    $endgroup$
    – Will R
    yesterday











  • $begingroup$
    I take it by "underlying set", you mean "scalar field"? I think that the latter is more precise.
    $endgroup$
    – Acccumulation
    yesterday










  • $begingroup$
    @Acccumulation: No, I mean the set of vectors. If a vector space over a field $K$ is an abelian group $V$ with a linear action of $K$ on $V$ (basically, you have some operations and a load of axioms are satisfied), then by "underlying set" I mean the set $V.$
    $endgroup$
    – Will R
    yesterday













6












6








6





$begingroup$

One of the fundamental theorems of linear algebra is that there is only one invariant you really need to care about: the dimension. Two vector spaces are isomorphic if and only if they have the same dimension. The reason is that any map that bijectively takes a basis of one vector space to a basis of another vector space must extend linearly (in a unique way) to a vector space isomorphism.



Another example is the cardinality of the underlying set (of course, the isomorphism is a bijection).



This observation is actually useful in field theory. Suppose you have a field $K$ which you know is finite. Then the prime subfield of $K$ is $mathbbF_p$ for some prime $p.$ Now $K$ must have finite dimension as a vector space over $mathbbF_p$ (since $K$ is finite), so, again as a vector space, $K=(mathbbF_p)^oplus r$ for some $r.$ It follows immediately that $lvertKrvert=p^r$ for the same $r.$ Moreover, if two finite fields are of the same cardinality, then that cardinality must be $p^r$ for some prime $p$ and some integer $r,$ and it follows that those two fields are isomorphic as vector spaces over the prime subfield $mathbbF_p.$ (With a bit more work, one can show that any two finite fields of the same cardinality are isomorphic as fields, and that a finite field of cardinality $p^r$ does exist for every prime $p$ and every integer $r>0.$)






share|cite|improve this answer











$endgroup$



One of the fundamental theorems of linear algebra is that there is only one invariant you really need to care about: the dimension. Two vector spaces are isomorphic if and only if they have the same dimension. The reason is that any map that bijectively takes a basis of one vector space to a basis of another vector space must extend linearly (in a unique way) to a vector space isomorphism.



Another example is the cardinality of the underlying set (of course, the isomorphism is a bijection).



This observation is actually useful in field theory. Suppose you have a field $K$ which you know is finite. Then the prime subfield of $K$ is $mathbbF_p$ for some prime $p.$ Now $K$ must have finite dimension as a vector space over $mathbbF_p$ (since $K$ is finite), so, again as a vector space, $K=(mathbbF_p)^oplus r$ for some $r.$ It follows immediately that $lvertKrvert=p^r$ for the same $r.$ Moreover, if two finite fields are of the same cardinality, then that cardinality must be $p^r$ for some prime $p$ and some integer $r,$ and it follows that those two fields are isomorphic as vector spaces over the prime subfield $mathbbF_p.$ (With a bit more work, one can show that any two finite fields of the same cardinality are isomorphic as fields, and that a finite field of cardinality $p^r$ does exist for every prime $p$ and every integer $r>0.$)







share|cite|improve this answer














share|cite|improve this answer



share|cite|improve this answer








edited yesterday

























answered yesterday









Will RWill R

6,78231429




6,78231429











  • $begingroup$
    Thank you for this answer.
    $endgroup$
    – deeppinkwater
    yesterday










  • $begingroup$
    @deeppinkwater: It is perhaps also worth noting that although (or rather, because!) the dimension is the only thing that determines the isomorphism class of a vector space, most linear algebra courses actually spend more time focusing on the linear maps between vector spaces. Then there are lots of "invariants", depending upon your notion of isomorphism, the primary examples being eigenvalues (with their respective multiplicities), and therefore also the determinant and the trace, and the singular values.
    $endgroup$
    – Will R
    yesterday











  • $begingroup$
    I take it by "underlying set", you mean "scalar field"? I think that the latter is more precise.
    $endgroup$
    – Acccumulation
    yesterday










  • $begingroup$
    @Acccumulation: No, I mean the set of vectors. If a vector space over a field $K$ is an abelian group $V$ with a linear action of $K$ on $V$ (basically, you have some operations and a load of axioms are satisfied), then by "underlying set" I mean the set $V.$
    $endgroup$
    – Will R
    yesterday
















  • $begingroup$
    Thank you for this answer.
    $endgroup$
    – deeppinkwater
    yesterday










  • $begingroup$
    @deeppinkwater: It is perhaps also worth noting that although (or rather, because!) the dimension is the only thing that determines the isomorphism class of a vector space, most linear algebra courses actually spend more time focusing on the linear maps between vector spaces. Then there are lots of "invariants", depending upon your notion of isomorphism, the primary examples being eigenvalues (with their respective multiplicities), and therefore also the determinant and the trace, and the singular values.
    $endgroup$
    – Will R
    yesterday











  • $begingroup$
    I take it by "underlying set", you mean "scalar field"? I think that the latter is more precise.
    $endgroup$
    – Acccumulation
    yesterday










  • $begingroup$
    @Acccumulation: No, I mean the set of vectors. If a vector space over a field $K$ is an abelian group $V$ with a linear action of $K$ on $V$ (basically, you have some operations and a load of axioms are satisfied), then by "underlying set" I mean the set $V.$
    $endgroup$
    – Will R
    yesterday















$begingroup$
Thank you for this answer.
$endgroup$
– deeppinkwater
yesterday




$begingroup$
Thank you for this answer.
$endgroup$
– deeppinkwater
yesterday












$begingroup$
@deeppinkwater: It is perhaps also worth noting that although (or rather, because!) the dimension is the only thing that determines the isomorphism class of a vector space, most linear algebra courses actually spend more time focusing on the linear maps between vector spaces. Then there are lots of "invariants", depending upon your notion of isomorphism, the primary examples being eigenvalues (with their respective multiplicities), and therefore also the determinant and the trace, and the singular values.
$endgroup$
– Will R
yesterday





$begingroup$
@deeppinkwater: It is perhaps also worth noting that although (or rather, because!) the dimension is the only thing that determines the isomorphism class of a vector space, most linear algebra courses actually spend more time focusing on the linear maps between vector spaces. Then there are lots of "invariants", depending upon your notion of isomorphism, the primary examples being eigenvalues (with their respective multiplicities), and therefore also the determinant and the trace, and the singular values.
$endgroup$
– Will R
yesterday













$begingroup$
I take it by "underlying set", you mean "scalar field"? I think that the latter is more precise.
$endgroup$
– Acccumulation
yesterday




$begingroup$
I take it by "underlying set", you mean "scalar field"? I think that the latter is more precise.
$endgroup$
– Acccumulation
yesterday












$begingroup$
@Acccumulation: No, I mean the set of vectors. If a vector space over a field $K$ is an abelian group $V$ with a linear action of $K$ on $V$ (basically, you have some operations and a load of axioms are satisfied), then by "underlying set" I mean the set $V.$
$endgroup$
– Will R
yesterday




$begingroup$
@Acccumulation: No, I mean the set of vectors. If a vector space over a field $K$ is an abelian group $V$ with a linear action of $K$ on $V$ (basically, you have some operations and a load of axioms are satisfied), then by "underlying set" I mean the set $V.$
$endgroup$
– Will R
yesterday











2












$begingroup$

The number one is the dimension, of course, since two vector spaces over the same field are isomorphic if and only if they have the same dimension.






share|cite|improve this answer









$endgroup$












  • $begingroup$
    Thank you, that's the only one that came to my mind actually !
    $endgroup$
    – deeppinkwater
    yesterday















2












$begingroup$

The number one is the dimension, of course, since two vector spaces over the same field are isomorphic if and only if they have the same dimension.






share|cite|improve this answer









$endgroup$












  • $begingroup$
    Thank you, that's the only one that came to my mind actually !
    $endgroup$
    – deeppinkwater
    yesterday













2












2








2





$begingroup$

The number one is the dimension, of course, since two vector spaces over the same field are isomorphic if and only if they have the same dimension.






share|cite|improve this answer









$endgroup$



The number one is the dimension, of course, since two vector spaces over the same field are isomorphic if and only if they have the same dimension.







share|cite|improve this answer












share|cite|improve this answer



share|cite|improve this answer










answered yesterday









José Carlos SantosJosé Carlos Santos

170k23132239




170k23132239











  • $begingroup$
    Thank you, that's the only one that came to my mind actually !
    $endgroup$
    – deeppinkwater
    yesterday
















  • $begingroup$
    Thank you, that's the only one that came to my mind actually !
    $endgroup$
    – deeppinkwater
    yesterday















$begingroup$
Thank you, that's the only one that came to my mind actually !
$endgroup$
– deeppinkwater
yesterday




$begingroup$
Thank you, that's the only one that came to my mind actually !
$endgroup$
– deeppinkwater
yesterday

















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%2f3163230%2finvariants-between-two-isomorphic-vector-spaces%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







-invariance, vector-space-isomorphism, vector-spaces

Popular posts from this blog

Frič See also Navigation menuinternal link

Identify plant with long narrow paired leaves and reddish stems Planned maintenance scheduled April 17/18, 2019 at 00:00UTC (8:00pm US/Eastern) Announcing the arrival of Valued Associate #679: Cesar Manara Unicorn Meta Zoo #1: Why another podcast?What is this plant with long sharp leaves? Is it a weed?What is this 3ft high, stalky plant, with mid sized narrow leaves?What is this young shrub with opposite ovate, crenate leaves and reddish stems?What is this plant with large broad serrated leaves?Identify this upright branching weed with long leaves and reddish stemsPlease help me identify this bulbous plant with long, broad leaves and white flowersWhat is this small annual with narrow gray/green leaves and rust colored daisy-type flowers?What is this chilli plant?Does anyone know what type of chilli plant this is?Help identify this plant

fontconfig warning: “/etc/fonts/fonts.conf”, line 100: unknown “element blank” The 2019 Stack Overflow Developer Survey Results Are In“tar: unrecognized option --warning” during 'apt-get install'How to fix Fontconfig errorHow do I figure out which font file is chosen for a system generic font alias?Why are some apt-get-installed fonts being ignored by fc-list, xfontsel, etc?Reload settings in /etc/fonts/conf.dTaking 30 seconds longer to boot after upgrade from jessie to stretchHow to match multiple font names with a single <match> element?Adding a custom font to fontconfigRemoving fonts from fontconfig <match> resultsBroken fonts after upgrading Firefox ESR to latest Firefox