기저 (선형대수학)

기저를 이해하기 위해서는 먼저 '선형 독립'과 '생성'이라는 두 가지 핵심 개념을 명확히 알아야 한다. 이 두 개념은 벡터 공간의 구조를 설명하는 근본적인 도구이다.

벡터들의 집합이 주어졌을 때, 이 집합이 '생성한다'는 것은 그 집합에 속한 벡터들의 선형결합을 통해 벡터 공간의 모든 벡터를 만들어낼 수 있다는 의미이다. 즉, 공간의 임의의 벡터는 이 집합의 벡터들을 조합하여 유일하게 표현 가능하다. 반면, '선형 독립'이라는 개념은 집합 내 벡터들 사이에 불필요한 중복이 없음을 의미한다. 정확히는, 집합 내 벡터들에 대한 선형결합이 영벡터가 되는 경우가 자명한 경우(모든 계수가 0인 경우) 뿐일 때, 그 벡터 집합을 선형 독립이라고 한다.

기저는 바로 이 두 가지 성질, 즉 생성성과 선형 독립성을 동시에 만족하는 벡터들의 집합으로 정의된다. 생성성만 만족하는 집합은 공간을 포괄하지만 표현에 불필요한 벡터가 포함되어 있을 수 있고, 선형 독립성만 만족하는 집합은 중복은 없지만 공간 전체를 만들어내지 못할 수 있다. 기저는 공간을 완전히 포괄하면서도 가장 효율적이고 중복 없는 최소한의 구성 요소 집합이다.

따라서 어떤 벡터 집합이 기저가 되기 위해서는 두 조건을 검증해야 한다. 첫째, 그 집합의 선형결합으로 공간의 모든 벡터를 나타낼 수 있어야 하며(생성), 둘째, 그 집합의 벡터들 사이에 서로를 대체할 수 있는 관계가 존재하지 않아야 한다(선형 독립). 이 조건들은 이후 차원과 좌표 표현과 같은 중요한 개념들로 이어진다.

벡터 공간의 부분집합이 기저가 되기 위해서는 두 가지 조건을 동시에 만족해야 한다. 첫째는 생성성이다. 이는 해당 집합의 벡터들로 이루어진 모든 선형결합을 통해 벡터 공간의 모든 벡터를 유일하게 표현할 수 있어야 함을 의미한다. 즉, 주어진 집합이 벡터 공간 전체를 생성한다.

둘째는 선형 독립성이다. 이는 집합에 속한 벡터들 중 어느 것도 다른 벡터들의 선형결합으로 나타낼 수 없어야 함을 뜻한다. 다시 말해, 이 벡터들 사이에는 불필요한 중복이 존재하지 않는다. 이 두 조건, 생성성과 선형 독립성은 서로 독립적이지만 기저를 정의하기 위해서는 반드시 쌍으로 요구된다.

이 두 조건을 결합하면 기저의 중요한 특징을 얻을 수 있다. 벡터 공간의 임의의 벡터는 기저 벡터들의 선형결합으로 표현 가능하며(생성성), 그 표현 방법은 오직 하나뿐이다(선형 독립성에 의해 보장됨). 따라서 기저는 벡터 공간의 구조를 가장 효율적이고 중복 없이 설명하는 '좌표계'의 역할을 한다.

기저의 조건은 유한집합에 국한되지 않는다. 무한차원 벡터 공간에서도 무한 집합이 기저가 되려면 동일하게 생성성과 선형 독립성을 만족해야 한다. 다만, 이 경우 '생성'의 의미는 집합의 유한 선형결합으로 모든 벡터를 나타낼 수 있다는 점에서 정의된다.

모든 벡터 공간은 적어도 하나의 기저를 가진다. 이는 벡터 공간의 기본적인 성질 중 하나로, 공간의 구조를 이해하는 데 필수적이다. 특히, 유한 차원 벡터 공간, 즉 유한 개의 벡터로 생성될 수 있는 공간에서는 기저의 존재가 보장될 뿐만 아니라, 모든 기저가 같은 수의 벡터를 포함한다는 중요한 사실이 성립한다.

이때, 기저에 포함된 벡터의 개수를 그 벡터 공간의 차원이라고 정의한다. 예를 들어, 3차원 공간 R^3의 기저는 정확히 세 개의 벡터로 이루어져 있으며, 어떤 기저를 선택하더라도 벡터의 수는 항상 세 개이다. 이는 기저의 크기가 벡터 공간의 고유한 불변량임을 의미한다.

