The
functions
,
,
...,
are linearly dependent if, for some
,
, ...,
not all zero,
(1)
|
for all
in some interval
. If the functions are not linearly dependent, they are said
to be linearly independent. Now, if the functions and in
(the space of functions with
continuous derivatives), we can differentiate (1)
up to
times. Therefore, linear dependence also requires
(2)
| |||
(3)
| |||
(4)
|
where the sums are over , ...,
. These equations have a nontrivial solution iff
the determinant
(5)
|
where the determinant is conventionally called the Wronskian and is denoted .
If the Wronskian for any value
in the interval
, then the only solution possible for (2) is
(
, ...,
), and the functions are linearly independent. If, on the other
hand,
over some range, then the functions are linearly dependent somewhere in the range.
This is equivalent to stating that if the vectors
, ...,
defined by
(6)
|
are linearly independent for at least one , then the functions
are linearly independent in
.