Archivo de la etiqueta: sumas directas

Álgebra Lineal I: Suma y suma directa de subespacios

Por Ayax Calderón

Introducción

En esta entrada nos apoyaremos fuertemente en las nociones de espacios y subespacios vectoriales que estudiamos en entradas anteriores. Lo primero que haremos es hablar de cómo podemos sumar subespacios. Esta es una operación distinta a la suma del espacio vectorial, pues sucede en términos de subconjuntos. Luego, veremos cómo mediante una elección cuidadosa de subespacios, podemos expresar a un espacio vectorial en términos de ĺa suma de subespacios más sencillos. A una descomposición de este tipo le llamamos suma directa. Estudiaremos también algunas de sus propiedades.

Suma de subespacios

En esta sección hablamos de cómo sumar subespacios de un espacio vectorial. Para entender la intución, pensemos primero en el caso de dos subespacios $W_1$ y $W_2$ de un espacio vectorial. Queremos definir un conjunto $W_1+W_2$. Para hacer esto, lo que haremos es sumar cada elemento de $W_1$ con cada elemento de $W_2$.

Ejemplo. Si estamos en el espacio vectorial $\mathbb{R}^3$, podemos considerar los siguientes dos subespacios:
\begin{align*}
W_1&= \{(a,0,0): a\in \mathbb{R}\}\\
W_2&=\{(0,b,0): b \in \mathbb{R}\}.
\end{align*}

Para encontrar el conjunto $W_1+W_2$, lo que haremos es sumar a cada elemento de $W_1$ con cada elemento de $W_2$, considerando todas las posiblidades. En general, tenemos que una de estas sumas es de la forma $$(a,0,0)+(0,b,0)=(a,b,0).$$ Así, concluimos que $$W_1+W_2=\{(a,b,0): a,b \in \mathbb{R}\}.$$

$\square$

Para más subespacios la intución es similar. A continuación damos la definición formal para la suma de una cantidad finita de subespacios.

Definición. Sea $n$ un entero positivo y $W_1, W_2, \dots , W_n$ subespacios de un espacio vectorial $V$. Su suma $$W_1+ W_2+ \dots + W_n$$ es el subconjunto de $V$ que consiste de todos los vectores de la forma $$w_1+w_2+\dots + w_n$$ con $w_i \in W_i$ para todo $1\leq i \leq n$.

La definición anterior sólo habla de cómo sumar una cantidad finita de subespacios. También se puede dar una definición para una familia arbitraria $(W_i)_{i\in I}$ de subespacios de $V$, pero tenemos que ser más cuidadosos para que la teoría posterior funcione bien. Lo que se hace es considerar todas las sumas «con una cantidad finita de términos». Esto lo decimos de manera formal como sigue. El conjunto $\displaystyle\sum_{i\in I}W_i$ consiste de todas las sumas $\displaystyle\sum_{i\in I}w_i$ con $w_i\in W_i$ para todo $i \in I$ y todos los vectores $w_i$ salvo una cantidad finita son iguales a cero. Esto ayuda a dar una definición incluso si $I$ es finito.

La mayor parte de los resultados que demostraremos para la suma de una cantidad finita de subespacios también se vale para la suma de una cantidad infinita. Por simplicidad, usualmente nos enfocaremos en el caso finito, pero te recomendamos pensar en cómo serían los argumentos para el caso infinito.

La suma de subespacios es subespacio

El siguiente resultado dice que «la suma de subespacios es subespacio».

Proposición. Si $W_1, W_2, \dots , W_n$ son subespacios de un espacio vectorial $V$, entonces $W_1 + W_2 + \dots + W_n$ es un subespacio de $V$.

Demostración. Para facilitar la escritura denotaremos $S=W_1+ W_2 + \dots + W_n$. Sean $s,s’\in S$ y $c$ un escalar. Por una equivalencia de subespacios, basta demostrar que $s+cs’\in S$.

