달력

2

« 2020/2 »

  •  
  •  
  •  
  •  
  •  
  •  
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • 10
  • 11
  • 12
  • 13
  • 14
  • 15
  • 16
  • 17
  • 18
  • 19
  • 20
  • 21
  • 22
  • 23
  • 24
  • 25
  • 26
  • 27
  • 28
  • 29

'Cayley-Hamilton Theorem'에 해당되는 글 2

  1. 2010.03.08 케일리-해밀턴 정리 (5)
  2. 2010.03.07 케일리-해밀턴 정리는 누가 증명하였을까 (3)
2010. 3. 8. 23:03

케일리-해밀턴 정리 Math2010. 3. 8. 23:03

지난 번에 올렸던 케일리-해밀턴 정리는 누가 증명하였을까의 정답(?)을 알아보자.

몇 분이 댓글로 달아주셨듯이, Cayley-Hamilton 정리를 증명한 수학자는 독일의 Frobenius이다.

그런데 왜 이 정리는 Frobenus의 정리가 아니라 Cayley-Hamilton 정리로 알려져 있을까?

원래 이 정리의 내용을 처음으로 발견한 사람은 Hamilton이다. 그의 최대 업적은 사원수(quaternion)를 발견한 것으로, 이것은 삼차원 공간의 회전변환을 기술하기 위하여 개발된 것이다. 1853년에 Hamilton이 보인 것은, 이런 변환을 나타내는 사원수가 특정한 삼차방정식의 근이 된다는 것이었다. 행렬로 바꾸어 표현하면, 삼차원 공간의 회전변환을 나타내는 것은 3차 정사각행렬이므로, 그가 보인 것은 3x3 행렬에 대해 Cayley-Hamilton 정리가 성립함을 보인 것과 마찬가지이다.

Hamilton 시대에는 행렬이라는 개념이 없었으므로, 회전변환을 묘사하기 위해서는 복소수나 사원수를 사용할 수밖에 없었다. 여기에서 벗어나 일반적인 행렬을 다루기 시작한 사람이 Cayley이다. 그는 1857년에 2x2 행렬에 대해 지금 우리가 Cayley-Hamilton 정리라 부르는 관계가 성립함을 보였다. 그러면서 3x3 행렬에 대해서도 확인하였다고 주장하였다. 그러나 그들의 결과는 정식으로 출판되지는 않았고, 강의록이나 다른 수학자와 주고 받은 편지에 간단히 언급된 정도였다.

고등학교에서 배우는 Cayley-Hamilton 정리는 2x2 행렬에 대한 것이니, 이런 점에서는 Cayley-Hamilton 정리를 증명한 사람이 Cayley라고 하는 것도 아주 틀린 말은 아닌 셈이다.

Cayley-Hamilton 정리를 더 일반적인 nxn 행렬로 확장한 결과는 앞서 언급하였던 Frobenius에 의해 1896년에 증명되었다. 증명을 해 본 사람은 알겠지만, Cayley-Hamilton 정리는 추측하기는 쉬워도 일반적인 증명을 하기는 그리 간단치 않다. 그러나 Frobenius는 Cayley와 Hamilton이 2x2와 3x3에 대해 같은 결과를 발견하였다는 사실을 알고서, 관대하게도 자신이 발견한 정리를 Cayley와 Hamilton의 공으로 돌렸다. 이 정리가 Frobenius 정리가 아니라 Cayley-Hamilton 정리로 불리는 이유가 바로 이것이다.

그래서 Cayley-Hamilton 정리를 증명한 사람을 묻는 질문에 대한 정답은 Cayley도 Hamilton도 아닌 Frobenius가 된다. 그런데 여기에도 한 가지 알려지지 않은 사실이 있다. Arthur Buchheim이 1883년에 비슷한 결과를 발표하였다는 것은 거의 알려져 있지 않다. 왜 그의 이름은 잊혀졌을까? 아마도 그가 요절하여 --- 1859년에 태어나 1888년에 죽었다. --- 그의 업적 또한 함께 잊혀졌던 것이 가장 큰 이유일 것이다.

