Significado de contravariante

Explore os principais sentidos da palavra 'contravariante', do uso cotidiano ao contexto técnico, com exemplos e explicações claras.

Sentido Normativo

Definição no sentido mais comum e amplamente aceito da palavra.

adj.(adjetivo) Diz-se de uma grandeza, função ou entidade matemática que se transforma de maneira inversa à transformação das coordenadas de base.
adj.(adjetivo) Na álgebra linear, refere-se a um vetor ou tensor cujas componentes se transformam como as diferenciais das coordenadas.
adj.(adjetivo) Em linguística, classifica um termo cujo significado varia em oposição direta a outro termo, em um sistema de relações.
adj.(adjetivo) Na física, descreve uma grandeza que varia na direção oposta à variação de um parâmetro de referência.
adj.(adjetivo) Em teoria das categorias, aplica-se a um funtor que inverte a direção dos morfismos.

Etimologia:

A palavra "contravariante" é formada pelo prefixo "contra-", do latim contra, que significa "oposto" ou "em face de", e "variante", derivado do verbo latino "variare", que significa "mudar" ou "alterar". Assim, "contravariante" indica algo que varia em sentido oposto ou contrário.

Sentidos Expandidos

Definições organizadas por camada de contexto e outras perspectivas.

Sentido Matemático

Refere-se à propriedade de objetos matemáticos (como vetores, tensores ou funtores) que se transformam de forma inversa à transformação da base ou do sistema de coordenadas.

Exemplo: em relatividade geral, as componentes de um vetor contravariante, como a quadrivelocidade, transformam-se com a matriz inversa da transformação de coordenadas.

Sentido Linguístico

Descreve uma relação semântica em que um termo adquire significado por oposição direta a outro, em um sistema binário de contrastes.

Exemplo: na análise de pares mínimos, "alto" e "baixo" são termos contravariantes em um eixo de altura.

Sentido Filosófico

Indica uma relação de dependência inversa entre conceitos ou categorias, onde a mudança em um implica mudança oposta no outro.

Exemplo: na dialética hegeliana, a tese e a antítese são contravariantes, pois a afirmação de uma gera a negação da outra.

Sentido Computacional

Em programação e teoria de tipos, descreve um tipo de variância onde um tipo de dado é compatível com um tipo mais específico em uma posição de entrada de uma função.

Exemplo: em Java, o tipo `Consumer<? super Number>` é contravariante, pois aceita argumentos de tipos mais específicos que `Number`.

Explorar também: