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.

708 CAPÍTULO 4<br />

19. a) Suponga que (x 1<br />

, y 1<br />

, z 1<br />

, w 1<br />

) y (x 2<br />

, y 2<br />

, z 2<br />

,<br />

w 2<br />

) están en H. Entonces, a(x 1<br />

1 x 2<br />

) 1<br />

b(y 1<br />

1 y 2<br />

) 1 c(z 1<br />

1 z 2<br />

) 1 d(w 1<br />

1 w 2<br />

)<br />

5 ax 1<br />

1 by 1<br />

1 cz 1<br />

1 dw 1<br />

1 ax 2<br />

1 by 2<br />

1 cz 2<br />

1 dw 2<br />

5 0 y a(αx 1<br />

) 1 b(αy 1<br />

) 1<br />

c(αz 1<br />

) 1 d(αw 1<br />

) 5 α(ax 1<br />

1 by 1<br />

1 cz 1<br />

1<br />

dw 1<br />

) 5 0.<br />

Por tanto, H es un subespacio de R 4 .<br />

b) Dado que abcd ≠ 0, a es diferente de<br />

cero. Entonces,<br />

21.<br />

⎛ x ⎞ ⎛2( by 1cz 1dw)/<br />

a⎞<br />

⎜<br />

⎜<br />

y<br />

⎟ ⎜<br />

⎟<br />

y<br />

⎟<br />

5 ⎜<br />

⎟ 5<br />

⎜ z ⎟ ⎜<br />

z ⎟<br />

⎜ ⎟ ⎜<br />

⎟<br />

⎝ w⎠<br />

⎝<br />

w⎠<br />

⎛2b/ a⎞<br />

⎛2c/<br />

a⎞<br />

⎛2d<br />

/ a⎞<br />

⎜<br />

⎟ ⎜<br />

⎟<br />

⎜<br />

1<br />

y<br />

⎟ 1 z ⎜<br />

0<br />

⎜<br />

⎟ ⎜<br />

0<br />

⎟<br />

1 w<br />

⎟ .<br />

⎜ 0⎟<br />

⎜ 1⎟<br />

⎜ 0⎟<br />

⎜<br />

⎟ ⎜<br />

⎟ ⎜<br />

⎟<br />

⎝ 0⎠<br />

⎝ 0⎠<br />

⎝ 1⎠<br />

Por tanto, una base para H es<br />

⎧⎛2b/<br />

a⎞<br />

⎛2c/<br />

a⎞<br />

⎛2d / a⎞<br />

⎫<br />

⎜<br />

⎟<br />

⎜<br />

1<br />

⎜<br />

⎟<br />

0<br />

⎟ ⎜<br />

0<br />

⎟<br />

⎪<br />

, ⎜<br />

⎟ , ⎜<br />

⎟<br />

⎪<br />

⎨<br />

⎬.<br />

⎪⎜<br />

0⎟<br />

⎜ 1⎟<br />

⎜ 0⎟<br />

⎪<br />

⎪⎜<br />

⎟ ⎜<br />

⎟ ⎜<br />

⎟<br />

⎩⎝<br />

0⎠<br />

⎝ 0⎠<br />

⎝ 1⎠<br />

⎪<br />

⎭<br />

c) dim H 5 3<br />

⎛ x ⎞ ⎛<br />

x ⎞<br />

1<br />

1<br />

⎛1⎞<br />

⎜ ⎟ ⎜<br />

⎟<br />

x<br />

x<br />

⎜<br />

⎜ 2⎟<br />

2 0<br />

⎟<br />

⎜<br />

⎟ ⎜ ⎟<br />

⎜ x ⎟ 5 ⎜<br />

x ⎟ 5x<br />

⎜0⎟<br />

1<br />

3<br />

3 1<br />

⎜ ⎟ ⎜<br />

⎟ ⎜ ⎟<br />

⎜x<br />

⎟ ⎜<br />

x ⎟ 0<br />

4<br />

4<br />

⎜ ⎟<br />

⎜ ⎟ ⎜<br />

⎟<br />

⎝ x ⎠ ⎝2x 23x 1x<br />

14x<br />

⎠ ⎝<br />

⎜2<br />

⎠<br />

⎟<br />

5<br />

1 2 3<br />

⎛ 0⎞<br />

⎛0⎞<br />

⎛0⎞<br />

⎜<br />

1<br />

⎟ ⎜<br />

0<br />

⎟ ⎜<br />

0<br />

⎟<br />

⎜ ⎟ ⎜ ⎟ ⎜ ⎟<br />

x 2<br />

⎜ 0⎟<br />

1x ⎜1⎟<br />

1x 3<br />

4<br />

⎜0⎟<br />

⎜ ⎟ ⎜ ⎟ ⎜ ⎟<br />

⎜ 0⎟<br />

⎜0⎟<br />

⎜1⎟<br />

⎝<br />

⎜23<br />

⎠<br />

⎟<br />

⎝<br />

⎜1<br />

⎠<br />

⎟<br />

⎝<br />

⎜4<br />

⎠<br />

⎟<br />

