행렬식

선형대수학에서 행렬식(行列式, )은 정사각 행렬에 스칼라를 대응시키는 함수의 하나이다. 실수 정사각 행렬의 행렬식의 절댓값은 그 행렬이 나타내는 선형 변환이 초부피를 확대시키는 배수를 나타내며, 행렬식의 부호는 방향 보존 여부를 나타낸다.
정의.
가환환 formula_1 위의 formula_2 정사각 행렬 formula_3의 행렬식 formula_4는
또는
으로 표기하며, 다음 방법들을 통하여 정의할 수 있다.
다중 선형 형식을 통한 정의.
행렬식은 행 또는 열에 대한 표준적인 교대 다중 선형 형식으로 정의할 수 있다.
가환환 formula_1 위의 formula_2 정사각 행렬의 formula_1-가군을 행벡터를 통하여 다음과 같이 나타내자.
즉, 행렬 formula_11은 행벡터 formula_12의 튜플 formula_13으로 여기자.
가환환 formula_1 위의 formula_2 정사각 행렬의 formula_1-가군 formula_17 위의 행렬식 formula_18는 단위 행렬에서의 값이 1인 유일한 교대 formula_1-다중 선형 형식이다. 즉, 다음 세 조건을 만족시키는 유일한 함수이다.
조건 ㈀ 아래, 조건 ㈁은 다음 조건을 함의하며, 만약 formula_1가 표수가 2가 아닌 체일 경우 조건 ㈁은 이 조건과 동치이다.
조건 ㈁’은 formula_36 대신 formula_37 (formula_38)를 사용한 조건과 동치이다. 또한, 조건 ㈁ 아래, 조건 ㈀은 그 formula_39인 경우와 동치이다.
마찬가지로, 행렬식은 열벡터를 사용하여 같은 조건으로 정의할 수 있으며, 이는 위 정의와 동치이다.
다항식 정의.
행렬식은 행렬의 성분에 대한 특수한 다항식으로서 정의할 수 있다.
가환환 formula_1 위의 formula_2 정사각 행렬 formula_3의 행렬식은 다음과 같다 (라이프니츠 공식, ).
여기서
등식의 우변은 formula_48개 항을 갖는 formula_49차 동차 다항식이며, formula_50일 경우 반은 더하는 항, 반은 빼는 항이다.
재귀적 정의.
행렬식은 행 또는 열에 대한 라플라스 전개를 통해 작은 크기의 행렬부터 시작하여 재귀적으로 정의할 수 있다.
가환환 formula_1 위의 정사각 행렬 formula_3에 대하여, formula_11의 formula_54번째 행과 formula_55번째 열을 제거한 부분 행렬을 formula_56로 표기하자.
가환환 formula_1 위의 정사각 행렬 formula_3의 행렬식은 다음과 같다.
이는 모든 행 formula_21에 대하여 같은 함수를 정의하며, 다른 정의들과 동치이다. 마찬가지로, 열 formula_62에 대한 라플라스 전개를 사용하여 정의할 수도 있다.
성질.
항등식.
가우스 소거법은 정사각행렬을 일련의 기본행연산을 통해 상삼각행렬로 변환한다. 행렬식의 선형성과 교대성에 따라, 기본행연산은 행렬식을 보고 알아낼 수 있는 배수만큼 변화시킨다. 또한, 상삼각행렬의 행렬식은 자명하게 모든 대각항의 곱이다. 따라서, 가우스 소거법을 통해 행렬식을 계산할 수 있다.
가환환 formula_1 위의 formula_2 정사각 행렬 formula_65에 대하여, 다음 항등식들이 성립한다.
특히, 행렬식 formula_18는 환 준동형이며, 일반적으로 formula_1-결합 대수 준동형이 아니다.
점화식.
가환환 formula_1 위의 formula_2 정사각 행렬 formula_3 및 행의 집합 formula_80에 대하여, 행렬식은 다음과 같은 점화식을 갖는다.
마찬가지로, 열의 집합 formula_82에 대한 점화식은 다음과 같다.
다중선형대수학.
가환환 formula_1에 대하여, 교대 다중 선형 형식 formula_85의 집합은 1차원 formula_1-자유 가군을 이루며, 행렬식은 이 formula_1-자유 가군의 한 기저를 이룬다. 즉, 모든 교대 다중 선형 형식 formula_85는 다음과 같은 꼴로 유일하게 나타낼 수 있다.
가역성과의 관계.
가환환 formula_1 위의 formula_2 정사각 행렬 formula_3에 대하여, 가역 행렬은 행렬식이 formula_1의 가역원인 것과 동치이다. 특히, 만약 formula_1가 체일 경우, 가역 행렬은 행렬식이 0이 아닌 것과 동치이다.
크라메르 공식.
가환환 formula_1 위의 formula_2 정사각 행렬 formula_3에 대하여, 연립 일차 방정식 formula_99의 해 formula_100은
을 만족시킨다. (여기서 formula_102는 formula_11의 formula_55번째 열이다.) 특히, 만약 formula_11이 가역 행렬일 경우, 그 유일한 해는
이다.
고윳값과의 관계.
체 formula_1 위의 정사각 행렬 formula_3의 행렬식은 (중복도를 감안한) 모든 고윳값의 곱이자 특성 다항식의 상수항이다.
측도론적 성질.
실수 정사각 행렬 formula_110에 대하여, 실수 선형 변환
가 가측 집합 formula_113의 초부피를 확대시키는 배수는 행렬식의 절댓값 formula_114이다.
보다 일반적으로, 실수 행렬 formula_115에 대하여, 실수 선형 변환
가 가측 집합 formula_113의 formula_49차원 초부피를 확대시키는 배수는
이다.
예.
작은 크기의 행렬.
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행렬식과 같다.
삼각 행렬.
가환환 formula_1 위의 삼각 행렬 formula_3의 행렬식은 대각 성분들의 곱이다.
특히, 대각 행렬의 행렬식은 대각 성분들의 곱이다.
방데르몽드 행렬.
가환환 formula_1 위의 방데르몽드 행렬
의 행렬식은
이다.
역사.
역사적으로 행렬식은 행렬보다 앞서 등장하였다. 행렬식은 원래는 연립 선형방정식의 성질을 결정하기 위해 정의되었고, 행렬식의 영어 이름 "디터미넌트"()는 "디터민"()(결정하다)에서 유래하였다. 행렬식이 0이 아닌지 여부는 연립방정식이 유일한 해를 갖는지를 결정한다. 16세기에 지롤라모 카르다노가 formula_132 행렬식을, 17세기에는 고트프리트 라이프니츠가 일반적인 행렬식의 크기를 정의하였다.