آنالیز تابعی و نظریه عملگرهای خطی