행렬식

선형대수학에서 '''행렬식'''(行列式, )은 정사각 행렬에 스칼라를 대응시키는 함수의 하나이다. 실수 정사각 행렬의 행렬식의 절댓값은 그 행렬이 나타내는 선형 변환이 초부피를 확대시키는 배수를 나타내며, 행렬식의 부호는 방향 보존 여부를 나타낸다.
가환환  위의  정사각 행렬 의 '''행렬식''' 는
:
또는
:
으로 표기하며, 다음 방법들을 통하여 정의할 수 있다.
=== 다중 선형 형식을 통한 정의 ===
행렬식은 행 또는 열에 대한 표준적인 교대 다중 선형 형식으로 정의할 수 있다.
가환환  위의  정사각 행렬의 -가군을 행벡터를 통하여 다음과 같이 나타내자.
:
즉, 행렬 은 행벡터 의 튜플 으로 여기자.
가환환  위의  정사각 행렬의 -가군  위의 '''행렬식''' 는 단위 행렬에서의 값이 1인 유일한 교대 -다중 선형 형식이다. 즉, 다음 세 조건을 만족시키는 유일한 함수이다.
* ㈀ -다중 선형 형식이다. 즉, 임의의  및 행벡터  및 스칼라 에 대하여, 
* ㈁ 교대 -다중 선형 형식이다. 즉, 임의의  및 행벡터 에 대하여, 만약 를 만족하는 가 존재한다면, 
* ㈂ 단위 행렬 의 행렬식은 이다.
조건 ㈀ 아래, 조건 ㈁은 다음 조건을 함의하며, 만약 가 표수가 2가 아닌 체일 경우 조건 ㈁은 이 조건과 동치이다.
* ㈁’ 임의의  및 행벡터 에 대하여, 이다. 즉, 1회 열 교환을 한 행렬의 행렬식은 부호가 바뀐다.
조건 ㈁’은  대신  ()를 사용한 조건과 동치이다. 또한, 조건 ㈁ 아래, 조건 ㈀은 그 인 경우와 동치이다.
마찬가지로, 행렬식은 열벡터를 사용하여 같은 조건으로 정의할 수 있으며, 이는 위 정의와 동치이다.
=== 다항식 정의 ===
행렬식은 행렬의 성분에 대한 특수한 다항식으로서 정의할 수 있다.
가환환  위의  정사각 행렬 의 '''행렬식'''은 다음과 같다 ('''라이프니츠 공식''', ).
:
여기서
* 은 의 순열의 집합이다.
* 는 순열의 부호수이다. 즉, 가 짝순열일 경우 1, 홀순열일 경우 −1이다.
등식의 우변은 개 항을 갖는 차 동차 다항식이며, 일 경우 반은 더하는 항, 반은 빼는 항이다.
=== 재귀적 정의 ===
행렬식은 행 또는 열에 대한 라플라스 전개를 통해 작은 크기의 행렬부터 시작하여 재귀적으로 정의할 수 있다.
가환환  위의 정사각 행렬 에 대하여, 의 번째 행과 번째 열을 제거한 부분 행렬을 로 표기하자.
가환환  위의 정사각 행렬 의 '''행렬식'''은 다음과 같다.
:
:
이는 모든 행 에 대하여 같은 함수를 정의하며, 다른 정의들과 동치이다. 마찬가지로, 열 에 대한 라플라스 전개를 사용하여 정의할 수도 있다.
=== 항등식 ===
가우스 소거법은 정사각행렬을 일련의 기본행연산을 통해 상삼각행렬로 변환한다. 행렬식의 선형성과 교대성에 따라, 기본행연산은 행렬식을 보고 알아낼 수 있는 배수만큼 변화시킨다. 또한, 상삼각행렬의 행렬식은 자명하게 모든 대각항의 곱이다. 따라서, 가우스 소거법을 통해 행렬식을 계산할 수 있다.
가환환  위의  정사각 행렬 에 대하여, 다음 항등식들이 성립한다.
* 
* 
* 스칼라 에 대하여, 
* 만약 이 가역 행렬일 경우, 
* 
* 만약 가 복소수체일 경우, 
특히, 행렬식 는 환 준동형이며, 일반적으로 -결합 대수 준동형이 아니다.
=== 점화식 ===
가환환  위의  정사각 행렬  및 행의 집합 에 대하여, 행렬식은 다음과 같은 점화식을 갖는다.
:
마찬가지로, 열의 집합 에 대한 점화식은 다음과 같다.
:
=== 다중선형대수학 ===
가환환 에 대하여, 교대 다중 선형 형식 의 집합은 1차원 -자유 가군을 이루며, 행렬식은 이 -자유 가군의 한 기저를 이룬다. 즉, 모든 교대 다중 선형 형식 는 다음과 같은 꼴로 유일하게 나타낼 수 있다.
:
:
=== 가역성과의 관계 ===
가환환  위의  정사각 행렬 에 대하여, 가역 행렬은 행렬식이 의 가역원인 것과 동치이다. 특히, 만약 가 체일 경우, 가역 행렬은 행렬식이 0이 아닌 것과 동치이다.
=== 크라메르 공식 ===
가환환  위의  정사각 행렬 에 대하여, 연립 일차 방정식 의 해 은
:
을 만족시킨다. (여기서 는 의 번째 열이다.) 특히, 만약 이 가역 행렬일 경우, 그 유일한 해는
:
이다.
=== 고윳값과의 관계 ===
체  위의 정사각 행렬 의 행렬식은 (중복도를 감안한) 모든 고윳값의 곱이자 특성 다항식의 상수항이다.
:
=== 측도론적 성질 ===
실수 정사각 행렬 에 대하여, 실수 선형 변환
:
:
가 가측 집합 의 초부피를 확대시키는 배수는 행렬식의 절댓값 이다.
보다 일반적으로, 실수 행렬 에 대하여, 실수 선형 변환
:
:
가 가측 집합 의 차원 초부피를 확대시키는 배수는
:
이다.
=== 작은 크기의 행렬 ===
사뤼스 도식. 세 실선은 더하는 항, 세 점선은 빼는 항에 대응한다.
0×0, 1×1, 2×2, 3×3, 4×4 행렬의 행렬식은 각각 1, 1, 2, 6, 24개의 항을 갖는 다항식으로 나타낼 수 있으며, 이는 다음과 같다.
:
:
:
:
:
3×3 행렬의 행렬식 공식은 사뤼스 도식()을 통해 기억할 수 있다. 즉, 3×3 행렬의 행렬식은 첫 번째와 두 번째 열을 행렬의 오른쪽에 옮겨 적었을 때, 첫 행의 세 성분을 지나는 대각선의 위의 원소의 곱의 합과 마지막 행의 세 성분을 지나는 대각선 위의 원소의 곱의 합 사이의 차와 같다. 그러나 이는 4×4 이상의 행렬에서 더 이상 성립하지 않는다.
실수 3×3 행렬의 행렬식은 그 행벡터 또는 열벡터의 스칼라 삼중곱과 같다. 즉, 이는 행벡터 또는 열벡터로 구성된 평행 육면체의 부피를 절댓값으로 하며, 방향을 보존할 경우 양수, 반전시킬 경우 음수가 된다. 반대로, 실수 3차원 벡터의 스칼라 삼중곱은 정규 직교 기저에 대한 좌표 성분에 대한 3×3행렬식과 같다.
=== 삼각 행렬 ===
가환환  위의 삼각 행렬 의 행렬식은 대각 성분들의 곱이다.
:
특히, 대각 행렬의 행렬식은 대각 성분들의 곱이다.
=== 방데르몽드 행렬 ===
가환환  위의 방데르몽드 행렬
:
의 행렬식은
:
이다.
역사적으로 행렬식은 행렬보다 앞서 등장하였다. 행렬식은 원래는 연립 선형방정식의 성질을 결정하기 위해 정의되었고, 행렬식의 영어 이름 "디터미넌트"()는 "디터민"()(결정하다)에서 유래하였다. 행렬식이 0이 아닌지 여부는 연립방정식이 유일한 해를 갖는지를 결정한다. 16세기에 지롤라모 카르다노가  행렬식을, 17세기에는 고트프리트 라이프니츠가 일반적인 행렬식의 크기를 정의하였다.
* 퍼머넌트
* 파피안
* 판별식
* 
* .
* 
* 
* 
* 
* G. Baley Price (1947) "Some identities in the theory of determinants", American Mathematical Monthly 54:75–90 
* 
* 
* 
* 
* 
* 
*  Determinant Interactive Program and Tutorial
*  Linear algebra: determinants.  Compute determinants of matrices up to order 6 using Laplace expansion you choose.
*  Matrices and Linear Algebra on the Earliest Uses Pages
*  Determinants explained in an easy fashion in the 4th chapter as a part of a Linear Algebra course. 
*  Instructional Video on taking the determinant of an nxn matrix (Khan Academy)
* 
* 
* 
 
분류:행렬론
분류:선형대수학
분류:다항식
분류:대수학