Zulip Chat Archive

Stream: maths

Topic: jordan-chevalley decomposition


view this post on Zulip Johan Commelin (Nov 11 2020 at 09:34):

Afaik we don't have the Jordan-Chevalley decomposition of a linear operator. I think we have all the prerequisites. We should have this, so that we can say that "linear algebra" is done. See #4973.

view this post on Zulip Patrick Massot (Nov 11 2020 at 11:16):

I was a bit perplexed that I needed to go to wikipedia to know you need to "have linear algebra done". It turns out France uses a different name for this. @confused French people: Johan means Dunford decomposition.

view this post on Zulip Kevin Buzzard (Nov 11 2020 at 11:27):

It's rare to see the French calling something by a different name which isn't the name of a French person -- apparently Nelson Dunford was an American.

view this post on Zulip Patrick Massot (Nov 11 2020 at 11:28):

Yes, this is extremely confusing.

view this post on Zulip Johan Commelin (Nov 11 2020 at 11:56):

It seems like you missed a big chance there...

view this post on Zulip Johan Commelin (Nov 11 2020 at 11:57):

Cette décomposition a été démontrée une première fois en 1870 par Camille Jordan, puis dans les années 1950 par Claude Chevalley dans le contexte de la théorie des groupes algébriques. Dans le monde francophone, elle est parfois attribuée à tort à Nelson Dunford, dont les travaux sont postérieurs à ceux de Chevalley.

view this post on Zulip Patrick Massot (Nov 11 2020 at 12:04):

Too late.


Last updated: May 19 2021 at 02:10 UTC