Peel Off
  • Blog
  • About
  • Contact

correspondence between linear maps and matrices

15/12/2015

29 Comments

 
Picture
When studying Linear Algebra we see the identification of matrices and linear maps between vector spaces. However, this identification is sometimes abused and/or badly understood, to the point of utter confusion. We present formally what this identification conveys. For what follows to make sense and be interpreted as the structural result it really is, we introduce some language from Category Theory. We will not add all the details. For those readers interested, we refer to the book Algebra by Serge Lang or Algebra: Chapter $0$ by Paolo Aluffi. The wikipedia entry is also sufficient for a introduction. A Category $\mathcal{C}$ is a collection of objects $\mathcal{O}$, together with a collection $Hom$ of morphisms $Hom(A,B)$ for each pair of objects $A,B \in \mathcal{O}$ , which can be thought as arrows that leave $A$ and arrive at $B$. Those arrows are required to behave like functions: for instance, there exists a composition of morphisms, for every object there exists an identity morphism etc. Just as a metric space $M$ can sometimes be represented as $(M,d)$, a category may be represented as $(\mathcal{C}, \mathcal{O}, Hom)$.

Examples of categories are ubiquitous. For instance, we have the category $\text{FVect}$ whose objects are finite-dimensional vector spaces and morphisms are linear maps, we have the category $\text{Top}$ whose objects are topological spaces and morphisms are continuous maps, we have the category $\text{ProdK}$ whose objects are finite cartesian products of a field $\mathbb{K}$ (with its canonical vector-space structure) and whose morphisms are the functions which are multiplication by matrices, etc. We note that morphisms need not be functions, and objects need not be sets. However, we will not need to discuss that for what follows. A functor between two categories $\mathcal{C}_1$ and $\mathcal{C}_2$ is an association between two categories in the following sense: it takes an object of $\mathcal{C}_1$ to an object of $\mathcal{C}_2$, and a morphism between two objects in $\mathcal{C}_1$ to a morphism between the two objects associated in $\mathcal{C}_2$. We also require that composition of morphisms is taken to composition of morphisms, and that the identity is taken to the identity. An example will come shortly.
​
Consider now the category $\text{BFVert}$, where the objects are finite-dimensional vector spaces $V$, considered together with an ordered basis $B$ (that is, the objects are $(V,B)$) and the morphisms are the linear transformations. The "identification"{} between linear transformations and matrices can now be stated as follows:

Proposition: There exists a functor $\mathcal{F}: \text{BFVert} \rightarrow \text{ProdK}$ which sends the objects $V_B$ of $\text{BFVert}$ to the space $\mathbb{K}^n$, where $n=\dim(V)$, and makes the following diagram commute:







​
​




