Base canônica

 Nota: Se procura outros significados do adjetivo canônico, veja Cânone (desambiguação).

Na matemática, a base canônica de um espaço vetorial ou de outras estruturas algébricas semelhantes é a base mais primitiva (base geradora) e intuitiva para a estrutura.

Por exemplo:

• No $\mathbb {R} ^{2},$ a base canônica é dada pelo conjunto {(1,0), (0,1)}
• No $\mathbb {R} ^{3},$a base canônica é dada pelo conjunto {(1,0,0), (0,1,0),(0,0,1)}
  • Analogamente, no $\mathbb {R} ^{n},$ a base canônica é formada pelos vetores que tem 1 em uma coordenada e 0 nas demais
  • De modo ainda mais genérico, no espaço vetorial Kⁿ para um corpo K qualquer, a base canônica é o conjunto de n vetores v_i, em que cada vetor v_i tem a j-ésima coordenada igual a $\delta _{ij},$ sendo δ a função delta de Kronecker
• Na álgebra K[x] dos polinômios com coeficientes no corpo K, a base canônica é o conjunto enumerável {1, x, x², ...}
• Se um corpo E é uma extensão finita simples do corpo F a partir do elemento α (ou seja, $E=F[\alpha ]$), a base canônica de E (como espaço vetorial de F) é o conjunto de n elementos {1, α, α², ... α^n-1}, em que n é o grau de α em F

Referências

• Callioli, Carlos A.; Hygino H. Domingues; Roberto C. F. Costa (1990). Álgebra Linear e Aplicações 6 ed. São Paulo: Atual. ISBN 9788570562975