Por definición de $S$, existen $w_1,\dots, w_n, w_1′,\dots , w_n’ $ con $w_i, w_i’\in W_i$ para $1\leq i \leq n$, tales que
\begin{align*}
s&=w_1+ w_2+ \dots + w_n\\ s’&=w_1’+ w_2’+ \dots + w_n’.
\end{align*}
Entonces
\begin{align*}
s+cs’&=w_1+w_2+\dots + w_n + c(w_1’+w_2’+\dots + w_n’)\\
&=w_1+w_2+\dots + w_n + cw_1’+cw_2’+\dots + cw_n’\\
&=(w_1 +cw_1′)+ \dots + (w_n+cw_n’).
\end{align*}
Como $W_i$ es un subespacio de $V$ y $w_i,w_i’$ son elementos de $W_i$, entonces $(w_i+cw_i’)\in W_i$ para cada $1\leq i \leq n$. Así, la expresión que encontramos es la suma de un vector en $W_1$, uno en $W_2$, … , uno en $W_n$ y por lo tant $s+cs’\in S$. Esto muestra lo que queríamos y así $S$ es subespacio de $V$.

$\square$

De hecho la suma de subespacios $W_1+\ldots+W_n$ no sólo es un subespacio de $V$, sino que además es especial, en el sentido de que es el subespacio «más chiquito» de $V$ que contiene a cada subespacio $W_1,\ldots,W_n$. El siguiente problema enuncia esto de manera formal.

Problema. Sean $W_1,\ldots,W_n$ subespacios de un espacio vectorial $V$. Sea $S=W_1+W_2+ \dots + W_n$. Demuestra que:

  • Para cada $i=1,\ldots,n$, se tiene que $W_i\subseteq S$.
  • Si se tiene un subespacio $W$ tal que para cada $i=1,\ldots,n$ se tiene que $W_i\subseteq W$ entonces $S\subseteq W$

Demostración.

  • En vista de que cada vector $w_i\in W_i$ puede ser escrito como $0+0+\dots + 0 + w_i +0+\dots +0$ y $0 \in \displaystyle\bigcap_{i=1}^n W_i$, entonces $W_i \subset W_1+ \dots +W_n$ para todo $1\leq i \leq n$.
  • Sea $W$ un subespacio de $V$ tal que $W$ contiene a los subespacios $W_1, \dots W_n$. Mostremos que $W$ contiene a la suma $S$. Sea $v\in S = W_1 +\dots + W_n$. Por definición, $v=w_1+\dots + w_n$ para algunos $w_i\in W_i$. Como $W$ contiene a los subespacios $W_1, \dots W_n$, entonces $w_1, \dots w_n\in W$. Como $W$ es cerrado bajo sumas (por ser subespacio) entonces $w_1+\dots + w_n\in W$ y así $W_1 + \dots +W_n \subset W$.

$\square$

Subespacios en posición de suma directa

Ya definimos qué es la suma de subespacios. Ahora queremos definir qué es la suma directa. En realidad, la suma directa es simplemente una suma de subespacios en la que los subespacios son especiales en un sentido muy específico. Comenzamos dando esta definición. Es un concepto muy importante que nos será útil varias veces en el curso.

Definición. Sean $W_1, W_2, \dots , W_n$ subespacios de un espacio vectorial $V$. Decimos que $W_1,W_2,\dots, W_n$ están en posición de suma directa si la única forma de obtener la igualdad
\begin{align*}
w_1+w_2+\dots+w_n=0
\end{align*}
con $w_i\in W_i$ para todo $1\leq i \leq n$, es cuando
\begin{align*}
w_1=w_2=\dots =w_n =0.
\end{align*}

Ejemplo. Consideremos el espacio vectorial de polinomios en $\mathbb{R}_2[x]$, es decir, aquellos de la forma $ax^2+bx+c$ con $a,b,c$ reales. Consideremos los siguientes subespacios de $\mathbb{R}_2[x]$:

