수론과 선형대수학에서, '''이차 형식'''(二次形式, )은 다변수 2차 동차다항식이다. == 정의 == 가환환 위의 가군 위의 '''이차 형식''' 다음 조건을 만족시키는 함수 이다. (동차성) 임의의 대하여, (쌍선형성) 함수 정의하면, 위의 쌍선형 형식을 이룬다. 즉, 다음이 성립한다. ** 임의의 대하여, ** 임의의 대하여, 경우, '''연관 쌍선형 형식'''()이라고 한다. 연관 쌍선형 형식은 항상 대칭 쌍선형 형식이며, 만약 라면 이는 추가로 교대 쌍선형 형식이다. 흔히 다루어지는 경우는 체이거나 대수적 정수환이며, 자유 가군인 경우다. 같은 가환환 위에 가군 존재하고, 위에 각각 이차 형식 존재한다고 하자. 사이의 '''동치'''() 다음 조건을 만족시키는 함수 이다. 가군의 동형이다. 이다. 이차 형식 사이에 동치가 존재한다면, 이차 형식이 서로 '''동치'''()라고 한다. === 비퇴화 이차 형식 === 가환환 위의 가군 위의 이차 형식 연관 쌍선형 형식이 라고 하자. '''등방성 )는 원소 이다. '''근기'''() 근기 속하는 등방성 벡터의 집합이다. 이는 부분 가군이자 부분 가군이다. 이는 임의의 대하여 이기 때문이다. 가환환 위의 가군 위의 이차 형식 다음 조건을 만족시킨다면, '''비퇴화 이차 형식'''이라고 한다. 연관 대칭 쌍선형 형식 비퇴화 쌍선형 형식이다. 즉, 로부터 정의되는 사상 가군의 동형 사상이다. 체이고, 위의 유한 차원 벡터 공간이라고 하자. 그렇다면 여차원은 또는 1이다. 만약 표수가 2가 아니라면, 항상 이다. 즉, 여차원이 1인 경우는 경우에만 가능하다. 만약 근기가 이라면, '''비특이 이차 형식'''(非特異二次形式, )이라고 한다. 만약 연관 쌍선형 형식 비퇴화 쌍선형 형식이라면 (즉, 근기가 이라면), '''비퇴화 이차 형식'''(非退化二次形式, )이라고 한다. 만약 라면 비특이 이차 형식의 개념과 비퇴화 이차 형식의 개념이 일치하지만, 경우 퇴화 비특이 이차 형식이 존재한다. 경우는 경우이다. === 정부호성 === 순서체 위의 벡터 공간 위의 이차 형식 대하여, 다음과 같은 용어들을 정의한다. '''양의 정부호 이차 ): 모든 대하여, 이다. '''음의 정부호 이차 ): 모든 대하여, 이다. '''양의 준정부호 이차 ): 모든 대하여, 이다. '''음의 준정부호 이차 ): 모든 대하여, 이다. '''부정부호 이차 형식'''(不定符號二次形式, ): 양의 정부호 이차 형식이 아니며, 음의 정부호 이차 형식도 아니다. === 이차 공간 === 가환환 위의 '''이차 공간'''(二次空間, 위의 가군 위의 이차 형식 순서쌍이다. 위의 이차 공간 사이의 '''사상'''()은 다음 조건을 만족시키는 함수 이다. -가군의 가군 준동형이다. 이다. 단사 함수인 이차 공간 사상을 이차 공간의 '''매장'''()이라고 한다. 이차 공간의 매장 주어졌을 때, 만약 자유 가군이라면, '''원시 매장'''()이라고 한다. == 성질 == === 비트 소거 정리 === 임의의 표수의 위의 이차 공간 주어졌다고 하자. '''비트 소거 정리'''()에 따르면, 만약 이라면, 이다. === 쌍선형 형식과의 관계 === 가환환 에서 2가 가역원일 경우 (예를 들어, 표수가 2가 아닌 체일 경우), -가군 위의 이차 형식은 위의 대칭 쌍선형 형식과 표준적으로 일대일 대응한다. 구체적으로, 이차 형식 연관 쌍선형 형식 주어졌다면, 이로부터 원래 이차 형식을 다음과 같이 되찾을 있다. 그러나 만약 에서 2가 가역원이 아니라면 이는 일반적으로 성립하지 않는다. 보다 일반적으로, 임의의 가환환 위의 가군 대하여, 2차 순환군 쌍선형 형식의 공간 위에 다음과 같이 작용한다. 이에 대하여, 군환 위의 가군을 이룬다. 계수에 대하여 호몰로지 코호몰로지를 정의할 있다. 0차 코호몰로지는 군의 작용의 불변량으로 구성되며, 만약 이라면 이는 대칭 쌍선형 형식의 공간과 같다. 0차 호몰로지는 군의 작용의 쌍대불변량으로 구성된다. 만약 경우, 이는 위의 이차 형식의 공간 다음과 같이 동형이다. 다시 말해, 다음과 같은 -가군의 완전열이 존재한다. === 클리퍼드 대수와의 관계 === 가환환 위의 가군 위의 이차 형식 주어졌을 때, 데이터로부터 '''클리퍼드 대수''' 정의할 있다. 이는 -단위 결합 대수이다. 클리퍼드 대수는 표준적인 단사 -선형 변환 갖는다. 이차 형식의 클리퍼드 대수는 이차 형식의 불변량을 이룬다. 비퇴화 이차 형식의 클리퍼드 대수는 항상 등급 아즈마야 대수를 이루며, 따라서 브라우어-월 원소를 정의한다. 역시 비퇴화 이차 형식의 불변량으로 생각할 있다. === 대각화와 비트 분해 정리 === 위의 유한 차원 벡터 공간 위의 이차 형식 꼴의 이차 형식과 동치라면, '''대각화 가능 이차 )이라고 한다. 표수가 2가 아닌 위의 유한 차원 벡터 공간 위의 모든 이차 형식은 대각화 가능 이차 형식이다. 그러나 이는 표수 2의 경우 성립하지 않는다. 구체적으로, 대각화 알고리즘은 다음과 같은 그람-슈미트 과정의 일종이다. 표수가 2가 아닌 위의 유한 차원 벡터 공간 위의 이차 형식 주어졌을 때, 경우 이미 대각화돼 있으므로 가정할 있다. 경우 고를 있으며, 경우 이다. 따라서, 마찬가지로 골라 과정을 재귀적으로 반복할 있다. '''비트 분해 정리'''(Witt分解定理, )에 따르면, 표수가 2가 아닌 위의 이차 공간 다음과 같은 꼴로 표준적으로 분해된다. 여기서 성분은 다음과 같다. 이차 형식이 0인 이차 공간이다. 이차 형식이 비퇴화 이차 형식인 이차 공간이다. '''분해 이차 공간'''()이다. 즉, 짝수이며, 속에서 차원 부분 공간 존재한다. 경우 '''핵심'''()이라고 한다. 또한, '''계수'''()라고 하며, '''비트 지표'''()라고 한다. 비트 정리에 따라, 되는 부분 벡터 공간들의 포함 관계에 대한 부분 순서 집합에서, 극대 원소들의 차원은 항상 비트 지표와 같다. == 분류 == 이차 형식의 동치에 대한 분류는 수론과 선형대수학에서 매우 중요한 문제이다. === 복소수 이차 형식의 분류 === 표수가 2가 아닌 이차 폐체(, 모든 원소가 제곱근을 갖는 체)라고 하자. (예를 들어, 복소수체이거나, 표수가 2가 아닌 체의 대수적 폐포인 경우 이에 해당된다.) 그렇다면, 유한 차원 복소수 벡터 공간 위의 이차 형식은 계수 따라서 완전히 분류된다. 즉, 모든 이차 형식 다음과 같은 꼴의 이차 형식과 동치이다. 경우, 이차 형식은 계수 의하여 완전히 분류된다. === 실수 이차 형식의 분류 === 에우클레이데스 체(, 모든 양수가 제곱근을 갖는 순서체)라고 하자. (예를 들어, 실수체 이거나 보다 일반적으로 실폐체일 경우 이에 해당된다.) 유한 차원 실수 벡터 공간 위의 이차 형식은 계수 부호수 따라서 완전히 분류된다 (). 즉, 모든 이차 형식 다음과 같은 꼴의 이차 형식과 동치이다. 구체적으로, ''n'' 변수의 계수 이차 형식 대칭 행렬 으로 나타낼 있다. '''부호수'''() 양의 고윳값의 고윳값 0의 중복도 음의 고윳값의 순서쌍이다. 물론 이다. 여기서, 등은 고윳값의 중복도를 고려하여 센다. 그렇다면 실수 계수 이차 형식의 완전한 불변량이다. 즉, 실수 계수 이차 형식이 서로 동치일 필요충분조건은 이차 형식의 부호수가 같은 것이다. 이를 '''실베스터 관성 )이라고 한다. === 국소체 위의 이차 형식의 분류 === p진수체 위의 이차 형식은 계수와 하세-비트 불변량에 따라 완전히 분류된다. 마찬가지로 다른 국소체 위의 이차 형식도 완전히 분류되었다. === 대역체 위의 이차 형식의 분류 === '''하세-민코프스키 정리'''에 따르면, 대역체 위의 이차 형식 동치일 필요충분조건은 다음과 같다. 완비화인 모든 국소체 대하여, 서로 동치이다. 여기서 계수로 간주한, 위의 이차 형식이다. === 홀수 표수의 유한체 위의 이차 형식의 분류 === 표수가 2가 아닌 유한체 위의 벡터 공간 위의 이차 형식의 동치류는 개가 있으며, 이들 가운데 비퇴화 이차 형식인 것은 개이다. 이들은 구체적으로 다음과 같다. 제곱수가 아닌 임의의 수라고 하자. 이러한 수는 항상 존재한다. 그렇다면, 모든 비퇴화 이차 형식(의 연관 대칭 쌍선형 형식)은 다음 대각 행렬 가운데 정확히 하나와 서로 동치이다. 즉, 다음과 같은 꼴이다. 만약 홀수라면, 동치이다. 경우 비트 지표는 이다. 만약 짝수라면, 동치이며, 비트 지표는 다음과 같다. 이며 경우, 비트 지표는 이며 비트 지표는 이다. 이거나 또는 경우, 비트 지표는 이며 비트 지표는 이다. 경우, 비트 지표가 경우를 '''플러스형'''(), 경우를 한다. 비트 분해 정리에 의하여, 모든 (퇴화 또는 비퇴화) 이차 형식은 비퇴화 이차 형식과 0의 직합과 동치이다. 즉, 다음 가운데 하나와 동치이다. 홀수 차수 유한체 비트 환의 크기는 4이며, 이는 따라 구체적으로 다음과 같다. 동형은 구체적으로 다음과 같다. +인 경우 +인 경우 ''x'' 1+''x'' === 짝수 표수의 유한체 위의 이차 형식의 분류 === 표수가 2가 아닌 유한체 위의 벡터 공간 위의 이차 형식의 동치류는 개가 있으며, 이들 가운데 비특이 이차 형식인 것은 양의 짝수일 경우 2개, 홀수이거나 0일 경우 1개이다. 홀수라면 비특이 이차 형식은 퇴화 이차 형식이지만, 짝수라면 비특이 이차 형식은 모두 비퇴화 이차 형식이다. 구체적으로, 홀수일 경우, 모든 비특이 이차 형식은 다음과 같은 블록 대각 행렬과 동치이다. 즉, 다음과 같은 꼴이다. 경우 연관 대칭 쌍선형 형식은 이다. 즉, 이다. 해가 존재하지 않는 임의의 수라고 하자. (이러한 수는 항상 적어도 하나 이상 존재한다.) 양의 짝수일 경우, 모든 비특이 이차 형식은 다음과 같은 블록 대각 행렬 가운데 정확히 하나와 동치이다. 즉, 각각 다음과 같은 꼴이다. 경우 '''플러스형'''(), 한다. 비트 지표는 이며, 비트 지표는 이다. 비트 분해 정리에 따라, 모든 이차 형식은 비특이 이차 형식과 0의 직합으로 나타내어진다. === 정수환 위의 이차 형식의 분류 === 정수환 이나 다른 대수적 정수환 위의 유한 차원 자유 가군 (=유한 생성 자유 아벨 군) 위의 이차 형식의 경우 하세-민코프스키 정리가 성립하지 않으며, 이들의 분류는 일반적으로 어렵다. 정수 계수 부정부호 형식의 경우, 마르틴 아이클러()는 스피너 종수()를 사용하여 완전히 분류하였다. 정수 계수 정부호 형식의 경우는 유클리드 공간 속의 격자에 대응하며, 이는 낮은 차원(대략 24차원 이하)에서는 에른스트 비트와 마르틴 크네저(), 한스폴커 니마이어()가 개발한 접착법()을 사용하여 분류할 있다. 이보다 차원에서의 정부호 형식의 분류는 불가능하다고 추측된다. 정수 계수 이차 형식의 경우, 동치보다 거친 '''종수'''(種數, )라는 동치 관계가 존재한다. 위의 이차 형식 다음 조건을 만족시키면, 같은 '''종수'''에 속한다고 한다. 실수 계수 위에서 서로 동치이다. 모든 소수 대하여, p진 정수환 정의한다면, 계수 위에서 서로 동치이다. 즉, 이는 하세-민코프스키 정리와 유사하게, 유한 무한 소수에서의 "정수환"에서 동치인 것이다. 그러나 유리수 계수의 경우와 달리 같은 종수에 속하는 정수 계수 이차 형식이 서로 동치이지 않을 있다. 주어진 종수에 속한 모든 이차 형식들의 (적절한 무게를 부여한) 수는 '''스미스-민코프스키-지겔 질량 공식'''에 의하여 주어진다. == 응용 == 이차 형식의 이론은 다른 여러 수학 분야와 밀접한 관계를 가진다. === 대수기하학 === 임의의 0이 아닌 n변수 이차 형식은 사영 공간에 n-2차원 이차 초곡면을 정의한다. 이런 관점에서, 3변수 2차형식은 원뿔 곡선에 대응된다. === 모듈러 형식 === 임의의 이차 형식에 대하여 세타 함수를 정의할 있으며, 이는 모듈러 형식을 이룬다. 이를 일반화하여 힐베르트 모듈러 형식 지겔 모듈러 형식 야코비 형식 등의 이론이 이차 형식 이론과 깊은 관계를 가진다. === 격자 이론 === 정수 계수의 이차 형식은 유클리드 공간 속의 격자의 이론과 밀접한 관계를 가진다. 이를 통해 이차 형식 이론은 민코프스키의 기하학()이나 코드 이론(), 암호학 등에 응용된다. == 역사 == === 고대 수학에서의 이차 형식 === 특수한 정수 계수 이차 형식의 연구는 고대 수학에서 이미 등장한다. 예는 정수 계수 2변수 이차 형식 상을 계산하는 문제로, 이는 피타고라스 수에 관련된다. 문제는 1640년에 피에르 페르마가 페르마 제곱수 정리로서 해결하였다. 기원후 7세기에 인도의 수학자 브라마굽타는 방정식의 해를 제시하였다. 역시 특수한 2변수 이차 형식 연구하는 문제이다. === 19세기 이차 형식 이론 === 1801년에 카를 프리드리히 가우스는 《산술 연구》()에서 정수 계수 2변수 이차 형식을 체계적으로 연구하였다. 1852년에 제임스 조지프 실베스터는 실수 계수 이차 형식을 실베스터 관성 법칙을 통해 완전히 분류하였다. 정리의 어원은 실베스터가 오늘날 부호수로 불리는 개념을 "관성"()이라고 불렀기 때문이다. 1867년에 헨리 스티븐 스미스는 스미스-민코프스키-지겔 질량 공식을 최초로 발견하였으나, 널리 알려지지 않았다. 1885년에 헤르만 민코프스키는 박사 학위 논문에서 이차 형식의 종수()의 개념을 도입하였고, 스미스-민코프스키-지겔 질량 공식을 재발견하였다. === 20세기~21세기 이차 형식 이론 === 헬무트 하세(1898~1979)는 쿠르트 헨젤의 p진수를 유리수 계수 이차 형식의 분류에 도입하여, 하세-민코프스키 정리를 완성하였다. 카를 루트비히 지겔(1896~1982)은 1935년에 민코프스키가 제시한 질량 공식의 오류를 교정하여 스미스-민코프스키-지겔 질량 공식을 완성하였고, 이를 비롯한 편의 논문에서 이차 형식의 해석적 이론을 제창하였다. 에른스트 비트(1911~1991)는 1937년 하빌리타치온 논문에서 비트 소거 정리와 비트 분해 정리 비트 환의 개념을 도입하였고, 이로서 이차 형식의 대수적 이론을 제창하였다. 마르틴 아이클러(, 1912~1992)는 스피너 종수()를 사용하여 부정부호 정수 계수 이차 형식을 분류하였으며, 마르틴 크네저(, 1928~2004), 한스폴커 니마이어(, 1940~)는 접착법()을 사용하여 낮은 차원의 정부호 정수 계수 이차 형식의 분류를 완성하였다. 현대의 이차 형식 이론은 이차 수체와 모듈러 형식의 이론과 밀접한 관계를 가지며, 현대 수론의 주요 분야로 성장하게 되었다. == 참고 문헌 == == 외부 링크 == 분류:선형대수학