[논문 리뷰] L'identit\'e alg\'ebrique d'une pratique port\'ee par la discussion sur l'\'equation \`a l'aide de laquelle on d\'etermine les in\'egalit\'es s\'eculaires des plan\`etes (1766-1874)

Frédéric Brechenmacher|arXiv (Cornell University)|2007. 04. 23.

History and Theory of Mathematics인용 수 5

한 줄 요약

이 논문은 1766년 라그랑주가 기계적 진동계에서의 소규동에 대해 기여한 작업에 뿌리를 두고 있는 대수적 실천의 역사적 발전을 조사한다. 이는 라플라스, 코시, 바이어스트라스, 조르당, 크론커까지 이르는 흐름을 따라 발전해온 것으로, 대칭 선형계의 특성다항식을 인수분해하는 데 중심을 두는 이 실천의 대수적 정체성이 공식 이론이 아닌, 뿌리의 성질과 일반화 문제에 대한 한 세기 동안의 논의에서 비롯되었음을 드러낸다. 이는 선형대수학과 행렬 이론의 출현 이전에 대수적 형태의 기초 논의로 이어진다.

ABSTRACT

What did "algebra" mean before the development of the algebraic theories of the 20th century ? This paper stresses the identities taken by the algebraic practices developped during the century long discussion around the equation around the equation of secular inequalities (1766- 1874). In 1874, a strong controversy on the theory of bilinear and quadratic forms opposed Camille Jordan and Leopold Kronecker. The arithmetical ideal of Kronecker faced Jordan's claim for the simplicity of his algebraic canonical form. As the controversy combined mathematical and historical arguments, it gave rise to the writing of a history of the methods used by Lagrange, Laplace and Weierstrass in a century long mathematical discussion around the "equation of secular inequalities".

연구 동기 및 목표

• 선형대수학의 공식화 이전에 기계학에서의 독립적인 대수적 실천이 어떻게 역사적으로 나타났는지 이해한다.
• 라그랑주의 선형계 해법을 위한 다항식 인수분해 기법이 여러 수학적 전통에서 중심적이고 지속 가능한 기법으로 어떻게 발전했는지 추적한다.
• 특히 뿌리의 성질과 대수적 추론의 정체성에 관해, 대수의 일반화에 대한 철학적 및 방법론적 논의를 조사한다.
• 라그랑주에서 조르당과 크론커에 이르는 지적 유전을 재구성하며, 공통된 문제들이 어떻게 변화하는 대수적 정체성 개념을 형성했는지 집중적으로 분석한다.
• 이 논의가 단일 이론에 의해 통합되지 않았음에도 불구하고 100여 년이 넘는 기간 동안 어떻게 통일성과 중요성을 유지했는지 명확히 한다.

제안 방법

• 1766년에서 1874년까지의 주요 저자들 간의 지적 연속성과 상호작용을 파악하기 위해 인용 네트워크와 참고문헌(부록 1에 시각화)을 활용한다.
• 라그랑주, 라플라스, 코시, 바이어스트라스, 조르당, 크론커의 원본 저서를 분석하여 공통된 문제 구조와 방법론적 특징을 식별한다.
• 다양한 맥락에서 공통된 끈으로 작용하는 핵심 대수적 기법—대칭 선형계의 특성다항식 인수분해—를 특정한다.
• 기계 문제에서 유도된 시스템에서의 대칭 계수 배열(거울 대칭 패턴)이 핵심 특징임을 분석한다.
• 특성방정식의 뿌리에 대한 추론의 변화를 물리적 해석(라그랑주, 라플라스)에서 기하학적(코시) 및 해석적(바이어스트라스) 프레임워크로의 전환을 분석한다.
• 1874년 조르당-크론커 논쟁을 이 역사적 흐름 속에서 위치지어, 대수적 형태의 기초에 대한 긴장이 어떻게 정점에 이르렀는지를 보여준다.

실험 결과

연구 질문

• RQ1 라그랑주가 1766년에 기계적 진동계의 선형계를 해법하는 데 사용한 방법이, 행렬 이론의 출현 이전에 어떻게 독립적인 대수적 실천을 정립했는가?
• RQ2 19세기 내내 특성방정식과 그 뿌리에 관해 어떤 특징들이 논의되었으며, 이러한 논의는 대수적 일반성에 대한 시각의 변화를 어떻게 반영했는가?
• RQ3 이 논의는 단일 이론적 프레임워크가 부재함에도 불구하고 왜 지속적인 통일성과 일관성을 유지했는가?
• RQ4 이 맥락에서 대수적 정체성 개념은 어떻게 진화했으며, 결과의 일반화가 실천을 유지하는 데 어떤 역할을 했는가?
• RQ5 1874년 조르당-크론커 논쟁은 이 대수적 논의의 역사적 연속성과 어떤 관련이 있었는가?

주요 결과

• 라그랑주의 1766년 방법은 대칭 선형계의 특성다항식 인수분해를 기반으로 한 새로운 대수적 실천을 도입하였으며, 미정계수법과는 뚜렷이 구별된다.
• 이 실천은 이후 대칭 행렬로 알려지게 되는 대칭 계수 배열의 일관된 사용을 통해 유지되었지만, 아직 공식적으로 정의되지는 않았다.
• 다얼맹주에서 라플라스에 이르기까지의 뿌리 논의는 물리적·기계적 해석을 강조하였고, 코시는 기하학적·대수적 추론으로 전환하였다.
• 코시의 이차형식 분류 작업과 바이어스트라스의 동차 함수 분석은 향후 발전에 핵심적인 해석적 기초를 제공하였다.
• 1874년 조르당-크론커 논쟁은 이론적 파국이 아니라, 대수적 일반성의 본질에 대한 한 세기 동안의 논의의 정점이었다.
• 공식 이론이 없음에도 불구하고, 공통된 문제, 방법론적 연속성, 그리고 지속적인 일반화 요구가 논의의 지적 통일성을 유지하는 데 기여했다.