{{위키데이터 속성 추적}}
[[파일:Vector_1-form.svg|섬네일|400x400픽셀|붉은 색의 벡터, '''v''',가 3차원의 일반적 곡선 좌표{{nowrap|(''q''{{sup|1}}, ''q''{{sup|2}}, ''q''{{sup|3}})}} 에서, [검은 색의 '''좌표 곡선들'''에 대한 오렌지 색의 기저 '''e<sub>1</sub>, e<sub>2</sub>, e<sub>3</sub>''' (왼쪽)],  [회색의 '''좌표 곡면들'''에 대한 파란 색의 쌍대 기저, 코벡터 기저, 또는 역 기저 '''e<sup>1</sup>, e<sup>2</sup>, e<sup>3</sup>''' (오른쪽)]을 통해 표현되었다. 여기서 {{nowrap|(''q''{{sup|1}}, ''q''{{sup|2}}, ''q''{{sup|3}})}}은 위치 공간에서의 한 점을 정의하는 세벌의 숫자들이다. 기저와 쌍대 기저(basis and cobasis)는 기저가 직교(orthogonal)할 때 일치한다는 것을 주목할 것.<ref>{{서적 인용|title=Gravitation|author1=J.A. Wheeler|author2=C. Misner|author3=K.S. Thorne|publisher=W.H. Freeman & Co|year=1973|isbn=0-7167-0344-0}}</ref>]]
[[다중선형대수학]] 및 [[텐서|텐서 해석]]에서, 공변성 및 반변성은 어떤 기하학적 또는 물리적 대상에 대한 정량적 기술이 기저(basis)의 변화에 따라 어떻게 변하는지를 기술한다.

물리학에서, 기저는 기준 축의 집합(a set of reference axes)으로 생각한다. 기준 축에 대해 이루어지는 스케일의 변화는 해당 문제에서 주어진 단위의 변화에 해당한다. 예를 들면, 미터에서 센티미터로 스케일을 변경하면(즉, 각 기준 축의 스케일을 100으로 나누면), 측정된 속도 벡터의 각 성분은 100 만큼 곱해져야 할 것이다. 벡터는 기준 축에 대한 스케일에서의 변화에 대해 반대로 스케일을 변화시키는, 거동을 보인다. '''즉, 벡터는 반변적(contravariant)이다'''. 그 결과, 벡터는 종종 거리 또는 속도와 같이 거리에 어떤 다른 단위의 곱에 해당하는 단위를 갖는다.

이와 달리, 코벡터(covector, 또는 ''쌍대 벡터(dual vector)''라고 불림)는 일반적으로 거리의 역수 또는 거리의 역수와 어떤 다른 단위의 곱에 해당하는 단위를 갖는다. 이러한 코벡터의 예는, 공간 도함수(spatial derivative)의 단위를 갖거나 거리의 역수의 단위를 갖는, [[기울기 (벡터)|기울기]]이다. 코벡터의 성분은 기준 축에서의 스케일 변화와 동일한 방식으로 변한다. '''즉, 코벡터는 공변적(covariant)이다'''.

보다 일반적인 기저 변화 아래에서:

* 기저-독립적인 (방향 벡터 또는 속도 벡터와 같은) [[벡터 (물리)|벡터]]의 경우, 벡터의 성분은 기저의 변화를 상쇄하도록 반대로 변해야 한다. 즉, 벡터 성분을 변환시키는 행렬은 기저 벡터를 변환하는 행렬의 역이어야 한다. 따라서 벡터의 성분은 코벡터의 성분과는 달리 '''반변적'''이라고 말한다. 반변적 성분을 갖는 벡터의 예시로, 관찰자에 대한 대상의 위치 또는 시간에 대한 위치의 도함수인 속도, [[가속도]], 및 가가속도 등이 있다. [[아인슈타인 표기법]]이 사용되는 경우, 반변적 성분은 아래와 같이 위 첨자를 사용하여 표기된다.
*:<math>\mathbf{v} = v^i \mathbf{e}_i .</math><math />
* 기저-독립적인 코벡터의 경우, 그 성분은 동일한 코벡터를 그대로 나타내기 위해 기저의 변화와 함께 변해야 한다. 즉, 그러한 성분은 기저 행렬의 변화와 동일한 행렬에 의해 변환되어야 한다. 코벡터의 성분은 벡터의 성분과는 반대로 '''공변적'''이라고 말하여진다. 공변 벡터는 일반적으로 어떤 함수의 그래디언트를 취할 때 나타난다. 아인슈타인 표기법을 사용하는 경우, 공변적 성분은 아래와 같이 아래 첨자를 사용하여 표기한다.
*:<math>\mathbf{v} = v_i \mathbf{e}^i .</math><math />

