4 votos

Explicación de sumas directas (espacios vectoriales lineales)

Estoy un poco confuso sobre lo que el $\oplus$ operador en realidad significa con respecto a los espacios vectoriales, subespacios, y se extiende. La definición que yo me siguen llegando a través de es $$ U,W\subseteq V\ ,\ U+W=V\ ,\ U\cap W=\{\underline{0}\} \Rightarrow V=U\oplus W $$

Entiendo lo que eso significa, con respecto a $V$, pero todavía no me explique cuál es el $\oplus$ operador en realidad tiene. Supongo que lo que estoy preguntando es si puedo tomar dos lineal espacios vectoriales vamos a llamar a $P$ $Q$ más de algún campo $F$, ¿cuál sería el resultado de $P\oplus Q$?

Aquí un ejemplo con un problema que tengo que resolver en esta área - por favor, no publicar soluciones como yo preferiría tratar y resolver yo mismo - es solo que no estoy claro en lo que la suma directa de los medios y necesito que aclaró proceder en la unidad de subespacios.

Demostrar o refutar:

Si $S,T\subseteq V$ son no-vacía y los conjuntos de $S\cap T = \phi$,$Sp(S\cup T)=Sp(S)\oplus Sp(T)$ .

Entiendo que esto es un simple problema, pero no estoy del todo seguro de cuál es el significado de la suma directa de operador está aquí, es por eso que estoy pidiendo una aclaración.

Lo siento por el largo post y gracias de antemano :)

3voto

Incnis Mrsi Puntos 487

Deje $P$ $Q$ ser espacios vectoriales sobre $F$. La suma directa de $P$ $Q$ $F$- espacio vectorial $P\oplus Q$ cuyo conjunto subyacente es $P\times Q$ y cuya lineal de las operaciones de \begin{align*} \lambda\cdot (p,q)&=(\lambda\cdot p,\lambda\cdot q) & (p_1,q_1)+(p_2,q_2)&=(p_1+p_2,q_1+q_2) \end{align*} Uno comprueba rápidamente que $P\oplus Q$ está bien definido.

Ahora, tenga en cuenta que tenemos canónica lineal mapas \begin{array}{ccccccc} P&\xrightarrow{i_P}& P\oplus Q & & Q&\xrightarrow{i_Q}& P\oplus Q \\ p & \mapsto & (p,0) & &q & \mapsto & (0,q) \end{array} Uno fácilmente se comprueba que estos mapas son inyectiva. Esto nos permite canónicamente ver $P$ $Q$ como subespacios de $P\oplus Q$. Tenga en cuenta que esta identificación puede ser escrito como \begin{align*} P &= \{(p,q)\in P\oplus Q:q=0\} & Q &= \{(p,q)\in P\oplus Q:p=0\} \end{align*} Por supuesto, tenemos los abusos de la notación un poco aquí.

En consecuencia, vemos que $P\cap Q=\{0\}$.

¿Responde esto a tu pregunta?

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X