The general linear group
LieGroups.GeneralLinearGroup
โ TypeGeneralLinearGroup{๐ฝ,T}
The general linear group $\mathrm{GL}(n)$ is the set of all invertible matrices
\[\mathrm{GL}(n) = \bigl\{ g โ ๐ฝ^{nรn}\ \big|\ \mathrm{det}(p) โ 0\bigr \}, \qquad ๐ฝ โ \{ โ, โ \},\]
equipped with the MatrixMultiplicationGroupOperation
as the group operation.
The set of invertible matrices is a Riemannian manifold, since it inherits its structure from the embedding as an open subset of the space of matrices $โ^{nรn}$.
Constructor
GeneralLinearGroup(n::Int; field=โ, kwargs...)
Generate the general linear group group on $๐ฝ^{nรn}$. All keyword arguments in kwargs...
are passed on to InvertibleMatrices
.
Base.exp
โ Methodexp(::GeneralLinearGroup, ::Identity{MatrixMultiplicationGroupOperation}, X)
exp!(::GeneralLinearGroup, g, ::Identity{MatrixMultiplicationGroupOperation}, X)
Compute the Lie group exponential on the GeneralLinearGroup
, which is given by the matrix exponential
\[\exp X = \sum_{k=0}^{โ} \frac{1}{k!}X^k\]
see also [HN12, Example 9.2.3 (b)]
ManifoldsBase.exp!
โ Methodexp(::GeneralLinearGroup, ::Identity{MatrixMultiplicationGroupOperation}, X)
exp!(::GeneralLinearGroup, g, ::Identity{MatrixMultiplicationGroupOperation}, X)
Compute the Lie group exponential on the GeneralLinearGroup
, which is given by the matrix exponential
\[\exp X = \sum_{k=0}^{โ} \frac{1}{k!}X^k\]
see also [HN12, Example 9.2.3 (b)]