next up previous index
Next: Near Linear Independence Up: Linear Combinations in Vector Previous: Representation of a Vector

Linear Independence and Dependence

A given set of vectors tex2html_wrap_inline5030 is said to be linearly independent  tex2html_wrap_inline4632 there is no nontrivial representation of tex2html_wrap_inline5300 in terms of V. If a set is not linearly independent, it is linearly dependent . For simplicity we will refer to a linearly independent set as independent and a linearly dependent set as dependent.

Examples

  1. Given tex2html_wrap_inline5306 , tex2html_wrap_inline5308 . So tex2html_wrap_inline5300 has the nontrivial representation tex2html_wrap_inline5312 in terms of V tex2html_wrap_inline4972 V is linearly dependent.
  2. Given tex2html_wrap_inline5320 , tex2html_wrap_inline5322 tex2html_wrap_inline5324 = (0,0,0) tex2html_wrap_inline4632 tex2html_wrap_inline5330 . Thus the only representation of tex2html_wrap_inline5300 in terms of V is the trivial one tex2html_wrap_inline4972 V is linearly independent.

  theorem1463

Proof Assume, to the contrary, that tex2html_wrap_inline4908 is dependent. Then there are vectors tex2html_wrap_inline5346 (as well as scalars tex2html_wrap_inline5348 such that tex2html_wrap_inline5350 tex2html_wrap_inline5352 ), contradicting the property that tex2html_wrap_inline4908 has no members! Thus tex2html_wrap_inline4908 is independent. tex2html_wrap_inline4680

  theorem1467

Proof Let tex2html_wrap_inline5366 be given with tex2html_wrap_inline5368 tex2html_wrap_inline4972 tex2html_wrap_inline5372 .
[Show tex2html_wrap_inline5374 is independent.] Assume to the contrary, that tex2html_wrap_inline5374 is dependent tex2html_wrap_inline4972 tex2html_wrap_inline5380 for some tex2html_wrap_inline5382 tex2html_wrap_inline4972 tex2html_wrap_inline5386 tex2html_wrap_inline4972 tex2html_wrap_inline5390 tex2html_wrap_inline4972 tex2html_wrap_inline5394 (since tex2html_wrap_inline5372 ), a contradiction! Thus tex2html_wrap_inline5374 is independent. tex2html_wrap_inline4680

  theorem1480

Proof Using a combining coefficient of 1 with tex2html_wrap_inline5300 and combining coefficients of zero with the remaining vectors of V produces a nontrivial representation of tex2html_wrap_inline5300 tex2html_wrap_inline4972 V is dependent. tex2html_wrap_inline4680

  theorem1485

Proof tex2html_wrap_inline5426 tex2html_wrap_inline4972 tex2html_wrap_inline5212 tex2html_wrap_inline4972 the only representation of tex2html_wrap_inline5300 is the trivial representation. Thus tex2html_wrap_inline5436 is independent. tex2html_wrap_inline4680

  theorem1489

Proof Let tex2html_wrap_inline5450 be given.
tex2html_wrap_inline5452 Assume V is dependent. Then there are tex2html_wrap_inline5456 , not all zero, such that tex2html_wrap_inline5458 . Let j be the largest integer such that tex2html_wrap_inline5462 .
[Show j > 1.] Assume, to the contrary, that j = 1 tex2html_wrap_inline4972 tex2html_wrap_inline5470 tex2html_wrap_inline4972 tex2html_wrap_inline5474 (since tex2html_wrap_inline5476 ), contradicting tex2html_wrap_inline5478 ! Thus j > 1 tex2html_wrap_inline4972 tex2html_wrap_inline5484 tex2html_wrap_inline4972 tex2html_wrap_inline5488 , a linear combination of the preceeding vectors.
tex2html_wrap_inline5490 Assume some vector tex2html_wrap_inline5492 with j > 1 is a linear combination of the preceeding vectors tex2html_wrap_inline5496 . Then there are some tex2html_wrap_inline5498 such that tex2html_wrap_inline5500 tex2html_wrap_inline4972 tex2html_wrap_inline5504 tex2html_wrap_inline4972 V is dependent. tex2html_wrap_inline4680

  theorem1505

Proof Left as an exercise.

  theorem1510

Proof Left as an exercise.

  theorem1514

Proof Left as an exercise.

  theorem1518

Proof Left as an exercise.

  theorem1522

Proof Left as an exercise.

  theorem1526

Proof Left as an exercise.

  theorem1530

Proof Let tex2html_wrap_inline5564 be given. Assume A is orthogonal. For each i such that tex2html_wrap_inline5280 , tex2html_wrap_inline5572 tex2html_wrap_inline4972 tex2html_wrap_inline5576 . Suppose tex2html_wrap_inline5458 . Then for each i such that tex2html_wrap_inline5280 , tex2html_wrap_inline5584 tex2html_wrap_inline4972 tex2html_wrap_inline5588 tex2html_wrap_inline4972 tex2html_wrap_inline5592 (since tex2html_wrap_inline5594 ) tex2html_wrap_inline4972 A is independent. tex2html_wrap_inline4680

   theorem1537

Proof Let tex2html_wrap_inline5564 be a given orthogonal set with tex2html_wrap_inline5614 . Assume tex2html_wrap_inline5616 . By Prop. gif, tex2html_wrap_inline5618 tex2html_wrap_inline4972 tex2html_wrap_inline5622 is an orthogonal set, since tex2html_wrap_inline5624 . By Prop. gif, tex2html_wrap_inline5622 is independent. tex2html_wrap_inline4680


next up previous index
Next: Near Linear Independence Up: Linear Combinations in Vector Previous: Representation of a Vector

Richard V. Helgason
Wed Sep 19 10:07:14 CDT 2001