Produto Tensorial

O produto tensorial de dois módulos é o recipiente universal de mapas bilineares, convertendo construções bilineares em lineares e permitindo a mudança de escalares entre anéis.

Definition

O produto tensorial de dois módulos sobre um anel comutativo é um módulo juntamente com um mapa bilinear para ele que é universal: cada mapa bilinear do par de módulos se fatora unicamente através dele como um mapa linear.

Scope

Este tópico abrange a construção e a propriedade universal do produto tensorial de módulos, seu comportamento em geradores e relações, mudança de base e extensão de escalares, o produto tensorial de espaços vetoriais e de álgebras, e a exatidão à direita do functor tensorial.

Core questions

• Como os mapas bilineares podem ser transformados em mapas lineares?
• Que propriedade universal define o produto tensorial?
• Como o produto tensorial implementa a mudança de escalares entre anéis?
• Como o produto tensorial interage com somas diretas e sequências exatas?

Key theories

Propriedade universal do produto tensorial

O produto tensorial é o módulo único através do qual cada mapa bilinear de um par de módulos se fatora como um mapa linear, o que o caracteriza até isomorfismo e governa todas as suas propriedades.

Extensão de escalares

Tensoriar um módulo com um anel maior ao longo de um homomorfismo de anéis estende seus escalares, transformando um módulo sobre um anel em um módulo sobre outro, o mecanismo básico de mudança de base em álgebra e geometria.

Exatidão à direita do functor tensorial

O tensoriamento preserva cokernels e sobrejeções, mas não em geral injeções, portanto é exato à direita; a falha da exatidão à esquerda é medida pelos functores derivados Tor, fundando a álgebra homológica.

Clinical relevance

Os produtos tensoriais são ubíquos: eles constroem a álgebra multilinear e as álgebras exterior e simétrica, modelam sistemas quânticos compostos como produtos tensoriais de espaços de estados, implementam a mudança de base na geometria algébrica e fundamentam os tensores da geometria diferencial e da aprendizagem de máquina (machine learning).

History

Os tensores surgiram no trabalho de Ricci e Levi-Civita sobre geometria diferencial e na álgebra exterior de Grassmann, enquanto o produto tensorial teórico de módulos e sua propriedade universal foram abstraídos em meados do século XX à medida que a álgebra homológica se desenvolvia, tornando-se uma ferramenta padrão através do trabalho de Cartan, Eilenberg e Mac Lane.

Key figures

• Hermann Grassmann
• Élie Cartan
• Emmy Noether
• Saunders Mac Lane

Seminal works

• dummit2004
• atiyah1969
• lang2002

Frequently asked questions

Que problema o produto tensorial resolve?

Ele fornece um único módulo através do qual todos os mapas bilineares se fatoram linearmente, de modo que as questões bilineares se tornam lineares. Esta propriedade universal, e não qualquer fórmula explícita, é o que torna a construção útil e bem comportada.

Por que o produto tensorial é apenas exato à direita?

O tensoriamento preserva sobrejeções e cokernels, mas pode destruir a injetividade, porque as relações entre os elementos podem colapsar. A falha precisa é capturada pelos functores Tor, razão pela qual os produtos tensoriais são estudados juntamente com a álgebra homológica.