5

I ask this soft-question because I am confused about the intuition of the mechanics of proving something is an isomorphism:

My professor gives the following steps to check for isomorphism:

  1. The function is one-to-one
  2. The function is onto
  3. The function preserves addition
  4. The function preserves multiplication

However, I looked up another video to further clarify the intuition behind isomorphism, and the video states: "Suppose V and W are vector spaces over the same field. We say that $V$ and $W$ are isomorphic if there exists an invertible linear transformation $T: V\to W$"

I think I understand why the preservation of addition and multiplication fits into the "invertibility" as they are commutative. But I don't know how the "1-to-1 and onto (i.e., bijection)" contribute to invertibility as defined by the video?

Thanks!

Sambo
  • 6,243
InnerSpeaker
  • 459
  • 2
  • 8
  • 7
    You’ve got it backwards. Invertibility of a function requires one-to-one and onto, which is clear after some thought. Addition and multiplication preservation (=“linearity”) is necessary in the context of vector spaces because we care about the linear structure. – FShrike Jun 07 '22 at 15:08
  • My definition right after the class was that the function needed to satisfy the 4 conditions. But since it felt very mechanical and not an intuitive understanding, I looked up other videos. But the professor never mentioned invertibility, so I was confused. But the comment by FShrike makes a lot of fo sense. – InnerSpeaker Jun 07 '22 at 15:12
  • 3
    In general, if $g\circ f=f\circ g=id$, then $f $ is injective and surjective, hence bijective, with inverse $g$. So your professor is right. 1. and 2. just say that the function is bijective, i.e., invertible. 3. and 4. say that it is a linear map. Actually, 4. should say it preserves "scalar" multiplication. – Dietrich Burde Jun 07 '22 at 15:12
  • 6
    "vector spaces that are isomorphisms are intervible?" in the title does not make sense: one talks about isomorphic vector spaces or "isomorphism" between vectors. There is no vector space called an isomorphism. –  Jun 07 '22 at 15:13
  • 3
    They are not "communicative" (they can communicate). Perhaps you meant "commutative"? – Arturo Magidin Jun 07 '22 at 15:22
  • 1
    What definition are you using for "invertible" here? – Sambo Jun 07 '22 at 15:30
  • @Sambo that is where I was confused. My understanding now is that invertibility is referring to functions that are bijective. – InnerSpeaker Jun 07 '22 at 15:41
  • 1
    That's true, but did you have a different different idea of "invertibility" beforehand? What was causing your confusion? – Sambo Jun 07 '22 at 15:47
  • 1
    I just did not understand what that word meant in the context of isomorphism. I thought it had something to do with the inverse of matrices. It was just my piecemeal understanding and that the prof. never used the word "invertible" explicitly in the context of isomorphism in class which caused the confusion. – InnerSpeaker Jun 07 '22 at 15:51
  • 1
    There is a germ of a good problem here, namely that the isomorphism that maps one vector space to another would be invertible as a function (1-to-1), but it remains to check whether the function's inverse is necessarily a linear transformation. However that Question is not asked here, or at best, it was asked badly. – hardmath Jun 07 '22 at 16:49

1 Answers1

6

We say that two vector spaces $V,W$ are isomorphic if there is a function $T : V \rightarrow W$ which is an isomorphism. Your question seems to be about different definitions of what it means to be an isomorphism, so I'll compare these definitions.

First, let me rephrase the definition your professor gave you. A function which is both one-to-one (injective) and onto (surjective) is called bijective. Moreover, a linear function is precisely one which preserves addition and (scalar) multiplication. So, your conditions for $T$ to be an isomorphism are equivalent to the two following conditions:

  • (A) $T$ is bijective;
  • (B) $T$ is linear.

Note that conditions 1. and 2. have combined to form condition (A), and conditions 3. and 4. have combined to form condition (B).

The definition which you found online, however, says that $T$ is an isomorphism if it is an invertible linear transformation. What does it mean for a linear transformation $T : V \rightarrow W$ to be invertible? It means that there exists another linear map $S : W \rightarrow V$ such that $S \circ T = Id_V$ and $T \circ S = Id_W$. How do we convince ourselves that these two definitions are equivalent?

First, let's forget about linearity for a moment, and just consider any old function $f : A \rightarrow B$ between two sets. It turns out that $f$ is bijective if and only if there exists a function $g : B \rightarrow A$ such that $g \circ f = Id_A$ and $f \circ g = Id_B$ (this function $g$ is called the inverse of $f$). This is the first important fact here, and it's something that you should try to prove yourself; if you get stuck, you can probably find another question on this site that will help.

Now, let's try to prove the equivalence of our two definitions.

  • On one hand, if we assume that $T$ is an invertible linear transformation, then of course $T$ is linear, and existence of a (linear) inverse tells us that $T$ is bijective, because of the fact I noted in the previous paragraph. So, conditions (A) and (B) are satisfied.
  • On the other hand, if we assume conditions (A) and (B), then $T$ is linear, and the fact that it's bijective lets us conclude that it has an inverse $S$. However, we're not quite done yet, because the definition of "invertibility" that I gave requires that $S$ is in fact a linear inverse. But, here's the second important fact: if a linear map $T$ is bijective, then its inverse is necessarily linear as well. (I'd recommend trying to prove this yourself too, but you can also check out the answers to this question.) So, we can conclude that $T$ really is invertible.

So, the two definitions you brought up are equivalent. I agree that the four-point definition you gave is generally more useful for proving directly that a given map is an isomorphism, but the invertibility condition can be more useful in certain situations, so it's good to know both.

Sambo
  • 6,243