선형대수학에서, '''벡터 공간'''(vector空間, 또는 '''선형 공간'''(線型空間, )은 원소를 서로 더하거나 주어진 배수로 늘이거나 줄일 있는 공간이다. 체에 대한, 가군의 특수한 경우다. 벡터 공간의 원소를 '''벡터'''(, )라고 하며, 이는 직관적으로 방향 길이의 비가 정의된 대상을 나타낸다. 그러나 노름이 주어지지 않은 일반적인 벡터 공간에서는 벡터의 길이 자체는 정의되지 않는다. == 정의 == 위의 '''벡터 공간''' 대한 가군이다. 즉, 다음과 같은 튜플이다. 집합이다. 집합의 원소를 '''벡터'''라고 한다. 함수이다. 연산을 '''벡터 덧셈'''이라고 한다. 함수이다. 연산을 '''스칼라 곱셈'''이라고 한다. 데이터는 다음과 같은 공리들을 만족시켜야 한다. 아벨 군을 이룬다. 즉, 다음 성질들이 성립한다. ** (벡터 덧셈의 결합 법칙) 임의의 대하여, ** (벡터 덧셈의 교환 법칙) 임의의 대하여, ** (벡터 덧셈의 항등원) 임의의 대하여 원소 존재한다. ** (역원의 존재) 임의의 대하여, 원소 존재한다. 가군을 이룬다. 즉, 다음 성질들이 성립한다. ** 임의의 대하여, ** 임의의 대하여, 여기서 곱셈 항등원이다. ** (분배 법칙) 임의의 대하여, 실수체 대한 벡터 공간을 '''실수 벡터 )이라고 하며, 복소수체 대한 벡터 공간을 '''복소수 벡터 )이라고 한다. === 부분 공간과 기저 === 위의 벡터 공간 부분 집합 다음 조건을 만족시키면, '''부분 벡터 )이라고 한다. 임의의 대하여, 임의의 대하여, 즉, 부분 벡터 공간은 연산들을 제한시켜 새로운 작은 벡터 공간을 이룰 있는 부분 집합이다. 벡터 공간 부분 집합 대하여, '''생성'''() 포함하는 모든 부분 공간들의 교집합이다. 만약 에서, 원소 존재하지 않는다면, '''선형 독립 집합'''이라고 한다. 생성이 벡터 공간 전체인 선형 독립 집합을 '''기저'''라고 한다. 선택 공리를 가정하면, 모든 벡터 공간은 하나 이상의 기저를 가지며, 모든 기저들은 항상 같은 크기를 갖는다. 벡터 공간 기저의 크기를 벡터 공간의 '''차원'''(次元, 이라고 한다. === 선형 변환 === 벡터 공간 사이의 '''선형 변환'''은 벡터 덧셈과 스칼라 곱셈을 보존하는 사상이다. 만약 벡터 공간 사이에 가역 선형 변환이 존재한다면, 벡터 공간이 서로 '''동형'''이라고 한다. 주어진 벡터 공간 사이의 선형 변환의 집합은 점별 벡터 덧셈과 점별 스칼라 곱셈에 의하여 벡터 공간을 이룬다. 유한 차원 벡터 공간 사이의 선형 변환은 주어진 기저에 대한 행렬로 나타낼 있다. == 분류 == 선택 공리를 가정하자. 대한 벡터 공간 대하여 다음이 성립한다. 즉, 주어진 체에 대한 벡터 공간은 차원에 따라서 완전히 분류된다. 이는 선택 공리를 필요로 하며, 선택 공리가 없으면 모든 벡터 공간이 차원을 갖는다는 것을 보일 없다. 여기서 개의 직합이며, 경우 이는 곱집합과 다르다. == 연산 == 같은 위의 벡터 공간들이 주어졌을 때, 다음과 같은 연산들을 정의할 있다. 선분과 벡터 공간 === 몫공간 === 위의 벡터 공간 임의의 부분 공간 주어졌다고 하자. 그렇다면 위에 다음과 같은 동치 관계를 정의할 있다. 동치 관계에 대한 동치류는 다음과 같다. '''몫공간'''(몫空間, 집합으로서 동치 관계에 대한 몫집합(=동치류들의 집합)이다. 위의 벡터 공간 연산은 다음과 같다. 정의는 동치류의 대표원을 선택하는 방식과 무관하다. 또한, 이들 연산은 집합으로서의 연산과 일치하지 않는다. === 직접곱 === 위의 벡터 공간들의 집합 주어졌을 때, 이들의 '''직접곱''' 집합으로서 들의 곱집합이다. 위에는 자연스러운 -벡터 공간의 구조가 존재한다. 즉, 이는 벡터 공간의 범주에서의 곱이며, 대수 구조로서의 직접곱이다. 즉, 자연스러운 사영 사상 존재하며, 이는 선형 변환을 이룬다. === 직합 === 위의 벡터 공간들의 집합 주어졌을 때, 이들의 '''직합'''은 다음과 같다. 즉, 직접곱에서, 오직 유한 개의 성분만 0이 아닌 원소들로 구성된 부분 집합이다. 이는 벡터 공간의 범주에서의 쌍대곱이며, 가군의 직합의 특수한 경우이다. 즉, 자연스러운 포함 사상 존재하며, 따라서 부분 공간을 이룬다. 유한 직합은 직접곱과 같으나, 무한 직합은 일반적으로 직접곱의 부분 공간이다. 만약 기저라면, 기저를 이룬다. 따라서, 이다. 여기서 우변은 기수의 합이다. === 텐서곱 === 위의 벡터 공간들의 집합 주어졌을 때, 이들의 '''텐서곱''' 존재한다. 이는 자연스러운 다중 선형 사상 가지며, 또한 임의의 다른 다중 선형 사상 주어졌을 때, 유일한 선형 사상 존재한다. 텐서곱은 보편 성질로부터 유일하게 정의되며, 항상 존재한다. 그러나 무한 개의 벡터 공간들의 텐서곱은 직접 정의하기 힘들다. 임의의 벡터 공간 대하여, 다음이 성립한다. 여기서 기수의 곱셈이다. == 성질 == 위의 벡터 공간 다음 성질들을 만족시킨다. 사영 가군이다. 평탄 가군이다. 자유 가군이다. 즉, 위에서는 모든 가군이 자유 가군이 된다. === 집합론적 성질 === 위의 벡터 공간 집합의 크기는 다음과 같다. === 범주론적 성질 === 대한 벡터 공간들과 이들 사이의 선형 변환들은 범주를 이루며, 라고 쓴다. 이는 아벨 범주의 대표적인 예이다. 에서의 대표적 범주론적 연산들은 다음과 같다. 완비 범주이며, 쌍대 완비 범주이다. ** 곱은 (아벨 군으로서의) 직접곱이며, 쌍대곱은 (아벨 군으로서의) 직합이다. ** (유한) 곱과 쌍대곱이 일치한다. ** 대상은 0차원 벡터 공간 이다. 직합 말고도, 텐서곱 가지며, 이에 따라 대칭 모노이드 범주를 이룬다. 텐서곱의 항등원은 1차원 벡터 공간 이다. 집합으로의 망각 함자 존재하며, 이에 따라서 구체적 범주를 이룬다. 망각 함자는 왼쪽 수반 함자 갖는데, 집합 차원 벡터 공간으로 대응시킨다. === 모형 이론적 성질 === 모형 이론의 관점에서, 대한 벡터 공간의 개념은 대수 구조로 나타낼 있다. 경우, 벡터 공간의 언어는 다음과 같은 연산을 갖는다. 0항 연산 (영벡터) 대하여, 1항 연산 2항 연산 즉, 만약 무한 집합일 경우, 벡터 공간의 언어는 무한 개의 연산을 갖는다. 벡터 공간을 정의하는 공리들은 모두 항등식으로 적을 있으므로, 벡터 공간들의 모임은 대수 구조 다양체를 이룬다. 벡터 공간의 준동형은 선형 변환이며, 벡터 공간의 부분 대수는 부분 벡터 공간이다. 합동 관계는 부분 벡터 공간과 일대일 대응하며, 주어진 합동 관계에 대응하는 부분 공간은 0과 합동인 벡터들의 집합이다. 특이하게도, 모든 벡터 공간은 자유 대수이다. == == 유클리드 공간 차원 실수 벡터 공간이다. 위의 행렬의 집합은 차원 -벡터 공간을 이룬다. 임의의 위상 공간 위의 모든 연속 실함수의 집합 실수 벡터 공간을 이룬다. 위의 벡터 공간 어떤 집합 주어졌을 때, 에서 로의 함수 들의 집합은 위의 벡터 공간을 이룬다. 이는 직접곱 동형이다. 대하여, 다항식환 형식적 거듭제곱 급수환 위의 벡터 공간이다. 임의의 체의 확대 경우, 위의 벡터 공간을 이루며, 벡터 공간으로서의 차원은 체의 확대의 차수이다. ** 유한체 위의 차원 벡터 공간이다. ** 위의 2차원 벡터 공간이다. ** 위의 차원 벡터 공간이다. ** 모든 대수적 수체는 위의 벡터 공간이다. == 관련 개념 == 벡터 공간에 성질을 추가하여 만든 구조로는 거리의 개념을 '''노름 공간''' '''바나흐 공간''', 각의 개념을 '''내적 공간''' '''힐베르트 공간''', 위상적 성질을 가진 '''위상 벡터 공간''' '''국소 볼록 공간''' '''프레셰 공간''', 벡터 곱을 '''체 위의 대수''' 등이 있다. 벡터 공간은 임의의 위의 '''가군'''의 개념의 특수한 경우이다. 그러나 일반적인 위의 일반적인 가군은 벡터 공간과 매우 다른 성질을 보인다. 벡터 공간과 비슷한 성질을 보이는 가군을 '''자유 가군'''이라고 한다. == 같이 보기 == 사원수 행렬식 == 각주 == == 참고 문헌 == == 외부 링크 ==