행렬식

2×2 행렬의 행렬식은 가장 간단한 형태로, 행렬식의 기본 개념을 이해하는 데 핵심이 된다. 2×2 행렬 A가 행렬의 원소 a, b, c, d로 구성되어 있을 때, 그 행렬식 det(A) 또는 |A|는 주대각선 원소의 곱에서 반대각선 원소의 곱을 뺀 값으로 정의된다.

구체적으로, 행렬 A = [[a, b], [c, d]]에 대하여 행렬식은 det(A) = ad - bc 이다. 이 값은 하나의 스칼라 값이다. 이 계산식은 행렬 A로 표현되는 선형 변환이 평면상의 면적을 얼마나 확대 또는 축소하는지를 나타내는 부피 인자에 해당한다. 행렬식의 값이 0이면 면적이 0으로 축소된다는 의미이며, 이는 해당 선형 변환이 가역적이지 않음을 의미한다.

2×2 행렬식은 역행렬 존재 여부를 판별하는 직접적인 도구가 된다. 행렬식 값 ad - bc가 0이 아니면 역행렬이 존재하며, 그 역행렬은 (1/(ad-bc)) * [[d, -b], [-c, a]] 로 계산할 수 있다. 또한 연립 일차 방정식을 푸는 크래머 법칙에서 분모를 구성하는 값으로 바로 사용된다.

이 간단한 공식은 더 높은 차원의 n×n 행렬식으로 일반화되는 개념의 시발점이 된다. 3×3 이상의 행렬식은 보다 복잡한 계산을 요구하지만, 그 기본 아이디어와 행렬식이 지니는 핵심적 성질들은 2×2 경우에서 이미 드러난다.

3×3 행렬의 행렬식을 계산하는 가장 기억하기 쉬운 방법은 사루스 법칙이다. 이 방법은 3×3 행렬에만 적용되며, 행렬의 오른쪽에 첫 두 열을 다시 써서 대각선 방향의 곱을 더하고 빼는 방식으로 계산한다.

구체적으로, 행렬 A의 원소를 a_ij로 표기할 때, 사루스 법칙에 따른 계산은 다음과 같다. 주대각선 방향(왼쪽 위에서 오른쪽 아래로)의 세 곱을 더한 값에서, 반대각선 방향(오른쪽 위에서 왼쪽 아래로)의 세 곱을 뺀다. 이 과정을 시각적으로 보조하기 위해 행렬의 오른쪽에 첫 번째 열과 두 번째 열을 다시 적어서 확장된 형태로 생각하는 것이 일반적이다.

사루스 법칙은 3×3 행렬에 특화된 암기법이며, 더 높은 차원의 행렬에는 적용되지 않는다. 4×4 이상의 행렬식 계산에는 소행렬식과 여인자를 이용한 전개나, 가우스 소거법을 통한 삼각행렬화 방법이 사용된다.

n×n 행렬식은 임의의 크기를 가진 정사각행렬에 대해 정의되는 스칼라 값이다. 이는 2×2나 3×3 행렬식의 개념을 일반화한 것으로, 행렬이 나타내는 선형 변환의 부피 확대율을 나타내며, 행렬의 가역성을 판별하는 핵심 도구로 사용된다.

일반적인 n×n 행렬 A = (a_ij)의 행렬식은 여러 동치인 방식으로 정의될 수 있다. 가장 널리 알려진 정의는 여인자 전개를 이용한 귀납적 정의이다. i번째 행을 따라 전개할 경우, 행렬식 det(A)는 a_i1 C_i1 + a_i2 C_i2 + ... + a_in C_in의 합으로 계산된다. 여기서 C_ij는 원소 a_ij의 여인자로, (-1)^(i+j)와 a_ij의 소행렬식을 곱한 값이다. 이 정의는 임의의 행 또는 열을 따라 전개해도 동일한 결과를 준다.

