Bsrhrki

What would be the benefits of having both a state and local currencies?

Why does John Bercow say “unlock” after reading out the results of a vote?

Is it okay / does it make sense for another player to join a running game of Munchkin?

What's the purpose of "true" in bash "if sudo true; then"

How can a jailer prevent the Forge Cleric's Artisan's Blessing from being used?

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

What is the intuitive meaning of having a linear relationship between the logs of two variables?

Star/Wye electrical connection math symbol

HashMap containsKey() returns false although hashCode() and equals() are true

Teaching indefinite integrals that require special-casing

What are the ramifications of creating a homebrew world without an Astral Plane?

Is a roofing delivery truck likely to crack my driveway slab?

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

when is out of tune ok?

Failed to fetch jessie backports repository

Everything Bob says is false. How does he get people to trust him?

How was Earth single-handedly capable of creating 3 of the 4 gods of chaos?

Modulo 2 binary long division in European notation

Opposite of a diet

How could Frankenstein get the parts for his _second_ creature?

Modify casing of marked letters

Irreducibility of a simple polynomial

Mapping a list into a phase plot

Why Were Madagascar and New Zealand Discovered So Late?

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

edited 7 hours ago

José Carlos Santos

170k23132238

asked 8 hours ago

deeppinkwaterdeeppinkwater

858

$endgroup$

• 
  
  
  

  
  1
  

  
  
  
  
  
  

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

  
  
  
  

add a comment | 

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

edited 7 hours ago

José Carlos Santos

170k23132238

asked 8 hours ago

deeppinkwaterdeeppinkwater

858

$endgroup$

• 
  
  
  

  
  1
  

  
  
  
  
  
  

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

  
  
  
  

add a comment | 

$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

edited 7 hours ago

José Carlos Santos

170k23132238

asked 8 hours ago

deeppinkwaterdeeppinkwater

858

$endgroup$

share|cite|improve this question

edited 7 hours ago

José Carlos Santos

170k23132238

asked 8 hours ago

deeppinkwaterdeeppinkwater

858

share|cite|improve this question

edited 7 hours ago

José Carlos Santos

170k23132238

asked 8 hours ago

deeppinkwaterdeeppinkwater

858

edited 7 hours ago

José Carlos Santos

170k23132238

edited 7 hours ago

José Carlos Santos

170k23132238

asked 8 hours ago

deeppinkwaterdeeppinkwater

858

asked 8 hours ago

deeppinkwaterdeeppinkwater

858

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

edited 2 hours ago

answered 8 hours ago

Will RWill R

6,78231429

$endgroup$

• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  Thank you for this answer.
  $endgroup$
  – deeppinkwater
  8 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
  5 hours ago
  
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

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

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $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
  1 hour ago
  

  
  
  
  

add a comment | 

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

answered 8 hours ago

José Carlos SantosJosé Carlos Santos

170k23132238

$endgroup$

• 
  
  
  

  
  

  
  
  
  
  
  

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

  
  
  
  

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
);



);

draft saved

draft discarded

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

Name

Email

Required, but never shown

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

Name

Email

Required, but never shown

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

edited 2 hours ago

answered 8 hours ago

Will RWill R

6,78231429

$endgroup$

• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  Thank you for this answer.
  $endgroup$
  – deeppinkwater
  8 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
  5 hours ago
  
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

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

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $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
  1 hour ago
  

  
  
  
  

add a comment | 

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

edited 2 hours ago

answered 8 hours ago

Will RWill R

6,78231429

$endgroup$

• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  Thank you for this answer.
  $endgroup$
  – deeppinkwater
  8 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
  5 hours ago
  
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

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

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $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
  1 hour ago
  

  
  
  
  

add a comment | 

$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

edited 2 hours ago

answered 8 hours ago

Will RWill R

6,78231429

$endgroup$

share|cite|improve this answer

edited 2 hours ago

answered 8 hours ago

Will RWill R

6,78231429

answered 8 hours ago

Will RWill R

6,78231429

answered 8 hours ago

Will RWill R

6,78231429

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

answered 8 hours ago

José Carlos SantosJosé Carlos Santos

170k23132238

$endgroup$

• 
  
  
  

  
  

  
  
  
  
  
  

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

  
  
  
  

add a comment | 

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

answered 8 hours ago

José Carlos SantosJosé Carlos Santos

170k23132238

$endgroup$

• 
  
  
  

  
  

  
  
  
  
  
  

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

  
  
  
  

add a comment | 

$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

answered 8 hours ago

José Carlos SantosJosé Carlos Santos

170k23132238

$endgroup$

share|cite|improve this answer

answered 8 hours ago

José Carlos SantosJosé Carlos Santos

170k23132238

answered 8 hours ago

José Carlos SantosJosé Carlos Santos

170k23132238

answered 8 hours ago

José Carlos SantosJosé Carlos Santos

170k23132238