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 ${\displaystyle \mathbb {R} ^{2},}$ a base canônica é dada pelo conjunto {(1,0), (0,1)}^[1]
• No ${\displaystyle \mathbb {R} ^{3},}$a base canônica é dada pelo conjunto {(1,0,0), (0,1,0),(0,0,1)}
  • Analogamente, no ${\displaystyle \mathbb {R} ^{n},}$ a base canônica é formada pelos vetores que tem 1 em uma coordenada e 0 nas demais^[1]
  • 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 ${\displaystyle \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, ${\displaystyle 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

• Callioli, Carlos A.; Hygino H. Domingues; Roberto C. F. Costa (1990). Álgebra Linear e Aplicações 6 ed. São Paulo: Atual. ISBN 9788570562975  A referência emprega parâmetros obsoletos |coautor= (ajuda)