𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Elementary proof of constructive versions of the tangent direction theorem and the implicit function theorem

✍ Scribed by Yu. G. Evtushenko; A. A. Tret’yakov


Book ID
114993202
Publisher
SP MAIK Nauka/Interperiodica
Year
2012
Tongue
English
Weight
242 KB
Volume
85
Category
Article
ISSN
1064-5624

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


A constructive proof of the Peter-Weyl t
✍ Thierry Coquand; Bas Spitters 📂 Article 📅 2005 🏛 John Wiley and Sons 🌐 English ⚖ 137 KB 👁 1 views

We present a new and constructive proof of the Peter-Weyl theorem on the representations of compact groups. We use the Gelfand representation theorem for commutative C\*-algebras to give a proof which may be seen as a direct generalization of Burnside's algorithm [3]. This algorithm computes the cha