11 votos

La investigación moderna en Grassman la "teoría de las formas"?

Cito de Petsche de Hermann Graßmann: Biografía (el énfasis es mío):

La matemática de la parte del libro comienza con la concepción de la "Teoría General de las Formas". Comenzando con una perspectiva sobre las matemáticas como la teoría de las formas, Graßmann análisis en el más abstracto de los generales de estructuras de hormigón "conjunciones de las formas". Aquí, se pone especial énfasis en la "primaria conjunciones", exigiendo que tienen propiedades de módulo, es decir, la asociatividad, conmutatividad e inversa y elemento neutro. El modo definido por el conjunto de primer orden, o "formal", es seguida por una investigación de una conjunción de segundo orden ("formal multiplicación"), para que él sólo requiere la distributividad respecto de la suma formal. Graßmann directamente postula la validez de las propiedades de módulo para la incorporación formal y la distributividad de formal la multiplicación como los principios para la construcción de estas conjunciones: "Este es generalmente el camino", escribió, "que en un principio, que es cuando no hay ninguna especie de conjunción se ha dado, tal conjunción de la siguiente orden superior está definido".

Desde Graßmann no requiere de los formularios generados por las conjunciones de segundo orden para ser integrado en el fundamental de dominio, puede utilizar este formulario de conjunto para la generación de nuevos objetos matemáticos en el curso ulterior de la texto.

...

Después de Graßmann ha establecido la base para todas las disciplinas matemáticas por la presentación de estos únicamente generalizada grupo-teórico y estructural de las abstracciones que se inicia con la presentación de su nueva disciplina matemática.

¿Cuál es la terminología moderna de Grassmann de la "Teoría General de las Formas"? Qué trabajo de investigación ha sido realizado con el fin de continuar con esta línea de pensamiento? Qué recursos podría yo ponerme con el fin de responder a estas preguntas?


Creo que la respuesta es simplemente (y de manera muy general, por lo tanto unhelpfully) "álgebra universal": http://en.wikipedia.org/wiki/Algebraic_structure

Estoy en el camino correcto? No estoy seguro. Véase también la cuestión de la mía, que está buscando algo similar en espíritu.

Véase también (de nuevo, no está seguro de la relevancia): http://arxiv.org/pdf/0904.3349v1.pdf

Puede alguien familiarizado con las tejer juntos una respuesta apropiada a partir de estos tres recursos y otros, según corresponda?

10voto

Conifold Puntos 5163

Álgebra Universal: en términos generales, Whitehead, en su Tratado de Álgebra Universal fue motivado por el trabajo de Boole, Hamilton y Grassmann, y, finalmente, Maltsev y polaco matemáticos desarrolló la teoría general. Sin embargo, Grassmann mismo se centra principalmente en la binaria asociativa de las operaciones.

Hypercomplex números: De álgebra abstracta punto de vista de Grassmann estudiado algunos finitely generan álgebras asociativas en el campo de los números reales. En el siglo 19, esta zona pasó a ser conocido como lineal álgebra asociativa, y fue desarrollada por Peirce y Wedderburn, entre otros. El nombre moderno es hypercomplex números y asociatividad de operadores que ya no es necesaria, los ejemplos son dual y split-números complejos, cuaterniones, octonions, etc. Aunque puramente algebraica enfoque está más en el espíritu de Hamilton de Grassmann algunos hypercomplex números están estrechamente relacionadas con las geometrías no Euclidianas realizados y los que aparecen en la mecánica, la relatividad y la teoría cuántica. Nueva e interesante hypercomplex números fueron introducidos por Musès en la década de 1980, aunque la mayoría de su trabajo es más en el ámbito de la numerología de las matemáticas.

Álgebra multilineal: Grassmann la propia obra era más específico que el álgebra universal y más intuitiva de álgebra abstracta, en términos modernos, él estaba interesado en álgebras generado por un vector en el espacio, como en el exterior o álgebras de Clifford, con énfasis en las interpretaciones geométricas. Y no sólo en el ámbito de aplicación, sino también el punto de vista, él estaba interesado en el contenido geométrico de las operaciones (cuña producto, Clifford producto, etc.) más de sus propiedades algebraicas. Formalmente, el más moderno analógico sería álgebra multilineal si no para el que prevalece el tensor de enfoque que reduce todo a la del índice de manipulaciones y asigna geométricas interpretaciones, después del hecho, en todo caso.