​
​
where $\mathbb{K}^n=\mathcal{F}(V_B)$, $\mathbb{K}^m=\mathcal{F}(W_{B'})$ and $\eta_{V_B}$, $\eta_{W_B'}$ are the isomorphisms (in the vector-space sense) which take the elements of the basis and send them, orderly, to the canonical basis of $\mathbb{K}^n$ and $\mathbb{K}^m$, respectively.

Proof: The proof of this is what is done in Linear Algebra, so we leave it as exercise. $\blacksquare$ 
Note that the matrix associated to $T$ is, therefore, $\mathcal{F}(T)$. Note also that a functor satisfying such properties is unique, as easily verified by the fact that the coefficients of the matrix is imposed by the properties of the functor.

Having stated the identification between matrices and linear maps in such a clear and precise way, it eludes me how Category Theory took so long to be developed, waiting up to Algebraic Topology to force it to surface.

We end this discussion by noting that the $\eta$ isomorphisms which appear in the diagram also have a nice generalization. They constitute a natural transformation between the identity functor and the functor $\mathcal{F}$. Interested readers are invited to look up the concept.

29 Comments
takipçi satın al link
1/8/2022 04:14:21 am

Really informative article, I had the opportunity to learn a lot, thank you. https://takipcisatinalz.com/takipci-2/

Reply
takipci satin al link
2/8/2022 07:06:55 am

Really informative article, I had the opportunity to learn a lot, thank you. https://takipcialdim.com/ucuz-takipci-satin-al/

Reply
instagram takipçi satın al link
2/8/2022 01:20:02 pm

Really informative article, I had the opportunity to learn a lot, thank you. https://www.takipcikenti.com/instagram/turk-takipci/

Reply
okx kayıt olma link
9/8/2022 02:33:27 am

Really informative article, I had the opportunity to learn a lot, thank you. https://www.smsbankasi.net/2022/01/okex-nedir-nasl-kayt-olunur-nasl.html

Reply
takipçi satın al link
11/8/2022 03:00:29 pm

Really informative article, I had the opportunity to learn a lot, thank you. https://bit.ly/instagram-takipci-satin-al-takipci

Reply
Vodafone mobil ödeme bozdurma link
19/8/2022 02:10:00 pm

Really informative article, I had the opportunity to learn a lot, thank you. https://guvenbozum.com/

Reply
Salient Nulled link
5/9/2022 06:50:25 am

Really informative article, I had the opportunity to learn a lot, thank you. https://freecodezilla.net/download-salient-wordpress-theme/

Reply
website kurma link
11/9/2022 03:09:14 pm

Really informative article, I had the opportunity to learn a lot, thank you. https://kurma.website/

Reply
mobil ödeme bozdurma link
12/9/2022 01:05:57 am

Really informative article, I had the opportunity to learn a lot, thank you. https://odemebozdurma.com/

Reply
website kurma link
14/9/2022 07:06:20 pm

Really informative article, I had the opportunity to learn a lot, thank you. https://bit.ly/site-kurma

Reply
web site kurma link
30/9/2022 11:20:10 am

It's great to have this type of content. Good luck with your spirit. Thank you. https://bit.ly/site-kurma

Reply
babadag escort link
4/10/2022 06:58:38 pm

I think this post is useful for people. It has been very useful for me. Looking forward to the next one, thank you. https://escortnova.com/escort-ilanlari/denizli-escort/babadag-escort/

Reply
saraykoy escort link
5/10/2022 01:04:32 pm

It was a post that I found very successful. Good luck to you. https://escortnova.com/escort-ilanlari/denizli-escort/saraykoy-escort/

Reply
akyazi escort link
6/10/2022 12:32:00 am

I follow your posts closely. I can find it thanks to your reliable share. Thank you. https://escortnova.com/escort-ilanlari/sakarya-escort/akyazi-escort/

Reply
seyitgazi escort link
6/10/2022 07:39:27 am

I support your continuation of your posts. I will be happy as new posts come. Thank you. https://escortnova.com/escort-ilanlari/eskisehir-escort/seyitgazi-escort/

Reply
antakya escort link
7/10/2022 12:02:24 am

I think the content is at a successful level. It adds enough information. Thank you. https://escortnova.com/escort-ilanlari/hatay-escort/antakya-escort/

Reply
nizip escort link
8/10/2022 10:41:54 am

Thoughtful and real content is shared. Thank you for these shares. https://escortnova.com/escort-ilanlari/gaziantep-escort/nizip-escort/

Reply
korsan taksi link
11/11/2022 04:32:31 pm

Hemen Göz At: https://taksikenti.com/

Reply
ledger live link
20/11/2022 07:29:04 am

Ledger Live : Most trusted & secure crypto wallet

Reply
evde iş imkanı link
21/11/2022 01:10:34 pm

Sitemizi ziyaret et ve evden is imkanina bak: https://sites.google.com/view/evden-ek-is/

Reply
betinfo link
22/11/2022 08:21:46 pm

It was a successful post.These types of posts are very helpful.

Reply
mrbahis link
6/12/2022 06:28:11 pm

Congratulations for the successful article. I can't wait for the sequel.

Reply
vbet link
9/12/2022 10:26:29 am

Congratulations, it's a nice post. I'm always waiting for such nice posts in the future.

Reply
takipçi satın al link
9/12/2022 12:37:20 pm

Düşmeyen bot takipçi satın al: https://takipcialdim.com/

Reply
tiktok takipçi satın al link
9/12/2022 03:47:09 pm

Tiktok takipçi satın almak için tıkla: https://takipcialdim.com/tiktok-takipci-satin-al/

Reply
takipçi satın al link
15/12/2022 11:43:52 am

takipçi satın al ve sitemizi ziyaret et: https://takipcim.com.tr/

Reply
sms onay link
15/12/2022 11:46:58 am

Hemen Göz At: https://www.smsonay.com/

Reply
Identity Verification link
20/12/2022 02:58:02 am

Thanks for sharing your ideas and thoughts! Human centric design, integration & UX. Our technology removes the burden of templated ID image capture with free capture and image adjustment. Whilst our liveness detection only requires a smile.

Reply
casino siteleri link
27/12/2022 11:01:28 pm

online bahis oyna: http://haikuboy.com

Reply



Leave a Reply.

    Author

    My name is Aloizio Macedo, and I am a 21 years old Mathematics student at UFRJ (Universidade Federal do Rio de Janeiro).

    Archives

    October 2015
    August 2015
    November 2014
    September 2014
    August 2014

    Categories

    All

    RSS Feed

Powered by Create your own unique website with customizable templates.