[matemáticas] W = \ {(x_1, x_2, x_3) ^ T: 3x_1 + \ frac {1} {4} x_2 = 0 \} [/ matemáticas]. ¿Es W un subespacio de [math] \ mathbb {R} ^ 3 [/ math]?

W es un subconjunto de [matemáticas] \\ R ^ {3} [/ matemáticas]. Sabemos que [math] \\ R ^ {3} [/ math] es un espacio vectorial bajo las definiciones estándar de suma y multiplicación escalar. Por lo tanto, podemos usar el teorema que mencionó para demostrar que W es un subespacio de [math] \\ R ^ {3} [/ math]. Es decir, debemos mostrar que (1) W contiene el vector cero (es decir, w = (0,0,0) [matemático] \ en [/ matemático] W), (2) W está cerrado por adición, y (3) W está cerrado bajo multiplicación escalar.

Probamos (1), (2), (3) de la siguiente manera:

  1. Observe que w = (0,0,0) satisface la propiedad 3 (0) + 1/4 (0) = 0. Por lo tanto, W contiene el vector cero.
  2. Supongamos que un vector x = (x1, x2, x3) [matemática] \ en [/ matemática] W e y = (y1, y2, y3) [matemática] \ en [/ matemática] W. Desde x [matemática] \ in [/ math] W e y [math] \ en [/ math] W, esto implica que 3 × 1 + (1/4) x2 = 0 y 3y1 + (1/4) y2 = 0. Si sumamos esos dos ecuaciones (marque esto si es necesario) obtenemos 3 (x1 + y1) + (1/4) (x2 + y2) = 0. Esto implica el vector x + y = (x1 + y1, x2 + y2, x3 + y3) [math] \ in [/ math] W ya que satisface la propiedad que define el conjunto W. Por lo tanto, W se cierra por adición.
  3. Supongamos que [math] \ in [/ math] [math] \ R [/ math] y x = (x1, x2, x3) [math] \ in [/ math] W. Dado que x [math] \ in [/ matemática] W, esto implica que 3 × 1 + (1/4) x2 = 0. Si multiplicamos esta ecuación por el escalar a obtenemos 3 ( a x1) + (1/4) ( a x2) = 0. Esto implica el vector a x = ( a x1, a x2, a x3) ​​[matemática] \ en [/ matemática] W ya que satisface la propiedad que define el conjunto W. Por lo tanto, W se cierra bajo multiplicación escalar.

Por el teorema & (1), (2) y (3) anteriores, concluimos que W es un subespacio de [math] \\ R ^ {3}. [/ Math]

¿Satisface (0,0,0)? 3 (0) + 1/4 (0) = 0, verificar

Si (a, b, c) y (d, e, f) satisfacen, ¿cumple (a + d, b + e, c + f)? 3 (a + d) + 1/4 (b + e) ​​=

(3a + 1/4 b) + (3d + 1/4 e) = 0 + 0, verifique

Si (a, b, c) satisface, ¿cumple (ka, kb, kc)?