복소벡터공간

정의

복소수체 에 대한 가군. 즉 적당한 집합 에 대해 벡터공간 을 복소벡터공간이라 한다.

( 에서 는 스칼라를 복소수에서 가져왔다는 얘기다. 실수벡터공간에서는 스칼라를 어디서 가져왔는지를 생략해서 표기한 셈. 엄밀하게 쓰면 이 되지만 일반적으로 생략해서 표기한다.)

또한 모든 복소 n-튜플 의 집합을 복수 n-공간이라 하고 으로 표시한다.

복소켤레

의 임의의 벡터

• 
  • 

• • 
  • 

에 대하여 의 복소켤레 (복소수 부분의 부호만 바뀜)

• 
• ex 1) 에 대하여 를 구하시오
  • 
  • 
  • 
• ex 2) 에 대하여 를 구하시오
  • 
  • 

대수적 성질

• 의 벡터 와 스칼라 에 대해
  
  • 
  • 
  • 
• 행렬 와 행렬 에 대해
  • 
  • 
  • 

복소내적공간

정의

복소벡터공간 의 두 벡터 의 내적 은

로 정의한다. 또한 내적이 정의되어 있는 복소벡터공간을 복소내적공간이라 한다.

(만약 뒤에 있는 벡터에 켤레를 취해주지 않으면 노름 값이 0이나 음수가 나올 수가 있다. 때문에 뒤의 벡터에 켤레를 취해서 노름 값을 자연스럽게 만들어 줌. 엄밀히 말해주면 위의 연산이 내적공간의 연산이 기본이고, 실수벡터공간에서는 켤레를 취해줘도 의미가 없기 때문에 생략이 되었던 것)

성질

복소내적공간의 세 벡터 와 스칼라 에 대해 다음 성질이 만족한다.

• 
• 
• 
• 
• 
• 일 때

고윳값과 벡터

정의

복소정사각행렬 에 대하여 고유방정식 의 복소해 를 의 복소고윳값이라 한다.

또한 를 만족시키는 모든 벡터 의 집합을 의 고유공간, 고유공간의 영벡터가 아닌 벡터를 의 복소고유벡터라고 한다.

• ex) 일 때
  • 
  • 
  • 일 때
    • 
    • 고유공간
    • 고유벡터

정리

가 실 정사각행렬 의 고윳값이고 는 이에 대응하는 고유벡터이면, 또한 의 고윳값이며 는 이에 대응하는 고유벡터이다.

유니터리 대각화

용어의 정의

켤레전치행렬

복소행렬 의 전치행렬을 구한 다음 각 성분을 켤레인 복소수로 바꾼 행렬 를 의 켤레전치행렬 또는 에르미트 전치행렬이라 한다.

스칼라 와 행렬 행렬 에 대해 다음이 성립한다.

• 
• (복부호 동순)
• 
• 

에르미트행렬

가 성립하는 복소정사각행렬 를 에르미트행렬이라 한다.

유니터리행렬

복소정사각행렬 의 역행렬 에 대하여 가 성립하는 행렬 를 유니터리행렬이라 한다.

정규행렬

가 성립하는 복소정사각행렬 를 정규행렬이라 한다. 에르미트행렬, 유니터리행렬 등이 이에 해당한다.

유니터리 대각화

정의

가 복소대각행렬이 되는 유니터리행렬 가 존재하면 복소정사각행렬 는 유니터리 대각화가능하다고 한다.

또한 이러한 임의의 행렬 는 를 유니터리 대각화한다고 한다.

정리

유니터리 대각화 가능한 행렬은 정규행렬이며, 그 역도 성립한다. 즉 정규행렬은 유니터리 대각화 가능하다.

에르미트행렬 A의 유티너리 대각화 과정

1. 의 모든 고유공간의 기저를 구한다.
2. 고유공간의 정규직교기저를 구한다.
3. 기저벡터를 열벡터로 하는 행렬 는 유니터리행렬이고, 를 대각화 한다.

고윳값과 벡터

• 고윳값은 원어(독일어, eigenvalue)로는 특수한 값이라는 뜻이지 유일한 값이라는 뜻은 아니다.

정의

