내적은 벡터의 길이나 두 벡터 간의 각도 또는 거리 등과 같은 직관적인 기하학적 개념을 도입하기 위한 것이다.
내적의 한 타입인 scalar product/dot product는 다음과 같다.

bilinear mapping 는 두 인자에 대한 mapping 이며, 각 인자에 대해 linear한다. 와 에 대해 다음이 성립한다.

모든 에서 라면 인자들의 순서가 상관이 없다는 뜻이고 symmertic이라고 부른다. 또한 아래 정의가 성립하면 positive definite라고 한다.

Positive definite이면서 symmetric bilinear mapping 를 에서의 inner product라고 부르며 로 쓴다.
inner product 인 n차원 벡터공간 와 기저 가 있을 때, 모든 벡터 는 basis vector의 선형결합으로 표현가능하므로 다음과 같다.

또한 Inner product의 bilinearlity 때문에 다음이 성립한다.

여기서 이며 는 기저 B에 대한 x, y의 좌표다.이는 inner product가 를 통해 결정된다는 것을 의미한다. 또한, inner product의 positive definiteness는 다음이 성립한다는 것을 의미한다.

위를 만족하는 symmetric matrix 를 symmetric, positive definite라고 하며, 항등식 가 성립하면, symmetric, positive semidefinite라고 한다.
가 symmetric, positive definite라면, 아래의 식은 기저 에 대한 inner product를 정의하며 는 B에 대한 x, y의 좌표다.

위의 식을 만족하는 symmetric, positive definite matrix 가 존재하면 다음의 성질들이 성립한다.
의 null space는 오직 0으로만 구성된다.(x가 0이 아닌 모든 x에 대해 이므로) 즉, x가 0이 아니면 도 0이 아니다. 또한 A의 대각 성분 이므로 positive다.