치환

명사: 바꾸어 놓음

어떤 항, 수식을 하나의 문자로 바꾸는 일. 가령 홀수차 항이 없는 $x$에 대한 $4$차 방정식[1]에서 근을 구할 때 $x^2 = t$로 치환하여 $t$에 대한 $2$차 방정식으로 바꾸어 풀면 용이하다.[2] 치환한 문자를 원래의 문자로 되돌리는 것을 '환원'이라고 하며, 부정적분을 계산할 때 적분 변수를 치환하여 적분(치환적분)한 경우 마지막에 반드시 환원해야 한다.

사차방정식의 특수한 형태인 복이차식($ax^4+bx^2+c=0$ 꼴)을 풀 때 $x^2=t$로 치환하여 새로운 이차방정식으로 바꾸는 등 치환은 수학의 다양한 방면에서 여러모로 긴요한 테크닉이다.

연립방정식에서는 따로 '대입법'이라고 한다. 식 하나를 한 문자에 대한 식으로 정리한 뒤, 다른 식에서 환원해서 푸는 방법이다.

permutation

여러 개의 대상들이 주어졌을 때, 그것들의 순서를 바꾸는 일. 사다리타기를 생각해도 좋다. 영어 명칭이 고등학교 수학 과정에 나오는 순열과 똑같은데, 주어진 원소들 내에서 일부 혹은 전체의 순서를 맞바꾸는(permutate) 조작이라는 점에서 둘은 사실상 같은 것이기 때문이다. 실제로 치환의 개수는 순열로 표현할 수 있으며 하강 계승으로도 나타낼 수 있다.

군론에서 치환(순열)을 나타내는 방법에는 두 가지가 있는데 가장 기본적인 것은 다음과 같은 2행 표기법(two-line notation)[3]이다. 첫 번째 행에는 치환을 조작하기 전(항등치환)의 각 원소의 순서를 쓰며 두 번째 행에는 치환 이후의 순서를 표기한다. 아래 예시에서는 항등치환의 원소가 자연수이지만 $x_i$로 나타내는 경우도 흔하다.

2행 표기법에서 첫 번째 행에는 반드시 항등치환의 순서가 들어가기 때문에 암묵적으로 이를 생략한 1행 표기법(one-line notation)도 있다. 후술하겠지만 1행 표기법에서 항등치환인 원소는 종종 생략된다.

이를테면
$\sigma = \begin{pmatrix} 1 & 2 & 3 \\ 2 & 3 & 1 \end{pmatrix}$
는 $\sigma \left(1\right) = 2$, $\sigma \left(2\right) = 3$, $\sigma \left(3\right) = 1$[4]이며 원소 $x_i$로 나타낸 치환 이후의 순서는 $\begin{matrix} x_3 & x_1 & x_2 \end{matrix}$가 된다. 1행 표기법으로는
$\sigma_{231} = \begin{pmatrix} 2 & 3 & 1 \end{pmatrix}$
이 된다.

보다 자세한 것은 대칭군 참조.

$\sigma_{123} = \begin{pmatrix} 1 & 2 & 3 \\ 1 & 2 & 3 \end{pmatrix}$의 2행표기법에서 1행 표기법으로는 $\left( 123 \right)$으로 표기할수있다.
집합P = {1,2,3}의 치환에서 이것을 순열 생성 알고리즘으로 돌리면
(123) , (132) ,(231) ,(312),(213),(321)로 6개 나온다. 이걸 다시 2행표기법으로 바꾸면
$\begin{pmatrix} 1 & 2 & 3 \\ 1 & 2 & 3 \end{pmatrix}$,$\begin{pmatrix} 1 & 2 & 3 \\ 1 & 3 & 2 \end{pmatrix}$,$\begin{pmatrix} 1 & 2 & 3 \\ 2 & 3 & 1 \end{pmatrix}$,$\begin{pmatrix} 1 & 2 & 3 \\ 3 & 1 & 2 \end{pmatrix}$,$\begin{pmatrix} 1 & 2 & 3 \\ 2 & 1 & 3 \end{pmatrix}$,$\begin{pmatrix} 1 & 2 & 3 \\ 3 & 2 & 1 \end{pmatrix}$을 얻을수있다.

예를 들어 집합S ={1,2,3}의 치환군 S₃ 에서 $\begin{pmatrix} 1 & 2 & 3 \\ 2 & 3 & 1 \end{pmatrix}$ 하나의 원소에 의해 생성되는 군인 순환군은 합성함수(function composition)에서 보면
$\begin{pmatrix} 1 & 2 & 3 \\ 2 & 3 & 1 \end{pmatrix} \circ \begin{pmatrix} 1 & 2 & 3 \\ 2 & 3 & 1 \end{pmatrix} = \begin{pmatrix} 1 & 2 & 3 \\ 3 & 1 & 2 \end{pmatrix}$
$\begin{pmatrix} 1 & 2 & 3 \\ 3 & 1 & 2 \end{pmatrix} \circ \begin{pmatrix} 1 & 2 & 3 \\ 2 & 3 & 1 \end{pmatrix} = \begin{pmatrix} 1 & 2 & 3 \\ 1 & 2 & 3 \end{pmatrix}$
$\begin{pmatrix} 1 & 2 & 3 \\ 1 & 2 & 3 \end{pmatrix} \circ \begin{pmatrix} 1 & 2 & 3 \\ 2 & 3 & 1 \end{pmatrix} = \begin{pmatrix} 1 & 2 & 3 \\ 2 & 3 & 1 \end{pmatrix}$이다.

즉, $\begin{pmatrix} 1 & 2 & 3 \\ 3 & 1 & 2 \end{pmatrix}$,$\begin{pmatrix} 1 & 2 & 3 \\ 1 & 2 & 3 \end{pmatrix}$,$\begin{pmatrix} 1 & 2 & 3 \\ 2 & 3 & 1 \end{pmatrix}$ 3개이다.
순열의 홀짝성(parity)에서 우(짝)순열과 우(짝)순열의 합성은 우순열이고 기(홀)순열과 기(홀)순열의 합성은 우순열을 잘 보여주는 순환군이다.

  자세한 내용은 치환 반응 문서 참고하십시오.