반면, 무한 차원 벡터 공간의 경우에도 기저는 존재하지만, 그 크기, 즉 기저 집합의 원소 개수는 더 이상 유한한 수가 아니다. 무한 차원 공간에서는 기저의 크기를 비교하기 위해 집합론의 개념을 도입하게 된다. 중요한 점은, 선택공리를 가정할 때 모든 벡터 공간이 기저를 가진다는 사실이 증명된다는 것이다.

기저 확장 정리는 주어진 선형 독립인 벡터 집합을, 전체 벡터 공간의 기저로 확장할 수 있음을 보장하는 정리이다. 즉, 유한 차원 벡터 공간 V에서, 선형 독립인 벡터들로 이루어진 집합 S가 있다면, 이 집합 S에 적절한 벡터들을 추가하여 V의 기저를 만들 수 있다.

이 정리의 구체적인 내용은 다음과 같다. 벡터 공간 V가 유한 차원이고, 집합 S = {v1, v2, ..., vk}가 선형 독립이라고 하자. 이때, V의 기저 B가 존재하여 S는 B의 부분집합이 된다. 다시 말해, S에 속하지 않은 벡터들 w1, w2, ..., wm을 잘 선택하여 새로운 집합 B = {v1, ..., vk, w1, ..., wm}이 V의 기저가 되도록 할 수 있다.

이 정리는 기저의 존재성과 직접적으로 연결된다. 빈 집합(공집합)도 선형 독립으로 간주되므로, 기저 확장 정리에 따라 공집합에서 시작하여 벡터를 하나씩 추가해 나가면 결국 전체 공간의 기저를 구성할 수 있다. 이 과정은 선형 독립성을 유지하면서 생성 공간을 점차 넓혀 나가는 방식으로 진행된다.

기저 확장 정리의 중요한 결과 중 하나는, 모든 기저의 크기가 동일하다는 차원의 개념을 뒷받침한다는 점이다. 선형 독립 집합 S를 확장하여 얻은 기저의 크기(벡터의 개수)는, 다른 어떤 기저를 확장하여 얻은 기저의 크기와 반드시 일치하며, 이 공통된 수가 바로 벡터 공간의 차원이 된다.

주어진 벡터 공간 V와 그 기저 B = {v1, v2, ..., vn}가 있다면, V의 임의의 벡터 v는 기저 벡터들의 유일한 선형 결합으로 표현된다. 즉, v = a1v1 + a2v2 + ... + anvn을 만족하는 스칼라 a1, a2, ..., an이 오직 하나 존재한다. 이 스칼라들의 순서쌍 (a1, a2, ..., an)을 벡터 v의 기저 B에 대한 좌표라고 한다.

이 좌표 표현은 벡터 공간의 추상적인 벡터를 우리에게 익숙한 숫자들의 n-튜플, 즉 좌표 공간 F^n의 원소와 일대일로 대응시킨다. 이 대응 관계를 좌표 사상이라고 하며, 이는 벡터 공간 V에서 F^n으로 가는 동형 사상이 된다. 따라서, 유한 차원 벡터 공간은 본질적으로 (차원이 같은) 좌표 공간과 동일한 구조를 가진다.

좌표 표현은 계산과 응용에서 매우 실용적이다. 예를 들어, 벡터의 덧셈이나 스칼라 곱셈 연산은 각각 해당 좌표끼리의 덧셈과 곱셈으로 수행할 수 있다. 또한, 선형 변환을 나타내는 행렬은 특정 기저를 선택했을 때, 벡터의 좌표를 어떻게 변환하는지를 기술한 규칙으로 이해된다. 이는 추상적인 선형 대수학의 개념을 구체적인 행렬 계산으로 풀어낼 수 있는 토대를 제공한다.

한편, 동일한 벡터라도 선택한 기저에 따라 그 좌표 표현은 완전히 달라진다. 이는 물리적 현상을 기술할 때 서로 다른 관점(좌표계)을 설정하는 것과 유사하다. 따라서 문제를 해결할 때 상황에 가장 적합한 기저를 선택하는 것은 중요한 과정이 된다.

표준기저는 가장 기본적이고 직관적인 기저의 예시이다. 주어진 벡터 공간에서, 각 좌표축 방향의 단위 벡터들로 구성된다. 예를 들어, 실수로 이루어진 n차원 좌표 공간 R^n에서의 표준기저는 e_1 = (1, 0, ..., 0), e_2 = (0, 1, 0, ..., 0), ..., e_n = (0, ..., 0, 1)과 같은 벡터들의 집합이다. 이 벡터들은 서로 선형 독립이며, R^n의 임의의 벡터 (a_1, a_2, ..., a_n)은 이들의 선형결합 a_1*e_1 + a_2*e_2 + ... + a_n*e_n으로 유일하게 표현된다.