또 다른 중요한 정의는 순열과 부호를 이용한 공식이다. 행렬식 det(A)는 모든 가능한 n차 순열 σ에 대해, 그 부호(sgn(σ))와 각 순열에 대응하는 행렬 원소들의 곱 a_{1σ(1)} a_{2σ(2)} ... a_{nσ(n)}을 합한 것이다. 이 정의는 행렬식 함수의 다중선형성과 교대성을 명확히 보여주는 이론적 토대가 된다.

이러한 일반적 정의는 행렬식의 핵심 성질인 행렬식의 곱셈 성질 det(AB) = det(A)det(B)를 증명하는 데 기초가 되며, 고유값들의 곱이 행렬식과 같다는 사실을 이해하는 데도 필수적이다. 따라서 n×n 행렬식은 선형대수학의 이론적 체계를 완성하는 중요한 개념이다.

행렬식은 행렬의 기본 연산에 따라 체계적으로 변화하는 성질을 가진다. 이 성질들은 행렬식을 계산하거나 행렬의 구조를 이해하는 데 매우 유용하게 활용된다.

행렬의 한 행(또는 열)에 스칼라를 곱하면, 그 행렬의 행렬식도 같은 스칼라를 곱한 값이 된다. 예를 들어, 행렬 A의 한 행을 k배 하여 얻은 행렬의 행렬식은 det(A)의 k배가 된다. 또한, 행렬의 두 행(또는 열)을 교환하면 행렬식의 부호가 반대로 바뀐다. 행렬의 한 행에 다른 행의 스칼라 배를 더하는 연산은 행렬식의 값을 변화시키지 않는다. 이는 가우스 소거법을 통해 행렬식을 계산할 때 핵심이 되는 성질이다.

행렬식은 다중선형성과 교대성을 만족하는 함수로 정의할 수 있다. 다중선형성은 각 행(또는 열)에 대해 선형 변환처럼 작동함을 의미하며, 교대성은 두 행이 같으면 행렬식 값이 0이 됨을 의미한다. 이러한 추상적 성질로부터 위에서 언급한 기본 연산에 따른 변화 규칙을 모두 유도해낼 수 있다.

이 표는 열에 대한 연산에서도 동일하게 적용된다. 이러한 성질들을 이용하면 복잡한 행렬의 행렬식을 간단한 형태로 변환하여 쉽게 계산할 수 있다.

특수한 형태를 가진 행렬의 행렬식은 간단한 공식으로 계산할 수 있다. 대각행렬, 삼각행렬, 단위행렬과 같은 행렬이 여기에 해당한다.

대각성분만 값을 가지는 대각행렬의 행렬식은 모든 대각성분의 곱과 같다. 상삼각행렬과 하삼각행렬을 통칭하는 삼각행렬의 행렬식 역시 모든 대각성분의 곱으로 계산된다. 특히, 모든 대각성분이 1인 단위행렬의 행렬식 값은 1이다. 이는 단위행렬이 나타내는 선형 변환이 부피를 변화시키지 않음을 의미한다.

행렬식이 0인 경우는 행렬이 가역행렬이 아닌 특이행렬임을 나타낸다. 예를 들어, 두 행이나 두 열이 서로 선형 종속인 경우, 또는 하나의 행이나 열의 모든 원소가 0인 경우 행렬식은 0이 된다. 또한, 전치행렬의 행렬식은 원래 행렬의 행렬식과 동일하다는 성질도 있다.

행렬식의 곱셈 성질은 두 정사각행렬의 곱의 행렬식이 각 행렬식의 곱과 같다는 중요한 성질이다. 즉, 같은 크기의 정사각행렬 A와 B에 대하여 det(AB) = det(A) * det(B)가 성립한다. 이 성질은 행렬식이 행렬 곱셈과 조화를 이루는 함수임을 보여주며, 여러 증명과 응용에서 핵심적인 역할을 한다.

