(от греч. orthogonios - прямоугольный), обобщение понятия перпендикулярности, распространенное на различные математические объекты. Напр., два вектора называются ортогональными, если их скалярное произведение равно нулю.
Он ввел понятие сопряженного дифференциального оператора, доказал ортогональность собственных функций данного оператора и сопряженного, установил принцип разложимости функций в ряд по собственным функциям и принцип локализации для тригонометрических рядов.