| Indeed, the inclusion K ↪ G {\displaystyle K\hookrightarrow G} and the deformation retraction G ↠ K {\displaystyle G\twoheadrightarrow K} are homotopy equivalences. | Более того, включение К ↪ G {\displaystyle K\hookrightarrow G} и деформационный ретракт G ↠ K {\displaystyle G\twoheadrightarrow K} являются гомотопическими эквивалентностями. |
| For the general linear group, this decomposition is the QR decomposition, and the deformation retraction is the Gram-Schmidt process. | Для полной линейной группы эта декомпозиция является QR-разложением, а деформационный ретракт является процессом Грама - Шмидта. |