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

How could Frankenstein get the parts for his _second_ creature?

How does it work when somebody invests in my business?

Where in the Bible does the greeting ("Dominus Vobiscum") used at Mass come from?

Personal Teleportation as a Weapon

IGraph/M Library - ConfigurationModel

Time travel short story where a man arrives in the late 19th century in a time machine and then sends the machine back into the past

Why "be dealt cards" rather than "be dealing cards"?

Can I Retrieve Email Addresses from BCC?

What will be the benefits of Brexit?

How can I get through very dry and very dry, but also very useful technical documents when learing a new tool?

What would happen if the UK refused to take part in EU Parliamentary elections?

How do I keep an essay about "feeling flat" from feeling flat?

Find swapfile location in Linux Mint

How can I raise concerns with a new DM about XP splitting?

Using parameter substitution on a Bash array

What is the term when two people sing in harmony, but they aren't singing the same notes?

Can I convert a rim brake wheel to a disc brake wheel?

Is there an Impartial Brexit Deal comparison site?

What is the opposite of 'gravitas'?

How can my private key be revealed if I use the same nonce while generating the signature?

voltage of sounds of mp3files

Tiptoe or tiphoof? Adjusting words to better fit fantasy races

Is it correct to write "is not focus on"?

Why are on-board computers allowed to change controls without notifying the pilots?



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 !






vector-spaces vector-space-isomorphism invariance







share|cite|improve this question











$endgroup$







  • 1




    $begingroup$
    Dimension certainly.
    $endgroup$
    – Wuestenfux
    6 hours ago















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 !






vector-spaces vector-space-isomorphism invariance







share|cite|improve this question











$endgroup$







  • 1




    $begingroup$
    Dimension certainly.
    $endgroup$
    – Wuestenfux
    6 hours ago













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 !






vector-spaces vector-space-isomorphism invariance







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




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 6 hours ago









José Carlos Santos

170k23132238




170k23132238










asked 6 hours ago









deeppinkwaterdeeppinkwater

858




858







  • 1




    $begingroup$
    Dimension certainly.
    $endgroup$
    – Wuestenfux
    6 hours ago












  • 1




    $begingroup$
    Dimension certainly.
    $endgroup$
    – Wuestenfux
    6 hours ago







1




1




$begingroup$
Dimension certainly.
$endgroup$
– Wuestenfux
6 hours ago




$begingroup$
Dimension certainly.
$endgroup$
– Wuestenfux
6 hours ago










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
    6 hours ago










  • $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
    3 hours ago



















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
    6 hours ago










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
    6 hours ago










  • $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
    3 hours ago
















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
    6 hours ago










  • $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
    3 hours ago














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 35 mins ago

























answered 6 hours ago









Will RWill R

6,78231429




6,78231429











  • $begingroup$
    Thank you for this answer.
    $endgroup$
    – deeppinkwater
    6 hours ago










  • $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
    3 hours ago

















  • $begingroup$
    Thank you for this answer.
    $endgroup$
    – deeppinkwater
    6 hours ago










  • $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
    3 hours ago
















$begingroup$
Thank you for this answer.
$endgroup$
– deeppinkwater
6 hours ago




$begingroup$
Thank you for this answer.
$endgroup$
– deeppinkwater
6 hours ago












$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
3 hours ago





$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
3 hours ago












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
    6 hours ago















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
    6 hours ago













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 6 hours ago









José Carlos SantosJosé Carlos Santos

170k23132238




170k23132238











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
















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















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




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

















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







-

Popular posts from this blog

Category:Fedor von Bock Media in category "Fedor von Bock"Navigation menuUpload mediaISNI: 0000 0000 5511 3417VIAF ID: 24712551GND ID: 119294796Library of Congress authority ID: n96068363BnF ID: 12534305fSUDOC authorities ID: 034604189Open Library ID: OL338253ANKCR AUT ID: jn19990000869National Library of Israel ID: 000514068National Thesaurus for Author Names ID: 341574317ReasonatorScholiaStatistics

