선형독립

Linear independence
의 선형 독립 벡터
. 의 평면에서 선형 종속 벡터.

벡터 공간 이론에서 벡터 집합은 0 벡터와 동일한 벡터의 비종교적 선형 결합이 있을 경우 선형적으로 종속된다고 한다. 그러한 선형 결합이 존재하지 않는다면 벡터는 선형적으로 독립적이라고 한다. 이 개념들은 차원 정의의 중심이다.[1]

벡터 공간은 선형 독립 벡터의 최대 수에 따라 유한 치수 또는 무한 치수가 될 수 있다. 선형 의존의 정의와 벡터 공간의 벡터 부분집합이 선형적으로 종속되어 있는지 여부를 결정하는 능력은 벡터 공간의 치수를 결정하는 데 중심적이다.

정의

A sequence of vectors from a vector space V is said to be linearly dependent, if there exist scalars not all zero, such that

여기서 은(는) 0 벡터를 나타낸다.

이는 스칼라 중 적어도 하나가 0이 것을 의미하며, 0 0 이라고 하며, 위의 방정식은 다음과 같이 쓸 수 있다.

> , = 인 경우 = 0{

따라서 벡터 집합은 이들 중 하나가 0이거나 다른 벡터의 선형 결합인 경우에만 선형적으로 의존한다.

벡터 ,v , v 의 순서는 선형 의존적이지 않으면 선형 독립적이라고 한다.

= ,… , n . {\displaystyle i1,\ i = 로만 만족할 수 있다. 이는 시퀀스의 어떤 벡터도 시퀀스에 남아 있는 벡터의 선형 결합으로 나타낼 수 없음을 의미한다. 즉, 벡터의 선형 조합으로서 {\을([2]를)유일하게 나타내는 것이 스칼라 a {\displaystyle 가 0인 사소한 표현이라면 벡터의 시퀀스는 선형 독립적이다. 더욱 간결하게, 벡터의 시퀀스는 을(를) 고유한 방식으로 벡터의 선형 결합으로 나타낼 수 있는 경우에만 선형적으로 독립적이다.

벡터 시퀀스가 동일한 벡터를 두 배 포함하는 경우, 반드시 종속적이다. 벡터 시퀀스의 선형 종속성은 시퀀스의 용어 순서에 따라 달라지지 않는다. 이로써 유한 벡터 집합에 대해 선형 독립성을 정의할 수 있다: 벡터 집합의 순서가 선형 독립적일 경우 유한한 벡터 집합은 선형 독립적이다. 즉, 사람은 흔히 유용한 다음과 같은 결과를 가지고 있다.

벡터의 순서는 두 배의 동일한 벡터를 포함하지 않고 벡터의 집합이 선형적으로 독립된 경우에만 선형적으로 독립적이다.

무한케이스

모든 비어 있지 않은 유한 부분 집합이 선형적으로 독립된 경우 벡터의 무한 집합은 선형적으로 독립적이다. 반대로 벡터의 무한 집합은 선형 종속적인 유한 부분집합을 포함하는 경우 또는 집합의 일부 벡터가 집합의 다른 벡터의 선형 결합인 경우 등가적으로 선형 종속된 벡터의 무한 집합은 선형 종속적이다.

인덱스 벡터 계열은 동일한 벡터를 두 번 포함하지 않고 벡터 집합이 선형 독립적일 경우 선형 독립적이다. 그렇지 않으면 그 가족은 선형적으로 의존한다고 한다.

선형적으로 독립적이며 일부 벡터 공간에 걸쳐 있는 벡터 집합은 벡터 공간의 기초를 형성한다. 예를 들어, reals 위의 x에 있는 모든 다항식의 벡터 공간에는 (무한) 부분 집합 {1, x, x2, x, ...이 있다.}을(를) 기본으로.

기하학적 예

Vectores independientes.png
  • }}은는) 독립적이며 평면 P를 정의한다.
  • w은(는) 동일한 평면에 포함되어 있기 때문에 이다.
  • 은(는) 서로 평행하기 때문에 종속적이다.
  • v k{ {k}은는) 서로 독립적이기 에 {\deplaystystyle 그것들의 귀 조합 또는 같은 것은, 그것들이 공통 평면에 속하지 않기 때문이다. 3개의 벡터는 3차원 공간을 정의한다.
  • 벡터 Null 벡터, 구성 요소가 0인 ) 및 {은(는) → ={\vec이(가) 이후 종속적이다.

지리적 위치

어떤 장소의 위치를 설명하는 사람은 "여기에서 북쪽으로 3마일, 동쪽으로 4마일 떨어져 있다"라고 말할지도 모른다. 지리적 좌표계가 2차원 벡터 공간(점화 고도 및 지구 표면의 곡률)으로 간주될 수 있기 때문에, 이것은 위치를 설명하기에 충분한 정보다. 그 사람은 아마 "그곳은 여기서 북동쪽으로 5마일 떨어져 있다."라고 덧붙일 것이다. 이 마지막 진술은 사실이지만 굳이 장소를 찾을 필요는 없다.

이 예에서 "북쪽으로 3마일" 벡터와 "동쪽으로 4마일" 벡터는 선형적으로 독립적이다. 즉, 북쪽 벡터는 동쪽 벡터라는 용어로 설명할 수 없으며, 그 반대도 마찬가지다. 세 번째 "동북쪽으로 5마일" 벡터는 다른 두 벡터의 선형 결합으로 벡터 세트를 선형 종속적으로 만들며, 즉, 세 벡터 중 하나가 평면의 특정 위치를 정의할 필요가 없다.

또한 고도를 무시하지 않을 경우 선형 독립 집합에 세 번째 벡터를 추가할 필요가 있다. 일반적으로 n차원 공간의 모든 위치를 설명하려면 n개의 선형 독립 벡터가 필요하다.

선형 독립성 평가

제로 벡터

If one or more vectors from a given sequence of vectors is the zero vector then the vector are necessarily linearly dependent (그리고 결과적으로, 그들은 선형적으로 독립적이지 않다. To see why, suppose that is an index (i.e. an element of ) such that Then let (alternatively, letting be equal 0이 아닌 다른 스칼라도 작동한다)를 한 다음 다른 스칼라를 이(가) 되도록 두십시오(은 i 예: i i}). : 0 = 두십시오. j= j= 0 . + + v 을(를) 단순화하면 다음과 같은 효과를 얻을 수 있다.

모든 스칼라가 0인 것은 아니기 때문에( 벡터 , 는 선형 종속적이라는 것을 증명한다.

결과적으로, 제로 벡터는 선형적으로 독립된 벡터의 어떤 집합에도 속할 수 없다.

v ,… ,v 의 시퀀스에1 displaystyle 1: = 특수한 경우를 고려해 보십시오. 정확히 하나의 벡터로 구성된 벡터의 집합은 벡터가 0인 경우에만 선형적으로 의존한다. Explicitly, if is any vector then the sequence (which is a sequence of length ) is linearly dependent if and only if ; alternatively, the collection }은(는) 0. {\ \mathbf \mathbf {인 경우에만 선형 독립적이다.

두 벡터의 선형 의존성 및 독립성

이 예에서는 실제 또는 복잡한 벡터 공간에서 정확히벡터 {\displaystyle \{}과(와 v {\ \ {v이(가) 있는 특수한 경우를 고려한다 벡터 v (는) 다음 중 하나 이상이 참인 경우에만 선형 종속적이다.

  1. 은(는) v 의 스칼라 배수로, = }과(와)와 같은 스칼라 {으)가 있음을 의미한다.
  2. 은(는) {으)의 스칼라 배수로, 즉 = =과()와 스칼라 c {\ c이 존재함을 의미한다.

If then by setting we have (this equality holds no matter what the value of is), which shows that (1) is true 이 경우에 Similarly, if then (2) is true because If (for instance, if they are both equal to the zero vector ) then both (1) and (2) 참이다( 가지 모두에 c 1 c}을를) 사용).

If then is only possible if and ; in this case, it is possible to multiply both sides by to conclude This shows that if and then (1) is true if and only if (2) is true; that is, in this particular case either both (1) 그리고 (2)가 참(그리고 벡터는 선형적으로 종속됨) 또는 (1)과 (2)가 모두 거짓(그리고 벡터는 선형적으로 독립됨)이다. = c = (가) 아니라 0 {\ \인 경우 c {\ {중 하나 이상이 0이어야 한다. 더욱이 ( v {\ \{ 중 정확히 하나가이면(다른 것은 0이 아닌 경우) (1)과 (2) 중 하나가 참(다른 것은 거짓)이다.

The vectors and are linearly independent if and only if is not a scalar multiple of and is not a scalar multiple of

벡터2: R

Three vectors: Consider the set of vectors and then the condition for linear dependence seeks a set of non-zero scalars, such that

또는

은 두 번째 행에서 첫 번째 행을 빼서 이 행렬 방정식을 줄인다.

(i) 두 번째 행을 5로 나눈 다음 (ii) 3을 곱하여 첫 번째 행에 추가하는 방식으로 행 축소를 계속한다.

이 방정식을 재배열하면

which shows that non-zero ai exist such that can be defined in terms of and 따라서 3개의 벡터는 선형적으로 의존한다.

두 개의 벡터: 이제 두 벡터 =( 1,) v =(- , 의 선형 의존성을 고려하여,

또는

수율 위에 제시된 동일한 행 감소량,

는 벡터 v1 = (1, 1) 및 v2 = (-3, 2)가 선형적으로 독립적이라는 것을 의미하는 = 을(를) 보여준다.

벡터4: R

, 의 벡터 3개 확인

선형 종속적인 매트릭스 방정식을 형성하고

행은 이 방정식을 얻기 위해 줄인다.

v에3 대해 해결하려면 다시 정렬하고,

이 방정식은 0이 아닌 a를 정의하기i 위해 쉽게 풀린다.

서 3를 임의로 선택할 수 있다. 따라서 벡터 ,v , v 는 선형 종속적이다.

결정요소를 이용한 대안법

대체 방법은 R 벡터가 벡터를 열로 취함으로써 형성된 행렬결정요인이 0이 아닌 경우에만 선형 독립적이라는 사실에 의존한다.

이 경우 벡터에 의해 형성된 행렬은

우리는 다음과 같이 기둥의 선형 결합을 쓸 수 있다.

우리는 일부 0이 아닌 벡터 λ에 대해 A = = 0인지 여부에 관심이 있다. 의 결정요인에 따라 달라진다

결정요소가 0이 아니기 때문에 벡터, 1) 스타일- ,){\ 스타일)은 선형적으로 독립적이다

않으면 m < ... . .. . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 그러면 An×m 행렬이고 λ은 항목이 있는 컬럼 벡터인데, 우리는 다시 A = = 0에 관심이 있다. 앞에서 이것은 n {\ 방정식의 목록과 같다. {\ A}의 m m m 방정식을 고려하십시오. 전체 방정식 목록의 해결책도 축소된 리스트에서 참이어야 한다. 실제로 i1, ...im 행의 목록이라면, 그 행에 대한 방정식은 참이어야 한다.

더욱이 그 반대는 사실이다. 즉, 벡터가 선형적으로 종속되어 있는지 여부를 테스트할 수 있다.

한 모든 m 행의 리스트에 대해. ( =n {\ 이에는 위와 같이 하나의 결정인자만 필요하다. > 인 경우 벡터는 선형적으로 의존해야 하는 것이 정리다.) 이 사실은 이론에 가치가 있다; 실제적인 계산에서는 더 효율적인 방법을 이용할 수 있다.

치수보다 벡터가 더 많음

치수보다 벡터가 많을 경우 벡터는 선형적으로 의존한다. 이는 R . }의 벡터 3개에 대한 위의 예에 설명되어 있다

자연근거 벡터

= V을(를) 두고 자연 기반 벡터로 알려진 V의 다음 요소를 고려하십시오.

그러면 , 2, e 은(는) 선형 독립적이다.

증명

, … , n{\이 다음과 같은 실제 숫자라고 가정하자.

이후

그러면 = 모든 = 1, . i=에 대해 .

함수의 선형 독립성

을(를) 실제 t 의 모든 가변 기능의 벡터 공간이 되도록 하십시오. V t e는 선형 독립적이다.

증명

(가) 다음과 같은 두 개의 실제 숫자라고 가정하십시오.

위 방정식의 첫 번째 파생형을 취하십시오.

. 모든 값에 대해 = = }을(를) 표시해야 한다 이를 위해에서 첫 번째 방정식을 빼서 b t= 을 부여한다 2 일부 t = 0 b. =0 {\}이다. 따라서 선형 의 정의에 따라 e e는 선형 독립적이다.

선형 종속 공간

벡터 v1, ..., v n 선형 종속성 또는 선형 관계는 다음과 같은 n개스칼라 구성 요소를 가진 튜플(a1, ..., an)이다.

이러한 선형 의존성이 0이 아닌 성분으로 존재하는 경우, n 벡터는 선형 종속적이다. v1, ..., v n 선형 종속성은 벡터 공간을 형성한다.

벡터가 좌표에 의해 표현되는 경우, 선형 의존성은 벡터의 좌표를 계수로 하여 선형 방정식의 동질적인 시스템의 해결책이다. 따라서 선형 의존성의 벡터 공간의 기초가우스 제거를 통해 계산할 수 있다.

일반화

아핀 독립

벡터 세트는 세트 내 벡터 중 적어도 하나가 다른 벡터들의 아핀 조합으로 정의될 수 있는 경우 부속적으로 결정된다고 한다. 그렇지 않으면 그 세트를 아첨하듯 독립적이라고 부른다. 모든 아핀 조합은 선형 결합이다. 따라서 모든 아핀 의존 집합은 선형적으로 의존한다. 반대로 모든 선형 독립 집합은 친절하게 독립적이다.

n m m} m {\ m} 증강 벡터 집합v], [ 을 고려하십시오 {_}\) }. 원래 벡터는 증강 벡터가 선형적으로 독립적일 경우에만 부속적으로 독립적이다.[3]: 256

선형 독립 벡터 서브스페이스

벡터 공간 X 벡터 스페이스 M N N={ . N일 경우 선형 독립적이라고 한다.X{X\displaystyle}의 subspaces의}[4]더 일반적으로, 컬렉션 M1,…, Md{\displaystyle M_{1},\ldots},M_{d}만약 Mi∑ k∩ 일차 독립되고 있다고 한다 ≠ 나는 Mk={0}{\textstyle M_{나는}\cap \sum _{k\neq 나는}M_{k}=\{0\}}를 위해 지수 나는,{\displaystyle 나는,}이∑ k≠ i. m[4] The vector space is said to be a direct sum of if these subspaces are linearly independent and

참고 항목

  • Matroid – 선형 독립성을 모델링하고 일반화하는 추상적 구조

참조

  1. ^ G. E. 샤일로프, 선형 대수(트랜스) R. A. 실버맨), 1977년 뉴욕 도버 출판사
  2. ^ Friedberg, Insel, Spence, Stephen, Arnold, Lawrence (2003). Linear Algebra. Pearson, 4th Edition. pp. 48–49. ISBN 0130084514.{{cite book}}: CS1 maint : 복수이름 : 작성자 목록(링크)
  3. ^ Lovász, László; Plummer, M. D. (1986), Matching Theory, Annals of Discrete Mathematics, vol. 29, North-Holland, ISBN 0-444-87916-1, MR 0859549
  4. ^ a b 바흐만 & 나리치 2000, 페이지 3-7. CITREFBachman (

외부 링크