선형대수, linear algebra
https://mml-book.github.io/
벡터, vector
- 선형대수는 벡터와 벡터를 다루는 규칙을 연구하는 학문
- 벡터: 서로 더하거나, 스칼라를 곱한 결과가 같은 타입인 오브젝트를 벡터라고 할 수 있다.
- 기하벡터: x,y가 기하벡터라면 x+y,3x도 기하벡터
- 다항식: 3x+4y=3과 4x+5y=0을 더한 7x+9y=3도 다항식이고 3을 곱한 9x+12y=9와 12x+15y=0도 다항식
- 이 책에서는 주로 n개 실수를 가진 튜플을 벡터로 다룬다. (ex. a=⎣⎢⎡123⎦⎥⎤∈R3)
연립 선형 방정식, systems of linear equations
- 일차 연립 방정식은 해가 없거나, 1개 있거나, 무한히 많다.
- 기하학적으로
- 변수가 2개인 일차 연립 방정식인 경우: 2차원 공간에 방정식 하나당 하나의 직선을 형성. 연립방정식의 해는 모든 방정식을 동시에 만족하므로 모든 방정식의 직선이 겹치는 지점이 연립방정식의 해. 모든 직선이 한점에서 교차하면 1개의 해, 일치하면 무한히 많은 해, 그렇지 않다면 해가 없다.
- 변수가 3개라면 방정식 하나당 하나의 평면을 형성. 연립방정식의 해는 평면, 직선, 점이거나 하나도 없다.
- 연립방정식을 간단히 표현하려면 변수의 좌항의 계수, 변수, 우항을 각각 모아 벡터를 만들고, 각 백터들을 모아서 행렬로 표현한다. 행렬곱을 해보면 연립방정식과 같음을 알 수 있다.
- a11x1+⋯+a1nxn=b1⋮am1x1+⋯+amnxn=bm⟺⎣⎢⎢⎡a11⋮am1⋯⋱⋯a1n⋮amn⎦⎥⎥⎤⎣⎢⎢⎡x1⋮xm⎦⎥⎥⎤=⎣⎢⎢⎡b1⋮bm⎦⎥⎥⎤
행렬, matrices
- 행렬, matrix
- m,n∈N 일 때 (m, n) 행렬 = m⋅n - tuple (m행, n열)
- 일단 실수 행렬만 공부하자. A=⎣⎢⎢⎡a11⋮am1⋯⋱⋯a1n⋮amn⎦⎥⎥⎤,aij∈R
- Rm×n: 모든 (m, n) 실수 행렬의 집합
- (1, n) 행렬은 열벡터, (n, 1) 행렬을 행벡터라고 한다.
행렬의 합과 곱
- 행렬의 합: 같은 위치의 원소끼리 더한다. 그래서 같은 크기의 행렬끼리만 더할 수 있다.
- A,B∈Rm×n
A+B=⎣⎢⎢⎡a11+b11⋮am1+bm1⋯⋱⋯a1n+b1n⋮amn+bmn⎦⎥⎥⎤
- 행렬의 곱:
- A∈Rm×n,B∈Rn×k일 때, A⋅B=C∈Rm×k
- C 의 i행, j열 성분 cij
cij=∑l=1nailblj,i=1,⋯,m,j=1,⋯,k
- 앞의 행렬의 i행과 뒤의 행렬의 j열을 내적한다.
- 교환법칙은 성립하지 않는다.
- 단위행렬, identity matrix
- 정사각 행렬 square matrix이며 주대각선 성분이 모두 1, 나머지 성분은 0인 행렬
I2=[1001],I3=⎣⎢⎡100010001⎦⎥⎤,⋯
- 행렬의 특성: A,B,C가 연산에 적절한 shape를 가질 때
- 결합법칙: A(BC)=(AB)C
- 분배법칙: A(B+C)=AB+AC
- 단위 행렬과의 곱:
A∈Rm×n일 때, ImA=AIn=A
역행렬 inverse, 전치 transpose
- 역행렬
- 역행렬: A∈Rn×n일 때, AB=In=BA이면 B는 A의 역행렬이다. B=A−1
- 모든 행렬이 역행렬을 갖지는 않는다.
- 역행렬이 있는 행렬: invertible, nonsingular, regular
- 역행렬이 없는 행렬: noninvertible, singular
- 2x2 행렬의 역행렬
A=[acbd]∈R2×2,A′=[d−c−ba]∈R2×2
AA′=[ad−bc00ad−bc]=(ad−bc)I2
A−1=(ad−bc)1A′=(ad−bc)1[d−c−ba]
- ad−bc=0
- ad−bc를 A의 determinant라 한다.
- 더 큰 행렬의 역행렬을 구하는 법은 후에 배운다.
- 전치행렬: 원소의 행과 열 인덱스를 맞바꾼 행렬
- aij=bji라면 A,B는 서로의 전치행렬이다. A⊤=B
A=[a11a21a12a22],A⊤=[a11a12a21a22]
역행렬과 전치행렬의 특성
- AA−1=I=A−1A
- (AB)−1=B−1A−1
- (A+B)−1=A−1+B−1
- (A⊤)⊤=A
- (A+B)⊤=A⊤+B⊤
- (AB)⊤=B⊤A⊤
대칭행렬 symmetric matrix
- 주 대각선을 기준으로 대칭인 행렬. A=A⊤
A=⎣⎢⎡abcbdecef⎦⎥⎤
- A−1가 존재할 때, (A⊤)−1=(A−1)⊤=A−⊤