\begin{align*}
W_1&=\{ax^2: a \in \mathbb{R}\}\\
W_2&=\{bx: b \in \mathbb{R}\}\\
W_3&=\mathbb{R}=\{c: c \in \mathbb{R}\}\\
W_4&=\mathbb{R}_1[x]=\{bx+c: b,c \in \mathbb{R}\}\\
W_5&=\{ax^2+c: a,c \in \mathbb{R}\}\\
W_6&=\{ax^2+bx: a,b \in \mathbb{R}\}\\
\end{align*}

Los tres subespacios $W_1, W_2, W_3$ están en posición de suma directa, pues si tomamos $ax^2$ en $W_1$, $bx$ en $W_2$ y $c$ en $W_3$, la única forma de que su suma $ax^2+bx+c$ sea igual al polinomio cero es si $a=b=c=0$, y por lo tanto en realidad sólo estamos tomando el vector $0$ de cada uno de los subespacios.

Los subespacios $W_4$, $W_5$ y $W_6$ no están en posición de suma directa, pues hay formas de tomar elementos no cero en cada uno de ellos, cuya suma sí es el vector cero. Por ejemplo, el polinomio $x-8$ está en $W_4$, el polinomio $-5x^2+8$ está en $W_5$ y el polinomio $5x^2-x$ está en $W_6$. Ninguno de estos vectores es el polinomio cero, pero la suma de los tres sí es cero.

$\square$

Existen otras manera de expresar la condición anterior, una de ellas es la siguiente.

Proposición. Los subespacios $W_1, \dots W_n$ del espacio vectorial $V$ están en posición de suma directa si y sólo si cada elemento de $$W_1+W_2+\dots +W_n$$ puede ser escirto de manera única como una suma $$w_1+\dots + w_n$$ con $w_i\in W_i$ para todo $1\leq i \leq n$.

Demostración. Primero supongamos que los subespacios $W_1,W_2, \dots, W_n$ están en posición de suma directa y tomemos un elemento $v$ de $$W_1+\dots + W_n.$$ Por definición, dicho elemento puede ser expresado como $v=w_1 + \dots + w_n$ con $w_i \in W_i $ para todo $1\leq i \leq n$. Supongamos también que $v$ puede ser escrito como $v=w_1’+\dots + w_n’$ con $w_i’ \in W_i$. Queremos demostrar que $w_i=w_i’$ para todo $1 \leq i \leq n$. Restando las dos relaciones anteriores se tiene
\begin{align*}
0=v-v=\displaystyle\sum_{i=1}^n (w_i-w_i’).
\end{align*}
Sea $u_i=w_i-w_i’$. Como $W_i$ es subespacio de $V$, entonces es cerrado bajo inversos y bajo suma, por lo tanto $u_i\in W_i$. Así $u_1 + \dots + u_n$ es una suma de elementos igual a cero.Como $W_1, \dots, W_n$ están en posición de suma directa, entonces necesariamente $u_1=\dots =u_n=0$ y así $w_i=w_i’$ para todo $1 \leq i \leq n$.

Ahora supongamos que cada elemento de $W_1+\dots + W_n$ puede ser escrito de manera única como suma de elementos de $W_1, \dots , W_n$. En particular el cero se descompone de manera única como $$0=0+0+\ldots +0.$$ De manera que dados $w_i \in W_i$ con $1 \leq i \leq n$ tales que $w_1+w_2+ \dots + w_n =0$, necesariamente $w_1=w_2=\dots =w_n=0$. Por lo tanto $W_1, W_2, \dots ,W_n$ están en posición de suma directa.

$\square$

Suma directa de subespacios

Estamos listos para dar una definición clave.

