케일리 변환

틀:위키데이터 속성 추적 기하학에서 케일리 변환(Cayley變換, 틀:Llang)은 환 위의 사영 직선의 특별한 자기 동형이다. 행렬의 경우, 이는 반대칭 행렬과 직교 행렬 사이의 대응을 정의하며, 복소수체의 경우, 이는 허수축과 단위 원 사이의 대응을 정의한다.

정의

2가 가역원인 환 $R\ni 2^{-1}$ 위의 사영 직선

${\mathbb{P}}_R^1=R^2/\sim$

$[x,y]\sim [ax,ay]\mathrm{\forall }x,y,a\in R$

을 생각하자. 그 위의 케일리 변환은 다음과 같다.

$f:[x,y]\mapsto [y-x,x+y]$

이는 멱등 함수이다.

$f\circ f=1$

따라서, 이는 $R$-사영 직선 위의 전단사 함수를 정의한다.

보다 일반적으로, 임의의 가역원 $u\in \mathrm{Unit}(R)$에 대하여,

$f_u:[x,y]\mapsto [yu-x,yu+x]$

를 정의할 수 있다. 그 역사상은 다음과 같다.

$f_u^{-1}:[x,y]\mapsto [y-x,(x+y)u^{-1}]$

성질

복소수

케일리 변환

$f:z\mapsto \frac{1-z}{1+z}$

은 리만 구 ${\mathbb{P}}_{ℂ}^1=ℂ\cup \{\mathrm{\infty }\}$ 위의 뫼비우스 변환을 이룬다. 이는 다음과 같은 성질을 갖는다.

z=f(f(z))	f(z)
0	1
i	−i
∞	−1
$𝕚ℝ\cup \{\mathrm{\infty }\}$	U(1)
$ℝ\cup \{\mathrm{\infty }\}$	$ℝ\cup \{\mathrm{\infty }\}$
$\{z\in ℂ:\mathrm{Re}z\ge 0\}\cup \{\mathrm{\infty }\}$	$\{z\in ℂ:|z|\le 1\}$
$\{z\in ℂ:\mathrm{Re}z\le 0\}\cup \{\mathrm{\infty }\}$	$\{z\in ℂ:|z|\ge 1\}\cup \{\mathrm{\infty }\}$

즉, 이는 허수축과 단위원을 뒤바꾸며, 실수축을 고정시킨다. 또한, 음이 아닌 실수 성분을 가진 반평면은 닫힌 원판에 대응된다.

행렬

$n\times n$ 실수 정사각 행렬의 환 $\mathrm{Mat}(n;ℝ)$ 위의 케일리 변환을 생각하자.

$f:\mathrm{Mat}(n;ℝ)\setminus X\to \mathrm{Mat}(n;ℝ)$

$M\mapsto (1-M)(1+M{)}^{-1}=(1+M{)}^{-1}(1-M)$

여기서 $X$는 $1+M$이 가역 행렬이 아니게 되는 행렬들의 부분 집합이다.

이 변환에서, 만약 $M\in 𝔬(n;ℝ)$이 반대칭 행렬이라면 ($M^{\mathrm{\top }}=-M$), $1+M$은 항상 가역 행렬이며,

$f(M{)}^{\mathrm{\top }}=(1-M)(1+M{)}^{-1}=(1-M{)}^{-1}(1+M)$

이므로

$f(M{)}^{\mathrm{\top }}f(M)=f(M)f(M{)}^{\mathrm{\top }}=1$

이 된다. 즉, $f(M)\in \mathrm{O}(n;ℝ)$이며, 특히 $\det f(M)\in \{\pm 1\}$이다. 그런데

$\det \circ (f\upharpoonright 𝔬(n;ℝ)):𝔬(n;ℝ)\setminus X\to \{\pm 1\}$

은 연속 함수이며, 그 정의역 $𝔬(n;ℝ)$은 연결 공간이다. 따라서 이는 상수 함수이며, 그 값은 $\det f(0)=1$이다. 즉, 케일리 변환은 매끄러운 함수

$f:𝔬(n;ℝ)\to \mathrm{SO}(n;ℝ)$

$f:0\mapsto 1$

를 정의한다. (물론, 이는 전사 함수가 아니다. $𝔬(n;ℝ)$는 축약 가능 공간이지만 $\mathrm{SO}(n;ℝ)$는 축약 가능 공간이 아니기 때문이다.)

마찬가지로, 복소수 정사각 행렬의 환

$\mathrm{Mat}(n;ℂ)$

위의 케일리 변환을 생각하자. 이를 제한하면 마찬가지로 매끄러운 함수

$(f_1\upharpoonright 𝔬(n;ℂ)):𝔬(n;ℂ)\to \mathrm{SO}(n;ℂ)$

$(f_1\upharpoonright 𝔲(n;ℂ)):𝔲(n;ℂ)\to \mathrm{U}(n;ℂ)$

를 정의할 수 있다. 여기서

• $𝔬(n;ℂ)$는 복소수 반대칭 행렬의 복소수 리 대수이다.
• $𝔲(n;ℂ)$는 복소수 반에르미트 행렬의 실수 리 대수이다.
• $\mathrm{SO}(n;ℂ)$는 행렬식이 1인 복소수 직교 행렬로 구성된 리 군이다.
• $\mathrm{U}(n;ℂ)$는 유니터리 군이다.

사원수

사원수 대수 $ℍ$ 위의 케일리 변환

$f:ℍ\cup \{\mathrm{\infty }\}\to ℍ\cup \{\mathrm{\infty }\}$

$f:q\mapsto \frac{1-q}{1+q}$

을 생각하자. ($1-q$와 $1+q$는 서로 가환하므로 나눗셈을 왼쪽에서 취하든, 오른쪽에서 취하든 상관이 없다.) 이는 순허수 성분 사원수로 구성된 3차원 유클리드 공간의 알렉산드로프 콤팩트화

$(\mathrm{i}ℝ+\mathrm{j}ℝ+\mathrm{k}ℝ)\cup \{\mathrm{\infty }\}$

를 절댓값이 1인 사원수로 구성된 3차원 초구

${𝕊}^3=\{q\in ℍ:|q|=1\}$

에 대응시킨다. 이는 리 대수 $𝔰𝔲(2)$(의 알렉산드로프 콤팩트화)와 리 군 SU(2) 사이의 사상으로 여길 수 있다. (이는 리 대응과 다른 사상이다.)

역사

아서 케일리가 반대칭 행렬에 대하여 1846년에 최초로 도입하였다.

외부 링크

• 틀:Eom