Por tanto, los vectores<br />

⎛1⎞<br />

⎛ 0⎞<br />

⎛0⎞<br />

⎛0⎞<br />

⎜<br />

0<br />

⎟ ⎜<br />

1<br />

⎟ ⎜<br />

0<br />

⎟ ⎜<br />

0<br />

⎟<br />

⎜ ⎟ ⎜ ⎟ ⎜ ⎟ ⎜ ⎟<br />

⎜0⎟<br />

, ⎜ 0⎟<br />

, ⎜1⎟<br />

y ⎜0⎟<br />

⎜ ⎟ ⎜ ⎟ ⎜ ⎟ ⎜ ⎟<br />

⎜0⎟<br />

⎜ 0⎟<br />

⎜0⎟<br />

⎜1⎟<br />

⎝<br />

⎜2<br />

⎠<br />

⎟<br />

⎝<br />

⎜23<br />

⎠<br />

⎟<br />

⎝<br />

⎜1<br />

⎠<br />

⎟<br />

⎝<br />

⎜4<br />

⎠<br />

⎟<br />

forman una base para H.<br />

4<br />

⎛ 1 22<br />

| 0 ⎞ 1 0<br />

23. ⎜<br />

⎟ → ⎛<br />

⎝ 3 1 0 ⎠ ⎝ ⎜<br />

|<br />

| 0 1 |<br />

25.<br />

0 ⎞<br />

⎟ .<br />

0 ⎠<br />

La solución es el subespacio trivial.<br />

⎧⎛22⎞<br />

⎫<br />

⎪⎜<br />

23<br />

⎟ ⎪<br />

⎨<br />

⎬<br />

⎪<br />

⎝<br />

⎜ 1⎠<br />

⎟ ⎪<br />

⎩ ⎭<br />

27. El espacio solución es el trivial.<br />

⎧⎛<br />

1 0 0⎞<br />

⎛ 0 0 0⎞<br />

⎛ 0 0 0⎞<br />

⎫<br />

⎪<br />

29.<br />

⎜<br />

0 0 0<br />

⎟<br />

, ⎜<br />

0 1 0<br />

⎟<br />

, ⎜<br />

0 0 0<br />

⎟ ⎪<br />

⎨<br />

⎬;<br />

⎪<br />

⎝<br />

⎜ 0 0 0⎠<br />

⎟<br />

⎝<br />

⎜ 0 0 0⎠<br />

⎟<br />

⎝<br />

⎜ 0 0 1⎠<br />

⎟ ⎪<br />

⎩<br />

⎭<br />

genera a D 53.<br />

3<br />

31. Sean A H S nn<br />

y B H S nn<br />

. Entonces, A 1<br />

B 5 A t 1 B t 5 (A 1 B) t . Por lo tanto, A<br />

1 B H S nn<br />

. Además, αA 5 αA t 5 (αA) t .<br />

Así que αA ∈ S nn<br />

. En virtud del teorema<br />

4.3.1, S nn<br />

es un subespacio de M nn<br />

. Para i<br />

# j, sea b ij<br />

la matriz n 3 n con b ij<br />

5 b ji<br />

5 1<br />

y 0 en cualquier lado. Observe que ambas<br />

B ij<br />

son simétricas y linealmente independientes,<br />

y cada matriz simétrica se puede<br />

escribir como una combinación lineal de<br />

B ij<br />

. Por tanto, {B ij<br />

: 1 # i # j # n} es una<br />

base para S nn<br />

y gen S nn<br />

5 n 1 (n 2 1) 1<br />

(n 2 2) 1 . . . 1 2 1 1 5 ∑ n<br />

nn ( 11)<br />

k 5<br />

k51<br />

2<br />

.<br />

33. En virtud del problema 4.5.55, son linealmente<br />

independientes. En virtud del teorema<br />

5, constituyen una base para V.<br />

35. Suponga que existe v ∈ K tal que v F H.<br />

Sea {u 1<br />

, u 2<br />

, . . . , u n<br />

} una base para H. Entonces,<br />

{u 1<br />

, u 2<br />

, . . . , u n<br />

, v} es un conjunto<br />

linealmente independiente contenido en<br />

K. Esto implica que dim K $ n 1 1 . n 5<br />

dim H, lo cual es una contradicción. Por<br />

lo tanto H 5 K.<br />

37. Si H 5 V, entonces K 5 {0}. Si H 5 {0},<br />

entonces K 5 V. Suponga que H es un<br />

subespacio propio. Sea {v 1<br />

, v 2<br />

, . . . , v k<br />

}<br />

una base para H y sea dim V 5 n. En<br />

virtud del problema 32, existen vectores<br />

{v k 11<br />

, v k 12<br />

, . . . , v n<br />

}, tal que {v 1<br />

, v 2<br />

, . . . ,<br />

v n<br />

} es una base para V. Sea k 5 gen {v k 11<br />

,<br />

v k 12<br />

, ..., v n<br />

. Resulta evidente que H 1 K<br />

5 V. Suponga que v ∈ H ∩ K. Entonces,

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

Saved successfully!

Ooh no, something went wrong!