이차형식

위키백과, 우리 모두의 백과사전.
이동: 둘러보기, 검색

수학에서, 이차형식(二次形式, 영어: quadratic form)은 다변수 2차 동차다항식을 말한다.

정의[편집]

가환환 R이 주어졌다고 하자. R 계수의, n개의 변수에 대한 이차형식은 2차 동차다항식 p=R[x_1,x_2,\dots,x_n]이다. 이는 일반적으로 다음과 같은 꼴이다.

p=\sum_{1\le i\le j\le n}a_{ij}x_ix_j
a_{ij}\in R

임의의 0이 아닌 n변수 2차형식은 사영공간에 n-2차원 2차곡면을 정의한다. 이런 관점에서, 3변수 2차형식은 원뿔곡선에 대응된다.

가 아닌 환의 경우 (예를 들어, 정수환 \mathbb Z), 역사적으로 이차형식의 정의에 대해서 약간의 혼란이 있었다. 즉, 일반적인 2변수 이차 형식이

ax^2+bxy+cy^2 (a,b,c\in\mathbb Z)

인지 아니면

ax^2+2bxy+cy^2 (a,b,c\in\mathbb Z)

인지의 여부이다. 그러나 이후 격자 이론과 위상수학리 이론 등의 응용에 따라서, 전자가 옳은 정의임이 분명해졌다.

참고 문헌[편집]

바깥 고리[편집]