체 에 대한 벡터공간 위의 선형사상 에 대하여 다음 두 조건

1. 
2. 

를 만족하는 와 를 각각 고윳값과 고유벡터라고 한다.

• ex) 
  • 
  • 이때 행렬 을 곱한 것과 동일한 결과를 가져오는 스칼라 -2가 고윳값이 되며 그때의 벡터가 고유벡터가 된다.

고유방정식

행렬 에 대하여 가 의 고윳값이기 위한 필요충분조건은 다음 방정식

을 만족하는 것이다. 이 방정식을 고유방정식이라 하며, 좌변의 식을 고유다항식이라 한다. (단, 는 단위 행렬)

• ex) 일 때,
  • 
  • 
• ex2) 의 고윳값 찾기
  • 
  • 
  • 
  • 

고유공간

선형사상 의 핵을 의 고유공간이라 한다. (단, 는 항등사상)

따라서 고유공간의 영벡터가 아닌 벡터는 고유벡터이다.

또한 의 고유벡터들로 구성된 의 기저를 선형사상 의 고유기저라 한다.

• ex) 일 때,
  
  • 
  • 
  • 
  • 
  • 
  • 즉, 고유벡터는 , 고유기저 =
• ex) 의 고윳값, 고유벡터, 고유기저 구하기
  • 고윳값 구하기
    • 
    • 
    • 
    • 
  • 일 때 고유벡터 구하기 
    • 
    • 
    • 
    • 
    • 즉, 고유벡터는 , 고유기저 =
  • 일 때 고유벡터 구하기
    • 
    • 
    • 
    • 
    • 즉, 고유벡터는 , 고유기저 =

대각화

대각화

정의

두 정사각행렬 에 대하여 방정식

를 만족하는 대각행렬 와 가역행렬 가 존재하면 행렬 는 대각화 가능행렬이라고 한다. 또한 이 경우 행렬 는 를 대각화한다고 한다.

• ex) 일 때,
  • 
  • 
  • 
  • 이런 결과는 다시 생각해 보면  라는 선형사상(행렬)은  이라는 선형사상으로 분해가 가능하다는 뜻이 되기도 한다.

정리

행렬 에 대하여 다음 두 명제는 동치이다.

1. 는 대각화 가능 행렬이다.
2. 는 개의 선형독립인 고유벡터를 갖는다.

대각화하는 방법

행렬 에 대하여

1. Step 1
   • 개의 선형독립인 고유벡터를 찾아 대각화 가능 행렬인지 확인한다.
   • (고유벡터의 갯수가 n개가 안되면 대각화 가능하지 않음)
2. Step 2
   • 개의 고유벡터 로부터 행렬 를 만든다.
3. Step 3
   • 는 대각행렬이 된다.

• ex)  이 대각화 가능한지 확인
  • 고윳값 구하기
    • 
    • 
    • 
  • 고유벡터 구하기
    • 
    • 
    • 
    • 즉, 고유벡터는 , 고유기저 =
    • 고유기저가 1개 밖에 안나오므로 는 대각화 불가능
• ex2) 에 대한 찾기
  • 
  • 

중복도

정의

가 행렬 의 고윳값이면 이에 대응하는 고유공간의 차원을 의 기하적 중복도라 한다.

또한 의 고유다항식에서 가 인수로 나타나는 횟수를 의 대수적 중복도라 한다.

• ex)
  • 기하적 중복도는 대수적 중복도보다 작거나 같음. 그 둘이 같을 때 그 행렬은 대각화 가능이 된다.

정리

정사각행렬 에 대하여 다음 두 명제는 동치이다.

1. 는 대각화 가능 행렬이다.
2. 의 모든 고윳값에 대해서 기하적 중복도와 대수적 중복도는 같다.

닮음 불변량

정의

두 정사각행렬 에 대하여 

를 만족하는 가역행렬 가 존재하면 는 서로 닮은 행렬이라 하고 기호로 라 표현한다.

닮은 불변량

서로 닮은 두 행렬의 다음과 같은 성질들은 서로 일치한다.

1. 행렬식
2. 가역성
3. rank
4. nullity
5. 고유다항식
6. 고윳값
7. 고유공간의 차원
8. 대각성분들의 합
9. 대수적 중복도
10. 기하적 중복도
11. …

