Bilinear map(쌍선형사상, 겹선형사상)

 Bilinear map(쌍선형사상, 겹선형사상)이란 2개의 vector space(선형 사상)에서 또다른 세 번째 vector space를 만들기 위해 결합하는 함수이다.

 A,B,C를 아벨군(abelian group, 가환군:곱셈의 교환법칙이 성립하는 군)이고 A×B를 곱집합(cartesian product group)이라 하였을 때,  A와 B의 곱집합인 C로의 bilinear map은 다음과 같이 나타낼 수 있다.

  : A×B→C

 위의 bilinear map 함수는 아래와 같은 관계를 만족한다.

 일 때

출저 : https://ncatlab.org/nlab/show/bilinear+map