원통 또는 구 좌표와 같은 곡선 좌표계는 물리적 및 기하학적 문제에서 자주 사용된다. 좌표계는 공간 상의 각 점에서의 벡터를 나타내기 위한 좌표 기저의 선택과 연관되며, 공변성과 반변성은 한 벡터에 대한 좌표 기술이 한 좌표계에서 다른 좌표계로 넘어갈 때 어떻게 변하는지를 이해하는데 있어 특히 중요하다.

텐서는 공변성 및 반변성의 특성을 모두 갖는 [[다중선형대수학]]에서의 대상이다.

== 도입 ==
물리학에서 벡터는 일반적으로 측정 또는 일련의 측정의 결과로서, 다음과 같은 숫자의 목록(또는 [[튜플]])으로 표현된다.

:<math>(v_1,v_2,v_3) .</math><math />

위 목록에서 숫자는 좌표계의 선택에 의존한다. 예를 들어 벡터가 관찰자에 대한 위치를 나타내는 경우(즉, 위치 벡터인 경우), 좌표계는 (그것을 따라 각 성분 v1, v2 및 v3을 측정하는) 강체 막대 (즉, 기준 축)의 시스템으로부터 얻어질 수 있다. 기하학적 대상을 나타내는 벡터의 경우, 그것이 임의의 다른 좌표계에서 어떻게 보이는지 기술하는 것이 가능해야 한다. 즉, 벡터의 성분은 특정 좌표계에서 다른 좌표계로 넘어갈 때 특정한 방식으로 변환하게 된다.