이 성질은 행렬식의 여러 다른 성질로부터 유도될 수 있으며, 특히 기본행렬과의 관계를 통해 이해할 수 있다. 행렬 A와 B의 곱을 가우스 소거법과 유사한 기본행 연산의 관점에서 바라보면, 행렬식의 곱셈 성질은 기본행 연산이 행렬식에 미치는 영향을 추적하는 과정에서 자연스럽게 나타난다. 이 성질은 행렬의 거듭제곱에 대해서도 확장되어, det(A^k) = (det(A))^k와 같은 형태로 적용된다.

행렬식의 곱셈 성질은 역행렬의 행렬식을 구하는 데 직접적으로 활용된다. 가역행렬 A에 대하여 AA^{-1} = I가 성립하고, 여기에 곱셈 성질을 적용하면 det(A) * det(A^{-1}) = det(I) = 1이 된다. 따라서 역행렬의 행렬식은 det(A^{-1}) = 1 / det(A)임을 알 수 있다. 이는 역행렬을 계산하거나 그 성질을 논할 때 유용한 공식이다.

또한 이 성질은 선형 변환의 관점에서도 의미를 지닌다. 행렬 A와 B가 각각 선형 변환을 나타낸다면, 그 곱 AB는 두 변환의 합성을 나타낸다. 이때 det(AB)는 합성 변환의 부피 확대율이며, 이는 각 변환의 확대율인 det(A)와 det(B)를 곱한 것과 같음을 의미한다. 이는 행렬식의 기하학적 의미와도 완벽하게 일치하는 결과이다.

소행렬식과 여인자를 이용한 전개는 임의의 크기의 정사각행렬의 행렬식을 계산하는 체계적인 방법이다. 이 방법은 크기가 큰 행렬의 행렬식을 작은 크기의 행렬식 계산 문제로 재귀적으로 분해하여 구할 수 있게 한다.

어떤 n차 정사각행렬 A의 i행과 j열을 제거하여 얻은 (n-1)차 정사각행렬의 행렬식을 원소 a_ij의 소행렬식이라 하며, 보통 M_ij로 표기한다. 이 소행렬식에 부호 계수 (-1)^(i+j)를 곱한 값을 여인자라 하고, C_ij로 표기한다. 즉, C_ij = (-1)^(i+j) * M_ij 이다. 행렬 A의 행렬식은 임의의 한 행(또는 열)에 대한 여인자 전개를 통해 구할 수 있다. 예를 들어, i번째 행에 대한 전개는 det(A) = a_i1 * C_i1 + a_i2 * C_i2 + ... + a_in * C_in 의 형태로 계산된다. 이는 고차 행렬의 행렬식을 계산할 때 유용하게 사용된다.

이 계산법은 특히 희소 행렬이나 특정 행 또는 열에 0이 많은 행렬에 효율적이다. 전개를 할 행이나 열을 잘 선택하여 많은 항이 0이 되도록 하면, 계산해야 할 소행렬식의 개수가 줄어들어 전체 계산량을 크게 감소시킬 수 있다. 이 방법은 행렬식의 정의에 직접 기반한 계산법으로, 행렬식의 여러 이론적 성질을 증명하는 데에도 핵심적으로 활용된다.

이 전개 방식을 반복 적용하면 결국 2×2 또는 3×3 행렬식 계산으로 귀결되므로, 원칙상 모든 크기의 행렬식을 계산할 수 있는 알고리즘을 제공한다. 이는 가우스 소거법을 이용한 계산과 더불어 행렬식을 구하는 대표적인 방법 중 하나이다.

가우스 소거법을 이용한 행렬식 계산은 행렬을 상삼각행렬로 변환한 후 대각원소들의 곱을 구하는 방법이다. 이 방법은 행렬의 크기가 커질수록 여인자 전개보다 계산 효율이 훨씬 뛰어나기 때문에 실용적으로 널리 사용된다.

