Enunciados de ejercicios.

Hoja 3

Algebra

Cdigo de Hamming o
Para almacenar o transmitir cuatro bits de informacin y detectar cundo y dnde se ha producido o a o un unico error en un bit, se puede utilizar el siguiente esquema conocido como cdigo de Hamming. o Entre los cuatro bits de datos (b1 , b2 , b3 , b4 ) 4 se intercalan otros tres bits segn la funcin u o 2 4 7 siguiente: g: 2 2 b1 + b2 + b 4 b1 + b3 + b 4 b1 b1 b2 = b2 + b3 + b 4 . g b3 b2 b4 b3 b4

Para detectar la posicin del error se utiliza la funcin h : o o

Z7 Z3 siguiente: 2 2

c1 c2 b1 c1 + b1 + b2 + b4 h c3 = c2 + b1 + b3 + b4 . b2 c3 + b2 + b3 + b4 b3 b4 Se pide: a) Demostrar que g y h son funciones lineales. b) Calcular las matrices G y H asociadas a las funciones g y h. c) Estudiar si son inyectivas y/o sobreyectivas las funciones g y h. d) Calcular el producto de las matrices H y G. e) Determinar el ncleo y la imagen de las funciones g y h. Qu relacin hay entre Img(g) y Ker(h)? u e o f ) Codicar la palabra w = (0, 1, 0, 1) p.

Z4 utilizando la funcin g para obtener9 la palabra codicada o 2

g) Modicar10 un bit de la palabra codicada, p, para obtener una nueva palabra, q. Cunto vale a s1 s2 = h(q)? Observar que el bit modicado ocupa la posicin s3 22 + s2 21 + s1 20 . Sirve este o s3 proceso de correccin si se modican dos o ms bits? o a

9 10

La palabra codicada p es g(w). Cambie el bit que quiera.

Ejercicios preparatorios - 24

Soluciones ejercicios. Hoja 3

Algebra

a) La funcin g es lineal porque o b, c

Z4 , Z2 g( + ) = g( ) + g( ). b c b c 2

b1 + c1 + b2 + c2 + b4 + c4 b1 + c1 + b3 + c3 + b4 + c4 b1 c1 b1 + c1 b1 + c1 b2 c2 b2 + c2 ( ) = g + = g = b2 + c2 + b3 + c3 + b4 + c4 g b + c b3 c3 b3 + c3 b2 + c2 b4 c4 b4 + c4 b3 + c3 b4 + c4 c1 + c2 + c4 b 1 + b2 + b4 (b1 + b2 + b4 ) + (c1 + c2 + c4 ) c1 + c3 + c4 b1 + b3 + b4 (b1 + b3 + b4 ) + (c1 + c3 + c4 ) c1 b1 b1 + c1 (b2 + b3 + b4 ) + (c2 + c3 + c4 ) = b2 + b3 + b4 + c2 + c3 + c4 = c2 b2 b2 + c2 c3 b3 b3 + c3 c4 b4 b4 + c4 ( ) ( ) = g b + g . c La funcin h es lineal porque o b, c Z7 , Z2 h( + ) = h( ) + h( ). b c b c 2

b1 c1 b1 + c1 b2 c2 b2 + c2 b3 c3 b3 + c3 ( ) h b + = h b4 + c4 = h b4 + c4 c b5 c5 b5 + c5 b6 c6 b6 + c6 b7 c7 b7 + c7 b1 + c1 + b3 + c3 + b5 + c5 + b7 + c7 = b2 + c2 + b3 + c3 + b6 + c6 + b7 + c7 b4 + c4 + b5 + c5 + b6 + c6 + b7 + c7 (b1 + b3 + b5 + b7 ) + (c1 + c3 + c5 + c7 ) = (b2 + b3 + b6 + b7 ) + (c2 + c3 + c6 + c7 ) (b4 + b5 + b6 + b7 ) + (c4 + c5 + c6 + c7 ) c1 + c3 + c5 + c7 b 1 + b3 + b5 + b7 ( ) () c = b2 + b3 + b6 + b7 + c2 + c3 + c6 + c7 = h b + h c4 + c5 + c6 + c7 b 4 + b5 + b6 + b7 o o b) Descomponiendo la expresin de la aplicacin lineal g, se obtiene 1 1 0 1 1 b1 + b2 + b4 1 1 1 0 1 b1 + b3 + b4 b1 0 1 0 0 1 b1 b2 = b2 + b3 + b4 = b1 0 + b2 1 + b3 1 + b4 1 = 0 g b3 0 0 0 1 0 b2 b4 0 0 1 0 0 b3 b4 0 0 0 1 1 1 b 0 1 b 1 2 , b 0 3 b 0 4 1

1 0 0 1 1 0 0 0

0 1 0 1 0 1 0

Ejercicios preparatorios - 25

Soluciones ejercicios. Hoja 3

Algebra

luego la matriz asociada a g es

1 1 1 G = 0 0 0 0

1 0 0 1 1 0 0

0 1 0 1 0 1 0

1 1 0 1 . 0 0 1

