全部书籍

专业

应用 关于 Coach 登录 开始阅读

书籍暂未推出简体中文版——当前显示 Português 版。

Matemática · 术语表

什么是 forma alternada?

Definição 2.13 Matemática universitária — Graduação 2 · 第 2 章 — Álgebra linear

Uma aplicação f ⁣:En→Kf \colon E^n \to K é nn-linear quando é linear em cada variável, e alternada quando se anula sempre que dois argumentos são iguais. Ser alternada implica ser antissimétrica: trocar dois argumentos muda o sinal (desenvolva f(…,x+y,…,x+y,… )=0f(\dots, x + y, \dots, x + y, \dots) = 0); mais geralmente, para σ∈Sn\sigma \in \mathfrak{S}_n,

f(xσ(1),…,xσ(n))=ε(σ) f(x1,…,xn),f(x_{\sigma(1)}, \dots, x_{\sigma(n)}) = \varepsilon(\sigma)\, f(x_1, \dots, x_n),

decompondo σ\sigma em transposições (Teorema 1.21).

示例

Exemplo 2.15 (Sarrus, deduzido e demolido)

Para n=3n = 3 a fórmula das permutações tem exatamente 3!=63! = 6 termos. Listando S3\mathfrak{S}_3 por assinatura — id\mathrm{id}, (1 2 3)(1\,2\,3), (1 3 2)(1\,3\,2) pares; (1 2)(1\,2), (1 3)(1\,3), (2 3)(2\,3) ímpares — obtém-se

det⁡A=a11a22a33+a21a32a13+a31a12a23−a21a12a33−a31a22a13−a11a32a23:\det A = a_{11}a_{22}a_{33} + a_{21}a_{32}a_{13} + a_{31}a_{12}a_{23} - a_{21}a_{12}a_{33} - a_{31}a_{22}a_{13} - a_{11}a_{32}a_{23} :

precisamente a regra das “diagonais” de Sarrus ensinada na escola — agora um teorema, com os sinais misteriosos identificados como assinaturas. A demolição: para n=4n = 4 há 2424 permutações, das quais apenas 88 são capturadas por qualquer esquema de diagonais; Sarrus não tem versão em grau 44, e o desenvolvimento por cofatores (Teorema 2.17 (4)) assume o comando. Contar termos também é um aviso: a fórmula das permutações tem n!n! parcelas, de modo que ela é uma definição, e não um algoritmo — o escalonamento calcula det⁡\det em O(n3)O(n^3) operações.

在原文中阅读 →
Definição 21.1 Matemática universitária — Graduação 3 · 第 21 章 — Formas diferenciais e o teorema de Stokes

Seja EE um espaço vetorial real de dimensão nn. Uma forma kk-linear alternada em EE é uma aplicação α ⁣:Ek→R\alpha\colon E^k \to \R, linear em cada variável, com α(v1,…,vk)=0\alpha(v_1, \dots, v_k) = 0 sempre que dois argumentos são iguais. Seu espaço é escrito ΛkE∗\Lambda^k E^*; por convenção, Λ0E∗=R\Lambda^0E^* = \R. A alternância força a antissimetria: trocar dois argumentos muda o sinal (expanda α(…,v+w,…,v+w,… )=0\alpha(\dots, v + w, \dots, v + w, \dots) = 0) e, mais geralmente, α(vσ(1),…,vσ(k))=ε(σ) α(v1,…,vk)\alpha(v_{\sigma(1)}, \dots, v_{\sigma(k)}) = \varepsilon(\sigma)\,\alpha(v_1, \dots, v_k) para toda permutação σ\sigma.

在原文中阅读 →