Image
1880 births1945 deathsFedor (given name)Recipients of the Pour le Mérite (military class)Recipients of the Military Merit Cross (Austria-Hungary)Knight's Cross of the Iron Cross recipientsRecipients of the Order of Michael the BraveRecipients of the Order of the Crown (Prussia)Recipients of the Order of the Crown (Württemberg)Recipients of the House Order of HohenzollernRecipients of the Order of the Zähringer LionRecipients of the Hanseatic CrossRecipients of the House Order of the Wendish CrownRecipients of the Order of the Iron CrownGrand Master of the Order of Military Merit (Bulgaria)Recipients of the Order of the Yugoslav CrownRecipients of the Order of Merit of the Republic of HungaryRecipients of the Cross of HonorKnights Grand Cross of the Order of the Crown of ItalyBock (surname)19th-century men of Germany20th-century men of GermanyField Marshals of the Heer (Wehrmacht)Generals of the ReichswehrHeer Knight's Cross of the Iron Cross recipientsMen of Germany by na...
Read more

Reverse int within the 32-bit signed integer range: [−2^31, 2^31 − 1]Combining two 32-bit integers into one 64-bit integerDetermine if an int is within rangeLossy packing 32 bit integer to 16 bitComputing the square root of a 64-bit integerKeeping integer addition within boundsSafe multiplication of two 64-bit signed integersLeetcode 10: Regular Expression MatchingSigned integer-to-ascii x86_64 assembler macroReverse the digits of an Integer“Add two numbers given in reverse order from a linked list”

Image
C++ debug of nlohmann json using GDB Is this toilet slogan correct usage of the English language? Symbol used to indicate indivisibility What if a revenant (monster) gains fire resistance? Is aluminum electrical wire used on aircraft? Closed-form expression for certain product Strong empirical falsification of quantum mechanics based on vacuum energy density How should I respond when I lied about my education and the company finds out through background check? Pre-mixing cryogenic fuels and using only one fuel tank How do you respond to a colleague from another team when they're wrongly expecting that you'll help them? How can I block email signup overlays or javascript popups in Safari? How to implement a feedback to keep the DC gain at zero for this conceptual passive filter? Count the occurrence of each unique word in the file Why electric field inside a cavity of a non-conducting sphere not zero? If infinitesimal transformations commute why dont ...
Read more

Kiel Indholdsfortegnelse Historie | Transport og færgeforbindelser | Sejlsport og anden sport | Kultur | Kendte personer fra Kiel | Noter | Litteratur | Eksterne henvisninger | Navigationsmenuwww.kiel.de54°19′31″N 10°8′26″Ø / 54.32528°N 10.14056°Ø / 54.32528; 10.14056Oberbürgermeister Dr. Ulf Kämpferwww.statistik-nord.deDen danske Stats StatistikKiels hjemmesiderrrWorldCat312794080n790547494030481-4

Image
DitmarskenFlensborgLauenburgKielLübeckNeumünsterNordfrislandØstholstenPinnebergPlönRendsborg-EgernførdeSlesvig-FlensborgSegebergSteinburgStormarnStuttgartMannheimKarlsruheFreiburg im BreisgauHeidelbergHeilbronnUlmPforzheimReutlingenBerlinBremenBremerhavenFrankfurt am MainWiesbadenKasselDarmstadtOffenbach am MainHannoverBraunschweigOsnabrückOldenburgWolfsburgGöttingenHildesheimSalzgitterMainzLudwigshafen am RheinKoblenzTrierDresdenLeipzigChemnitzKielLübeckKaunasKlaipėdaPärnuRigaTallinnTartuViljandiPolotskElblagGdanskKrakówStargard SzczecinskiSzczecinTorunWroclawBerwick-upon-TweedBostonGreat YarmouthKing's LynnKingston upon HullIpswichLeithLondonNewcastle upon TyneYork Byer i Slesvig-HolstenKielHanse NordtysklandhovedstadendelstatenSlesvig-HolstenTysklandsKielerfjordenØstersøenLangelandÆrøHamborgEjderenVesterhavetdansktyskslavisk1865Kielerkanalen1918novemberrevolutionenoprør blandt matrosernekejserlige marineW...
Read more