C-H 정리

임의의 정사각행렬 와 그 고유다항식

에 대하여 이 성립하며, 이를 케일리-해밀턴 정리라고 한다. (단, 는 영행렬)

• ex) 일 때
  • 
  • 
  • 

선형사상

선형사상

• 사상이란 대수구조를 다루는 함수.
  • 엄밀히 말하면 함수보다 더 포괄적인 개념이지만, 둘이 흡사하기 때문에 혼용해서 사용함.
• 선형사상이란 가산성(additivity)과 동차성(homogeneity)을 만족하는 사상

정의

-벡터공간 에 대하여 의 성질을 보존하는 다음 두 조건을 만족하는 사상

• 
  • 가산성
• 
  • 동차성
• L은 선형사상이기 때문에 사용하는 기호로, L이 붙어 있으면 선형 사상이라고 보면 된다.

관련 용어

가 선형사상일 때

• 핵 (kernel):
  • 일종의 공역 개념
• 상 (image):
  • 일종의 치역 개념
• 자기사상: 인
• 단사사상: 인
• 전사사상: 인
• 동형사상: 단사사상인 전사사상
• 자기동형사상: 자기사상인 동형사상
• 항등사상: 인
• 사상의 합성: 두 선형사상 의 합성은 로 쓴다.
• 역사상
  • 일 때, 를 의 왼쪽 역사상, 을 의 오른쪽 역사상이라 한다.
  • 왼쪽 역사상이자 오른쪽 역사상을 양쪽 역사상 또는 역사상이라 한다.

여러 선형사상

가 선형사상이고 일 때

• : 영사상
• : 항등사상
• (단, k는 스칼라)
• (단, )
• (단, $latex v_{0} \in V)

선형대수학의 기본정리

-벡터공간 에 대하여 에서 로의 선형사상의 집합을 라 하고, 다음과 같이 위에 합과 스칼라배를 정의한다. ()

• 
• 

이제 위의 행렬들의 집합을 라 하고, 두 사상 를 다음과 같이 정의한다.

• 
  
  • 
  • 선형사상에서 행렬로 가는 사상
• 
  • 
  • 행렬에서 선형사상으로 가는 사상
• [기호 설명]

• • 는 의 는 의 순서기저, 즉, 기저의 원소들은 순서가 정해져있고 바뀌지 않는다.
    • ex)
    • 이때 가 의 순서기저가 된다.
  • 에 대해
    • ex)
    • 쉽게 말해 선형결합의 계수들을 모아 열벡터로 만든 것이다.
  • 
    • ex)
    • 
    • 
    • 
    • 
    • 

그러면 와 는 모두 동형사상이다. 또한 두 사상 와 는 서로 역사상 관계이다.

• 선형사상에서 행렬로 가는 사상과, 행렬에서 선형사상으로 가는 것이 동형사상이므로, 선형사상에 대해서는 그냥 행렬을 이용하면 된다.

위에 대한 증명)

선형사상에서 행렬로 가는 에 대해서

• 선형사상 증명
  • 가산성 증명
    • 
    • 
    • 
    • 
    • 
  • 동차성 증명
    • 
    • 
    • 
    • 
• 동형사상 증명
  • 단사사상 증명
    • 
    • 
    • 
    • 한편, 
    • 
    • 
    • 
    • 
    • 
    • 
    • 
    • 
  • 전사사상 증명
    • 
    • 의 번째 열
    • 이제
    • 
    • 
• 위의 증명에 따라 선형사상에 적용되는 것은 모두 행렬에 대해 적용 가능

사상 에 대해서

• 선형사상 증명
  • 가산성 증명
    • 
    • 
    • 
    • 
    • 
    • 즉, 
  • 동차성 증명
    • 
    • 
    • 
    • 
    • 
• 동형사상 증명
  • 단사사상 증명
    • 
    • 
    • 
    • 
    • 
  • 전사사상 증명
    • 
    • 
    • 
    • 

와 는 역사상 관계

• 
  • 
  • 는 항등사상
• 
  • 
  • 는 항등사상
• 고로 와 는 역사상 관계

차원정리

차원정리