표준기저의 개념은 행렬 공간이나 다항식 공간과 같은 다른 벡터 공간으로도 확장된다. 예를 들어, 성분이 실수인 2x2 행렬들의 공간에서 표준기저는 단위 행렬의 성분들에 해당하는 네 개의 행렬로 생각할 수 있다. 이는 각 행렬이 하나의 위치에만 1을 가지고 나머지는 0인 행렬들이다.

표준기저를 사용하면 벡터의 좌표 표현이 매우 간단해진다. 벡터 자체가 표준기저에 대한 좌표 성분과 정확히 일치하기 때문이다. 이는 계산과 이해를 용이하게 하는 핵심적인 장점이다. 또한, 표준기저는 내적 공간에서 보통 정규직교기저가 되므로, 길이와 각도를 다루는 기하학적 연산에도 매우 편리하다.

그러나 모든 벡터 공간에 표준기저가 항상 명확히 정의되어 있는 것은 아니다. 표준기저의 존재는 공간에 좌표계가 자연스럽게 부여되어 있을 때 가능하다. 일반적인 벡터 공간에서는 무수히 많은 기저가 존재하며, 문제에 따라 표준기저보다 더 유용한 다른 기저를 선택하여 사용하는 경우가 많다.

다항식으로 이루어진 벡터 공간에서도 기저의 개념이 자연스럽게 적용된다. 예를 들어, 차수가 n 이하인 모든 실계수 다항식의 집합 P_n(R)은 벡터 공간을 이루며, 그 표준적인 기저는 {1, x, x^2, ..., x^n}이다. 이 집합의 벡터들은 선형 독립이며, P_n(R)에 속하는 임의의 다항식 a_0 + a_1 x + ... + a_n x^n은 이들 벡터의 선형결합 a_0*1 + a_1*x + ... + a_n*x^n으로 유일하게 표현된다.

이 기저는 표준기저라고 불리지만, 다항식 공간에는 무수히 많은 다른 기저가 존재한다. 예를 들어, {1, 1+x, 1+x+x^2, ..., 1+x+...+x^n}도 P_n(R)의 한 기저가 될 수 있다. 이 집합이 선형 독립이며 공간을 생성함을 보이는 것은 좋은 연습 문제가 된다. 또 다른 중요한 예로는 특정 점에서의 함수값과 도함수값을 기준으로 하는 기저, 예컨대 테일러 급수의 계수를 직접적으로 주는 기저를 구성할 수도 있다.

더 일반적으로, 모든 실계수 다항식의 공간 P(R)은 무한차원 벡터 공간이다. 이 공간의 한 기저는 {1, x, x^2, x^3, ...}와 같은 무한 집합이 된다. 이 경우, 공간의 임의의 벡터(즉, 임의의 다항식)는 이 무한 집합의 유한 개 벡터의 선형결합으로 표현된다는 점에 유의해야 한다. 이는 벡터 공간에서의 선형결합 정의가 항상 유한합을 의미하기 때문이다.

벡터 공간에서 표준기저 외에도 무수히 많은 기저가 존재할 수 있다. 예를 들어, 2차원 실수 벡터 공간 R^2에서, 벡터 (1, 1)과 (1, -1)의 집합은 하나의 기저를 이룬다. 이 두 벡터는 서로 선형 독립이며, R^2의 임의의 벡터 (x, y)를 이들의 선형결합 a(1,1) + b(1,-1)으로 유일하게 표현할 수 있다. 이는 우리가 익숙한 표준기저 {(1,0), (0,1)}과는 다른 방향을 가리키는 축을 구성하는 것과 같다.

또 다른 예로, 복소수체 C를 실수체 R 위의 벡터 공간으로 볼 수 있다. 이때 C의 차원은 2이며, {1, i}는 이 공간의 한 기저가 된다. 임의의 복소수 a+bi는 실수 계수 a와 b를 사용하여 a*1 + b*i로 유일하게 표현되기 때문이다. 이는 벡터 공간의 스칼라 체가 무엇이냐에 따라 기저와 차원이 달라질 수 있음을 보여주는 사례이다.

유한차원 공간뿐 아니라 무한차원 벡터 공간에서도 기저의 개념이 적용된다. 모든 실수 계수 다항식의 공간 P(R)에서, 무한 집합 {1, x, x^2, x^3, ...}은 잘 알려진 기저이다. 이는 표준기저에 해당하며, 임의의 다항식이 이들의 유한 선형결합으로 유일하게 쓰여지기 때문이다. 이 예시는 기저가 반드시 유한 집합일 필요는 없음을 보여준다.

차원은 벡터 공간의 크기나 복잡도를 수치화한 기본적인 불변량이다. 주어진 벡터 공간의 모든 기저는 동일한 수의 벡터를 가지며, 이 공통된 벡터의 개수를 그 벡터 공간의 차원이라고 정의한다. 예를 들어, 2차원 실수 공간 R^2의 표준기저는 두 개의 벡터로 이루어져 있으므로, 그 차원은 2이다.