가우스 소거법의 기본 원리는 행렬에 기본 행 연산을 적용해도 행렬식의 값이 어떻게 변하는지 알고 있는 데서 출발한다. 기본 행 연산에는 두 행을 교환하는 것, 한 행에 0이 아닌 상수를 곱하는 것, 그리고 한 행의 배수를 다른 행에 더하는 것이 있다. 이 연산들이 행렬식에 미치는 영향을 정리하면 다음과 같다.

이 성질들을 이용해 주어진 행렬을 상삼각행렬로 만들면서, 행 교환 횟수와 행에 곱해진 상수들을 추적하면 된다. 상삼각행렬의 행렬식은 모든 대각원소의 곱과 같다. 따라서 최종 계산식은 다음과 같다.

det(A) = (-1)^s * (1/(p1 * p2 * ... * pr)) * (u11 * u22 * ... * unn)

여기서 s는 행 교환 횟수, p1, p2, ..., pr은 행을 상수배할 때 사용된 0이 아닌 상수들, u11, u22, ..., unn은 최종 상삼각행렬의 대각원소들이다. 만약 소거 과정에서 피벗 위치에 0이 나타나 행 교환으로도 해결되지 않으면, 그 행렬의 행렬식은 0이다.

이 방법은 알고리즘적으로 구현이 간단하며, 대규모 행렬의 행렬식을 계산하거나 수치해석적으로 근사값을 구할 때 필수적이다. 또한 이 과정은 행렬의 랭크를 구하거나 역행렬을 계산하는 과정과 밀접하게 연관되어 있어, 선형대수학의 핵심 계산 도구로 자리 잡고 있다.

행렬식의 가장 기본적이고 중요한 응용 중 하나는 정사각행렬의 가역성, 즉 역행렬 존재 여부를 판별하는 것이다. 임의의 정사각행렬 A에 대해, A의 행렬식 값이 0이 아닌 것과 A가 가역행렬인 것은 서로 필요충분조건이다. 다시 말해, det(A) ≠ 0이면 역행렬 A^{-1}이 존재하며, det(A) = 0이면 역행렬은 존재하지 않는다.

이 판별법은 선형대수학의 핵심 정리 중 하나로, 행렬식의 여러 성질을 증명하는 데에도 자주 사용된다. 예를 들어, 행렬식의 곱셈 성질 det(AB) = det(A)det(B)에 따르면, 만약 A와 B가 모두 가역행렬이라면 그 곱 AB도 가역행렬이 된다. 또한, 행렬식이 0인 행렬을 특이행렬이라고 부르며, 이러한 행렬은 연립 일차 방정식에서 유일한 해를 갖지 않는 경우와 깊이 연관되어 있다.

역행렬이 존재하지 않는 경우, 즉 행렬식이 0인 경우는 해당 선형 변환이 공간을 낮은 차원으로 '축소'시키는 변환에 해당한다. 이는 행렬식의 기하학적 의미인 부피 확대율이 0이 된다는 사실과 직결된다. 따라서 행렬식은 단순한 계산 도구를 넘어, 행렬이 표현하는 선형 변환의 본질적 특성을 파악하는 데 결정적인 역할을 한다.

크래머 법칙은 연립 일차 방정식의 해를 행렬식을 이용하여 표현하는 공식이다. 이 법칙은 계수 행렬이 가역행렬일 때, 즉 행렬식이 0이 아닐 때만 적용할 수 있다.

n개의 미지수를 가진 n개의 방정식으로 이루어진 연립방정식 AX = B가 있을 때, 계수 행렬 A의 행렬식 det(A)가 0이 아니라면, 이 연립방정식은 유일한 해를 가진다. 크래머 법칙에 따르면, 각 미지수의 해는 두 행렬식의 비로 주어진다. 구체적으로, i번째 미지수 x_i의 해는 A의 i번째 열을 상수 벡터 B로 대체하여 만든 행렬 A_i의 행렬식을 A의 행렬식으로 나눈 값이다. 즉, x_i = det(A_i) / det(A) 이다.

