Espacios vectoriales

Definicin: un espacio vectorial V es un objeto compuesto que consta de un cuerpo F , de un

conjunto de vectores , , , etc y de dos operaciones suma y multiplicacin vectorial con
ciertas propiedades, tener en cuenta que:

V a / a V
V a / a V

1) suma de vectores:

Teorema: sea , un par de vectores que pertenecen a un espacio vectorial V sobre un

cuerpo F definimos que tambin pertenecen a V como suma de vectores de V . de
modo que cumplan las siguientes propiedades:

a)
b) ( ) ( )

c) 0

d) ( ) 0

2) multiplicacin escalar:

Teorema: sea c un escalar de F y sea un vector de V definimos multiplicacin escalar a un

vector c. V que cumple las siguientes propiedades:

e) 1

f) (c1.c2 ) c1 (c2 . )

g) c( ) c c

h) (c1 c2 ) c1 c2
 Teorema: Sea , V entonces V

1.-Demostracin: (mtodo progresivo regresivo)

H1: V

H2: es un vector de V .

H3: [ xi ],1 i n ,donde cada n-tuple V

De igual manera

H4: [ yi ],1 i n ,donde cada n-tuple V

H5: [( x1, x 2,..., xn) ( y1, y 2,..., yn)]

H6: [ xi yi ] [ x1 y1, x 2 y 2,..., xn yn]

T2=H8: xi yi V

T1: V

Teorema: sea c F un escalar y sea V un vector entonces c. V

2.-Demostracin: (mtodo- regresivo)

T1: c. V

T2: c[ x1, x 2,.., xn],V

T3: c. [cx1, cx 2,..., cxn]

T4: [ xi ],1 i n ,donde cada n-tuple V

T5: es un vector de V .

T6= H1= V
3.- Si V entonces (c1.c2 ) c2 .(c1. )

Demostracin (mtodo progresivo)

H1 : Sea c1 F y es un escalar

H 2 : Sea c2 F y es un escalar

H 3 : V

H 4 : [ai ] a i n donde cada n-tupla V

H5 : (c1c2 ) [c1.c2 .a1 , c1.c2 . 2 ,..., c1.c2 .an ]

H6 : [c2 .c1.a1 , c2 .c1. 2 ,..., c2 .c1.an ] Por prop. Conmutativa

H7 : [c2 (c1.a1 ), c2 .(c1. 2 ),..., c2 .(c1.an )]

Factorizamos c2 y tenemos

H8 : c1.c2 . c2 [c1.a2 , c 1.a2 ,..., c1.an ]

T1 : (c1.c2 ) c2 (c1. ) Queda demostrado.

4.- si V entonces 1

Demostracin (mtodo por contradiccin)

H1 : 1

H 2 : 1 es neutro multiplicativo de

H 3 : Es decir 1. .1

H4 : F

H 5 : V

T1 : V Contradiccin

V Queda demostrado.
5.- sea , V y sea c F entonces c( ) c c

Demostracin: (Mtodo contrapositivo)

H1 : c( ) c c

H 2 : c( ) V Entonces

H 3 : c F ai , b j / ai b j V

H 4 : Pero c F por lo tanto

H 5 : ai b j V , a Es un elemento de y b es un elemento de

T3 : a / a V V

T2 : b / b V V

T1 : , V Queda demostrado.

6.- si V entonces ( ) 0

Demostracin: (mtodo por seleccin)

H1 : V

H 2 : [ai ],1 i n

H 3 : V a / a V

H 4 : Por otro lado se debe demostrar que ( ) 0

Entonces reemplazamos H 2 en H 4

H 5 : [ai ] ([ai ])

H 6 : [a1 , a2 ,..., an ] ([a1 , a2 ,..., an ])

T3 : [a1 (a1 ), a2 (a2 ),..., an (an )]

T2 : [0, 0,..., 0] Por propiedad del inverso aditivo

T1 : Pero [0, 0,..., 0] 0

( ) 0 Queda demostrado.
7.-sea V y c1 , c2 son escalares que pertenecen a F entonces (c1 c2 ) c1 c2

Demostracin: (mtodo por construccin)

H1 : V

H 2 : [ai ],1 i n

H3 : V a / a V y a ese elemento lo llamaremos a '

H 4 : Entonces [a1 , a2 ,..., a ',..., an ]

H 5 : Por otro lado (c1 c2 ) (c1 c2 )(a1 , a2 ,..., a ',..., an )

H 6 : (c1 c2 ) ((c1 c2 )(a1 ),(c1 c2 )(a2 ),...,(c1 c2 )(a '),...,(c1 c2 )(an ))

H 7 : (c1 c2 ) ((c1a1 c2 a1 ),(c1a2 c2 a2 ),...,(c1a ' c2a '),...,(c1an c2an )

H8 : (c1 c2 ) ((c1a1 , c1a2 ,..., c1a ',..., c1an ) (c2a1 , c2a2 ,..., c2a ',..., c2an ))

Pero c1a ' y c2 a ' no estn incluidos en V por lo que :

T2 H 9 : c1 [c1a1 , c1a2 ,..., c1a ',..., c1an ] y c2 [c2 a1 , c2 a2 ,..., c2 a ',..., c2 an ]

T1 : (c1 c2 ) c1 c2 Queda demostrado.

7.- si V entonces ( ) 0

Demostracin por unicidad

Dados un , V y cumplen que ( ) 0 entonces

H1 : Dado un vector que pertenece a un espacio vectorial entonces.

H 2 : [ai ] 0i n

H 3 : [bi ] 0i n
H 4 : ( ) [a1 b1 , a2 b2 ,..., an bn ] 0

Pero

H 5 : 0 [0, 0,.., 0] Entonces por comparacin

a1 b1 0 y a2 b2 0 an bn 0
H 6 : De donde concluimos que

a1 b1 , a2 b2 y an bn por lo tanto

Queda demostrado.

8.- Sea V entonces se debe demostrar que (c1 c2 ) c1 c2 (mtodo por induccin)

Para moldear nuestro problema al mtodo por induccin entonces tomaremos a

Como n entonces (c1 c2 ) n c1 n c2 n lo que se debe demostrar es que si esto

cumple para n casos entonces debe cumplirse tambin para n 1. Entonces definimos lo
siguiente:

Si (c1 c2 ) n c1 n c2 n (c c )
1 2 n 1 c1 n1 c2 n1 demostremos:

H1 : n1 [a1 , a2 ,..., an , an1 ]

H 2 : (c1 c2 ) n1 [(c1 c2 )a1 ,(c1 c2 )a2 ,...,(c1 c2 )an ,(c1 c2 )an 1 ]

H 3 : Pero sabemos que

[(c1 c2 )a1 ,(c1 c2 )a2 ,...,(c1 c2 )an ,0] [0,0,..,0,(c1 c2 )an1 ] donde cada vector

est compuesto por n 1 elementos.

H 3 : Pero por hiptesis sabemos que

[c1 n c2 n ] [0,0,..,0,(c1 c2 )an1 ] = c1 n 1 c2 n 1 queda demostrado.