유한 차원 벡터 공간에서 차원은 공간을 완전히 기술하는 데 필요한 최소한의 독립 변수의 개수로 이해할 수 있다. 이는 기저 벡터의 개수와 일치한다. 무한 차원 벡터 공간의 경우, 기저가 무한 집합이므로 차원은 무한대가 된다. 차원은 벡터 공간의 고유한 속성으로, 기저를 어떻게 선택하더라도 그 크기는 변하지 않는다.

차원 개념은 선형대수학의 여러 핵심 정리를 뒷받침한다. 예를 들어, 차원이 n인 벡터 공간에서, n개보다 많은 벡터의 집합은 항상 선형 종속이다. 또한, n개의 벡터로 이루어진 집합이 선형 독립이면 그것은 기저를 이루며, 공간을 생성하면 마찬가지로 기저가 된다. 이는 유한 차원 공간에서 기저를 판별하는 유용한 도구가 된다.

차원은 또한 벡터 공간들 사이의 관계를 설명한다. 한 벡터 공간이 다른 벡터 공간의 부분공간일 때, 부분공간의 차원은 원래 공간의 차원을 넘지 않는다. 두 벡터 공간이 동형, 즉 구조적으로 동일할 필요충분조건은 그들의 차원이 서로 같은 것이다.

순서기저는 기저 벡터들에 순서가 부여된 기저를 말한다. 일반적인 기저는 집합으로서 순서를 고려하지 않지만, 순서기저는 벡터들을 특정한 순서로 나열한 것을 의미한다. 이는 벡터의 좌표 표현을 명확히 하기 위해 필요하다. 예를 들어, 같은 벡터라도 기저의 순서가 바뀌면 그 좌표 표현도 달라지기 때문이다.

표준기저는 순서가 암묵적으로 정해진 대표적인 순서기저의 예이다. R^3의 표준기저는 보통 (e1, e2, e3)와 같이 순서를 가지고 언급된다. 다항식 벡터 공간에서 기저 {1, x, x^2}를 사용할 때도, 이는 낮은 차수부터 높은 차수로의 순서를 암시한다.

순서기저의 개념은 행렬 표현, 선형 변환의 표현, 그리고 좌표계를 다룰 때 필수적이다. 선형 변환의 행렬은 특정 순서기저를 기준으로 정의되며, 순서가 바뀌면 행렬의 열의 순서도 함께 바뀌게 된다. 따라서 기저를 논할 때, 특히 계산과 응용을 목적으로 할 때는 순서를 명시하는 것이 일반적이다.

쌍대기저는 주어진 벡터 공간의 기저에 연관되어 정의되는 개념이다. 주어진 벡터 공간 V와 그 기저 B = {v1, v2, ..., vn}가 있을 때, V의 쌍대 공간 V* (V에서 스칼라 체로 가는 모든 선형 범함수의 집합)의 한 특별한 기저를 쌍대기저라고 한다. 이 기저는 원래 기저 B의 각 벡터에 대응되도록 구성된다.

구체적으로, 기저 B에 대한 쌍대기저는 V*의 원소들인 선형 범함수들의 집합 {f1, f2, ..., fn}으로, 다음과 같은 조건을 만족한다. 각 범함수 fi는 기저 벡터 vj에 대해, fi(vj) = δij (크로네커 델타)의 값을 준다. 즉, fi는 자신이 대응하는 vi에 대해서는 1의 값을, 다른 기저 벡터에 대해서는 0의 값을 반환한다. 이 조건에 의해 이들 범함수 집합은 V*에서 선형 독립이며 V*를 생성함이 보장되므로, V*의 한 기저를 이룬다.

쌍대기저의 개념은 벡터의 좌표 표현을 추상화하고 일반화하는 데 유용하게 쓰인다. 유한차원 벡터 공간 V에서, 어떤 벡터 v를 기저 B에 대한 좌표 (a1, a2, ..., an)로 표현하면, 이 좌표 성분 ai는 정확히 쌍대기저의 범함수 fi를 v에 적용한 값, 즉 ai = fi(v)와 같다. 따라서 쌍대기저는 주어진 기저 하에서 벡터의 성분을 "읽어내는" 도구로 해석할 수 있다.

이 개념은 행렬 표현, 텐서 계산, 물리학의 브라-켓 표기법 등 여러 분야에서 중요한 역할을 한다. 특히 쌍대 공간과 쌍대기저를 이해함으로써 벡터 공간과 그 위의 선형 변환을 더 깊이 있게 다룰 수 있게 된다.