1.1. 벡터의 선형독립과 선형종속 ¶
벡터공간,vector_space 의 부분집합,subset 의 선형결합,linear_combination이 0일 때, 즉
밖에 존재하지 않으면,(그럼 존재성,existence ∩ 유일성,uniqueness?) 벡터 집합 는 (안의 벡터들이 서로pairwise? chk) 선형독립,linear_independence이라 하고
그렇지 않으면 선형종속,linear_dependence이라 한다.
....// 이거 우변 아닌지? 아님 상관없는건지?
일 때 이를 만족시키는 해,solution가그렇지 않으면 선형종속,linear_dependence이라 한다.
벡터 집합이 주어졌을 때,
인 경우가 바로 자명해,trivial_solution라고. (선형독립의 특수한 경우? chk)
- 어떤 벡터를 다른 벡터들의 선형결합으로 쓸 수 있으면 선형종속
- 어떤 벡터를 다른 벡터들의 선형결합으로 쓸 수 없으면 선형독립