유한차원 벡터공간 와 선형사상 에 대하여 다음이 성립한다.

• 증명)
  • 
  • 이므로
  •  
  • 목표 
• 생성 증명
  • 
  • 
  • 
  • 
  • 
    • 
  • 
  • 
• 선형독립 증명
  • 라 하자
  • 
  • 
  • 
  • 
  • 
  • 은 선형독립

비둘기집 원리

따름정리

차원이 같은 두 유한 차원 벡터공간 사이에 선형사상 이 정의되어 있으면 다음이 성립한다.

은 전사 은 단사 은 전단사

• 증명)
  • 이 전사 단사
    • 
    • if 이 전사
      • 
      • 
      • 
      • 
      • 
      • 
      • 
      • 
  • 이 단사 전사
    • if 이 단사
    • 
    • 
    • 이면서
    • 따라서

비둘기집 원리

공집합이 아닌 두 유한집합 의 크기가 서로 같을 때, 함수 는 다음을 만족한다.

은 전사 은 단사 은 전단사

계수정리

관련 용어

행렬 에 대하여

• 열공간: 의 열벡터들로 생성된 공간
• 열계수: 열공간의 차원.
• 행공간: 의 행벡터들로 생성된 공간
• 행계수: 행공간의 차원.
• 영공간: 연립방정식 의 해공간
• 의 영공간 차원

예)

• 
  
  • 열공간
    • 
    • 
  • 행공간
    • 
    • 
    • 
  • 영공간
    • 
    • 
    • 
    • 
    • 

계수정리

계수정리

행렬 에 대하여 다음이 성립한다.

이때 행렬 행렬 에 대하여의 행공간 및 열공간의 공통차원을 의 계수 이라 한다.

• 증명) 행렬 를 의 기약행사다리꼴 행렬이라 하자
  • 
  • : 선도 1을 포함하는 열의 개수 = 선도 1의 개수
  • : 선도 1을 포함하는 행의 개수 = 선도 1의 개수
  • 

Rank-Nullity 정리

행렬 에 대하여 다음이 성립한다.

• 증명) 행렬 를 의 기약행사다리꼴 행렬이라 하자
  • 라 하면
  • 의 선도 1의 개수
  • 자유변수 개수
  • 
  • 즉, 

Rank-Nullity를 선형사상으로 변환하면 다음과 같다.

• 
• 

대수구조

대수구조

수 뿐만 아니라 수를 대신할 수 있는 모든 것을 대상으로 하는 집합과 그 집합에 부여된 연산이 여러 가지 공리로써 엮인 수학적 대상.

간단히 일련의 연산들이 주어진 집합을 대수구조라고 한다.

여러 대수구조

• 집합: 아무런 연산이 부여되지 않은 대수구조
• 반군: 집합과 그 위의 결합법칙을 따르는 하나의 이항 연산을 갖춘 대수구조
• 모노이드: 항등원을 갖는 반군
• 군: 역원을 갖는 모노이드
• 아벨군(가환군): 교환법칙이 성립하는 군
  • 아벨군이 되면 1종류의 이항 연산에 대해 4개의 기본 연산을 만족하게 됨. (결합법칙/교환법칙/항등원/역원)
• 환: 덧셈에 대하여 아벨군, 곱셈에 대하여 반군을 이루고 분배법칙이 성립하는 대수구조
  • 환부터는 2종류의 이항 연산이 부여 됨.
  • 1종류의 이항 연산은 아벨군을 만족해야 하고, 나머지 1종류의 이항 연산은 반군을 만족 시켜야 함.
• 가군: 어떤 환의 원소에 대한 곱셈이 주어지며, 분배법칙이 성립하는 아벨군
  • 벡터공간은 가군의 한 종류
  • 가군은 환에서 원소를 받는게 기본이지만, 벡터공간은 보다 엄격하게 체에서 원소를 받아 온다.
• 가환환: 곱셈이 교환법칙을 만족하는 환
  • 환 중에 반군을 만족 시키는 나머지 1종류의 연산이 추가로 교환 법칙을 만족. 하지만 항등원과 역원은 존재하지 않는다.