반변 벡터는, (회전 및 팽창을 포함하는) 좌표의 변화 아래에서 (반대로 말하자면, 기준 축의 변환에 대해), '''"좌표처럼 변환"'''하게 되는 성분을 갖는다. '''벡터 그 자체는 이러한 과정 아래에서 변하지 않는다'''. 대신, 벡터의 성분은, 좌표가 변하는 것과 동일한 방식으로, 공간 축에서의 변화를 없애는 방식으로 변한다. 즉, 기준 축이 한 방향으로 회전하면, 벡터의 성분 표현은 정확히 반대로 회전한다. '''<u>유사하게, 기준 축이 어떤 방향으로 늘려지면, 벡터의 성분은 좌표와 마찬가지로, 정확히 상쇄시키는 방식으로 감소한다</u>'''. 수학적으로 말하자면 [[가역행렬]]에 의해 기술된 변환이 좌표계에 적용되어, 좌표 벡터 '''x''' 가 <math>\mathbf{x}'=M\mathbf{x}</math>로 변환되면, 반변 벡터 '''v'''는 <math>\mathbf{v}'=M\mathbf{v}</math>을 통해 유사하게 변환돼야 한다. 이 요구 사항은 반변 벡터를 어떤 다른 세개의 (물리적으로 의미가 있는) 양으로부터 구별시키는 중요한 그 무엇이다. 예를 들면, v가 속도의 x, y, 및 z 성분으로 구성된다면, v는 반변 벡터이다. 공간의 각 좌표가 늘려지거나, 회전하거나, 꼬이게 된다면, 상기 속도의 성분은 동일한 방식으로 변환된다. 반변 벡터의 예로는, 변위(displacement), 속도, 및 가속도가 있다. 이와 달리, 예를 들어, 직사각형 상자의 길이, 폭, 및 높이로 구성되는 세 숫자는 어떤 추상적 벡터의 세 성분을 구성할 수 있지만, 공간 상 좌표의 변화가 그 상자의 길이, 폭, 및 높이를 변화시키는 것은 아니기 때문에, 이러한 벡터는 반변적이지 않으며, 대신 이들은 스칼라다. 반면, 공변 벡터는 좌표에 반대로 변하는, 달리 말하면 기준 축과 같이 변환하는 성분을 갖는다. 예를 들면, 아래와 같이 함수의 그레디언트 벡터의 성분은 기준 축과 같이 변환한다.<math>\nabla f = \frac{\partial f}{\partial x^1}\widehat{x}^1+\frac{\partial f}{\partial x^2}\widehat{x}^2+\frac{\partial f}{\partial x^3}\widehat{x}^3</math><math /><math /><math />

== 정의 ==
공변성 및 반변성의 일반적인 수식화는 기저가 변할 때(수동 변환), 좌표 벡터의 성분이 어떻게 변환하는지와 관련된다. 예를 들면, V를 [[스칼라장|스칼라 장]] S 상에서의 n-차원 벡터 공간이라 하고, {{개행 금지|1='''f''' = (''X''<sub>1</sub>, ..., ''X''<sub>''n''</sub>)}} 및 {{개행 금지|1='''f'''′ = (''Y''<sub>1</sub>, ..., ''Y''<sub>''n''</sub>)}} 각각을 V의 기저라고 하자. 또한, 원소 <math>a^i_j</math>을 갖는 어떤 가역적 n×n  행렬 A에 대해, '''f'''에서 '''f′'''로의 기저의 변화가, 아래와 같이 주어진다고 하자.
<nowiki/>{{NumBlk|:|<math>\mathbf{f}\mapsto \mathbf{f}' = \left(\sum_i a^i_1X_i,\dots,\sum_i a^i_nX_i\right) = \mathbf{f}A</math>|{{EquationRef|1}}}}여기에서, 기저 '''f'''<nowiki/>'에서의 벡터 Y<sub>j</sub>  각각은 아래와 같이, 기저 '''f'''에서의 벡터 X<sub>i</sub> 의 선형 조합이다.<math />
<math>Y_j=\sum_i a^i_jX_i.</math>

<math />
=== 반변 변환 ===
V에서 벡터 <math>v</math>는, 아래와 같이, 기저 '''f'''에 대한 원소의 선형 조합으로 일의적으로 표현되며, <math />{{NumBlk|:|<math>v=\sum_i v^i[\mathbf{f}]X_i,</math>|{{EquationRef|2}}}}여기서, <math>v^i[\bf{f}]</math>는 S 에서의 스칼라로서 기저 '''f'''에서의 <math>v</math>의 '''성분'''이다.  <math>v</math>의 성분의 열 벡터는, 아래와 같이, '''v'''['''f''']로 표기하자:

:<math>\mathbf{v}[\mathbf{f}] = \begin{bmatrix}v^1[\mathbf{f}]\\v^2[\mathbf{f}]\\\vdots\\v^n[\mathbf{f}]\end{bmatrix}</math>

그래서, 식 ({{EquationNote|2}})는 행렬 곱으로서 아래와 같이 다시 쓰여질 수 있다:

:<math>v = \mathbf{f}\, \mathbf{v}[\mathbf{f}].</math>

마찬가지로, 벡터 <math>v</math>는 기저 '''f'''′를 통해서도, 아래와 같이, 표현될 수 있다:

:<math>v = \mathbf{f'}\, \mathbf{v}[\mathbf{f'}].</math>

하지만, 벡터 <math>v</math>그 자체는 기저의 선택에 대해 불변적이다. 즉,

:<math>\mathbf{f}\, \mathbf{v}[\mathbf{f}] = v = \mathbf{f'}\, \mathbf{v}[\mathbf{f'}].</math>

'''f''' 와 '''f'''′ 사이의 관계 ({{EquationNote|1}})를 통해 결합된 <math>v</math>의 불변성은 아래의 결과를 함축하며

:<math>\mathbf{f}\, \mathbf{v}[\mathbf{f}] = \mathbf{f}A\, \mathbf{v}[\mathbf{f}A],</math>

이 결과로부터, 우리는 아래의 변환 규칙을 얻을 수 있다<dl><dd><math>\mathbf{v}[\mathbf{f}A] = A^{-1}\mathbf{v}[\mathbf{f}].</math></dd></dl>성분을 통해 표현하면,

:<math>v^i[\mathbf{f}A] = \sum_j \tilde{a}^i_jv^j[\mathbf{f}]</math>

여기서, 계수 <math>\tilde{a}^i_j</math>은 A의 역행렬의 원소이다.

벡터 <math>v</math>의 성분이 행렬 A의 역행렬을 통해 변환하기 때문에, 이러한 성분은 기저의 변화 아래에서 '''반변적으로 변환한다'''고 말하여진다.

A를 상기 두 쌍과 연관시키는 방법은 화살표를 사용하는 아래의 도식에 표현되었다. 반대 방향의 화살표는 반변적 변화를 나타낸다.

<math>\begin{align}
     \mathbf{f} &\longrightarrow \mathbf{f'} \\
  v[\mathbf{f}] &\longleftarrow v[\mathbf{f'}]
\end{align}</math>

'''공변 변환'''

V  상에서 선형 범함수(linear functional) α는 기저 '''f'''에서 (S에서 스칼라인) 그 '''성분'''을 통해 아래와 같이 일의적으로 표현된다.

:<math>\alpha(X_i) = \alpha_i[\mathbf{f}] , \quad i=1,2,\dots,n.</math><math />

이러한 성분은 기저 '''f'''의 기저 벡터 X<sub>i</sub> 에 대한 α 의 작용이다(the action of α on the basis vectors X<sub>i</sub> of the '''f''' basis).

'''f'''에서 '''f'''′ 로의 기저의 변화({{EquationNote|1}})가 있을 때, 성분은 아래와 같이 변환한다:{{NumBlk|:|<math>\begin{align}
  \alpha_i[\mathbf{f}A] &= \alpha(Y_i) \\
                        &= \alpha\left(\sum_j a^j_i X_j\right) \\
                        &= \sum_j a^j_i \alpha(X_j) \\
                        &= \sum_j a^j_i \alpha_j[\mathbf{f}].
\end{align}</math>|{{EquationRef|3}}}}α 의 성분의 행 벡터는, 아래와 같이, α['''f''']로 표기하자:<math /><math /><math /><math /><math /><math />

:<math>\mathbf{\alpha}[\mathbf{f}] = \begin{bmatrix}\alpha_1[\mathbf{f}],\alpha_2[\mathbf{f}],\dots,\alpha_n[\mathbf{f}]\end{bmatrix}</math>

그러면, 식 ({{EquationNote|3}})은 아래와 같이 행렬 곱으로서 다시 쓰여질 수 있다:

:<math>\alpha[\mathbf{f}A] = \alpha[\mathbf{f}]A.</math>

선형 범함수 α의 성분은 행렬 A를 통해 변환하기 때문에, 이러한 성분은 기저의 변화 아래에서 '''공변적으로 변환한다'''고 말하여진다.   <p>A를 상기 두 쌍과 연관시키는 방법이 화살표를 사용하는 아래의 도식에 표현되었다. 화살표이 같은 방향이므로, 아래는 공변적 관계를 표현한다. </p>

<dd><math>\begin{align}
          \mathbf{f} &\longrightarrow \mathbf{f'} \\
  \alpha[\mathbf{f}] &\longrightarrow \alpha[\mathbf{f'}]
\end{align}</math></dd>

열 벡터가 대신 사용되었다면, 변환 법칙은 아래와 같이 전치([[:en:Matrix_transpose|transpose]])일 것이다.

:<math>\alpha^\mathrm{T}[\mathbf{f}A] = A^\mathrm{T}\alpha^\mathrm{T}[\mathbf{f}].</math>
<math />

: <math />
<math /><math /><math /><math /><math />

== 좌표 ==
기저 '''f''' 가 [[벡터 공간]] V 상에서 선택되면 아래의 식을 통해 V 상에서의 좌표 함수의 집합이 일의적으로 정의된다.  <math /><math /><math /><math /><math /><math /><math /><math /><math /><math />

:<math>x^i[\mathbf{f}](v) = v^i[\mathbf{f}].</math>

벡터 공간 V 상에서의 좌표는, 아래의 관계에 의해 반변적이다.

:<math>x^i[\mathbf{f}A] = \sum_{k=1}^n \tilde{a}^i_kx^k[\mathbf{f}].</math>

거꾸로 말해, V 상에서 좌표 x<sup>i</sup>처럼 변환하는 n개의 양 v<sup>i</sup> 의 시스템은 반변 벡터를 정의한다.

반변성과 공변성에 대한 이러한 수식화는, 벡터가 접벡터(tangent vector) 또는 여접벡터(cotangent vector)로 존재하는 좌표 공간(다양체)과 같이 응용된 상황에서 보다 자연스럽다. 다양체 상의 국소 좌표계 x<sup>i</sup> 가 주어질 때, 그 좌표계를 위한 기준 축은 아래의 벡터장이다.

:<math>X_1 = \frac{\partial}{\partial x^1},\dots,X_n=\frac{\partial}{\partial x^n}.</math>

이는 좌표 조각(coordinate patch)의 모든 점에서 좌표계 {{nowrap|1='''f''' = (''X''<sub>1</sub>, ..., ''X''<sub>''n''</sub>)}} 을 발생시킨다.

만일 y<sup>i</sup> 가 다른 좌표계라면 그리고,

:<math>Y_1=\frac{\partial}{\partial y^1},\dots,Y_n = \frac{\partial}{\partial y^n},</math>

이라면, 좌표계 '''f'''' 은, 아래의, 좌표 전이의 야코비 행렬의 역을 통해 좌표계 '''f''' 와 연관되게 된다:<dl><dd><math>\mathbf{f}' = \mathbf{f}J^{-1},\quad J = \left(\frac{\partial y^i}{\partial x^j}\right)_{i,j=1}^n.</math></dd></dl>지표로 표현하면,

:<math>\frac{\partial}{\partial y^i} = \sum_{j=1}^n\frac{\partial x^j}{\partial y^i}\frac{\partial}{\partial x^j}.</math>

접벡터는, 정의에 의해, 좌표 편미분 <math>\partial/\partial x^i</math>의 선형 조합이다. 따라서, 접벡터는 아래와 같이 정의된다:

:<math>v = \sum_{i=1}^n v^i[\mathbf{f}] X_i = \mathbf{f}\ \mathbf{v}[\mathbf{f}].</math>

그러한 벡터는 좌표계의 변화에 대해 반변적이다. 좌표계에서의 변화 아래에서, 아래와 같다.

<dd><math>\mathbf{v}\left[\mathbf{f}'\right] = \mathbf{v}\left[\mathbf{f}J^{-1}\right] = J\, \mathbf{v}[\mathbf{f}].</math></dd>

따라서, 접벡터의 성분은 아래의 식을 통해 변환한다.

:<math>v^i\left[\mathbf{f}'\right] = \sum_{j=1}^n \frac{\partial y^i}{\partial x^j}v^j[\mathbf{f}].</math>

이에 따라, 한 좌표계에서 다른 좌표계로 넘어갈 때 이러한 방식으로 변환하는 좌표에 의존적인, n개의 양 v<sup>i</sup> 의 시스템은 반변 벡터라고 불린다.

== 메트릭이 주어진 벡터의 공변 및 반변 성분 ==
(메트릭 텐서로 언급될) 대칭적 [[쌍선형 형식]]을 갖는 장 K ({{nowrap|''g'' : ''V'' × ''V'' → ''K''}}) 상에서의 유한-차원 벡터 공간에서는 공변 및 반변 벡터는 거의 구별되지 않는다. 왜냐하면, 쌍선형 형식에 의해, 코벡터는 벡터와 동일하기 때문이다. 즉, 벡터 v는, 아래의 식을 통해, 모든 벡터 w에 대해 일의적으로 코벡터를 결정한다.

<math>\alpha(w) = g(v, w) </math>.

바꿔 말하자면, 각 코벡터 α는 위 방정식을 통해 유일한 하나의 벡터 v를 결정한다. 벡터와 코벡터 사이의 이러한 일치성 때문에, 사람들은 한 벡터의 공변 성분 또는 반변 성분을 말할 수 있다. 즉, 이는 그저 역 기저(reciprocal basis, 또는 ''쌍대 기저'')를 사용하는 동일한 벡터의 서로 다른 표현일 뿐이다.  <math /><math /><math />V의 기저 {{nowrap|1='''f''' = (''X''<sub>1</sub>, ..., ''X''<sub>''n''</sub>)}} 가 주어지면, 아래의 크로네커 델타의 조건을 요구함으로써 결정되는, V의 유일한 역 기저 {{nowrap|1='''f'''<sup>#</sup> = (''Y''<sup>1</sup>, ..., ''Y''<sup>''n''</sup>)}} 가 존재한다.

:<math>Y^i(X_j) = \delta^i_j,</math>

이러한 기저를 통해 표현하면 임의의 벡터 v는 아래의 두 가지 방식으로 쓰여질 수 있다:

<dd><math>\begin{align}
v &= \sum_i v^i[\mathbf{f}]X_i = \mathbf{f}\,\mathbf{v}[\mathbf{f}]\\
&=\sum_i v_i[\mathbf{f}]Y^i = \mathbf{f}^\sharp\mathbf{v}^\sharp[\mathbf{f}].
\end{align}
</math></dd>성분 v<sup>i</sup>[<b>f</b>]는 기저 '''f'''에서의 벡터 '''v'''의 '''반변 성분'''이고''',''' 성분 v<sub>i</sub>['''f''']은 기저 '''f'''에서의 벡터 '''v'''의 '''공변 성분'''이다. 이러한 용어법은 기저의 변화 아래에서, 아래와 같기 때문에 정당화된다.

<dd><math>\mathbf{v}[\mathbf{f}A] = A^{-1}\mathbf{v}[\mathbf{f}],\quad \mathbf{v}^\sharp[\mathbf{f}A] = A^T\mathbf{v}^\sharp[\mathbf{f}].</math></dd>

: <math />

[[파일:Basis.svg|왼쪽|프레임|벡터의 (붉은 색의) 반변 성분들은 (오렌지 색의) 좌표 축들로 투영함으로써 얻어진다.  공변 성분들은 (파란 색의) 좌표 초평면들로 투영함으로써 얻어진다.]]

=== 유클리드 평면 ===
<math /><math /><math /><p>유클리드 평면에서, 내적은 벡터가 코벡터와 동일시되는 것을 허락한다. 만일 <math>\mathbf{e}_1,\mathbf{e}_2</math>가 기저라면, 쌍대 기저 <math>\mathbf{e}^1,\mathbf{e}^2</math>는 아래의 관계식을 만족한다.</p>

:<math>\begin{align}
  \mathbf{e}^1\cdot\mathbf{e}_1 = 1, &\quad \mathbf{e}^1\cdot\mathbf{e}_2 = 0 \\
  \mathbf{e}^2\cdot\mathbf{e}_1 = 0, &\quad \mathbf{e}^2\cdot\mathbf{e}_2 = 1.
\end{align}</math>

따라서, <b>e</b><sup>1</sup> 과 '''e'''<sub>2</sub>는 서로 수직하고,  '''e'''<sup>2</sup> 과 '''e'''<sub>1</sub>는 서로 수직하고, '''e'''<sup>1</sup> 과 '''e'''<sup>2</sup> 의 길이는 각각 '''e'''<sub>1</sub> 및 '''e'''<sub>2</sub>에 대해 정규화된다.

==== 예 ====
예를 들어,<ref>{{웹 인용|last=Bowen|first=Ray|title=Introduction to Vectors and Tensors|year=2008|publisher=Dover|pages=78, 79, 81|url=http://repositories.tamu.edu/bitstream/handle/1969.1/2502/IntroductionToVectorsAndTensorsVol1.pdf?sequence=12}}{{깨진 링크|date=August 2017|bot=InternetArchiveBot|fix-attempted=yes}}</ref> 서로에 대해 45° 각도를 이루는 한 쌍의 벡터로 구성되는, 기저 '''e'''<sub>1</sub>, '''e'''<sub>2</sub>가 주어지되, '''e'''<sub>1</sub> 은 길이 2를 갖고, '''e'''<sub>2</sub>는 길이 1을 갖는다고 하자.  그러면, 쌍대 기저 벡터는 아래와 같이 주어진다:

*'''e'''<sup>2</sup>는 '''e'''<sub>1</sub>를 ('''e'''<sub>1</sub> 및 '''e'''<sub>2</sub> 의 쌍이 양의 방향으로 향한다고 가정하여 측정한) 90° 의 각도로 회전시킨 후  {{nowrap|'''e'''<sup>2</sup> ⋅ '''e'''<sub>2</sub> {{=}} 1}} 가 유효해지도록 스케일을 재조정한 결과물이다.
*'''e'''<sup>1</sup> 은  <b>e</b><sub>2</sub>를 90° 의 각도로 회전시킨 후 {{nowrap|'''e'''<sup>1</sup> ⋅ '''e'''<sub>1</sub> {{=}} 1}}가 유효해지도록 스케일을 재조정한 결과물이다.

이러한 규칙을 적용하면, 아래를 얻을 수 있다.  <dl><dd><math>\mathbf{e}^1 = \frac{1}{2}\mathbf{e}_1 - \frac{1}{\sqrt{2}}\mathbf{e}_2</math></dd></dl>그리고

:<math>\mathbf{e}^2 = -\frac{1}{\sqrt{2}}\mathbf{e}_1 + 2\mathbf{e}_2.</math>

따라서, 원래 기저에서 역 기저로 가는 기저 변환 행렬은 아래와 같다.<dl><dd><math>R = \begin{bmatrix}
   \frac{1}{2}         & -\frac{1}{\sqrt{2}} \\
  -\frac{1}{\sqrt{2}}  &  2
\end{bmatrix},</math></dd></dl>왜냐하면,

:<math>[\mathbf{e}^1\ \mathbf{e}^2] = [\mathbf{e}_1\ \mathbf{e}_2]\begin{bmatrix}
   \frac{1}{2}        & -\frac{1}{\sqrt{2}} \\
  -\frac{1}{\sqrt{2}} &  2
\end{bmatrix}.</math>

예를 들어, 벡터

:<math>v = \frac{3}{2}\mathbf{e}_1 + 2\mathbf{e}_2</math>

는 아래의 반변 성분을 갖는 벡터이다:

:<math>v^1 = \frac{3}{2},\quad v^2 = 2.</math>

공변 성분은 상기 벡터 v에 대한 두 표현을 같다고 놓음으로써 얻어진다.

:<math>v = v_1\mathbf{e}^1 + v_2\mathbf{e}^2 = v^1\mathbf{e}_1 + v^2\mathbf{e}_2</math>

그래서,

:<math>\begin{align}
  \begin{bmatrix}v_1\\ v_2\end{bmatrix} &= R^{-1}\begin{bmatrix}v^1 \\ v^2\end{bmatrix} \\
                                        &= \begin{bmatrix}4 & \sqrt{2} \\ \sqrt{2} & 1\end{bmatrix}
                                             \begin{bmatrix}v^1 \\ v^2\end{bmatrix} \\
                                        &= \begin{bmatrix}6 + 2\sqrt{2} \\ 2 + \frac{3}{\sqrt{2}}\end{bmatrix}
\end{align}.</math>

=== 일반적인 유클리드 공간 ===
보다 일반적으로, n-차원의 유클리드 공간 V에서, 기저가 아래와 같다면,

:<math>\mathbf{e}_1,\dots,\mathbf{e}_n,</math>

역 기저는 아래의 식으로 주어진다(여기서 반복된 지표는 [[아인슈타인 표기법|합한다]]),

:<math>\mathbf{e}^i=g^{ij}\mathbf{e}_j</math>

위 식에서, 계수 g<sup href="다양체">ij</sup> 은 아래의 역행렬의 원소이다.

:<math>g_{ij} = \mathbf{e}_i\cdot\mathbf{e}_j .</math>

따라서 다음이 성립한다.

:<math>\mathbf{e}^i\cdot\mathbf{e}_k=g^{ij}\mathbf{e}_j\cdot\mathbf{e}_k=g^{ij}g_{jk} = \delta^i_k .</math>

임의의 벡터의 공변 및 반변 성분

:<math> \mathbf{v} = q_i \mathbf{e}^i = q^i \mathbf{e}_i \, </math>

은 아래의 두 식으로 연관지을 수 있다:

:<math>q_i = \mathbf{v}\cdot \mathbf{e}_i = (q^j \mathbf{e}_j)\cdot \mathbf{e}_i = q^jg_{ji}</math>

및

:<math>q^i = \mathbf{v}\cdot \mathbf{e}^i = (q_j\mathbf{e}^j)\cdot \mathbf{e}^i = q_jg^{ji} .</math>
<math /><math /><math /><math /><math /><math /><math /><math /><math /><math /><math /><math /><math /><math /><math /><math /><math /><math /><math /><math /><math /><math /><math /><math />

== 비공식적 사용 ==
물리학 분야에서, 형용사 "공변"은 "불변"에 대한 유사 표현으로 비공식적으로 사용되곤 한다. 예를 들면, 슈뢰딩거 방정식은 특수상대론의 좌표 변환 아래에서 그 형태를 유지하지 못한다. 따라서, 물리학자들은 [[슈뢰딩거 방정식]]은 공변적이지 않다고 말한다. 반면, [[클라인-고든 방정식]] 및 [[디랙 방정식]]은 그러한 좌표 변환 아래에서 그 형태를 유지한다. 따라서, 물리학자들은 이를 공변적이라고 말한다.

"공변적"에 대한 이러한 사용에도 불구하고 클라인-고든 및 디랙 방정식은 불변적이라고 말하고 슈뢰딩거 방정식은 불변적이지 않다고 말하는 것이 보다 정확하다. 추가적으로, 모호성을 없애기 위해서는 불변성이 평가되는 변환을 명시해야 한다.

벡터의 성분은 반변적이고 코벡터의 성분은 공변적이기 때문에, 종종 벡터는 그 자체로 반변적이라 언급되고 코벡터는 공변적이라고 언급된다.

== 텐서 해석에서의 사용 ==
공변성과 반변성 사이의 구별은 (종종 혼합된 가변성('''mixed variance''')을 갖는) 텐서를 사용하는 계산에서 특히 중요하다. 이는 텐서가 공변 및 반변 성분을 모두 갖는다는 것, 또는 벡터 및 코벡터 성분을 모두 갖는다는 것을 의미한다. [[텐서]]의 차수(valence)는 가변적 및 공변적인 항의 수이며, 아인슈타인 표기법에서는 공변 성분은 아래 첨자로, 반변 성분은 위 첨자로 표기한다. 비록, 현대 미분 기하학은 텐서를 나타내기 위해 보다 정교한 무지표 표기법(index-free notation)을 사용하기는 하지만, 공변성과 반변성 사이의 쌍대성은 벡터 또는 텐서량을 성분으로 표현할 때마다 개재된다.

텐서 해석에 있어서, 공변 벡터는 상응하는 반변 벡터에 대해 다소 다르게 변한다.  벡터 공간에 있는 대상의 길이, 면적, 및 부피에 대한 표현은 공변 및 반변 지표를 갖는 텐서를 통해 주어질 수 있다.  좌표의 단순한 팽창 및 수축 아래에서, 역(reciprocity)은 정확하다. 아핀 변환(affine transformations) 아래에서, 벡터의 성분은 공변 및 반변적 표현 사이에 섞인다.

다양체 상에서 텐서장은 일반적으로 아인슈타인 표기법을 사용하며 다중, 위 및 아래 첨자를 갖는다. 메트릭이 다양체에 제공되면, 공변 및 반변 지표는 서로 아주 밀접하게 관계된다.  반변 지표는 메트릭 텐서를 사용하는 축약(contracting)을 통해 공변 지표로 변환할 수 있다. 역 과정은 메트릭 텐서의 (행렬) 역을 사용하는 축약을 통해 가능하다. 메트릭 텐서가 부여되지 않은 일반적인 공간에는 이러한 관계가 존재하지 않는다는 것에 유념해야 한다. 더 나아가, 보다 추상적인 관점에서 볼 때, 텐서는 단순히 "거기에" 있는 것이며, 성분은 단지 그 값이 선택된 좌표에 의존하는 인위적인 계산 도구다.

기하학적 용어로서 설명하자면, "일반적인 텐서는, 접다발(tangent bundle) 뿐만이 아니라 여접다발(cotangent bundle)에 살고 있는 부분을 갖기 때문에, 반변 지표 뿐만이 아니라 공변 지표도 갖는다."

반변 벡터는 <math>\frac{dx^{\mu}}{d\tau}</math>처럼 변환하는 것이다(여기서 <math>x^{\mu} \!</math>는 고유 시간 <math>\tau</math>에 입자의 좌표이다).  공변 벡터는 <math>\frac{\partial \varphi}{\partial x^{\mu}}</math>처럼 변환하는 것이다(여기서, <math>\varphi</math>는 스칼라 장이다).<math /><math /><math /><math /><math />

== 각주 ==
{{각주}}

[[분류:미분기하학]]
[[분류:리만 기하학]]
[[분류:텐서]]
[[분류:벡터]]