Definición. a) Decimos que un espacio vectorial $V$ es suma directa de sus subespacios $W_1, W_2, \dots , W_n$ si $W_1, W_2, \dots , W_n$ están en posición de suma directa y $V=W_1+W_2 + \dots + W_n$. En símbolos, escribimos y escribimos
\begin{align*}
V=W_1 \oplus W_2 \oplus \dots \oplus W_n.
\end{align*}
b) Si $V_1, V_2$ son subespacios de un espacio vectorial $V$, decimos que $V_2$ es complemento de $V_1$ si
\begin{align*}
V=V_1 \oplus V_2.
\end{align*}

Por los resultados anteriores se tiene que $V=W_1 \oplus \dots \oplus W_n$ si y sólo si cada vector $v\in V$ puede ser escrito de manera única como una suma de la forma $w_1+ \dots + w_n$, con $w_i \in W_i$ para todo $i$. Por consiguiente, si $V_1, V_2$ son subespacios de $V$, entonces $V_2$ es complemento de $V_1$ si y sólo si cada vector $v \in V$ puede ser escrito de manera única como $v=v_1+v_2$ con $v_1 \in V_1, \hspace{2mm} v_2 \in V_2$.

El siguiente resultado es extremadamente útil a la hora de resolver problemas con sumas directas con dos subespacios.

Problema. Demuestra que $V_2$ es complemento de $V_1$ si y sólo si $V_1+V_2=V$ y $V_1 \cap V_2 = \{0\}$.

Demostración. Supongamos que $V_2$ es complemento de $V_1$, entonces $V=V_1+V_2$. Falta mostrar que $V_1\cap V_2 = \{0\}$.

Sea $v\in V_1 \cap V_2$, entonces $v=v+0=0+v$, y por la unicidad que ya se demostró en la proposición anterior se tiene que $v=0$, entonces $V_1\cap V_2\subset\{0\}$. Como $V_1, V_2$ son subespacios de $V$, cada uno de ellos tiene al vector $0$. Así, $\{0\}\subset V_1 \cap V_2$. Por lo tanto $V_1\cap V_2=\{0\}$.

Ahora supongamos que $V_1 + V_2 =V$ y $V_1\cap V_2=\{0\}$. Supongamos que existe un vector $v \in V$ tal que
\begin{align*}
v_1+v_2=v=v_1’+v_2′
\end{align*}
con $v_1,v_1’\in V_1$ y $v_2,v_2’\in V_2$.
Entonces
\begin{align*}
v_1-v_1’=v_2′-v_2
\end{align*}
El lado izquierdo de la igualdad anterior pertenece a $V_1$, mientras que el lado derecho pertenece a $V_2$, pero como son iguales, necesariamente ambos pertencen a $V_1 \cap V_2=\{0\}$ y así $v_1=v_1’$ y $v_2=v_2’$, que es lo que queríamos demostrar.

$\square$

Más ejemplos de suma y suma directa de subespacios.

  1. El espacio vectorial $V=\mathbb{R}^2$ es suma directa de los subespacios
    \begin{align*}
    V_1=\{(x,0)|x \in \mathbb{R} \}
    \end{align*}
    y
    \begin{align*}
    V_2=\{(0,y)|y \in \mathbb{R} \}.
    \end{align*}
    En efecto, cada $(x,y)\in \mathbb{R}^2$ puede ser escrito de manera única en la forma
    \begin{align*}
    (a,0)+(0,b)
    \end{align*}
    via $a=x, \hspace{2mm} b=y.$
  2. Sea $V=M_n(\mathbb{R})$ el espacio vectorial de las matrices de $n\times n$ con entradas reales. Si $V_1,V_2$ son los subespacios de las matrices simétricas y de las matrices antisimétricas, respectivamente, entonces $V=V_1 \oplus V_2$.
    En efecto, cada matriz $A\in V$ puede ser escrita de manera única como suma de una matriz simétrica y de una matriz antisimétrica de la siguiente forma:
    $A=B+C$ con
    \begin{align*}
    B&=\frac{1}{2}(A+ \ ^tA)\\C&=\frac{1}{2}(A- \ ^tA).
    \end{align*}
  3. Sea $V=\{f:\mathbb{R}\longrightarrow \mathbb{R} \}$ el espacio vectorial de funciones de $\mathbb{R}$ en $\mathbb{R}$. Sea $V_1$ el subespacio de todas las funciones pares (recuerda que una función es par si satisface $f(x)=f(-x)$ para toda $x$) y $V_2$ el subespacio de todas las funciones impares (las que satisfacen $f(x)=-f(-x)$ para toda $x$).
    Entonces $V=V_1 \oplus V_2$.
    En efecto, dada $f\in V$, la única manera de expresarla como $f=g+h$ con $g$ par y $h$ impar es tomando
    \begin{align*}
    g(x)=\frac{f(x)+f(-x)}{2} \hspace{2mm} y \hspace{2mm} h(x)=\frac{f(x)-f(-x)}{2}.
    \end{align*}