• 나눗셈환: 0이 아닌 모든 원소가 역원을 가지며, 원소의 개수가 둘 이상인 환
  • 환 중에 반군을 만족 시키는 나머지 1종류의 연산이 항등원과 역원을 가짐. 하지만 교환 법칙은 만족하지 않는다.
• 체: 가환환인 나눗셈환. 즉, 사칙연산이 자유로이 시행될 수 있고 산술의 잘 알려진 규칙들을 만족하는 대수구조
  • 2종류의 이항연산이 모두 4개의 기본연산을 만족 함.

-> 이런식으로 표기되면 대수구조가 된다. 대상이 되는 집합을 정의하고 그 집합에 적용되는 연산에 대한 정의가 되면 대수구조가 된다.

환 이전까지는 연산의 종류가 1종류이고 환 이후로 체까지는 연산의 종류가 2가지가 됨. 연산의 종류가 3개 이상인 경우도 있으나 여기서는 생략.

벡터공간

벡터공간

체 에 대한 가군 을 벡터공간, V의 원소의 벡터라 한다.

이때 는 벡터의 덧셈이고, 는 벡터의 스칼라배이다.

• 참고)
  • 인 함수
  • 인 함수
• 는 아벨군이다. (
  
  • 
  • 
  • 인 가 에 존재한다.
  • 인 가 에 존재한다.
• 는 의 가군이다. (
  • 
  • 의 곱셈 항등원 1에 대해
  • 

수학적으로 벡터란 벡터공간의 원소를 의미함. 벡터공간이란 벡터 대수구조를 만족하는 것을 의미. –아래 예시와 같이 덧셈 연산을 곱셈으로, 곱셈 연산을 지수 연산으로 바꾸어도 벡터 대수구조를 만족하므로 벡터 공간이 된다. 고로 그 집합에 속하는 원소 또한 벡터가 됨–

방향 같은 개념은 수학적인 벡터의 고려 대상이 아님. 그러나 이와 같은 정의가 만족되면 물리적인 벡터에 대해서도 동일하게 적용이 가능. 물리적인 벡터 개념에서 엄밀한 개념만 남긴 것이 수학적 벡터 개념.

• ex)
  • 벡터에 대한 집합과 다음과 같이 정의할 때
    • 
    • 
    • 
      • +를 곱셈으로 정의
      • V의 원소와 V의 원소에 대한 +을 하면 그 결과가 V가 나온다.
    • 
      • 을 지수곱으로 정의
      • F의 원소와 V의 원소에 대한 을 하면 그 결과가 V가 나온다.
  • 이와 같은 정의 또한 벡터공간의 대수구조를 만족하므로 벡터공간이라 할 수 있다.
    • 는 아벨군이 되고, 은 가군이 된다.

선형생성

부분벡터공간

벡터공간 상에서 정의된 덧셈과 스칼라배에 대하여 그 자체로서 벡터공간이 되는 의 부분집합 를 의 부분벡터공간 또는 부분공간이라 한다.

선형생성

벡터공간 의 공집합이 아닌 부분집합 내의 벡터들의 가능한 모든 선형결합으로 이루어진, 의 부분벡터공간을 의 (선형)생성 이라 한다. 즉,

이때 가 을 (선형)생성한다 라고 한다.

• ex)
  • 라 할 때 –S는 (1, 0), (0, 1)의 벡터를 가진 집합
  • 
  • 
  • 
  • S라는 집합은 2차원 실수 벡터 공간을 생성한다. (= (1, 0), (0, 1) 이라는 벡터 2개만 있으면 2차원 실수 벡터 공간을 만들 수 있다)

선형 독립

벡터공간 의 공집합이 아닌 부분집합 에 대하여

이면 가 선형독립이라고 한다. 만약 외의 다른 해가 존재하면 S가 선형종속이라고 한다.

• ex)
  • 라 할 때
    • 를 만족하는 K의 값은
    • 과 같이 모든 k가 0이지 않은 해가 존재하므로 은 선형종속집합이 된다.
  • 라 할 때
    • 를 만족하는 K의 값은
    • 뿐이므로 은 선형독립집합이 된다.

여러 벡터공간

노름공간

노름이 부여된 K-벡터공간

노름이란 에 대해 아래 세 조건을 만족시키는 함수

