|
|
|
[[수학]]에서, '''일반선형군'''(一般線型群, {{llang|en|general linear group}})은 주어진 [[벡터공간벡터 공간]]의 가역 [[선형변환선형 변환]]들이 이루는 [[군 (수학)|군]]이다.
== 정의 ==
[[체 (수학)|체]] <math>K</math>에 대한 [[벡터공간벡터 공간]] <math>V</math>의 '''일반선형군''' <math>\operatorname{GL}(V)</math>은 가역 [[선형변환선형 변환]] <math>M\colon V\to V</math>들의, [[합성함수|함수함수의 합성]]에 대한 [[군 (수학)|군]]이다. 이는 <math>K</math>-[[대수군]]을 이룬다.
만약 <math>V</math>가 유한차원유한 차원 <math>V=K^n</math>일 경우, <math>\operatorname{GL}(V)</math>를 <math>\operatorname{GL}(n;K)</math>라고 쓴다. 이는 <math>n\times n</math> <math>K</math>-[[가역행렬]]들의 군으로 여길 수 있다. 만약 <math>K</math>가 실수체 또는 복소수체인 경우, 이는 실수 또는 복소 [[리 군]]이다.
== 성질 ==
실수 일반선형군 <math>\operatorname{GL}(n;\mathbb R)</math>은 <math>n^2</math>차원 실수 [[리 군]]이다. 그 [[리 대수]] <math>\mathfrak{gl}(n;\mathbb R)</math>는 <math>n\times n</math> 실수 행렬들의 [[리 대수]]이다.
[[다양체]]로서, 실수 일반선형군 <math>\operatorname{GL}(n;\mathbb R)</math>은 [[콤팩트 공간]]이지만 [[연결공간연결 공간]]이 아니며, 두 개의 [[연결 성분을성분]]을 갖는다. 이는 각각 [[행렬식]]이 양수인 성분과 음수인 성분이다. 단위원을 포함하는, 행렬식이 양수인 부분공간 <math>\operatorname{GL}^+(n;\mathbb R)</math>은 [[정규부분군정규 부분군]]을 이루며, 이에 대한 [[몫군]]은 물론 <math>\mathbb Z/2</math>이다.
=== 복소 일반선형군 ===
|
