음함수 정리
특정 조건을 만족하는 방정식에서 변수 간의 함수 관계가 국소적으로 존재함을 보장하는 수학적 정리이다. 제어 시스템에서 교란에 따른 평형점의 존재성을 증명하는 데 사용된다.