$\square$

Un problema de suma directa de subespacios

Problema. Sea $V=\{f:[-1,1]\to \mathbb{R}: \text{f es continua}\}.$ Sean
\begin{align*}
V_1=\left\{f\in V: \int_{-1}^1 f(t)dt=0\right\}
\end{align*}
y $V_2$ el subconjunto de $V$ de todas las funciones constantes.
a) Demuestra que $V_1, V_2$ son subespacios de $V$.
b) Demuestra que $V=V_1\oplus V_2$.

Demostración. a) Sean $f_1,f_2 \in V_1$ y $c\in \mathbb{R}$, entonces $cf_1+f_2$ es continua y
\begin{align*}
\int_{-1}^1(cf_1+f_2)(t)dt = c\int_{-1}^1f_1(t)dt + \int_{-1}^1 f_2(t) dt =0,
\end{align*}
por lo tanto $cf_1+f_2\in V_1$ y así $V_1$ es un subespacio de $V$.

De manera similar veamos que $V_2$ es subespacio. Sean $f,g\in V_2$ y $c\in \mathbb{R}$, entonces $f(x)=a$ y $g(x)=b$ para toda $x$. Luego
\begin{align*}
(f+c\cdot g)(x)=a+c\cdot b
\end{align*}
para toda $x$. Por lo tanto $V_2$ es subespacio de $V$.

b) Por el problema de la sección anterior, basta con demostrar que $V_1\cap V_2=\{0\}$ y $V=V_1+V_2$. Sea $f$ una función en $V_1 \cap V_2$. Por un lado tenemos que $f$ es constante, y por otro lado que $f$ integra $0$ sobre $[-1,1]$ Digamos que $f(t)=c$ para todo $t\in [-1,1]$, entonces
\begin{align*}
0=\int_{-1}^1f(t)dt=2c.
\end{align*}
De aquí, $c=0$ y así $f=0$ (la función cero). Por lo tanto $V_1\cap V_2=\{0\}$.

Ahora, para probar que $V=V_1 + V_2$ tomamos $f\in V$ y tratemos de escribirla como $f=c+g$ con $c$ constante y $g\in V_1$. Queremos asegurarnos de que
\begin{align*}
\int_{-1}^1 g(t)dt=0,
\end{align*}
esto es
\begin{align*}
\int_{-1}^1 (f(t)-c)dt=0\\
\int_{-1}^1f(t)dt=2c.
\end{align*}
Esto ya nos dice cómo proponer a $c$ y a $g$. Lo hacemos a continuación.
\begin{align*}
c&=\frac{1}{2}\int_{-1}^1f(t)dt \\ g&=f-c.
\end{align*}

$\square$

Tarea moral

