logo

一般リニア群 📂抽象代数

一般リニア群

定義

実数の可逆n×nn \times n 行列の集合を GL(n,R)\mathrm{GL}(n, \mathbb{R}) または GLn(R)\mathrm{GL}_{n}(\mathbb{R}) と表記し、nn次の一般線型群general linear group of degree nnと呼ぶ。

GL(n,R):={n×n invertible matrix}=Mn×n(R){AMn×n(R):detA=0} \mathrm{GL}(n, \mathbb{R}) := \left\{ n \times n \text{ invertible matrix} \right\} = M_{n \times n}(\mathbb{R}) \setminus {\left\{ A \in M_{n \times n}(\mathbb{R}) : \det{A} = 0 \right\}}

説明

可逆な行列だけを集めたので、行列の積に関してになる。また、微分可能な構造を持つため、リー群でもある。