18.11.2015 Views

lgebra Lineal;Stanley I. Grossman

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

Resumen 449<br />

T es totalmente ordenado, de manera que uno de los conjuntos A i<br />

contiene a todos<br />

los demás (vea el problema 3); denominados A k<br />

a este conjunto (se puede llegar a<br />

esta conclusión sólo porque {A 1<br />

, A 2<br />

, . . . , A n<br />

} es finito). Así, A i<br />

8 A k<br />

para i 5 1,<br />

2, . . . , n y v 1<br />

, v 2<br />

, . . . , v n<br />

P A k<br />

. Como A k<br />

es linealmente independiente y i<br />

v 0, i<br />

se<br />

i1<br />

deduce que a 1<br />

5 a 2<br />

5 . . . 5 a n<br />

5 0. Entonces M(T) es linealmente independiente.<br />

v. S es no vacío porque [ P S ([ denota el conjunto vacío). Se ha demostrado que<br />

toda cadena T en S tiene una cota superior, M(T), que está en S. Por el lema de<br />

Zorn, S tiene un elemento maximal. Pero S consiste en todos los subconjuntos<br />

linealmente independientes de V. El elemento maximal B P S es, por lo tanto, un<br />

subconjunto linealmente independiente maximal de V. Entonces, por el teorema 1,<br />

B es una base para V.<br />

n<br />

<br />

Problemas 4.12<br />

1. Demuestre que todo conjunto linealmente independiente en un espacio vectorial V se puede<br />

expandir a una base.<br />

2. Demuestre que todo conjunto generador en un espacio vectorial V tiene un subconjunto<br />

que es una base.<br />

3. Sean A 1<br />

, A 2<br />

, . . . , A n<br />

, n conjuntos en una cadena T. Demuestre que uno de los conjuntos<br />

contiene a todos los demás [sugerencia: como T es una cadena, A 1<br />

8 A 2<br />

o bien A 2<br />

8 A 1<br />

.<br />

Entonces el resultado es cierto si n 5 2. Complete la prueba por inducción matemática].<br />

RESUMEN<br />

<br />

espacio vectorial real V es un conjunto de objetos, denominados vectores, junto con dos<br />

operaciones denominadas suma (denotada por x 1 y) y multiplicación por un escalar (denotada<br />

por αx) que satisfacen los siguientes axiomas: (p. 281)<br />

viii. Si x P V y y P V, entonces x 1 y P V<br />

viii. Para todo x, y y z en V, (x 1 y) 1 z 5 x 1 (y 1 z)<br />

(cerradura bajo la suma).<br />

viii. Existe un vector 0 P V tal que para todo x P V, x 1 0 5 0 1 x 5 x<br />

cero o idéntico aditivo).<br />

viiv. Si x P V, existe un vector 2x en V tal que x 1 (2x) 5 0<br />

iii v. Si x y y están en V, entonces x 1 y 5 y 1 x<br />

iivi. Si x P V y a es un escalar, entonces ax P V<br />

escalar).<br />

(ley asociativa de la suma de vectores).<br />

(el 0 se llama vector<br />

(2x se llama inverso aditivo de x).<br />

(ley conmutativa de la suma de vectores).<br />

(primera ley dis-<br />

ivii. Si x y y están en V y a es un escalar, entonces a(x 1 y) 5 ax 1 ay<br />

tributiva).<br />

viii. Si x P V y a y b son escalares, entonces (a 1 b)x 5 ax 1 bx<br />

(ley asociativa de la multiplica-<br />

i ix. Si x P V y a y b son escalares, entonces a(bx) 5 (abx)<br />

ción por escalares).<br />

ii x. Para cada x P V, 1x 5 x<br />

(cerradura bajo la multiplicación por un<br />

(segunda ley distributiva).

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!