covariant
O termo covariant é utilizado quase exclusivamente em contextos técnicos e acadêmicos, especificamente na matemática, física e ciência da computação. Para falantes de português, a tradução direta "covariante" é um cognato perfeito, o que facilita a compreensão, mas a complexidade reside na aplicação do conceito dependendo da área de estudo.
Nuances Semânticas e Contextuais
Na física e no cálculo tensorial, covariant descreve a maneira como um componente de um tensor muda quando o sistema de coordenadas é alterado. É fundamental não confundir este termo com contravariant (contravariante), que descreve a transformação oposta. Enquanto um vetor covariante "segue" a mudança de base, o contravariante "se opõe" a ela para manter a invariância do objeto físico.
No campo da programação e tipagem (especialmente em linguagens como Java ou C#), covariant refere-se à capacidade de usar um tipo mais derivado (subtipo) onde um tipo mais genérico (supertipo) é esperado. Isso é crucial para a flexibilidade de coleções e genéricos.
Armadilhas e Diferenças Conceituais
Embora não existam "falsos amigos" linguísticos no sentido tradicional, o erro mais comum para estudantes de inglês é a confusão entre a aplicação matemática e a aplicação de software. Em português, usamos "covariância" para estatística, mas em inglês, covariant como adjetivo é mais frequente em álgebra linear e tipagem de dados.
Uso Correto (Física): The vector is covariant with respect to the coordinate transformation (O vetor é covariante em relação à transformação de coordenadas).
Uso Correto (Programação): Array covariance allows a string array to be treated as an object array (A covariância de arrays permite que um array de strings seja tratado como um array de objetos).
Aspectos Gramaticais
Gramaticalmente, covariant funciona primariamente como um adjetivo, descrevendo a natureza de um objeto ou de uma relação. Em contextos matemáticos específicos, pode ocasionalmente atuar como um substantivo para se referir ao próprio objeto que possui essa propriedade.
Countable when referring to a specific mathematical entity (a covariant). Uncountable when used as a property of a variable or tensor (the system is covariant).
Meanings
Que muda de maneira consistente em relação a outra variável quando um sistema de coordenadas é transformado
"The tensor is covariant with respect to the coordinate transformation."
O tensor é covariante em relação à transformação de coordenadas.
Objeto matemático que se transforma de acordo com uma regra específica sob uma mudança de base
"The covariant was calculated using the metric tensor."
O covariante foi calculado utilizando o tensor métrico.