바나흐 공간
함수해석학에서, 보흐너 적분(Bochner積分, )은 바나흐 공간 값의 함수에 대하여 정의되는, 르베그 적분의 일반화이다.