Permítanme intentar una “motivación” ondulada de la mano desde una perspectiva matemática que no deben tomarse muy en serio.
Hablando en términos generales, puede pensar en los hiladores como los objetos correctos que ayudan a lograr tomar raíces cuadradas de operadores diferenciales (particularmente el laplaciano). En realidad, son lo que tienen que ser si necesita lograr los siguientes objetivos:
1. Necesitan involucrar números complejos, porque tratar de tomar raíces cuadradas dentro de los números reales es dispararse en el pie.
2. Debe haber una estructura multiplicativa que anticomute, porque realmente queremos términos cruzados en expresiones como
- Geometría: ¿Cuál es la fórmula para calcular el área de una superficie plana de una esfera?
- ¿Por qué es Pi tan común en física?
- Dados 4 puntos (x1, y1) (x2, y2) (x3, y3) (x4, y4), ¿cómo encuentro el área delimitada por estos puntos en la programación en C?
- Geometría: ¿Cuál es la excentricidad de una elipse y cómo se mide?
- Visión por computadora: tengo 3 imágenes, con una relación proyectiva conocida entre la imagen 1 y 2 y entre la imagen 2 y 3. ¿Cómo puedo encontrar la relación proyectiva entre la imagen 1 y 3 cuando no hay una correspondencia puntual entre la imagen 1 y 3?
[matemáticas] \ left (\ frac {\ partial} {\ partial x} + \ frac {\ partial} {\ partial y} \ right) ^ 2 = \ frac {\ partial ^ 2} {\ partial x ^ 2} + \ frac {\ partial ^ 2} {\ partial x \ partial y} + \ frac {\ partial ^ 2} {\ partial y \ partial x} + \ frac {\ partial ^ 2} {\ partial y ^ 2} [/matemáticas]
para cancelarse mutuamente si queremos tener una oportunidad de factorizar operadores como [math] \ frac {\ partial ^ 2} {\ partial x ^ 2} + \ frac {\ partial ^ 2} {\ partial y ^ 2 }[/matemáticas].
Idealmente, haríamos todo esto en el espacio tangente [math] TM [/ math] o su complejación [math] TM \ otimes _ {\ mathbb {R}} \ mathbb {C} [/ math], pero eso no resultan ser adecuadas, por razones dimensionales como mínimo.
Necesitamos algo así como un álgebra exterior, que nos permite acoplar vectores de forma anticomutativa. El álgebra exterior en sí no funciona porque ciertamente no queremos [matemática] v \ wedge v = 0 [/ matemática], pero su generalización, álgebras de Clifford, será excelente.
Los hiladores son secciones lisas del paquete apropiado que se basa en álgebras de Clifford. Desafortunadamente, esto requiere que intercambiemos nuestras fibras espaciales tangentes n-reales-dimensionales por [math] 2 ^ {\ lfloor n / 2 \ rfloor} [/ math] -complex-dimensional fibres. Por otra parte, cuando [math] n = 3 [/ math] es esto no es tan malo.
Puedo seguir hablando de cómo no todos los múltiples atienden a los hiladores por razones topológicas, pero no sé si eso es lo que estás buscando, así que tal vez lo dejaré aquí.
Espero que esto ayude.
Actualización: La estructura multiplicativa anticomutativa del álgebra de Clifford lo obliga a actuar mediante reflexiones sobre la [matemática] T_p M \ simeq \ mathbb {R} ^ n [/ matemática] subyacente. El álgebra lineal nos permite ver las reflexiones de ángulo [matemáticas] \ theta [/ matemáticas] como ciertas rotaciones de ángulo [matemáticas] 2 \ theta [/ matemáticas]. Esto fuerza la característica conocida de “rotación de 720 grados” de los hiladores que discutieron Quora User y Quora User.
PD. Debo agregar que no soy una persona de física, por lo que no sé el papel de los hiladores en el trabajo de Dirac / en QFT. Estoy feliz de ser educado en eso.