이다.

• 
• 
• 

내적공간

내적이 부여된 K-벡터공간

내적이란 에 대해 아래 네 조건을 만족시키는 함수

이다.

• 
• 
• 
  • (복소수체 일 때는 위에 바가 붙고, 실수에서는 붙지 않는다)
• 

유클리드공간

음이 아닌 정수 에 대하여 차원 유클리드공간 은 실수집합 의 번 곱집합이며, 이를 차원 실수 벡터공간으로써 정의하기도 한다.

이 위에 내적 을 정의하면 점곱, 스칼라곱이라고도 한다.

기저와 차원

기저

벡터공간 의 부분집합 가 선형독립이고 를 생성할 때, 를 의 기저라 한다.

• ex)
  • 
  • 일 때
    •  
    • 은 의 기저
  • 일 때
    • 
    •  
    • 도 를 생성할 수 있고 선형독립이므로 의 기저가 된다.
  • 일 때
    • 를 만족하지만, 선형독립이 아니므로 는 의 기저가 안 된다.

차원

가 벡터공간 의 기저일 때 의 원소의 개수를 의 차원 라 한다.

• ex)
  • 앞선 예에서 는 의 기저이고 의 원소의 개수는 2개이므로 는 2차원이 된다.

정규기저

다음 조건을 만족하는 노름공간 의 기저 를 정규기저라 한다.

직교기저

다음 조건을 만족하는 내적공간 의 기저 를 직교기저라 한다.

정규직교기저

정규기저이자 직교기저인 내적공간의 기저를 정규직교기저라 한다.

특히 의 정규직교기저 

를 표준기저라 한다.

• ex) 에 대하여
  • 는 정규기저도 아니고 직교기저도 아니다.
  • 는 정규기저지만 직교기저는 아니다.
  • 는 정규기저는 아니지만 직교기저이다.
  • 는 정규기저이고 직교기저이다. 이를 특별히 표준기저라고 한다.

벡터와 좌표계

평면벡터

에서 크기(스칼라)와 방향의 의미를 모두 포함하는 표현 도구

• 벡터는 크기와 방향만 고려하므로 위치가 다르더라도 크기와 방향이 같으면 같은 것으로 인정한다. 고로 아래 이미지상 v와 동일한 벡터는 d가 된다.

공간벡터

에서 크기와 방향의 의미를 모두 포함하는 표현 도구

n차원 벡터

상의 벡터

• 영벡터
• 두 벡터 가 같다
  • 

벡터의 연산

노름

• 벡터의 크기 (또는 길이) 라고 한다.
  • 
• 노름이 1인 벡터를 단위벡터라고 한다.
  • 정규화: 벡터의 단위 벡터 (크기를 1)로 만드는 과정.
    • 
• 등을 표준 단위벡터라고 한다.
  • 벡터를 표준단위 벡터를 이용하여 아래와 같이 표현 가능
  • 

선형결합

• 선형이라는 의미는 선으로 그려지는 것 보다는 –축소된 의미– ‘예측 가능한’ 이라는 의미로 이해하는 것이 좋다.
  • 역으로 비선형이라는 말은 ‘예측 불가능한’ (확률적인) 이라는 의미로 이해하는 것이 좋음.

벡터의 덧셈과 뺄셈

벡터의 실수배

선형(일차) 결합

의 벡터 가 임의의 실수 에 대하여

의 형태로 쓰여지면 를 의 선형(일차)결합이라 한다.

스칼라 곱

한 벡터가 다른 벡터의 방향에 대해 가한 힘에 의해 변화된 스칼라(크기), 점곱 또는 내적

• 스칼라 결과를 얻어 내기 위한 벡터 곱
• 점 곱(dot product) 또는 내적이라고도 한다.

(는 두 벡터 가 이루는 각)

