AKA 유니타리행렬(kms)
유니타리 행렬(unitary matrix)

그것의 conjugate transpose를 곱하면 identity matrix가 되는 matrix.
그것의 [[켤레전치,conjugate_transpose]]를 곱하면 [[항등행렬,identity_matrix]]이 되는 그런 행렬.

----
먼저 다음을 알아야 함.
 [[역행렬,inverse_matrix]]
 [[켤레전치,conjugate_transpose]] (켤레전치행렬)

'''''역 = 켤레전치'''''

//wpko
"켤레전치가 역행렬과 같은 복소수 정사각행렬(WpKo:복소행렬 and [[정사각행렬,square_matrix]])"

Twins: [[https://terms.naver.com/entry.nhn?docId=4125397&ref=y&cid=60207&categoryId=60207 수학백과: 유니타리 행렬]]
{
이런 게 언급..
정규직교집합
대각화가능 (정사각행렬이 대각행렬과 닮으면 대각화가능한 행렬이라고 한다. see [[https://terms.naver.com/entry.nhn?docId=3405025&ref=y&cid=47324&categoryId=47324 수학백과: 대각화 가능]])
 -> [[대각화가능행렬,diagonalizable_matrix]]
유니타리 닮음(unitarily similar)
유니터리대각화 unitary_diagonalization - Up: [[대각화,diagonalization]](curr at [[대각행렬,diagonal_matrix]])
유니타리 대각화가능(unitary diagonalizable)
}

// WpKo: 유니터리_행렬
{
켤레 전치가 역행렬과 같은 복소수 행렬

Kreyszig 8.5 에선 다음 언급.
 * 유니타리 변환 - 내적/노름의 불변성 관련
 * 유니타리계(unitary system) - 어떤 조건을 만족하는 복소 벡터들의 집합
 * 복소 정사각행렬이 유니타리행렬일 필요충분조건은 열벡터가 유니타리계를 형성하는 것. (행벡터도 마찬가지)
 * 유니타리행렬 A의 [[행렬식,determinant]]의 절대값은 1이다. 즉 |det A|=1이다.
 * 고유기저의 존재. 에르미트, 반에르미트, 또는 유니타리행렬의 [[고유벡터,eigenvector]]들은 C^^n^^의 [[고유기저,eigenbasis]]가 되며, 이들은 유니타리계임.
}

= tmp links ko =
https://m.blog.naver.com/sw4r/221358399615
특정 조건을 만족하는 복소수 정사각행렬.
이것(unitary matrix)의 실수 버전은 [[직교행렬,orthogonal_matrix]]이라고.

= Misc =
이름이 [[단위,unit]]과 비슷한데 관계가 있는지?
Google:unit+unitary
Google:unitary+meaning

[[Date(2021-12-07T22:18:38)]]
[[Srch:unitary_divisor]] 유니타리약수? 유니타리인자? 이건 [[자연수,natural_number]] [[나눗셈,division]], divisor(약수/인자) 얘기
{
"n과 d가 서로 약수와 배수의 관계이고, n÷d의 결과가 d와 서로소인 경우는 유니타리 약수" (from [[WpKo:합성수]])

[[WpKo:유니타리_약수]]
[[WpEn:Unitary_divisor]]
https://mathworld.wolfram.com/UnitaryDivisor.html
}

MKLINK:
[[유니터리변환,unitary_transformation]] - [[변환,transformation]]
[[unitary_group]] - [[군,group]]

----
[[WpKo:유니터리_행렬]]
[[WpEn:Unitary_matrix]]
[[https://terms.naver.com/entry.naver?docId=4125397&cid=60207&categoryId=60207 수학백과: 유니타리 행렬]]

https://proofwiki.org/wiki/Definition:Unitary_Matrix

Up: [[행렬,matrix]]