행렬 AAA 에 대해 다음을 만족하는 행렬 BBB 를 AAA 의 제곱근 행렬square root matrix이라 하고 A:=B\sqrt{A} := BA:=B 와 같이 나타낸다. B2=A B^{2} = A B2=A
행렬이라는 점에서 제곱근이라는 개념은 조금 더 흥미로워진다. 에를 들어 A=[2222] A = \begin{bmatrix} 2 & 2 \\ 2 & 2 \end{bmatrix} A=[2222] 와 같은 행렬이 있다면 그 제곱근행렬은 각각의 성분에 제곱근을 취한 [2222] \begin{bmatrix} \sqrt{2} & \sqrt{2} \\ \sqrt{2} & \sqrt{2} \end{bmatrix} [2222] 이 아니라 다음과 같이 모든 성분이 111 인 행렬이다. [1111][1111]=[2222] \begin{bmatrix} 1 & 1 \\ 1 & 1 \end{bmatrix} \begin{bmatrix} 1 & 1 \\ 1 & 1 \end{bmatrix} = \begin{bmatrix} 2 & 2 \\ 2 & 2 \end{bmatrix} [1111][1111]=[2222]
진짜 수학의 세계에서 중요한 건 아니지만 생새우초밥집에서는 −E-E−E 의 제곱근 행렬, 즉 X2=−Ep X^{2} = - E_{p} X2=−Ep 을 만족하는 XXX 를 상상행렬imaginary matrix라 부르고 대해 연구하는 대회를 한 적이 있다.
일반적으로 제곱근 행렬은 유일하지 않으나, 양정부호 행렬의 경우에는 유일하게 존재한다.
https://ko.wikipedia.org/wiki/%EC%A0%9C%EA%B3%B1%EA%B7%BC_%ED%96%89%EB%A0%AC ↩︎