• 개념적으로 봤을 때 두 벡터의 스칼라 곱은 두 벡터의 크기를 곱한 것으로 정의한다.
• 다만 벡터는 방향이라는 개념이 있기 때문에 단순 곱만이 아니라 추가적인 정의가 필요한데,
  • 일단 두 벡터 v, w가 같은 방향일 경우 스칼라 곱은 두 벡터의 곱으로 정의해 볼 수 있다.
    
    • 
  • 만일 두 벡터 v, w가 다른 방향일 경우, w를 v와 동일한 방향과 그렇지 않은 방향으로 분해해서 v와 곱할 수 있다.
    • 위 그림에서 w는 v와 일치하는 방향과 v와 수직인 방향으로 분해할 수 있는데, v와 일치하는 방향의 크기와 v를 곱한게 최종적인 벡터의 스칼라 곱으로 정의가 된다. (w의 크기보다 줄어드는데 이는 w의 수직 방향의 힘이 v와 같은 방향의 힘을 줄이기 때문이라고 이해할 수 있다.)
    • w를 v와 같은 방향의 벡터인 a와 v와 직교하는 방향의 벡터인 b로 분해하면 다음과 같은 수식으로 표현할 수 있다.
    • 
      • 의 크기는 의 크기에 를 곱한 것과 같다.

벡터의 연산 성질

상의 벡터 와 스칼라 에 대하여 다음이 성립한다.

• 
• 
• 
• 
• 
• 
• 
• 
• 
• 
• 
• 
• 
• 

벡터 곱

방향은 두 벡터에 동시에 수직이고 크기는 두 벡터의 평행사변형의 면적인 상의 벡터, 가위곱, 또는 외적

• 벡터 결과를 얻어 내기 위한 벡터 곱
  • 같은 맥락에서 텐서 결과를 얻어 내기 위한 벡터 곱은 텐서 곱이라고 한다.
• 가위 곱(cross product) 또는 외적 이라고도 한다.
  • 사실 외적이라는 표현은 적절하지 못한 표현인데, 텐서 곱이 외적이기 때문.
• 벡터 곱은 오로지 3차원에서만 정의 되며, 2차원, 4차원 이상에서 정의 불가.
  • 반면 스칼라 곱은 N 차원에 대해 정의 가능.

• 벡터 곱의 크기는 두 벡터의 크기의 곱이 되고 (평행사변형의 면적), 방향은 두 벡터에 동시에 수직인 방향이 된다.
  • 벡터 곱은 순서가 중요한데, 순서에 따라 벡터 곱의 방향이 바뀐다.
  • 위 예시에서 는 위로, 는 아래로 가는 벡터가 된다.
• 벡터 곱 연산은 두 벡터의 행렬식으로 계산된다.

벡터 곱의 성질

상의 벡터 와 스칼라 에 대하여 다음이 성립한다.

• 
  • 벡터 곱 순서를 바꾸면 방향이 반대가 된다.
• 
• 
• 
• 
• 
  • 자기 자신과 벡터 곱을 하면 영벡터가 된다.

벡터의 응용

직선의 표현

또는 에서 위치벡터가 인 점 를 지나며 방향벡터가 인 직선 상의 임의의 점 의 위치벡터 는

을 만족한다. (단, 는 임의의 실수)

• 직선의 방정식이 아니라 벡터 –위치벡터와 방향벡터– 를 통해서도 직선을 표현할 수 있다는 뜻.
  • 위치벡터란 원점을 시점으로 하는 벡터를 뜻한다.
  • 방향벡터란 직선이 늘어나는 방향을 지시하는 벡터를 뜻한다.
• 라는 직선의 방정식을 벡터를 이용해서 표현하면 의 꼴이 된다.

평면의 표현

에서 위치벡터가 인 점 를 지나며 법선벡터가 인 평면 상의 임의의 점 의 위치벡터 는

을 만족한다. 

• 법선벡터는 평면상의 서로 다른 두 직선의 방향벡터들의 벡터 곱으로써 구하면 용이하다.
  • 법선벡터란 평면에 수직인 벡터를 뜻한다.

• 라는 평면의 방정식을 벡터를 이용해서 표현하면 의 꼴이 된다.

행렬

용어정리

