1032 APÉNDICE B Números complejos, campos y espacios vectoriales

Sea T : Z62 → Z32 la transformación lineal tal que7 T (ηi ) = 0Z3 , i = 1, 2, 3, T (1, 0, 0, 0, 0, 0) = (1, 0, 0) y
2
T (0, 1, 0, 0, 0, 0) = (0, 1, 0) y T (0, 0, 1, 0, 0, 0) = (0, 0, 1). Puesto que la matriz cambió de base8 de la base
canónica a la base B está dada por

⎡ ⎤−1 ⎡ ⎤
1 0 0 1 0 0 1 0 0 1 1 0
⎢ 0 1 0 0 1 0 ⎥ ⎢ 0 1 0 1 0 1 ⎥
⎢ ⎥ ⎢ ⎥
⎢ 0 0 1 0 0 1 ⎥ ⎢ 0 0 1 1 1 1 ⎥
⎢ ⎥ =⎢ ⎥
⎢ 0 0 0 1 1 1 ⎥ ⎢ 0 0 0 1 1 0 ⎥
⎣ 0 0 0 0 1 1 ⎦ ⎣ 0 0 0 1 0 1 ⎦
0 0 0 1 0 1 0 0 0 1 1 1

y la representación matricial de T relativa a la base B y a la base canónica {δi } de Z32 es9

⎡ ⎤
1 0 0 0 0 0
P=⎣ 0 1 0 0 0 0 ⎦
0 0 1 0 0 0

se tiene
⎡ ⎤
1 0 0 1 1 0
⎢ 0 1 0 1 0 1 ⎥
⎢ ⎥
⎢ 0 0 1 1 1 1 ⎥
[T ] = P ⎢ ⎥
⎢ 0 0 0 1 1 0 ⎥
⎣ 0 0 0 1 0 1 ⎦
0 0 0 1 1 1
⎡ ⎤
1 0 0 1 1 0
=⎣ 0 1 0 1 0 1 ⎦
0 0 1 1 1 1
= H.

Por construcción, Ker(T ) = gn(η1 ,η2 ,η3 ); y al observar las columnas de [T ] se desprende que T (δi ) =
0 3 para todo i y T (δi ) = T (δ j ) si i = j. En este caso las matrices generadora de código y verificadora
Z2
de código de paridad están dadas por
⎡ ⎤ ⎡ ⎤
1 0 0 1 0 1 1 0 0 1 1 0
G=⎣ 0 1 0 1 1 0 ⎦ y H =⎣ 0 1 0 1 0 1 ⎦,
0 0 1 1 1 1 0 0 1 1 1 1

respectivamente. De esta manera, si se desea enviar, por ejemplo, la palabra de longitud 3, ω = (1, 1, 1) =
1 ·δ1 + 1 ·δ2 + 1 ·δ3 , la codificación correspondiente con código de verificación de paridad es
⎡ ⎤
1
ωC = 1 ·η1 + 1 ·η2 + 1 ·η3 = Gtω = Gt ⎣ 1 ⎦ = (1, 1, 1, 1, 0, 0).
1

17 Cfr. ejercicio resuelto 1 del capı́tulo 5, página 497.

18 Cfr. teorema 5.13, página 438, y la definición 5.1 del apartado 5.2.1.
19 Cfr. teorema 5.18, página 447, y la definición 5.15 del apartado 5.2.3.

Page (PS/TeX): 48 / 1032, COMPOSITE