Los siguientes ejercicios te ayudarán a repasar los conceptos vistos en esta entrada.

  • Verifica en todos los ejemplos de la entrada que los subespacios que se mencionan en efecto son subespacios.
  • Sea $V$ el conjunto de las matrices triangulares superiores de $n\times n$ y sea $W_1$ el espacio de las matrices diagonales. Demuestra que $V$ es espacio vectorial, $W_1$ es subespacio de $V$ y que $V=W_1\oplus W_2$, donde $W_2=\{A\in V | A_{ij}=0$ cuando $i \geq j \}$.
  • Sea $F$ un campo de característica distinta de $2$,
    \begin{align*}
    W_1=\{A\in M_n(F)|A_{ij}=0, i\leq j\}
    \end{align*}
    y $W_2$ el conjunto de todas las matrices simétricas de $n \times n$ con entradas en $F$. Demuestra que $M_n(F)=W_1\oplus W_2$
  • En el ejemplo 2, verifica que $B$ es una matriz simétrica y $C$ una matriz antisimétrica.
  • En el ejemplo 3 ,verifica $g$ es par y $h$ es impar.

Más adelante…

Los conceptos de suma y suma de subespacios serán utilizados repetidamente. Por ejemplo, a partir de la suma de subespacios se pueden definir las proyecciones, un tipo de transformaciones lineales particulares.

El concepto de suma directa de subespacios también es muy importante en el sentido de que permite descomponer a un espacio en espacios vectoriales más pequeños. Esta idea será de mucha utilidad cuando hablemos de la teoría de dualidad y de diagonalización de matrices.

Entradas relacionadas

Álgebra Lineal I: Problemas de espacios, subespacios y sumas directas

Por Julio Sampietro

Introducción

En esta entrada resolvemos más problemas para reforzar y aclarar los conceptos vistos anteriormente. Específicamente, resolvemos problemas acerca de espacios vectoriales, subespacios vectoriales y sumas directas.

Problemas resueltos

Problema. Muestra que el conjunto de las funciones continuas $f:[0,1]\to \mathbb{R}$ tales que $f\left(\frac{1}{2}\right)=0$ con las operaciones usuales es un espacio vectorial.

Solución: Primero observamos que nuestras operaciones están bien definidas: sabemos que la suma de funciones continuas es continua y si $f$ es continua y $\lambda\in \mathbb{R}$ es un escalar, entonces $\lambda f$ es continua. Más aún, si $f\left(\frac{1}{2}\right)=0$ y $g\left(\frac{1}{2}\right)=0$, entonces $(f+g) \left( \frac{1}{2}\right) =f\left( \frac{1}{2}\right) + g\left( \frac{1}{2}\right)=0+0=0$ y $\lambda f\left(\frac{1}{2}\right)=\lambda \cdot 0 =0$. En otras palabras, estos argumentos muestran que el conjunto es cerrado bajo las operaciones propuestas.

Ahora veamos que se cumplen los axiomas de espacio vectorial. Recuerda que para mostrar la igualdad de dos funciones, basta con mostrar que son iguales al evaluarlas en cada uno de los elementos de su dominio. En las siguientes demostraciones, $x$ es un real arbitrario en $[0,1]$

  1. Si $f,g,h$ son parte de nuestro conjunto, entonces
    \begin{align*}
    \left(f+(g+h)\right)(x)&= f(x)+(g+h)(x)\\ &= f(x)+g(x)+h(x) \\ &= (f+g)(x) +h(x)\\ &= ((f+g)+h)(x).
    \end{align*}
    Aquí estamos usando la asociatividad de la suma en $\mathbb{R}$
  2. Si $f,g$ son como en las condiciones, dado que la suma en números reales es conmutativa, $(f+g)(x)= f(x)+g(x)= g(x)+f(x)=(g+f)(x)$.
  3. La función constante $0$ es un neutro para la suma. Sí está en el conjunto pues la función $0$ en cualquier número (en particular en $\frac{1}{2}$) tiene evaluación $0$.
  4. Dada $f$ continua que se anula en $\frac{1}{2}$, $-f$ también es continua y se anula en $\frac{1}{2}$ y $f+(-f)= (-f)+f=0$.
  5. Si $a,b\in \mathbb{R}$ entonces $a(bf)(x)= a(bf(x))= (ab)f(x)$, por la asociatividad del producto en $\mathbb{R}$.
  6. Es claro que la constante $1$ satisface que $1\cdot f=f$, pues $1$ es una identidad para el producto en $\mathbb{R}$.
  7. $(a+b)f(x)= af(x)+bf(x)$, por la distributividad de la suma en $\mathbb{R}$
  8. $a\cdot (f+g)(x) = a\cdot (f(x)+g(x))= a\cdot f(x)+a\cdot g(x)$, también por la distributividad de la suma en $\mathbb{R}$.

