¿Qué es álgebra exterior?
- Preguntado el 9 de Abril, 2018
- Cuando se hizo la pregunta
- 58 visitas
- Cuantas visitas ha tenido la pregunta
- 1 Respuestas
- Cuantas respuestas ha tenido la pregunta
- Solucionado
- Estado actual de la pregunta
Respuesta
¿Demasiados anuncios?$e_1 \wedge e_2 \wedge \dots \wedge e_n$ es un único vector. El $n$-ésima potencia exterior de una $n$-dimensiones del espacio, $\bigwedge^n V$, es unidimensional y $e_1 \wedge e_2 \wedge \dots \wedge e_n$ es el único vector que es necesario abarcar.
El exterior de los poderes de un espacio vectorial están estrechamente relacionados con los subespacios de que el espacio vectorial (esto se llama la Grassmann-Plücker incrustación de objetos). Esto es debido a que la cuña producto fácil de propiedad que $v_1,\dots,v_k$ son linealmente dependientes si y sólo si $v_1 \wedge \dots \wedge v_k = 0$. Por lo tanto el cero cuñas corresponden a linealmente independientes conjuntos de vectores.
Si $v_1 \wedge \dots \wedge v_k \ne 0$ $v_1,\dots,v_k$ son linealmente independientes, y la cuña $v_1 \wedge \dots \wedge v_k$ corresponde a la firmó base $v_1,\dots,v_k$ del subespacio $W = \operatorname{span}(v_1,\dots,v_k)$. Usted puede imagen de una firma de base como una orientada a paralelepípedo. Por ejemplo, con dos vectores, $v, w$, la cuña de producto $v \wedge w$ es el orientado a la paralelogramo con vértices $v, w, v + w$ y la orientación es de$v$$w$. Hay fotos de esto en la entrada de la Wikipedia.
Si $V$ $n$- dimensional, a continuación, $V$ sólo tiene un $n$-dimensional en el subespacio, es decir,$V$, que es la razón por la $\bigwedge^nV$ es unidimensional.
En $\mathbf R^n$ tenemos una noción de complemento ortogonal de un subespacio. Esto le da un natural de emparejamiento entre un $k$-dimensiones subespacio $W$ $\mathbf R^n$ e las $n - k$ dimensiones ortogonal del subespacio, $W^\perp$. En consecuencia, no debe ser un isomorfismo natural
$$ \bigwedge^k \mathbf R^n \longleftrightarrow \bigwedge^{n - k} \mathbf R^n. $$
La base de $\{e_{i_1} \wedge \dots \wedge e_{i_k} : 1 \le i_1 \le \dots \le i_k \le n\}$$\bigwedge^k \mathbf R^n$, este bijection es descrito por
$$ e_{i_1} \wedge \dots \wedge e_{i_k} \mapsto e_{j_1} \wedge \dots \wedge e_{j_{n-k}} $$
donde$1 \le j_1 \le \dots \le j_{n_k} \le n$$\{j_1,\dots,j_{n-k}\} = \{1,\dots,n\} \setminus \{i_1,\dots,i_k\}$. Es decir, el subespacio generado por un subconjunto $S$ $\{e_1,\dots,e_n\}$ es asignado al subespacio generado por el complemento, $S^c$. Como se puede ver, este isomorfismo tiene sentido para cualquier $n$-dimensional espacio vectorial, no sólo a aquellos con una noción de complemento ortogonal.
Como un ejemplo, para $\mathbf R^3$ tenemos un isomorfismo $\bigwedge^1 \mathbf R^3 = \mathbf R^3$ a $\bigwedge^2 \mathbf R^3$. Si $\hat\imath, \hat\jmath, \hat k$ son los vectores de la base para $\mathbf R^3$ entonces el isomorfismo es dada por
$$ \hat\imath \leftrightarrow \hat\jmath \wedge \hat k,\qquad \hat\jmath \leftrightarrow \hat\imath \wedge \hat k,\qquad \hat k \leftrightarrow \hat\imath \wedge \hat\jmath. $$
Esperemos que ver la relación aquí para el producto cruzado:
$$ \hat\imath = \hat\jmath \times \hat k,\qquad \hat\jmath = \hat\imath \times \hat k,\qquad \hat k = \hat\imath \times \hat\jmath. $$
Preguntas relacionadas
- ¿Pruebas de Algebra lineal en combinatoria?
- ¿Lema Nakayama implica Teorema de Cayley-Hamilton?
- ¿Existe una base de Hamel $\mathcal B$ $\mathbb R$ $\mathbb Q$ tal que $a,b \in \mathcal B \implies \dfrac ab \in \mathcal B$?
- ¿Deben ser valores propios números?
- Consejos para escribir pruebas
- Complemento ortogonal en un campo finito ${\mathbb Z}^{n}_{q}$
- Parte superior triangular de la matriz es invertible si su diagonal es invertible: C*-álgebra caso
- ¿Qué es $\dim \text{Harm}^k(\mathbb{R}^n, \text{SO}_n(\mathbb{R}))$?
- ¿Puedo resolver una integral (u otro problema difícil) jugando con nudos?
- ¿Por qué es el anillo de las matrices sobre un campo de simple?
- Puede conmutar matrices de $X,$ Y siempre ser escrito como polinomios de la matriz $A$?
Preguntas Destacadas
En nuestra red
- Son C++ tipo recursivo definiciones posibles, en particular puedo poner un vector<T> dentro de la definición de T?
- No tengo un trabajo de ROM en mi Sprint HTC One. Hice un error cuando parpadea; estoy en hboot 1.55 y Android v4.3, S-On
- Recuperar 100gb perdidos del disco
- Lo ocupado que está el de Boston a Nueva York Amtrak?
- Cómo ejecutar aplicaciones con otro usuario.