El Álgebra geométrica: Gian-Carlo Rota es el más prominente de los últimos proponente de Grassmann original punto de vista, él y sus estudiantes presentaron la nueva geométrica de las operaciones en su espíritu, y desarrolló su teoría. Rota la motivación vino de la clásica teoría de invariantes y se inyecta combinatoria sabor en Grassmann de las construcciones. "Álgebra geométrica" es un término que a veces se utiliza para describir a este círculo de ideas, pero la mayoría de los autores lo tratan como un sinónimo de álgebra de Clifford, que es sólo un ejemplo, aunque universal, en cierto sentido (que no debe confundirse con el álgebra geométrica de los griegos antiguos, que es otra cosa). Y de la Rota enfoque es una excepción más que una regla en álgebra multilineal.

La geometría diferencial: Donde está el espíritu de Grassman se conserva más que la geometría diferencial. Después de Elie Cartan la introducción de formas diferenciales hubo una tendencia a abolir tensor de álgebra "el libertinaje de los índices" en favor de coordinar invariante notación porque no hay ninguna global elección de las coordenadas en los colectores. Formas diferenciales son Grassman exterior de formas que varían a lo largo de un colector, es decir, uno genera exterior álgebras sobre la tangente espacios y toma suave secciones transversales a través del colector. Por supuesto, otros Grassman tipo de álgebras puede y se utilizan en su lugar. La ventaja es que Grassman las definiciones de las operaciones son intrínsecos, y automáticamente se extienden a haces de una vez de la estructura subyacente es fijo (por ejemplo, métrica de Riemann para álgebras de Clifford). A continuación, pueden ser utilizados para definir los operadores diferenciales que explícitamente son invariantes bajo transformaciones que preservan la estructura subyacente (por ejemplo, la definición de codifferential el uso de Hodge de la estrella). Los físicos que trabajan con medidor de teorías sobre los colectores, a veces a favor de este enfoque, pero incluso en la geometría diferencial tensores de dominar, ya que pueden ser manipulados con mucho menos geométrica de conocimiento.

Fuentes: Yaglom del libro tiene un excelente histórica exposición de Grassman las ideas y su relación con los cuaterniones de Hamilton y hypercomplex números en general. Esta es una más reciente estudio histórico de la posterior obra de Clifford, de Lipschitz, Estudio y Cartan con énfasis en las aplicaciones a la física. Wikipidea artículo en hypercomplex números da una buena visión general con muchos histórico y moderno, referencias, por Musèan hypernumbers ver aquí. Rota de la programación de papel reactivación de Grassman las ideas y aplicarlas a la clásica teoría de invariantes es bastante fácil de leer, su corto de primaria y de revisión está aquí. Aplicaciones para spinors y teoría de la representación se puede encontrar en este libro. Warner texto aplica sistemáticamente invariante enfoque en la geometría diferencial.

2voto

rschwieb Puntos 60669

Creo que este pasaje se refiere a la exterior algebra de un espacio vectorial. Está diseñado para tener propiedades adecuadas para Grassmann, y de hecho puede ser visto como un universal de la flecha en una determinada categoría, pero en realidad no tiene nada que ver con el álgebra universal, por sí mismo.

Grassmann del trabajo que más tarde se aplicó en álgebra multilineal y sembraron el estudio de las formas diferenciales. Aparte de esto, Grassmann las ideas también fueron construidos por Clifford. Esto finalmente lleva al estudio de las álgebras de Clifford y los llamados "geométrica álgebras," que son casos especiales de álgebras de Clifford. Esta dirección tiene un poco de sabor diferente que la de formas diferenciales, pero eso no quiere decir que no se solapen y trabajar juntos.

Una gran cosa que leer para obtener una mejor sensación para el papel de formas diferenciales y Grassmann y Clifford legados es Roger Penrose de la Carretera a la realidad de los capítulos 6 y 11.

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