Observa como las propiedades se heredan de las propiedades de los números reales: En cada punto usamos que las operaciones se definen puntualmente, luego aplicamos las propiedades para los números reales, y luego concluimos el resultado (como por ejemplo, en la prueba de la conmutatividad).

$\square$

Problema. Muestra que ninguno de los siguientes es un subespacio vectorial de $\mathbb{R}^3$.

  1. El conjunto $U$ de los vectores $x=(x_1, x_2, x_3)$ tales que $x_1^2+x_2^2+x_3^2=1$.
  2. El conjunto $V$ de todos los vectores en $\mathbb{R}^3$ con números enteros por coordenadas.
  3. El conjunto $W$ de todos los vectores en $\mathbb{R}^3$ que tienen al menos una coordenada igual a cero.

Solución:

  1. Notamos que el conjunto $U$ no es cerrado bajo sumas: En efecto, el vector $(1,0,0)\in U$, pues $1^2+0^2+0^2=1$, así como $(-1,0,0)\in U$, pues $(-1)^2+0^2+0^2=1$. Sin embargo su suma es $(0,0,0)$, que no es un elemento de $U$.
  2. Mientras que $V$ si es cerrado bajo sumas, no es cerrado bajo producto por escalares. Por ejemplo, $(2,8,1)\in V$, sin embargo $\frac{1}{2} (2,8,1)= \left(1,4,\frac{1}{2}\right)\notin V$, pues la última coordenada no es un número entero.
  3. El conjunto si es cerrado bajo producto por escalares, pero no bajo sumas: Tomando $(1,1,0)$ y $(0,0,1)$ en $W$, tenemos que $(1,1,0)+(0,0,1)=(1,1,1)\notin W$.

$\square$

Problema. Sea $V$ el conjunto de todas las funciones $f:\mathbb{R}\to \mathbb{R}$ dos veces diferenciables (es decir, que tienen segunda derivada) que cumplen para todo $x\in \mathbb{R}$:

\begin{align*}
f»(x)+x^2 f'(x)-3f(x)=0.
\end{align*}

¿Es $V$ un subespacio de las funciones de $\mathbb{R}$ en $\mathbb{R}$ ?

Solución: En efecto, podemos verificar que $V$ cumple las condiciones de subespacio:

  1. Observamos que la función $f\equiv 0$ es dos veces diferenciable y satisface
    \begin{align*}
    f»(x)+x^2 f'(x)-3f(x)=0+x^2 \cdot 0 -3\cdot 0=0.
    \end{align*}
    Es decir $0\in V$. Esto muestra que $V$ es no vacío.
  2. Sean $f,g\in V$. Sabemos que entonces $f+g$ también es dos veces diferenciable (por ejemplo, de un curso de cálculo). Además
    \begin{align*}
    &(f+g)»(x)+x^2 (f+g)'(x)-3(f+g)(x)\\ & = f»(x)+g»(x)+x^2 f'(x)+x^2 g'(x)-3f(x)-3g(x)\\& = f»(x)+x^2f(x)-3f(x)+ g»(x)+x^2g(x)-3g(x)\\& =0+0=0.
    \end{align*}
    Así $f+g\in V$.
  3. Finalmente sea $f\in V$ y sea $\lambda \in \mathbb{R}$ un escalar. Sabemos que $\lambda f$ es dos veces diferenciable, y además
    \begin{align*}
    &\left(\lambda f\right)»(x)+x^2\left(\lambda f\right)(x)-3(\lambda f)(x)\\ &= \lambda f»(x)+\lambda x^2 f'(x)-\lambda 3f(x)\\ &= \lambda (f»(x)+x^2f'(x)-3f(x))\\ &= \lambda \cdot 0 =0.
    \end{align*}
    Luego $\lambda f\in V$.