용어	설명
성분	행렬 안에 배열된 구성원 (=항=원소)
행	행렬의 가로줄
열	행렬의 세로줄
행렬	개의 행과 개의 열로 이루어진 행렬
주대각선	행렬의 왼쪽 위에서 오른쪽 아래를 가르는 선
대각성분	주대각선에 걸치는 행과 열의 지표수가 같은 성분 ( 성분) 대각성분으로만 이루어진 행렬을 대각행렬이라 한다. ex)
영행렬	모든 성분이 0인 행렬
전치행렬	에 대하여   i와 j의 자리를 바꾼 행렬
대칭행렬	인
정사각행렬	행, 열의 개수가 같은 행렬
단위행렬	모든 대각성분이 1이고 그 외의 성분은 0인 정사각행렬

행렬의 연산

덧셈과 뺄셈

행렬 , 에 대해

상수배

행렬 에 대해

상수 에 대해

곱셈

행렬 와 행렬 에 대해

행렬

단,

행렬의 곱셈은 교환법칙이 성립되지 않는다.

• 행렬의 곱셈은 함수 합성과 비슷한 개념이다.
• 두 함수가 라고 할 때, 두 함수의 합성은 다음과 같다.
  • 
• 두 행렬이 라고 할 때, 두 행렬의 곱은 다음과 같다.
  • 
• 결국 두 함수의 합성과 두 행렬의 곱이 결과가 같다.
  • 행렬의 곱의 규칙이 앞 행렬의 행과 뒤 행렬의 열을 곱하는 이유가 이러한 까닭.

연립일차방정식

행렬의 표현

예를 들어 를

1. 는 가우스 조던 소거법
2. 은 역행렬을 이용

가우스 조던 소거법

다음 세 가지의 기본 행 연산을 통해 연립일차방정식의 첨가행렬을 기약 행사다리꼴로 변환하여 해를 구한다.

1. 한 행을 상수배한다.
2. 한 행을 상수배하여 다른 행에 더한다.
3. 두 행을 맞바꾼다.

역행렬 이용

연립일차방정식 에서 의 역행렬 가 존재하면, 이다

예를 들어

행렬식

행렬식이란?

정사각행렬 를 하나의 수로써 대응시키는 특별한 함수.

• 행렬식은 행렬보다 먼저 있었던 개념.

이때 가

• 란 행렬 에서 행과 열을 제외한 나머지 행렬을 말함.
  
  • M은 Minor Matrix로 소행렬이라고 한다. (원래 행렬에서 일부를 제외한 나머지 행렬)
• M은 꼭 1행을 기준으로 잡지 않아도 된다. 1열을 기준으로 하거나 다른 것을 기준으로 해도 결과는 같다.
  • 최종적으로  의 꼴이 나오기만 하면 되기 때문.
• 사루스 법칙
  • 첫 번째 원소로부터 오른쪽 아래 대각선으로 그으면서 곱하여 더함. 모두 더한 후에는 가장 오른쪽 원소로부터 왼쪽 아래 대각선을 그으면서 앞의 값에서 뺀다.
  • 그러면 결국 의 꼴이 나옴.

• 행렬식의 계산은 위와 같이 일반화 된다.
  • 첫 행렬과 그 행렬이 포함된 행렬을 제외한 마이너 행렬을 곱한것을 차례로 더했다가 뺐다가를 반복하면 된다.
  • 이 계산을 일반화 하면 2×2 행렬에서 ad – bc가 되는 것도 같은 원리가 된다.

역행렬

행렬식이 0이면 역행렬이 존재하지 않는다. 즉, 행렬식이 0이 아닌 정사각 행렬 의 역행렬 은

(단 )

• 는 수반행렬이라고 한다.
• 는 에 순서대로 +, -를 번갈아 붙인 값이 된다.
• 수반행렬() 는 원래 행렬과 순서가 전치됨.

ex)

• 역행렬은 교환법칙이 성립한다.
  • 

크래머 공식

연립일차방정식 에서 가 행렬식이 0이 아닌 정사각행렬일 때,

단, 이고 는 의 번째 열을 의 원소로 바꾼 행렬이다.

• 크래머 공식은 행렬 전체를 구하는게 아니라 그 중에 일부 원소에 대한 값만 빠르게 구할 수 있는 방법.
  • 행렬의 구조를 이용해서 정리한 내용이라 행렬 계산을 반복해서 보면 자명하게 이해된다.
  • 행렬 연산의 구조를 이용해서 이렇게 저렇게 짜맞추고 최종 결과를 이끌어 냄.