이 방법은 이론적으로 중요하며 해의 공식을 명시적으로 보여준다는 장점이 있다. 그러나 실제 계산에서는 행렬식 계산 자체가 복잡하기 때문에, 미지수가 많은 큰 규모의 연립방정식을 풀 때는 가우스 소거법이나 LU 분해와 같은 수치적 방법이 더 효율적으로 사용된다. 따라서 크래머 법칙은 주로 2차나 3차와 같이 저차원의 연립방정식을 해결하거나, 이론적 분석을 할 때 유용하게 활용된다.

행렬식은 선형 변환에 의해 공간이 얼마나 확대 또는 축소되는지를 나타내는 부피 인자로 해석할 수 있다. 선형 변환을 나타내는 정사각행렬 A에 대해, 이 변환은 공간의 도형을 일정한 비율로 늘리거나 줄인다. 이때 그 비율의 절댓값이 바로 행렬식 det(A)의 값이며, 부호는 방향의 보존 여부를 나타낸다.

예를 들어, 2×2 행렬은 평면 위의 변환을 나타내며, 그 행렬식의 절댓값은 변환 후 평행사변형의 넓이가 원래 단위 정사각형의 넓이에 비해 몇 배가 되었는지를 의미한다. 마찬가지로 3×3 행렬의 행렬식은 공간에서 평행육면체의 부피 확대율을 의미한다. 행렬식이 0이면 이 부피가 0이 되는데, 이는 선형 변환이 공간을 낮은 차원으로 축소시켰음을 의미하며, 이는 행렬이 가역행렬이 아님을 보여준다.

이러한 기하학적 의미는 더 높은 차원의 n차원 공간으로도 일반화된다. n×n 행렬 A에 의한 선형 변환은 n차원 초입방체를 n차원 초평행육면체로 변환하며, 이 초평행육면체의 n차원 부피는 원래 초입방체 부피의 |det(A)|배가 된다. 따라서 행렬식은 다중선형대수와 미분기하학에서 부피 형식을 정의하는 데 핵심적인 역할을 한다.

소행렬식은 주어진 정사각행렬에서 특정 행과 열을 제거하여 얻은 더 작은 정사각행렬의 행렬식을 의미한다. 예를 들어, n차 정사각행렬 A에서 i번째 행과 j번째 열을 삭제하여 얻은 (n-1)차 정사각행렬의 행렬식을 소행렬식 M_ij라 부른다. 이 개념은 더 큰 행렬의 행렬식을 계산하거나, 여인자를 정의하는 데 기초가 된다.

여인자는 소행렬식에 부호를 곱한 값으로 정의된다. 행렬 A의 (i, j) 여인자 C_ij는 C_ij = (-1)^(i+j) * M_ij의 공식으로 계산된다. 이 부호 계수 (-1)^(i+j)는 체크무늬 패턴의 부호 배열과 일치하며, 여인자 전개 정리를 가능하게 하는 핵심 요소이다.

소행렬식과 여인자는 행렬식을 계산하는 중요한 방법인 여인자 전개(라플라스 전개)의 기본 구성 요소이다. 임의의 행 또는 열을 따라 행렬식을 전개할 때, 그 행(또는 열)의 원소들과 대응하는 여인자들의 곱의 합으로 행렬식 값을 구할 수 있다. 이 방법은 행렬의 크기가 커질수록 계산량이 기하급수적으로 늘어나는 단점이 있지만, 이론적으로 중요하며 많은 0을 포함하는 행렬의 행렬식 계산에는 유용하게 적용될 수 있다.

또한, 여인자 행렬을 구성하여 수반행렬을 만들고, 이를 통해 역행렬을 표현하는 공식을 유도할 수 있다. 이는 행렬식이 0이 아닌 가역행렬의 역행렬을 구하는 한 방법을 제공한다.

