130 4. Relations Between Transformations
Since (4.39) is linear over GF (q), E
j
C
0j
is row independent for any j,0
j τ. Thus there is a nonsingular matrix
P =
⎡
⎢
⎢
⎢
⎢
⎢
⎢
⎣
P
00
P
01
... P
0,τ−1
P
0τ
P
0,τ+1
0 P
11
... P
1,τ−1
P
1τ
P
1,τ+1
... ... ... ... ... ...
00... P
τ−1,τ −1
P
τ−1,τ
P
τ−1,τ +1
00... 0 P
ττ
P
τ,τ+1
00... 00P
τ+1,τ +1
⎤
⎥
⎥
⎥
⎥
⎥
⎥
⎦
such that PΓ
is the reduced echelon matrix of Γ ,whereP
cc
is an r
c+1
×
r
c+1
matrix and P
cc
E
c
C
0c
is the reduced echelon matrix of E
c
C
0c
,forc =
0, 1,...,τ.Let
PΓ
=
⎡
⎣
D
11
D
12
D
13
D
21
D
22
D
23
D
31
D
32
D
33
⎤
⎦
,
where D
11
and D
22
are (r
1
+ ···+ r
τ
) × lτ and r
τ+1
× l matrices, respectively.
It is easy to see that D
11
is row independent, D
21
=0,D
22
= P
ττ
E
τ
C
0τ
,
D
31
=0andD
32
= 0. Noticing that P
ττ
is nonsingular, E
τ
C
0τ
, the submatrix
of the first r
τ+1
rows of C
0τ
,isrowequivalenttoD
22
. Since the reduced
echelon matrix is unique, the theorem holds.
Corollary 4.3.1. Under the hypothesis of Theorem 4.3.1, for any parame-
ters x
i−1
,..., x
i−ν
,u
i
,..., u
i−μ
,C
0τ
ψ
l
μν
(u(i, μ+1),x(i, ν +1)) as a function
of the variable x
i
is an injection if and only if D
22
ψ
l
μν
(u(i, μ+1),x(i, ν+1)) as
a function of the variable x
i
is an injection, and C
0τ
ψ
l
μν
(u(i, μ+1),x(i, ν+1))
as a function of the variable x
i
is a surjection if and only if D
22
ψ
l
μν
(u(i,
μ+1),x(i, ν+1)) as a function of the variable x
i
is a surjection and r
τ+1
= m.
Proof. Since eq
τ
(i)
R
a
[P
τ
]
−→ eq
τ
(i)andeq
τ
(i)
R
b
[r
τ +1
]
−→ eq
τ+1
(i) are linear,
C
0τ
= P
τ
C
0τ
=
E
τ
C
0τ
0
has rank r
τ+1
. Therefore, C
0τ
ψ
l
μν
(u(i, μ +1),x(i,
ν + 1)) as a function of the variable x
i
is an injection if and only if C
0τ
ψ
l
μν
(u(i, μ +1),x(i, ν + 1)) as a function of the variable x
i
is an injection, if
and only if E
τ
C
0τ
ψ
l
μν
(u(i, μ +1),x(i, ν + 1)) as a function of the variable x
i
is an injection. From Theorem 4.3.1, D
22
and E
τ
C
0τ
are row equivalent. It
follows that C
0τ
ψ
l
μν
(u(i, μ +1),x(i, ν + 1)) as a function of the variable x
i
is
an injection if and only if D
22
ψ
l
μν
(u(i, μ +1), x(i, ν + 1)) as a function of
the variable x
i
is an injection. Similarly, C
0τ
ψ
l
μν
(u(i, μ +1), x(i, ν +1)) as a
function of the variable x
i
is a surjection if and only if C
0τ
ψ
l
μν
(u(i, μ +1),
x(i, ν + 1)) as a function of the variable x
i
is a surjection, if and only if
E
τ
C
0τ
ψ
l
μν
(u(i, μ+1),x(i, ν+1)) as a function of the variable x
i
is a surjection
and r
τ+1
= m.SinceE
τ
C
0τ
ψ
l
μν
(u(i, μ +1),x(i, ν + 1)) as a function of the
variable x
i
is a surjection if and only if D
22
ψ
l
μν
(u(i, μ +1),x(i, ν +1))asa