con·tra·var·i·ant
C2technical수학·물리학·컴퓨터 과학에서 ‘반대 방향으로 변환되는’이라는 뜻의 전문 용어
adjective형용사
- 1
반변의, 반변하는 — 좌표계나 기준이 바뀔 때 그 변화와 반대 방식으로 변환되는C2〔mathematics; physics〕
transforming inversely when a coordinate system, basis, or related reference system changes
The vector's contravariant components change inversely when the coordinate basis changes.
그 벡터의 반변 성분은 좌표 기저가 바뀔 때 반대로 변한다.
In relativity, upper indices often mark contravariant tensor components.
상대성 이론에서 위첨자는 흔히 반변 텐서 성분을 표시한다.
- 2
반변의, 반공변의 — 범주론이나 타입 이론에서 사상, 함수, 또는 하위 타입 관계의 방향을 뒤집는C2〔mathematics; computer science〕
reversing the direction of arrows, mappings, or subtype relations in category theory or type theory
A contravariant functor reverses the direction of every arrow.
반변 함수자는 모든 화살표의 방향을 뒤집는다.
The type parameter is contravariant, so it accepts supertypes rather than subtypes.
그 타입 매개변수는 반공변이므로 하위 타입이 아니라 상위 타입을 받는다.
뉘앙스 · 쓰임
contravariant는 단순히 ‘opposite’보다 훨씬 전문적인 말로, 정해진 수학적·논리적 변환 규칙에서 방향이 뒤집힌다는 뜻입니다. covariant는 같은 방향으로 변환되는 경우를, invariant는 변하지 않는 경우를 가리킵니다.
일상 회화에서는 거의 쓰이지 않는 전문 용어입니다. 수학·물리학에서는 tensor, vector, component와 함께 자주 쓰이고, 프로그래밍에서는 functor, type parameter, generic type과 함께 쓰입니다.
유의어 뉘앙스 비교
- inverse
- 수학적 맥락에서는 비슷할 수 있지만, contravariant는 특정 변환 규칙을 가리키는 더 전문적인 말입니다.
- oppositely transforming
- 의미를 풀어 쓴 표현이며, 정식 전문 용어로는 contravariant가 더 정확합니다.
- direction-reversing
- 전문 용어를 설명하는 표현이며, category theory에서는 contravariant가 표준 용어입니다.
반의어
- covariant
- covariant는 사상이나 하위 타입 관계의 방향을 유지하는 성질을 뜻합니다.
- invariant
- invariant는 타입 관계에서 더 넓거나 좁은 타입으로 대체할 수 없음을 뜻할 수 있습니다.
자주 쓰는 표현 · Collocations
adj+noun
- contravariant vector반변 벡터
- contravariant component반변 성분
- contravariant tensor반변 텐서
- contravariant functor반변 함수자
- contravariant type parameter반공변 타입 매개변수
어원 · 암기 팁
[Latin]Latin contra ‘반대로, 맞서’와 variant ‘변하는’에 해당하는 요소가 결합한 말입니다. 수학에서 covariant와 대비되는 전문 용어로 쓰이게 되었습니다.
contra- ‘반대의’ + variant ‘변하는’
💡 contra는 ‘반대’를 뜻하므로, contravariant는 ‘변화에 반대 방향으로 변하는’ 성질로 기억할 수 있습니다.