만약 Cayley-Hamilton 정리가 Frobenius 정리로 불렸다면, 나중에 선후 관계를 따져 Buchheim-Frobenius 정리가 될 수도 있었겠지만, Cayley-Hamilton 정리라는 이름에는 Buchheim이 들어갈 자리가 없어 보인다.

참고자료:

'Math' 카테고리의 다른 글

수학의 아름다운 힘  (4) 2010.04.27
pi-day  (4) 2010.03.13
케일리-해밀턴 정리  (5) 2010.03.08
케일리-해밀턴 정리는 누가 증명하였을까  (3) 2010.03.07
수들은 언제 태어났을까?  (0) 2010.03.06
삼겹살 데이  (1) 2010.03.04
Posted by puzzlist

댓글을 달아 주세요

  1. numberplay 2010.03.09 00:37  댓글주소  수정/삭제  댓글쓰기

    오.. 재밌는 일화가 있었군요...

  2. Favicon of http://karotte.egloos.com BlogIcon Carrot 2010.03.09 02:11  댓글주소  수정/삭제  댓글쓰기

    정확히는 '케일리-해밀턴 추측'이라고 해야 옳겠군요.

  3. vkdkfksqlc 2011.07.11 23:58  댓글주소  수정/삭제  댓글쓰기

    '케일리-해밀턴 정리' 대각화 가능하다면 증명은 쉬운데,,,
    대각화 가능하지 않을때에의 증명이 알고 싶습니다.

  4. palbulchul 2013.05.16 06:40  댓글주소  수정/삭제  댓글쓰기

    으아악... 프로베니우스 >_<

    수리물리학 수업시간에 - 정확히는 복소해석 -_-; - 만인의 원한을 사던 바로 그 이름.

어느 고등학교 교과서에서도 다루지 않지만, 어느 참고서에서도 다루는 Cayley-Hamilton 정리.

이 정리를 증명한 사람은 누구일까?

1. 케일리
2. 해밀턴
3. 케일리와 해밀턴 (공동 작업)
4. 케일리-해밀턴 (졸리오-퀴리처럼 한 사람의 성)
5. 넷 다 아님. (그럼 누구?)

'Math' 카테고리의 다른 글

pi-day  (4) 2010.03.13
케일리-해밀턴 정리  (5) 2010.03.08
케일리-해밀턴 정리는 누가 증명하였을까  (3) 2010.03.07
수들은 언제 태어났을까?  (0) 2010.03.06
삼겹살 데이  (1) 2010.03.04
2 두 개로 5 만들기  (25) 2010.01.14
Posted by puzzlist

댓글을 달아 주세요

  1. 2010.03.07 03:18  댓글주소  수정/삭제  댓글쓰기

    비밀댓글입니다

  2. Favicon of https://blog.hshin.info BlogIcon Ens 2010.03.07 04:10 신고  댓글주소  수정/삭제  댓글쓰기

    두 명이 서로 독립적으로 증명한게 아닐까 생각했는데..
    아무도 공식적으로 증명을 출판한 적이 없군요.. 이런 이런..

    http://www.mathpages.com/home/kmath640/kmath640.htm
    Every square matrix satisfies its own characteristic equation. This interesting and important proposition was first explicitly stated by Arthur Cayley in 1858, although in lieu of a general proof he merely said that he had verified it for 3x3 matrices, and on that basis he was confident that it was true in general. Five years earlier, William Rowan Hamilton had shown (in his “Lectures on Quaternions”) that a rotation transformation in three-dimensional space satisfies its own characteristic equation. Evidently neither Cayley nor Hamilton ever published a proof of the general theorem. References to this proposition in the literature are about evenly divided in calling it the Cayley-Hamilton theorem or the Hamilton-Cayley theory. The first general proof was published in 1878 by Georg Frobenius, and numerous others have appeared since then.

  3. Favicon of http://adexam.textcube.com BlogIcon 애드민 2010.03.07 12:11  댓글주소  수정/삭제  댓글쓰기

    He also gave the first full proof for the Cayley–Hamilton theorem.- http://en.wikipedia.org/wiki/Ferdinand_Georg_Frobenius
    마치 앤드루 와일스가 페르마의 마지막 정리를 증명한 꼴이네요.