Descomponiendo la expresin de la aplicacin lineal h, se obtiene o o c1 c2 b1 c1 + b1 + b2 + b4 h c3 = c2 + b1 + b3 + b4 b2 c3 + b2 + b3 + b4 b3 b4 1 0 1 0 1 0 1 = c1 0 + c2 1 + b1 1 + c3 0 + b2 0 + b3 1 + b4 1 0 0 0 1 1 1 1 c1 c2 1 0 1 0 1 0 1 b1 = 0 1 1 0 0 1 1 c3 , 0 0 0 1 1 1 1 b2 b3 b4 luego la matriz asociada a la aplicacin lineal o 1 0 0 1 H= 0 0 h es 1 0 1 0 1 1 0 0 1 1 . 0 1 1 1 1

o c) La aplicacin g es inyectiva porque si los elementos b, c b1 c1 b2 c2 g = g , b3 c3 b4 c4

Z4 tienen la misma imagen mediante g, 2

c1 + c2 + c4 b1 + b2 + b4 b1 + b3 + b4 c1 + c3 + c4 b1 c1 b1 b2 entonces b2 + b3 + b4 = c2 + c3 + c4 , resultando b3 c2 b2 b4 c3 b3 c4 b4 La aplicacin g no es suprayectiva. o

= c1 = c2 o equivalentemente b = c. = c3 = c4

Ejercicios preparatorios - 26

Soluciones ejercicios. Hoja 3 0 0 0 0 0 = 0 , no hay ningn elemento de Observando que g u 0 0 0 0 0

Algebra 1 b1 b2 0 = cuya imagen sea g b3 0 b4 0 0

Z4 2

porque b1 , b2 , b3 y b4 tendr que valer 0 mientras que b1 + b2 + b4 tendr que valer 1. an a La aplicacin h no es inyectiva porque hay dos elementos distintos cuya imagen mediante h coincide: o 0 1 0 1 0 1 0 0 = h 1 = 0 . h 0 1 0 0 1 0 1 s1 para cualquier elemento s = s2 s3 x1 x2 0 1 x3 s1 1 1 x4 = s2 1 1 x5 s3 x6 x7

La aplicacin lineal h es sobreyectiva porque o de ecuaciones lineales 1 0 1 0 1 0 1 1 0 0 0 0 0 1 1

Z3, el sistema 2

es compatible indeterminado ya que el rango de la matriz de coecientes que est en forma a escalonada es 3 (mximo), coincide con el de la matriz ampliada (que tampoco puede superar 3) a y es menor que el nmero de incgnitas (7), luego existen elementos x 7 tales que h(x) = s. u o 2

d) Aunque en el enunciado no se especique el orden en el G, slo hay una opcin posible: o o 1 1 1 0 1 0 1 0 1 0 1 1 0 HG = 0 1 1 0 0 1 1 0 1 0 0 0 1 1 1 1 0 1 0 0 0 0 Al ser b

que hay que multiplicar las matrices H y 0 1 0 1 0 1 0 1 1 0 0 0 0 0 1 = 0 0 0 0 . 0 0 0 0 0 0 1

0 ( ) 0 e) Como g es inyectiva, Ker(g) = y dim Ker(g) = 0. 0 0

Z4 (h g)( ) = , se deduce que Img(g) Ker(h). b 0 2

Ejercicios preparatorios - 27

Soluciones ejercicios. Hoja 3

Algebra

Z3 y dim ( Img(h)) = 3. 2 La imagen de g es un subespacio vectorial de Z7 y de dimensin 4 porque o 2 ( ) ( ) dim(Z4 ) = dim Ker(g) + dim Img(g) . 2
Como h es suprayectiva, Img(h) =

++ x y + + z x = z + s + u { ( ) } Img(g) = g b : b 4 = + + : , , , Z2 = r 7 : y = z + t + u . 2 2 s r = s + t + u t u El ncleo de h est formado por todos los elementos b 7 cuya imagen mediante h sea el u a 2 ( ) elemento nulo, h b = 0 , x x y y z z x = z + s + u x + z + s + u = 0 Ker(h) = r 7 : y + z + t + u = 0 = r 7 : y = z + t + u . 2 2 s r = s + t + u r + s + t + u = 0 s t t u u

Es evidente que Img(g) = Ker(h). f ) La palabra codicada p es 1 1 0 1 1 = 0 p = g 0 0 1 0 0 1 0 1 1 0 0 0 1 1 = 0 . 0 1 0 1 0 0 1 1

1 0 0 1 1 0 0

0 1 0 1 0 1 0

g) Sea la palabra

0 1 0 q = 0 1 1 1

obtenida al modicar el bit que ocupa la posicin 6 en la palabra p. o 0 0 1 1 0 s1 0 1 0 1 0 1 0 1 0 0 = 0 1 1 0 0 1 1 0 = 1 = s2 . h(q) = h 1 s3 1 0 0 0 1 1 1 1 1 1 1 1 1

Ejercicios preparatorios - 28

Soluciones ejercicios. Hoja 3

Algebra

La expresin s3 22 + s2 21 + s1 20 = 22 + 21 = 6 proporciona la posicin en la que se ha modicado o o la palabra codicada. Si se modican dos o ms bits, este proceso de deteccin de errores no es aplicable. Por ejemplo, a o la imagen de la palabra p modicada en las posiciones 2 y 5 es 0 0 0 1 r1 h 0 = 1 = r2 0 1 r3 0 1 y r3 22 + r2 21 + r1 20 = 22 + 21 + 20 = 7 no proporciona ninguna informacin sobre las posiciones o modicadas.

Ejercicios preparatorios - 29