오늘 할 일 영벡터의 포함과 연산의 닫힘을 확인해 부분공간인지 판정한다.
3차시에서 대상을 더하고 실수배했다. 이제 그 결과가 처음 정한 집합에 남는지 확인하여 부분공간을 판정한다.
먼저 확인 $y=2x$와 $y=2x+1$ 중 원점을 포함하는 것은 어느 쪽인가?
풀이 읽기공리에서 0배가 영벡터임을 유도
실수 0과 영벡터는 역할이 다르다. 분배법칙과 덧셈 역원을 사용하면 둘의 관계를 증명할 수 있다.
\[0v=(0+0)v=0v+0v\quad\Longrightarrow\quad 0_V=0v\]
부분공간에서는 같은 연산을 사용하므로 등식 공리들은 상속된다. 영벡터의 포함과 연산의 닫힘은 따로 확인해야 한다.
설명을 읽고 개념 정리
- 부분공간은 반드시 를 포함한다.
- $u,v\in W$이면 $u+v\in W$여야 하므로 덧셈에 대해 한다.
- $u\in W$, $c\in\mathbb R$이면 $cu\in W$여야 하므로 스칼라배에 대해 한다.
- 공리 하나라도 실패하는 예를 찾으면 가 된다.
주의할 점 원점을 지나지 않는 직선은 영벡터를 포함하지 않으므로 더 계산할 필요 없이 부분공간이 아니다.