바나흐 공간
함수해석학에서, 프레셰 도함수()는 두 바나흐 공간 사이의 함수에 대하여 정의할 수 있는 도함수이다. 갸토 도함수보다 더 강한 개념이다. 즉, 어떤 바나흐 공간 위의 함수가 프레셰 미분가능이라면 그 함수는 갸토 미분가능하지만, 그 역은 성립하지 않는다.