Matriz generadora y verificadora.

Teorema de codificación de
canales con ruido (o teorema de
Shannon)
Seminario de Solución de Problemas de Métodos
Matemáticos
 Matriz generadora
• La matriz generadora de un (𝑛, 𝑘) código lineal 𝐶 sobre ℤ(, 𝐺, es la matriz
asociada a la aplicación lineal 𝐶 respecto a las bases canónica de ambos
espacios. Es la matriz de 𝑛 filas y 𝑘 columnas de elementos ℤ( , cuyas
columnas son las palabras código correspondientes a los 𝑘 vectores de la

base canónica de ℤ* ( .
 Ejemplo

• La matriz generadora del código control de paridad es:

• La matriz generadora del código de triple repetición es
• La matriz generadora del código de triple paridad es:
• Considera el código lineal binario 𝐶: ℤ,- → ℤ/- definido por
𝐶 𝑢1, 𝑢-, 𝑢2, 𝑢, = 𝑢1 + 𝑢2, 𝑢1, 𝑢-, 𝑢- + 𝑢2, 𝑢- + 𝑢2 + 𝑢,, 𝑢,, 𝑢1 + 𝑢- + 𝑢,
• La matriz generadora da una forma fácil de codificar palabras. Simplemente a cada
palabra 𝑢 ∈ ℤ* 6 , la codificamos como 𝐺𝑢 ∈ ℤ7 6 .

1 1 0
• Ejemplo. Sea 𝐺 = 0 1 1
∈ 𝑀-∗2 ℤ- como las filas son linealmente

independientes, 𝐺 tiene un rango 2 y genera un código binario 𝐿 con parámetros

3, 2 . Como

𝑥1, 𝑥- 1 1 0
= 𝑥1, 𝑥1 + 𝑥-, 𝑥-
0 1 1

codificamos

00 → 000, 01 → 011, 10 → 110, 11 → 101

• Existen entonces 𝑘 coordenadas que guardan la información y 𝑛 − 𝑘 que
son redundantes. La redundancia se utiliza para la detección y corrección de
errores y en los algoritmos de decodificación. En el código anterior vemos
que el mensaje transformado contiene las coordenadas que guardan la
información de los mensajes originales, y que la coordenada restante es
redundante.
• Un 𝑛, 𝑘 − 𝑐𝑜𝑑𝑖𝑔𝑜 𝑞 − 𝑎𝑟𝑖𝑜 es sistemático si existen 𝑘 coordenadas
𝑖1, … , 𝑖* tal que al restringir las palabras código a estas coordenadas se
obtiene todas las 𝑞* palabras de longitud 𝑘.

• El código 𝐶 = 000, 011, 101, 110 es sistemático en las coordenadas 1 y 2.

En realidad es sistemático en cualquier par de coordenadas.
• Si 𝐺 genera 𝐿, entonces toda la matriz reducida por filas de 𝐺 genera el
mismo código, ya que solo cambia la base de 𝐿. Sin embargo, es mucho más
fácil con la matriz escalón reducida por filas de 𝐺. Por ejemplo, la matriz

1 1 0 1
𝐺 = 0 1 1 1
1 0 0 1
• Genera un 4, 3 − 𝑐ó𝑑𝑖𝑔𝑜 𝐿 dado por la transformación lineal

𝑥1, 𝑥-, 𝑥2 = 𝑥1 + 𝑥2, 𝑥1 + 𝑥-, 𝑥-, 𝑥1 + 𝑥- + 𝑥2

• Pero si utilizamos la matriz escalón reducida por filas de 𝐺

1 0 0 1
𝐺 ´ = 0 1 0 0
0 0 1 1
el código está dado de forma más sencilla por

𝑥1 , 𝑥- , 𝑥2 = 𝑥1 , 𝑥- , 𝑥2 , 𝑥1 + 𝑥2

luego, el código es

𝐿 = 0000, 0011, 0100, 0111, 1001, 1010, 1100, 1110

es sistemático en las primeras 3 coordenadas.

• Una matriz generadora se dice en forma estándar si es de la forma 𝐺 = NO
P
donde 𝐼* es la matriz identidad 𝑘×𝑘 y 𝐴 es 𝑘×(𝑛 − 𝑘).

• Si 𝐺 está en forma estándar, entonces 𝐿 es sistemático en las 𝑘 primeras

NO T
coordenadas pues 𝑢𝐺 = 𝑢 P
= TP
.
 Algunos códigos correctores de errores

• Códigos barras (EAN)

• Datos de audio en un CD
 Ejemplo

• Si tenemos las palabras de ℤ-2 y agregamos 3 dígitos de control de paridad

de la siguiente manera: el primero revisa las dos primeras posiciones, el
segundo la primera y la tercera y el último la segunda y la tercera. Es decir,
𝑥1, 𝑥-, 𝑥2 ∈ ℤ-2 tomamos 𝑥1, 𝑥-, 𝑥2, 𝑦1, 𝑦-, 𝑦2 ∈ ℤ-V donde:

𝑥1 + 𝑥- = 𝑦1 𝑥1 + 𝑥2 = 𝑦- 𝑥- + 𝑥2 = 𝑦2
• El código es:
𝐿 = 000 000, 001 011, 010 101, 011 110, 100 110, 101, 101, 110 011, 111 000
Las ecuaciones anteriores son equivalentes al sistema

𝑥1 + 𝑥- +𝑦1 = 0 110100
W𝑥1 + 𝑥2 +𝑦- = 0 cuya matriz es 𝐻 = 1 0 1 0 1 0
𝑥- + 𝑥2 +𝑦2 = 0 011001
• Equivalentemente, 𝐿 es el conjunto de solución, o sea 𝐿 = 𝑥 ∈ ℤ-V: 𝐻𝑥 Y = 0
• Calcula una matriz control de paridad para el 7, 4 código lineal binario 𝐶
cuya matriz generadora es 𝐺