Espacios Vectoriales. **** A Partir de aqui 7-Nov-2013 **** Ejemplo: Sea n=5 el e!pa"io ve"torial "on!i!tente de 32 ve"tore!

( 00000 00001 (((( 11111 )a !uma ve"torial de &10111' * &11001' e! &01110'

V5

de toda! la! 5-tupla! !o#re $%&2'

pertene"e a

V5

0(1 0111)=(0 00 00 ) 1( 101 11)=( 10111 )

(((( +eorema 2(,(- Sea S un !u#"onjunto del e!pa"io vetorial - !o#re un "ampo % enton"e! S e! un !u#e!pa"io de - !i !e !ati!.a"en la! !i/uiente! "ondi"ione!: i) Para "ualquier 2 ve"tore! S(

en S

u v u

e! tam#i0n un ve"tor en en S

ii) Para "ualquier elemento a en % * "ualquier ve"tor pertene"e a S(

au

tam#i0n

Ejemplo: 1el "onjunto V 5 el !u#"onjunto de ve"tore! 2&00000' &00111' &11010' &11101'3 !ati!.a"e am#a! "ondi"ione! &i 4 ii' * por lo tanto e! un 5Su#e!pa"io6 de

V5

00111 711010 11101

11010 711101 00111

00111 711101 11010

jasan@cicese.mx

1/14

http://www.cicese.mx/~jasan

Sea Sea

v 1 , v 2 , ((( , v k
a 1 a 2 , ((( , a k

8 ve"tore! en un e!pa"io ve"torial - !o#re %( 8 e!"alare! del "ampo %( )a !uma !e llama 5"om#ina"i9n lineal6 de

a 1 v 1 a 2 v 2 ((( a k v k v 1 , v 2 , ((( v k
)a !uma ( de

do!

"om#ina"ione!

lineale!

a 1 v 1 a 2 v 2 ((( a k v k b 1 v 1 b 2 v 2 ((( b k v k =( a 1+b1 ) v 1+(((+( a k + bk ) v k v 1 , v 2 , ((( , v k ( v 1 , v 2 , ((( , v k

"om#ina"i9n lineal( +eorema 2(1:(- Sea : e! tam#i0n una e! tam#i0n una "om#ina"i9n lineal de

El produ"to de un e!"alar c en % * una "om#ina"i9n lineal de :

c ( a 1 v 1+a 2 v 2+(((+ a k v k )=( ca 1 ) v 1+(((+( ca k ) v k v 1 , v 2 , ((( , v k

8 ve"tore! en un e!pa"io ve"torial - !o#re

un "ampo %( El "onjunto de toda! la! "om#ina"ione! lineale! de .orma un !u#e!pa"io de -(

v 1 , v 2 , ((( , v k

Ejemplo: ;on!idere el e!pa"io ve"torial V 5 de toda! la! 5-tupla! !o#re $%&2'( )a! "om#ina"ione! lineale! de &00111' * &11101' !on:

0(0 011 1)+ 0( 11101 )=( 00 00 0) 0( 001 11)+ 1(111 01)=(111 01) 1( 00 111)+ 0( 1110 1)=( 0 0111 ) 1( 0 0111 )+ 1( 1110 1)=( 1101 0)
E!ta! .orman el mi!mo !u#e!pa"io del ejemplo anterior(

jasan@cicese.mx

2/14

http://www.cicese.mx/~jasan

<n "onjunto de ve"tore! en un e!pa"io ve"torial - !o#re un "ampo % !e di"e que e! linealmente dependiente !i e=i!ten 8 e!"alare! del "ampo % no todo! "ero tal qe:

v 1 , v 2 , ((( , v k

a 1 a 2 , ((( , a k

a 1 v 1 a 2 v 2 ((( a k v k = 0

Ejemplo: )o! ve"tore!: &10110' &01001' * &11111' !on linealmente dependiente! pue!to que !in em#ar/o lo! ve"tore!: &10110' &01001' * &11011' !on linealmente independiente!( )a! o">o "om#ina"ione! lineale! de lo! tre! ve"tore! !on:

1( 10 1 10 )+1( 01 0 0 1 )+ 1 ( 11 11 1 )=( 0 0 0 0 0 )

0v 1+ 0v 2 +0v 3 =( 00000 ) 0v 1+ 0v 2 +1v 3=(11011) 0v 1+ 1v 2+ 0v 3=( 01001)

0v 1+ 1v 2+ 1v 3=( 10010 ) 1v 1 +0v 2+ 0v 3=(10110 ) 1v 1 +0v 2+ 1v 3=( 01101 ) 1v 1 +1v 2 +0v 3=( 11111 ) 1v 1 +1v 2 +1v 3=( 00100 )
<n "onjunto de ve"tore! !e di"e que !e e=pande a un e!pa"io ve"torial - !i "ada ve"tor en - e! una "om#ina"i9n lineal de lo! ve"tore! en el "onjunto( En "ualquier e!pa"io o !u#e!pa"io ve"torial e=i!te el meno! un "onjunto ? de ve"tore! linealmente independiente! que e=panden el e!pa"io( E!te "onjunto e! llamado #a!e del e!pa"io ve"torial( El n@mero de ve"tore! en una #a!e de un e!pa"io ve"torial !e llama la dimen!i9n del e!pa"io ve"torial( ;on!iderando el e!pa"io ve"torial

Vn

de toda! la! n tupla! !o#re $%&2':

e 0 = 1 0 0 (((0 , 0 e 1 = 0 1 0 (((0 , 0
jasan@cicese.mx 3/14 http://www.cicese.mx/~jasan

(((((

e n 1 =0 0 0 ( ((0 , 1
1onde "ada tupla 0!ima( ;ada n-tupla

ei

tiene !olo un "omponente di.erente de 0 en la po!i"i9n i-

a 0 a1 a 2 , ((( , a n 1

en

Vn

puede !er e=pre!ada "omo una

"om#ina"i9n lineal de

e 0 , e 1 , ((( e n 1

de la !i/uiente manera:

a 0 a 1 a 2 , ((( , a n 1 = a 0 e 0 a 1 e 1 ((( a n 1 e n 1 e 0 , e 1 , ((( e n 1

* por lo tanto !on .orman la #a!e para independiente! en e=panden el e!pa"io ve"torial de toda! la! n-tupla! !o#re $%&2'

e 0 , e 1 , ((( e n 1

linealmente independiente!( En "on!e"uen"ia

V n ( Si 8An v 1 , v 2 , ((( , v k !on 8 ve"tore! linealmente V n toda! la! "om#ina"ione! lineale! de

v 1 , v 2 , ((( , v k

de la .orma:

u =c 1 v 1 c 2 v 2 ((( c k v k
%orman un !u#e!pa"io de 8 dimen!ione! S en "om#ina"ione! di!tinta! de

Vn

( E=i!ten

2k

po!i#le!

v 1 , v 2 , ((( , v k

ve"tore! * e! un !u#e!pa"io 8-dimen!ional de

Vn

por lo tanto S "on!i!te de

2k

jasan@cicese.mx

4/14

http://www.cicese.mx/~jasan

**** A Partir de aqui 10-Nov-2005 **** Sea (

u =u 0 u 1 ( (( u n 1

v = v 0 v 1 ( (( v n 1

do! n-tupla! en

Vn

Se de.ine el produ"to interno &o produ"to punto'

u v = u 0 v 0 u 1 v 1 ((( u n 1 v n 1

&

multipli"a"i9n modulo 2'

uv
Si

: E!"alar en $%&2' B

u v = 0

u y v

!on orto/onale!(

El produ"to interno tiene la! !i/uiente! "ara"terC!ti"a!( i) ii) iii)

u v = v u u v w =u v u w a u v =a u v Vn
* !ea (

Sea S un !u#e!pa"io 8-dimen!ional de

Sd

el "onjunto de ve"tore! en

Vn

tal que para "ualquier ( El "onjunto

u S Sd

v S d

u v = 0
Si

e! llamado el e!pa"io dual o nulo de S(

v y w S d

para "ualquier ve"tor

u S

u v w =u v u w =0 0 = 0
Si

vyw u

!on orto/onale! a por lo tanto

orto/onal a

u la !uma ve"torial v w e! tam#i0n v w S d &ve"tor que pertene"e a S d '(

(

S e! el e!pa"io dual o n@lo de

Sd

jasan@cicese.mx

/14

http://www.cicese.mx/~jasan

+eorema 2(20(- Sea S un e!pa"io 8-dimen!ional del e!pa"io ve"torial $%&2'( )a dimen!i9n del e!pa"io dual &de S'

Vn

Sd

!o#re

e! n-8(

d i m S d i m S d = n
Ejemplo: ;on!idere el e!pa"io ve"torial

V5

!o#re $%&2' del ejemplo 2(11( )o! ,

ve"tore! !i/uiente! .orman un !u#e!pa"io 3-dimen!ional S de

V5

&00000' &11100' &01010' &10001' &10110' &01101' &11011' &00111'( El e!pa"io nulo

Sd

de S "on!i!te de lo! D ve"tore!

&00000' &10101' &01110' &11011' /enerado! o e=pandido! por &10101' 4 &01110' lo! "uEle! !on linealmente independiente! por lo que la dimen!i9n de

S d =2

!..."#$%&'(S)

Cdigos de Bloque.
<n "9di/o de #loque de lon/itud n *
k

2k

pala#ra! de "9di/o !e llama "9di/o lineal

&n 8' !u! 2 pala#ra! de "9di/o .orman un !u#e!pa"io 8-dimen!ional del e!pa"io ve"torial de toda! la! n-tupla! !o#re $%&2' &8An'( <n "9di/o de #loque! e! lineal !i la !uma m9dulo 2 de do! pala#ra! de "9di/o e! tam#i0n una pala#ra de "9di/o( E! po!i#le en"ontrar 8 pala#ra! de "9di/o linealmente independiente!

en ; tal que "ada pala#ra de "9di/o "om#ina"i9n lineal de e!a! 8 pala#ra! de "9di/o(

* 0 , * 1 , ((( * k 1

v '

e! una

v = u 0 * 0 u 1 * 1 ((( u k 1 * k 1
Si

u =u 0 u 1 ( (( u k 1

e! el men!aje para "odi.i"ar la pala#ra de "9di/o:

+/14 http://www.cicese.mx/~jasan

jasan@cicese.mx

v = u , u 0 , u 1 , ((( u k 1 * 0 * 1 ((( , * k 1 = u 0 * 0 u 1 * 1 ((( u k 1 * k 1

$

)o! ren/lone! de 5$6 /eneran &o e=panden' el "9di/o lineal &n 8' por lo que $: FatriG $eneradora de ;( ;ualquier 8 pala#ra! de "9di/o linealmente independiente! de un "9di/o lineal &n 8' pueden !er u!ada! para .ormar la matriG /eneradora de ;(

Fatri"e!: A&m = n' =

a 11 (((( a1n
a m1 (((( a mn

m ren/lone! H n "olumna!

multipli"a"ion: A&m = n'*?&n = p' = ;&m = p'B Se puede multipli"ar !i el I de "olumna! de A&n' e! i/ual al I de ren/lone! de ?&n'
n

' jk = a j. b .k
. =1

B !i

# =a j k # = a k j

jasan@cicese.mx

-/14

http://www.cicese.mx/~jasan

Ejemplo:

g0 g G= 1 = g2 g3
9 #ien:

[ ][
[
1 1 0 0

1 0 1 1

1 1 1 0

0 1 1 1

1 0 0 0

0 1 0 0

0 0 1 0

0 0 0 1

]
pala#ra de "9di/o

1 0 G'= 0 0

0 1 1 0

1 0 1 1

0 1 0 1

0 0 1 0

0 0 0 1

/enera un "9di/o lineal ;&7 D' Si

u =1 1 0 1 e! el men!aje para "odi.i"ar !u v = 1* 0 1* 1 0* 2 1* 3 = ( 1101000 )+( 0110100 )+( 1010001 )=( 0001101)

<na propiedad de!ea#le para un "9di/o de ?loque! lineal e! que ten/a una e!tru"tura !i!temEti"a &8 dC/ito! alterado! * u-8 dC/ito! de paridad'(

[ /a0te de ve0i1. 0edundante ][ pa0te de mensaje ] n k..............................k n d2*it3s

<n "9di/o lineal !i!temEti"o ;&n 8' !e e!pe"i.i"a "ompletamente por una matriG $& 8 = n ' de la !i/uiente .orma:

jasan@cicese.mx

4/14

http://www.cicese.mx/~jasan

P 0,0 P0,1 g0 P 1,0 P1,1 g1 G= = g k 1 P k1,0 Pk 1,1

[ ][

P 0, n k 1 P 1, n k 1 Pk 1, n k 1

1 0 0

0 1 0

0 0 1

]
*

= [ P k ,n k Ik ]
n-8 8

Ejemplo 3(2(- 1ada la matriG $ en .orma !i!temEti"a &!i no e!tE en e!ta .orma puede poner!e !umando ren/lone!' !ea

u =u 0 u 1 u 2 u 3

el

men!aje

v =( v 0 v 1 v 2 v 3 , v D v5 v J)
1 0 v = u0, u1, u2, u3 1 1

la pala#ra "9di/o:

1 1 1 0

0 1 1 1

1 0 0 0

0 1 0 0

0 0 1 0

0 0 0 1

]
, v 5 $ = 0

<!ando multipli"a"i9n matri"ial

v = u 0 u 2 u 3 , u 0 u 1 u 2 , u 1 u 2 u 3 , u 0 ,u 1 , u 2 ,u 3
Para "ualquier matriG $&8 = n' "on 8 ren/lone! linealmente independiente! e=i!te una matriG K de & n-8 ' = n elemento! "on n-8 ren/lone! linealmente independiente! tal que "ualquier ve"tor-ren/l9n en $ e! orto/onal a lo! re/lone! en K * "ualquier ve"tor que e! orto/onal a lo! ren/lone! de K e!tE en el e!pa"io de ren/lone! de $( <na n-tupla

e! una pala#ra "9di/o /enerada por

K: 5FatriG veri.i"adora de paridad de $6 la!

2n k

"om#ina"ione! lineale! de ren/lone! de K

6/14

.orman un "9di/o lineal

http://www.cicese.mx/~jasan

jasan@cicese.mx

' d n , n k
Por tanto

'd

e! el e!pa"io nulo de ; &/enerado por $'(

v ' y w ' d n k

v w =0 k
P0,0 P1,0 P0,1 P1,1 P0, n k 1 P1, n k 1 Pk 1,0 Pk 1,1 Pk 1, n k 1

1 0 T H = In kP = 0

0 1 0

0 0 0

0 0 1

'd

e! llamado el "9di/o dual de ;(

,5 $ =0
Ejemplo 3(3 ;on!idere el "9di/o lineal &7 D' /enerado por

1 0 G= 1 1

1 1 1 0

0 1 1 1

1 0 0 0

0 1 0 0

0 0 1 0

0 0 =[ P k , n kI k ] 0 1

jasan@cicese.mx

17/14

http://www.cicese.mx/~jasan

1 0 0 1 0 0 1 0 1 1 T H= 0 1 0 1 1 1 0 B H = 1 0 0 0 1 0 1 1 1 1 1

[ ]
0 1 0 1 1 1 0

0 0 1 I 0 = n k P k , n k 1 1 1

[ ]
(

Por lo tanto para "ualquier "9di/o de #loque lineal ;&n 8' e=i!te una matriG L8 = nM "u*o e!pa"io de ren/lone! propor"iona ;( Adema! e=i!te una matriG KLn-8 = nM tal que un "9di/o

&n-tupla' e! un "9di/o de

' v 5 $ =0

jasan@cicese.mx

11/14

http://www.cicese.mx/~jasan

;ir"uito "odi.i"ador(

/ 00 / 10 . . . / k 1 0

/ 01 / 11 ((( / k 1 1

/ 0 n k 1 / 1 nk 1 ((( / k 1 n k 1

jasan@cicese.mx

12/14

http://www.cicese.mx/~jasan

Para el "9di/o ;&7 D' en .orma !i!temEti"a el "ir"uito /enerador e!:

Sndrome y deteccin de errores. ;on!idere ;&n 8' "9di/o lineal "on matriG /eneradora veri.i"a"ion de paridad Sea

, / k , & n k

5 ( & n k , / )

* matriG de

v = v 0 ( (( v n 1

pala#ra! "9di/o tran!mitida! !o#re un "anal ruido!o

0 = 0 0 ( (( 0 n 1
al ruido en el "anal( -e"tor de error: por lo que

ve"tor re"i#ido a la !alida del "anal * puede !er

de#ido

e = 0 v =e 0 , ((( e n 1 e i = 1 para todo 0i v i 0 =v e &El re"eptor no "ono"e v , tamp3c3 e '( 0

"ontiene errore! de t=(

Al re"i#ir 5 0 6 el de"odi.i"ador de#e determinar !i Si dete"ta la pre!en"ia de errore! el de"odi.i"ador puede:

lo"aliGar lo! errore! * "orre/irlo! &%E;'( pedir una retran!mi!i9n de

&ANO'(

Al re"i#ir

el de"odi.i"ador "al"ula la &n-8'-tupla:

5SCndrome6:

s = 0 5 =s 0 , s 1 , ((( , s n k 1
13/14 http://www.cicese.mx/~jasan

jasan@cicese.mx

por lo que !i !i

s 0

s = 0 5 0 6 e! una pala#ra de "9di/o &!in error'( 0 6 no e! una pala#ra de "9di/o &>a* error'( s =0
* a@n a!C >a*a errore! P errore! no dete"ta#le!(

E! po!i#le que

e=

pala#ra de "9di/o &ma! de un error en /eneral' por lo que lo! 5Patrone! de

error no-dete"ta#le!6 impli"an 5Error de de"odi.i"a"i9n6 e=i!ten de error indete"ta#le! &"on pAA'(

2 k 1

patrone!

jasan@cicese.mx

14/14

http://www.cicese.mx/~jasan