고유값은 정사각행렬이 특정 벡터에 작용했을 때 그 벡터의 방향은 유지한 채 크기만 변화시키는 배율을 의미한다. 행렬 A에 대해 0이 아닌 벡터 v와 스칼라 λ가 Av = λv를 만족하면, λ를 A의 고유값, v를 그에 대응하는 고유벡터라고 한다. 이 관계는 (A - λI)v = 0으로 변형할 수 있으며, 여기서 I는 단위행렬이다.

이 방정식이 0이 아닌 해(v)를 가지려면, 행렬 (A - λI)의 행렬식이 0이어야 한다. 즉, det(A - λI) = 0이 성립한다. 이 방정식을 특성 방정식이라고 부른다. 따라서, 행렬의 고유값은 특성 방정식 det(A - λI) = 0의 근으로 구해진다. 이는 행렬식이 고유값을 찾는 데 핵심적인 도구임을 보여준다.

행렬식과 고유값 사이에는 또 다른 중요한 관계가 있다. 행렬 A의 모든 고유값을 λ₁, λ₂, ..., λₙ이라고 할 때, 행렬식 det(A)는 이 모든 고유값의 곱과 같다. 즉, det(A) = λ₁ * λ₂ * ... * λₙ이 성립한다. 이 성질로부터, 행렬식의 값이 0이라는 것은 고유값 중 적어도 하나가 0임을 의미하며, 이는 다시 행렬이 가역행렬이 아님을 나타낸다.

이 관계는 행렬의 여러 성질을 이해하는 데 유용하다. 예를 들어, 대각화 가능한 행렬의 행렬식은 대각행렬로 변환했을 때 대각 성분(고유값)의 곱으로 쉽게 계산될 수 있다. 또한, 고유값의 곱으로서의 행렬식은 선형 변환이 공간을 얼마나 확대 또는 축소하는지를 나타내는 부피 인자 개념과도 직접적으로 연결된다.

행렬식 함수는 정사각행렬을 입력으로 받아 하나의 스칼라 값을 출력하는 특수한 함수이다. 이 함수는 선형대수학의 핵심 개념 중 하나로, 행렬의 여러 중요한 성질을 결정하는 역할을 한다. 주로 det(A) 또는 |A|와 같이 표기한다.

이 함수는 다중선형대수의 관점에서 볼 때, 행렬의 열(또는 행) 벡터들에 대한 교대 다중선형 형식으로 정의된다. 이는 함수가 각 열 벡터에 대해 선형적이며, 두 열이 같으면 값이 0이 되고, 열을 교환하면 부호가 바뀌는 성질을 가짐을 의미한다. 이러한 추상적 정의는 행렬식의 모든 성질을 유도하는 근간이 된다.

행렬식 함수의 주요 용도는 다음과 같다. 첫째, 행렬의 가역성을 판별하는 지표로 사용된다. 행렬식의 값이 0이 아니면 그 행렬은 가역이며, 0이면 특이행렬이 된다. 둘째, 선형 변환의 기하학적 성질을 나타낸다. 행렬 A가 표현하는 선형 변환은 공간의 부피를 행렬식의 절댓값만큼 확대 또는 축소시키며, 부호는 방향의 보존 여부를 나타낸다. 셋째, 크래머 법칙을 통해 연립 일차 방정식의 해를 공식적으로 표현하는 데 사용된다.

역사적으로 행렬식 함수는 17세기 말에서 18세기 초에 걸쳐 고트프리트 빌헬름 라이프니츠와 가브리엘 크라메르를 비롯한 수학자들이 연립방정식을 연구하는 과정에서 그 개념이 등장하고 발전하였다. 이후 카를 구스타프 야코프 야코비 등에 의해 더욱 체계화되어 현대 선형대수학의 기초를 이루게 되었다.