, 그 밖에 다른 뜻에 대한 내용은
벡터(동음이의어)
문서
참고하십시오.|
[[대수학|대수학 Algebra ]]
|
||||
|
{{{#!wiki style="margin: 0 -10px -5px; min-height: calc(1.5em + 5px)" {{{#!folding [ 펼치기 · 접기 ] {{{#!wiki style="margin: -5px -1px -11px" |
이론 | |||
| 기본 대상 | 연산 · 항등식( 가비의 이 · 곱셈 공식( 통분 · 약분) · 인수분해) · 부등식( 절대부등식) · 방정식( /풀이 · 근( 무연근 · 허근 · 비에트의 정리( 근과 계수의 관계) · 제곱근( 이중근호 · 개방법) · 환원 불능) · 부정 · 불능) · 비례식 · 다항식 · 산술( 시계 산술) | |||
| 수 체계 | 자연수( 소수) · 정수( 음수) · 유리수 · 실수( 무리수( 대수적 무리수 · 초월수) · 초실수) · 복소수( 허수) · 사원수 · 팔원수 · 대수적 수 · 벡터 공간 | |||
| 다루는 대상과 주요 토픽 | ||||
| 대수적 구조 | ||||
| 군(group) | 대칭군 · 기본군 · 자유군 · 리 군 · 괴물군 · 점군 · 순환군 · 군의 작용 · 동형 정리 · 실로우 정리 | |||
| 환(ring) | 아이디얼 | |||
| 체(field) | 갈루아 이론 · 분해체 | |||
| 대수 | 가환대수 · 리 대수 · 불 대수( 크로네커 델타) | |||
| 마그마· 반군· 모노이드 | 자유 모노이드 · 가환 모노이드 | |||
| 선형대수학 | 벡터 · 행렬 · 텐서( 텐서곱) · 벡터 공간( 선형사상) · 가군(module) · 내적 공간( 그람-슈미트 과정 · 수반 연산자) | |||
| 정리·추측 | ||||
| 대수학의 기본정리 · 나머지 정리 · 유클리드 호제법 · 부분분수분해 · PID 위의 유한생성 가군의 기본정리 · 산술·기하 평균 부등식 · 바이어슈트라스 분해 정리 · 호지 추측미해결 · 가환대수에서의 호몰로지 추측미해결 | ||||
| 관련 하위 분야 | ||||
| 범주론 | 함자 · 수반 · 자연 변환 · 모나드 · 쌍대성 · 토포스 이론 · 타입 이론 | |||
| 대수 위상수학 | 연속변형성 · 사슬 복합체 · 호몰로지 대수학( 호몰로지 · 코호몰로지) · mapping class group · 닐센-서스턴 분류 | |||
| 대수기하학 | 대수다양체 · 층 · 스킴 · 에탈 코호몰로지 · 모티브 | |||
| 대수적 정수론 | 타원곡선 · 디오판토스 방정식 · 유리근 정리 · 모듈러성 정리 | |||
| 가환대수학 | 스펙트럼 정리 | |||
| 표현론 | 실베스터 행렬 | |||
| 기타 및 관련 문서 | ||||
| 수학 관련 정보 · 추상화 · 1학년의 꿈 · 노름 · 혼합계산 · 분배법칙 · 교환법칙 · 결합법칙 · 교재 | }}}}}}}}} | |||
|
선형대수학 Linear Algebra |
|||
|
{{{#!wiki style="margin: 0 -10px -5px; min-height: calc(1.5em + 5px)" {{{#!folding [ 펼치기 · 접기 ] {{{#!wiki style="margin: -5px -1px -11px" |
<colbgcolor=#006ab8> 기본 대상 | 일차함수 · 벡터 · 행렬 · 선형 변환 | |
| 대수적 구조 | 가군(모듈) · 벡터 공간 · 내적 공간 · 노름 공간 | ||
| 선형 연산자 | <colbgcolor=#006ab8> 기본 개념 | 연립방정식( 1차 · 2차) · 행렬곱 · 단위행렬 · 역행렬과 크라메르 공식 · 가역행렬 · 전치행렬 · 행렬식( 라플라스 전개) · 주대각합 | |
| 선형 시스템 | 기본행연산과 기본행렬 · 가우스-조르당 소거법 · 행사다리꼴 · 행렬표현 · 라그랑주 보간법 | ||
| 주요 정리 | 선형대수학의 기본정리 · 차원 정리 · 가역행렬의 기본정리 · 스펙트럼 정리 | ||
| 기타 | 제곱근행렬 · 멱등행렬 · 멱영행렬 · 에르미트 행렬 · 야코비 행렬 · 방데르몽드 행렬 · 아다마르 행렬 변환 · 노름(수학) | ||
| 벡터공간의 분해 | 상사 · 고유치 문제 · 케일리-해밀턴 정리 · 대각화( 대각행렬) · 삼각화 · 조르당 분해 | ||
| 벡터의 연산 | 노름 · 거리함수 · 내적 · 외적( 신발끈 공식) · 다중선형형식 · ∇ · 크로네커 델타 | ||
| 내적공간 | 그람-슈미트 과정 · 수반 연산자( 에르미트 내적) | ||
| 다중선형대수 | 텐서 · 텐서곱 · 레비치비타 기호 | }}}}}}}}} | |
1. 개요
vector' 벡터 공간'(vector space)[1]의 원소.
2. 상세
대중적인 정의는 ( 고등학교 혹은 고전 역학 및 전자기학에서의) 크기와 방향을 가진 물리량을 가리키지만, 이는 유클리드 기하적 벡터만을 가리키는 좁은 정의다.[2] 고등학교 이하 수준에서 사용하는 벡터는 기점과 종점을 화살표로 잇는 식으로 나타낸다. 이 때 기점은 화살표의 꼬리, 종점은 화살표의 머리 부분이다.수학에서 말하는 벡터 공간에는 이같은 물리적 직관만을 함부로 적용하기 어려운데 수학적으로 보면 선형성(덧셈과 스칼라곱)이 벡터의 본질에 가깝고 크기는 노름이, 방향은 내적이 잘 정의될 때 논의할 수 있다.
벡터 공간 중에는 독립적인 변량 [math(n)]개의 선형 결합[3]으로 이루어진 벡터 공간을 기본으로 해서 함수들로 이루어진 벡터 공간도 존재하고,[4] 벡터 공간으로 이루어진 벡터 공간도 존재한다.[5] 벡터 공간의 수학적인 정의는 아래와 같으며, 이 벡터 공간의 원소를 벡터라 한다.
| 체(field)[6] [math( F )]에 대해, 집합 [math( V )]가 '체 [math(F)]위의 벡터 공간(vector space)'이라 함은, [math( V )]가 [math( F )]의 [math( F )]-가군(module)인 것이다. 이를 풀어 쓰면 다음과 같다. 그리고 이때, [math(F)]를 [math(V)]의 스칼라라고 한다. |
다시 말해 '어떤 상수들의 집합'과 '벡터 공간으로 정의할 집합'이 있는데 '어떤 상수들' 간에 덧셈과 곱셈이 잘 정의되고, 이들에 대해 결합 법칙과 교환 법칙이 성립하고, 항등원과 역원이 있으며(다만 0에 대한 역원은 제외), '벡터 공간으로 정의할 집합' 내에서 덧셈이 잘 정의되고, 이에 대해 결합 법칙과 교환 법칙이 성립하고, 항등원과 역원이 있으며, 상수들과의 곱셈이 잘 정의되고, 이에 대해 분배 법칙과 결합 법칙이 성립하면 모조리 벡터 공간이 된다. 더 쉽게 줄이면, 수집합과 관계가 잘 정의되어 있는 집합. 그 집합의 원소가 벡터다.
여담으로 위 정의를 잘 들여다 보면 체 [math( F )] 그 자체도 벡터의 정의를 만족함을 알 수 있다. [math( \left( F,+\right) )]는 가환군이고, 체에서 정의된 곱셈[math( \left( F,\times\right) )]도 스칼라 배로 보는 것이 가능하기 때문이다. 그런 의미에서 체 [math( F )]는 스칼라 [math( F )] 위에 정의된 벡터 공간이라는, 물리학적으로 생각하면 말이 안 되는 문장도 성립한다.
심지어 "한 체를 다른 체 위에서의 벡터 공간이라고 보자"라는 말도 가능하다. 예컨대, 실수(real numbers)로 이루어진 집합 [math(V)]를 유리수체 위의 벡터 공간이라고 보자라는 선언이 가능하다. 이 경우 [math(V)]는 무한 차원임을 보일 수 있다.[7]
여담으로 벡터라는 용어를 수학계에 도입한 것은 사원수를 만든 것으로 유명한 윌리엄 로원 해밀턴인데 그가 쓰던 벡터는 현대어로 치면 허수부와 같다. 그리고 실수부를 뜻하는 말로 쓰던 게 바로 스칼라. 사원수 곱셈에서 유도된 3차원 벡터의 내적과 외적은 이런 역사를 보여주는 것이다.
벡터는 일반적으로 순서 관계가 아니다. 다시 말해, 두 벡터에 부등호를 취할 수 없다.[8]
2.1. 표기법
일반적으로 표기 기호로는 이탤릭이 아닌 정체의 볼드체를 사용하여 [math(\mathbf{v})]로 많이 쓴다. 화살표를 사용하여 [math( \vec{a} )][9]라 쓰기도 하는데, 앞서 나온 것과 같이 방향이 존재하지 않을 수 있는 추상적인 벡터를 다루는 고급 대수학 이론으로 갈수록 이런 기호를 보기 힘들다. 미적분학에서는 타 전공 학생들이 같이 듣는 경우가 많으니만큼 신경 써서 화살표를 빼먹지 않고 써주는 친절한(?) 교수라도, 선형 대수학 첫 학기, 그중에서도 특히 벡터 공간을 다루는 챕터에서부터는 화살표를 노골적으로 생략하기 시작한다.물론 이렇게 생략하는 건 책 쓰거나 가르치는
벡터를 스칼라랑 구분하고자 화살표나 꺾쇠[^], 물결[~], 밑점, 밑줄[13], 윗줄[14], 라틴 문자 겹쳐 쓰기, 인쇄체로 쓰기[예], 벡터에 컴퓨터용 사인펜 사용하기[16] 등 기기묘묘한 노테이션을 끌어와 버텨보려 해도 본격적으로 벡터 공간을 다루기도 전에 다변수 미적분학에서부터 편미분, 선 적분 기호를 쓰다 보면 어느새 유체 이탈 필기체가 등장하기 일쑤. 이런 데에 쓰라고 이른바 칠판체라 하는 수학계의 암묵의 룰이 있기야 하지만, 정작 교과서들도 벡터와 벡터 성분의 볼드체 처리를 자주 혼동하여 독자들의 머릿속을 어지럽히기도 하고, Strang 저 선형 대수학이나 Friedberg 저 선형 대수학처럼 오랜 역사와 전통을 자랑하는 일부 명저나 옛날 책들 중에는 독자들을 위한 최소한의 배려라 할 수 있는 이런 볼드체 처리마저 안 해놓는 사례도 적지 않다.[17] 이런 표기법에 구애받지 않고 아무렇게나 찍찍 쓰면서도 자신이 다루는 대상이 무엇인지 혼동하지 않는 무신경한 수준이 되려면, 수학과 학부 과정에서 미분 기하학을 배우는 시점은 되어야 한다. 미분 기하학 첫 학기부터 두뇌를 핑핑 돌리는 벡터장의 소용돌이를 경험하면, 죽이 되든 밥이 되든 다들 해탈해 있다.[18] 또한 손글씨로 써봤자 일반 글씨와 구분이 될리 만무한 이탤릭체나 오리지널 볼드체와 달리 보통 세로줄만 두 번 긋는 방식으로 쓰는 특성상 그나마 구분이 가능한 칠판체는 사실 벡터보다도 IN( [math(mathbb N)]), IR( [math(mathbb R)])
한편, 계산이 중요한 해석학이나 기하학, 또는 각종 응용 수학 등을 염두에 두고 행렬의 분해 같이 테크니컬한 주제를 중심으로 진행하기보다는 현대 대수학과 가환 대수학 등 오로지 추상적인 고급 대수학으로의 일반화를 추구하는
양자역학에서는 홑화살괄호를 사용해 [math(left| v right>)][20]로 표기한다. 다만 양자역학 밖에서는 쓰임이 없다시피 하다.
2.2. 항등원
덧셈에 대한 항등원이 존재한다. 이를 영벡터라고 하며 0을 볼드체로 하여 [math(\mathbf{0})]로 표기한다.곱셈에 대한 항등원은 일반적으로 존재하지 않는다. 애초에 두 벡터의 곱셈 연산자가 일반적으로 정의되지 않는다. 스칼라 배(scalar multiplication)는 벡터간의 연산이 아니고, 내적과 외적(tensor product)은 결과값이 벡터인 연산자가 아니며, 외적(cross product)은 3차원 및 7차원 벡터공간에서만 정의된다. 더군다나 외적(cross product)의 항등원은 존재하지 않는다. 이는 다음을 통해 보일 수 있다.
외적의 항등원 [math(\mathbf{e})]가 존재한다고 가정하자. 그렇다면 항등원의 정의에 의해 [math(\mathbf{e}\times\mathbf{e} = \mathbf{e})]가 성립하여야 한다. 한편 외적의 성질에 의해 [math(\mathbf{e}\times\mathbf{e} = \mathbf{0})]이다. 즉 [math(\mathbf{e} = \mathbf{e}\times\mathbf{e} = \mathbf{0})]이므로, 외적의 항등원이 존재한다면 [math(\mathbf{0})]이어야 한다. 그러나 이는 모순임을 알 수 있다. [math(\mathbf{0})]이 아닌 임의의 벡터 [math(\mathbf{u})]을 잡았을 때, [math(\mathbf{u}\times\mathbf{0} = \mathbf{0} \neq \mathbf{u})]이기 때문이다.
2.3. 단위벡터
크기가 1인 벡터를 단위벡터(unit vector)라고 하며 정의는 다음과 같다.[math({\bf\hat a} = \dfrac{\bf a}{\|{\bf a}\|})] (단, [math({\bf a}\ne{\bf0})])
[math(\hat{\mathbf{a}})]의 꾸밈 기호 ^는 햇(hat), 또는 캐럿(carot) 이라고도 읽는다.
2.4. 벡터의 차원
벡터를 이루는 성분의 개수를 벡터의 차원(dimension)이라고 이르며, [math(\dim {\bold a})]로 표기한다. 이하 벡터의 주요 연산은 차원이 동일해야 한다는 조건이 붙는다.[21]3. 연산
대표적으로 3차원[22] 벡터 [math(\bold{a}= \begin{bmatrix} a_1 \\ a_2 \\ a_3 \end{bmatrix})]와 [math(\bold{b}= \begin{bmatrix} b_1 \\ b_2 \\ b_3 \end{bmatrix})]에 대하여 벡터의 연산은 다음과 같이 정의한다.3.1. 덧셈
대응되는 스칼라 값끼리 더해서 새로운 벡터를 만들 수 있다. 교과서에서 흔히 두 벡터 중 하나를 평행이동시켜 평행사변형을 그려서 설명하는 것이 이 과정이다. 덧셈의 방식으로는 크게 삼각형법[23]과 평행사변형법이 있다.[math( \mathbf{ a } + \mathbf{ b } = \left( a_{ 1 } + b_{ 1 },\ a_{ 2 } + b_{ 2 },\ a_{ 3 } + b_{ 3 } \right) )]
3.2. 상수배(스칼라 배)
일반적인 곱셈. 그냥 각 항에 스칼라를 곱해주면 된다. 그래서 설명대로 흔히 scalar multiplication 이라고 부른다. 스칼라가 실수인 경우에는 실수배라고 한다. 실수배인 벡터끼리는 서로 평행하다.[math( k \mathbf{ a } = \left( ka_{ 1 }, ka_{ 2 }, ka_{ 3 } \right) )]
이 중 [math(k=-1)]인 경우를 [math(\bold a)]의 역벡터(inverse vector)라고 하며, 벡터의 덧셈에 대한 역원이 된다.
3.3. 내적
[math( \mathbf{ a } \cdot \mathbf{ b } = \lVert\mathbf{a}\rVert\lVert\mathbf{b}\rVert\cos\theta = \det {\bold a}^{\ast}{\bold b} = \det {\bold b}^{\ast}{\bold a} = \overline{a_{ 1 }}b_{ 1 } + \overline{a_{ 2 }}b_{ 2 } + \overline{a_{ 3 }}b_{ 3 } = a_{ 1 }\overline{b_{ 1 }} + a_{ 2 }\overline{b_{ 2 }} + a_{ 3 }\overline{b_{ 3 }} )]dot product 도트곱(점곱) , inner product 내적
다른 말로 내적의 하나이므로 내적이라고도 불리며, 두 벡터를 연산했을 때, 결과가 스칼라이다. 그래서 스칼라 곱(scalar product)이라고도 한다. 학부 수준에서의 내용은 내적(inner product) 문서 참조. [math(\langle\mathbf{a},\mathbf{b} \rangle)] 로 표기하기도 한다.
벡터 하나의 성분들에 켤레가 취해져 있는데, 내적이 성립하기 위해서는 두 벡터 중 하나의 허수부 부호가 반대가 되어야 하기 때문이다.[24][25]
3.4. 크로스곱
cross product, 크로스곱, 벡터곱, 가위곱달리 외적[26]이라고 불리며, 연산결과가 벡터[27][28]다. 연산 과정에서 뺄셈이 들어가므로 교환법칙은 성립하지 않으며, 굳이 자리를 바꾸고 싶으면 벡터 하나의 부호를 바꿔야 한다. 종종 오른손 손가락 3개로 벡터 간 외적 계산 결과를 이해시키곤 한다.
[math( \mathbf{a} \times \mathbf{b} = - \mathbf{b} \times \mathbf{a} = \mathbf{n}\lVert \mathbf{a}\rVert\lVert\mathbf{b}\rVert\sin\theta = ( a_2 b_3 - a_3 b_2 , a_3 b_1 - a_1 b_3 , a_1 b_2 - a_2 b_1 ) )]
여담으로, 성분 개수에 구애받지 않는 스칼라곱과는 달리 성분이 3개인 3차원 벡터에서 깔끔하게 계산이 되므로[29] 보통 3차원 벡터에서 많이 쓰인다. 3차원에서 벡터곱을 통해 나온 법선벡터 [math(\mathbf{n})]는 곱하기된 벡터 [math(\mathbf{a})], [math(\mathbf{b})] 모두에 수직이다. 이걸 사용하는 가장 대표적인 개념이 역학에서의 토크(회전력)와 전자기학에서의 자기력.[30][31]
또한 벡터곱의 특성상 동일한 벡터끼리의 연산결과로 영벡터가 나온다.
[math(\mathbf{a} \times \mathbf{a} = \mathbf{0} )]
3.5. 외적(outer product)
(기호 ⊗, outer product/kronecker product/tensor product)연산결과가 텐서이며, 두 벡터 간의 행렬곱셈이다. 행렬곱셈의 특성상 당연히 이것도 교환법칙을 씹어먹는다. 만약 두 벡터 간의 순서가 바뀌면 원래 텐서의 수반 행렬이 된다. 주의할 점은, 앞쪽 항의 행렬을 켤레를 취하고 시계 방향으로 90도 돌려서 계산해야 한다는 것이다.[32] 물론 텐서 개념이 등장한 뒤에야 다루거나, 텐서의 수학적이고 엄밀한 정의에서 나오거나, 많이 추상화된 대수학에서 쓰이는 개념이다. 양자역학에서 [math(\left| a \right>)]와 [math(\left| b \right>)]의 외적은 [math(\left| a \right>)]를 입력하여 [math(\left| b \right>)]를 출력하는 연산자로 취급하여 [math(\left| b \right>\left< a \right|)]로 쓰기도 한다.
[math(\mathbf{a} \otimes \mathbf{b} = (\mathbf{b} \otimes \mathbf{a})^{\ast} = \begin{bmatrix} a_1 \\ a_2 \\ a_3 \end{bmatrix} \overline{\begin{bmatrix} b_1 & b_2 & b_3 \end{bmatrix}} = \begin{bmatrix} a_1 \overline{b_1} & a_1 \overline{b_2} & a_1 \overline{b_3} \\ a_2 \overline{b_1} & a_2 \overline{b_2} & a_2 \overline{b_3} \\ a_3 \overline{b_1} & a_3 \overline{b_2} & a_3 \overline{b_3} \end{bmatrix})]
한편, 텐서곱의 주대각합은 내적이 된다.
[math(\mathrm{tr}(\mathbf{a} \otimes \mathbf{b}) = \mathbf{a} \cdot \mathbf{b})]
3.6. 크로네커 곱
Kronecker productm x n 행렬과 p x q 행렬을 크로네커 곱을 수행하면 mp x nq의 행렬이 나온다.
계산 자체는 간단하여, 앞의 행렬의 각 원소를 스칼라로 취급하여, 해당 스칼라에 뒤의 행렬을 곱하는 식으로 정의된다. 즉, m×n 행렬과 p×q 행렬을 크로네커 곱을 하게 되면, 그 결과는 mp×nq 행렬이지만, 동시에 한 칸이 p×q 행렬로 구성된 m×n 블록행렬이기도 한 셈.
4. 여담
본디 벡터는 라틴어로 '실어나르는 것'이라는 뜻이다.[33]자연계 과목을 선택한 고등학생들을 괴롭히는 수학 중 하나지만, 배운 후에는 유용한 개념. 힘들게 풀었던 기하문제들을 단숨에 풀 수 있다. 내적 역시 두 선이 이루는 각을 구할 때 사용하면 너무도 편하다.
특히 (고교 교육 과정 밖이지만) 외적을 배우면 벡터 문제가 아닌 공간도형이나 기하 문제 등에서 유용하게 쓸 수 있다. 예를 들어 평면 위에서 세 점이 주어져 있을 때, 삼각형의 면적을 구하는 문제는 외적을 계산할 줄 안다면 한 모서리를 기준으로 두 변을 벡터로 만들어 외적을 한 후 크기에다가 1/2만 곱해주면 끝난다. 흔히 말하는 신발끈 공식이 사실 외적이다.[34] 해당 식을 다시 정리하면 행렬식의 절댓값이 튀어나온다. 정확하게는 두 벡터의 외적을 해서 절댓값을 씌우면 두 벡터로 이루어진 평행사변형을 밑면으로 하고 높이 1인 평행육면체의 부피가 된다. 높이가 1이므로 평행육면체의 부피와 평행사변형의 넓이가 같다. 이 외에도 한 평면에 존재하는 두 벡터를 던져주고 그 평면의 법선벡터를 빠르게 구하거나 3차원에서 한 점으로부터 직선까지의 거리를 구할 수도 있다. 두 꼬인 직선 사이의 거리도 구하는 방법이 있다.
대학 과정의 수학, 물리학, 공학[35]에서 자주 이용되는 선형대수학이 벡터를 다루는 과목이나, 그때의 벡터는 기하학적인 것이 아니라 위에서 말했듯이 좀 더 일반화된 것이다. 당장 학부 수준의 물리학이나 미분방정식에서부터 함수를 벡터로 다루는 법을 배우게 된다. 이는 편미분방정식과 푸리에 해석에서 매우 중요한 역할을 하니 이공계열 대학생들이라면 확실히 익혀두자. 특히 물리학의 경우 양자역학이란 게 힐베르트 공간에서 함수를 벡터 취급해서 이러저러한 걸 하는 방식으로 이뤄져있기 때문에 일반화된 벡터라는 개념을 확실히 몸에 익혀놓아야 된다.
대학마다, 교수마다 다르지만 일반적으로 유클리드 공간의 벡터를 표시할 때 선형대수학에서는 열벡터 표기를 선호하고 해석학에서는 행벡터 표기 방식을 선호하는 편이다. 사실 어떤 방식으로 표기하든 관계는 없지만, 수학 전반적으로 '벡터=열벡터'라는 관행이 있다. 하지만 조판상 이유로 열벡터를 전치해 행백터로 쓰는 경우도 많다.
대학교 미적분학이나 그 이상의 과정에서는 벡터를 미분하거나 적분하는 일도 많이 있다. 이를 다변수 미적분학/ 해석학, 간단히 벡터 미적분학/해석학이라 한다.
한국에서는 이과생들이 가장 자주 보게 되는 용어라고도 한다. 다만 일본에서는 2022년까지는 문과도 수학B에서 벡터를 배웠고,[36] 중국 역시 문과도 벡터를 배우는데, 보통고중수학과정표준에서 벡터는 삼각함수와 함께 보통고중수학과정표준/필수4에 들어가 있기 때문이다. 한국에서도 대학에 가면 경제학과 같이 벡터를 반드시 사용해야 하는 문과 전공이 몇 개 있다.
히어로즈 오브 더 스톰/영웅의 기술 중 Vector Targeting은 끌어서 사용으로 옮겨졌다.
5. 관련 문서
[1]
벡터에 대해 정의된 각종 연산 법칙(벡터 간의 덧셈과 스칼라 배)이 정의되는 공간.
[2]
사실 물리학적으론 여기서 반사에 대해 변위처럼 변환된다라는 조건이 필요하다. 그렇지 않으면 유사 벡터(pseudovector)라 부른다. 중국에서는 이를 반영한 향량(向量)이라고 옮겼다.
[3]
이 [math(n)]의 크기에 따라 [math(n)]차원 벡터 공간이라고 한다.
[4]
그래도 양자 역학 등 물리에서 쓰이기는 한다. 통신, 신호 처리에서도 신호 공간이라는 걸 사용해서 함수를 벡터 취급 하는데, 벡터를 투영해서 신호에 들어있는 잡음을 제거하고, 두 벡터 사이의 거리를 측정해서 신호가 얼마나 닮았는지 측정하는 등 열심히 써먹는다.
[5]
이런 경우 함수가 곧 벡터가 되고 벡터 공간이 곧 벡터가 된다. 물리학은 그나마 현실 세계의 끈을 부여잡고 있기 때문에 어느 정도 직관이 통하지만, 수학에서는 상식이란 게 전혀 통하지 않는다. 확장 개념으로
텐서가 존재한다.
[6]
아주 간단히 말해 사칙 연산이 상식대로 성립하는 것.
[7]
Friedberg et al. Linear Algebra, Section 1.7, Exercise 3. 물리학적 직관을 뛰어넘는 수학적 자유로움을 보여주는 아름다운 문제다. 문제에 제시된 힌트를 사용하면 증명이 어렵지 않다.
[8]
그러나
미시경제학의 소비자 이론에서 재화묶음을 [math(n)]차원 열벡터로 정의할 때 모든 성분에 대해 강선호를 보이는 경우 부등호를 쓰는 관행이 자리잡혀 있다.
[9]
특히
유클리드 공간상의 벡터라면 100% 이 표기를 쓴다.
[10]
예를 들어 학생이 영 벡터와 스칼라 0을 구분하지 못하여 과제나 시험에서 증명이 꼬인다면 부분 점수도 줄래야 줄 수가 없다.
[^]
일명 hat. 벡터에다 해당 벡터의 norm의 역수를 곱함으로써 방향은 같되 크기를 1로 맞춰버린 단위 벡터를 표시하는 데 쓰이곤 한다.
[~]
틸드(tilde)
[13]
밑점과 밑줄은 유튜브 등지에 올라있는 초심자들을 위한 강의에서 흔히 보이는 표기법이지만, 선 적분을 배우다 보면 헷갈리고 귀찮아진다.
[14]
무게 중심이나 평균값 등의 계산에서 자주 볼 수 있는 기호이나, 그래도 벡터 표기에서 쓰이는 경우는 드물다. 게다가
복소 벡터는 윗줄이 켤레 복소수를 뜻하기 때문에 혼동이 생긴다.
[예]
x를 예로 들면 일반 미지수로 쓸 땐 필기체로 쓰던 문자를 벡터로 쓸 때는 인쇄체처럼 쓰는 식. 그러나 이 경우
벡터곱 기호와 헷갈리는 치명적인 문제가 발생한다.그러니 끝을 약간 꺾거나 하여 구분해 보자.
[16]
가장 깔끔하지만 가장 무식한 해결책. 굵게 쓰는 건 다 해결되지만, 사용하는 필기도구가 두 개로 늘어나다 보니 귀찮아지는 동시에 필기구를 헷갈리는 사태가 생긴다. 이를 막으려면 악보 기보용 연필처럼 심 하나로 획의 굵기가 달라지도록 깎는 수밖에 없다. 그렇지만 이 과정도 심한 노가다.
[17]
사실 적당히 어떤 벡터 공간의 원소라고 사전에 표시해 놓으면 되고 판서 과정에서는 더욱 스칼라와 구분하기 힘들어지는 벡터를 굳이 볼드체, 칠판체, 화살표로 구분해 놓는 가장 큰 목적은 꾸벅꾸벅 조는 독자들의 가독성과 집중력 향상 및 계산의 정확성 향상이라 할 수 있다. 21세기 이후로 나오는 책들은 개정 작업이 진행될수록 점점 이런 암묵의 룰을 지켜주는 추세에 있지만, 저자도 편집자도 무관심하면 독자 입장에서는 더욱 각 잡고 집중하는 것 외엔 방법이 없다.
[18]
미적분학에서는 [math(\mathbf{i})], [math(\mathbf{j})], [math(\mathbf{k})]로 써주던 3차원 표준 기저 벡터도 선형 대수학, 다변수 해석학, 미분 기하학에서는 그냥 [math(\mathbf{e_1})], [math(\mathbf{e_2})], [math(\mathbf{e_3})], ...로 쓰는 경향이 있다. 시각화가 가능한 3차원만 다루는 게 아니니까 어쩔 수 없는 부분이지만, 이게 초심자의 입장에서는 사실상 화살표도 칠판체도 절대 쓰지 말라는 무언의 압박으로 느껴진다. 그리고 본격적으로 벡터장을 돌릴수록 초심자들은 필기체를 손에 익힐 여유조차 없이 허둥지둥 교수자의 판서, 교과서의 표기를 받아쓰기 급급해진다. Thomas Banchoff 저서처럼 벡터마다 일일이 화살표를 써준 미분 기하 교과서도 드물게 있기야 있지만 이들은 어디까지나 예외적인 사례.
[19]
예외적으로 [math(\mathbb E)]는
기댓값을 나타내는 데 쓰인다. 또한 일부 교수자나 책에 따라서는 미분 기하학 등에서 유클리드 공간을 나타내는 기호 E를 [math(\mathbb E^2)], [math(\mathbb E^3)] 등으로 칠판체화하여 쓰기도 한다. 또한 수 체계를 나타내는 기호들 중 [math(\mathbb N)]은 볼드체 손글씨를 칠판체로 쓰는 사람들이 지겹도록 써야 할 문자이기 때문에 괜히 혼동을 초래하는 수가 있다. (기본 형식의 [math(N)]은 기울임체, 곡면의 법선 벡터는 소문자 [math(\mathbf n)], 곡선의 법선 벡터는 [math(\mathbf N)], 테일러 전개라도 해야 하면 다시 소심하게 소문자 [math(n)] 등 서체만 달라져도 의미가 전혀 달라지니...) 물론 미분 기하학에서 자연수 기호를 쓸 일은 많지는 않지만 그래도 이를 방지하기 위해 자연수를 [math(\mathbb{Z}^{+})](양의 정수)로 쓸 것을 고집하기도 한다.
[20]
'켓(ket)'이라고 부른다.
[21]
단, 외적([math(\otimes)])은 차원이 달라도 무방하다.
[22]
크로스곱은 3차원과 7차원 같은 몇몇 차원에서만 정의된다.
[23]
머리-꼬리법이라고도 한다.
[24]
내적의 공리 중 하나가 자기 내적 시 반드시 음이 아닌 실수가 되어야 하는 것인데, [math(z \neq 0)]인 임의의 복소수에 곱해서 0보다 큰 실수가 나오는 수는 그 복소수의 켤레 [math(\overline z)] 뿐이다.
[25]
수학에서는 상황에 따라 적당한 벡터를 택일하고, 물리학에서는 관례상 왼쪽의 벡터에 켤레를 취한다. 실벡터일 경우 허수부가 없으므로 편의상 켤레를 생략하기도 한다.
[26]
텐서곱도 외적이라고 하기 때문에 주의가 필요하다
[27]
물리학에서는 문제가 있는데, 제대로 된 벡터 둘을 외적하면 유사벡터(pseudovector)가 나온다. 차이점은 유사벡터는 반사시키면 변위와 다르게 변환된다. 예를 들어 원점에 대칭시키면 변위는 부호가 바뀌지만 유사벡터는 그대로이다.
[28]
물리학에서 대표적인 유사벡터가 바로 각운동량이다. 각운동량의 정의는 위치벡터와 운동량의 외적이며, 이 때문에 거울상 변환(parity transformation)에 대해 부호가 바뀌지 않는 특징이 있다.
[29]
이 경우 결과값도 3차원 벡터가 나온다. 서로 다른 n개에서 2개를 뽑는 경우를 생각해보면 n이 3일때만 3가지가 나온다.
[30]
플레밍의 왼손법칙에서, F, B, I의 방향이 모두 수직인 걸 알 수 있다. 실제로 [math(\vec F = \int _R I {\rm d}\vec l × \vec B)]로 정의된다.
[31]
내적과 외적이라는 이름은
사원수군에서 왔다. 실수부가 0인 두 사원수를 곱해서 실수부와 허수부를 각각 구해 보면, 실수부의 모양은 내적과 거의 비슷하고, 허수부의 모양은 외적과 거의 비슷하다. 이에 대해 내적과 외적이라는 이름이 각각 붙었는데, 그것이 벡터의 경우로도 전파되어 지금까지 내려 온 것. 어째 먼저 발전했던 사원수 자체는 지금 별로 쓰이지 않고 그와 관련된 명칭들만이 의미가 조금 달라진 채 지금 많이 쓰이는 모양이다. 참고로
팔원수를 이용하면 7차원의 외적을
만들 수는 있다. 4차원 우주에서 별 도움이 안돼서 그렇지...
[32]
반대로 뒤쪽 벡터를 90도로 돌리고 계산하는 것은 위에 나온 스칼라곱이다.
[33]
참고로
스칼라는
사다리라는 뜻.
[34]
삼각형 세 꼭짓점의 위치벡터를 [math(\vec a, \vec b, \vec c)]라 하면 [math(S=\frac 12 \left\| \vec a × \vec b + \vec b × \vec c + \vec c × \vec a \right\|)]가 성립한다. 이 식을 평면좌표 형태로 정리한 것이 신발끈 공식이다. 계산법도 사루스 공식과 비슷하다.
[35]
공업수학에서 더 자세하게 배울 가능성이 크다. 다만 공수가 원래 이것저것 다 섞은 것임을 감안하면...
[36]
일본 수학은 문이과 공통의
수학Ⅰ,
수학Ⅱ,
수학A,
수학B와, 이과 전용인
수학Ⅲ,
수학C로 나뉘어 있는데 벡터는
수학B에 들어가 있기 때문. 이후 2022년에
수학C로 이전됐다.