$\square$

El ejemplo anterior es crucial para la intuición de tu formación matemática posterior. En él aparece una ecuación diferencial lineal homogénea. La moraleja es que «las soluciones a una ecuación diferencial lineal homogénea son un subespacio vectorial». En este curso no nos enfocaremos en cómo resolver estas ecuaciones, pues esto corresponde a un curso del tema. Sin embargo, lo que aprendas de álgebra lineal te ayudará mucho para cuando llegues a ese punto.

Problema. Sea $V$ el espacio de todas las funciones de $\mathbb{R}$ en $\mathbb{R}$ y sea $W$ el subconjunto de $V$ formado por todas las funciones $f$ tales que $f(0)+f(1)=0$.

  1. Verifica que $W$ es un subespacio de $V$.
  2. Encuentra un subespacio $S$ de $W$ tal que $V=W\oplus S$.

Solución:

  1. Verificamos los axiomas de subespacio vectorial:
    1. Tenemos que $0\in W$, pues $0(0)+0(1)=0+0=0$. Entonces $W$ no es vacío.
    2. Si $f,g\in W$ entonces $(f+g)(0)+(f+g)(1)= f(1)+f(0)+g(1)+g(0)=0+0=0$.
    3. Si $f\in W$ y $\lambda \in \mathbb{R}$ entonces $\lambda f(0)+\lambda f(1)= \lambda(f(0)+f(1))=\lambda \cdot 0=0$.
  2. Proponemos $S$ como el subespacio de todas las funciones $h$ tales que $h(x)=ax$ con $a\in \mathbb{R}$. Verifiquemos que $V=W\oplus S$.
    1. Si $F\in W\cap S$ entonces $F(0)+F(1)=0$, es decir $F(0)=-F(1)$, pero como $F(x)=ax$ para algún $a\in \mathbb{R}$ entonces $F(0)=0=F(1)=a$. Luego $F(x)=0\cdot x=0$.
    2. Dada $f\in V$, definimos
      \begin{align*}
      \hat{f}(x)= f(x)-(f(0)+f(1))x.
      \end{align*}
      Observamos que $\hat{f}\in W$, pues
      \begin{align*}
      \hat{f}(0)+\hat{f}(1)= f(0)+f(1)-f(0)-f(1)=0.
      \end{align*}
      Además es claro que
      \begin{align*}
      f(x)&= f(x)-(f(0)+f(1))x+(f(0)+f(1))x\\&= \hat{f}(x)+\left(f(0)+f(1)\right)x
      \end{align*}
      donde el sumando de la derecha es de la forma $a\cdot x$. Así $S+W=V$.

$\square$

Tarea moral

Los siguientes ejercicios te ayudarán a repasar los conceptos vistos en esta entrada.

Sea $A$ un conjunto no vacío. Sea $\mathcal{P}(A)$ el conjunto de todos los subconjuntos de $A$. Definimos las siguientes operaciones:
\begin{align*}
X+Y= X\Delta Y,\hspace{5mm} 1\cdot X=X,\hspace{5mm} 0\cdot X= \emptyset,\end{align*}
dónde $\Delta$ denota la operación de diferencia simétrica. Demuestra que así definido, $\mathcal{P}(A)$ es un espacio vectorial sobre el campo de dos elementos $\mathbb{F}_2$.

Entradas relacionadas