수축 사상
연산자를 적용한 후의 두 점 사이의 거리가 적용 전보다 작아지는 성질을 가진 함수이다. 벨만 연산자가 수축 사상임을 증명함으로써 반복적인 업데이트를 통해 유일한 최적해(고정점)에 도달할 수 있음을 보장한다.