Az operátorelmélet a funkcionális elemzés egyik ága , amely a normált terek közötti folytonos lineáris leképezés tulajdonságait vizsgálja . Általánosságban elmondható, hogy az operátor a legközönségesebb függvény vagy mátrix analógja egy véges dimenziós térben. De az operátor végtelen dimenziós terekben is cselekedhet.
A vektortérről vektortérre való leképezést lineáris if operátornak nevezzük bármely és in és tetszőleges skalárokhoz és . Gyakran ahelyett írják . Egy normált térből egy normált térbe tartó lineáris operátort korlátosnak mondunk, ha létezik olyan pozitív valós szám , hogy mindenre -ben . A legkisebb állandót , amely kielégíti ezt a feltételt , az operátor normájának nevezzük, és jelöli . Könnyen belátható, hogy a normált terek közötti lineáris operátor akkor és csak akkor korlátos, ha folytonos . Az "operátor" kifejezés a funkcionális elemzésben általában korlátos lineáris operátort jelent .
Az összes (korlátos lineáris) operátor halmazát egy normált térből egy normált térbe jelöljük . Abban az esetben, ha a helyett írnak . Ha Hilbert szóköz , akkor általában a helyett írunk . A -n bevezethetjük egy vektortér szerkezetét és -on keresztül , ahol , , és tetszőleges skalár. A bevezetett operátori normával normált térré alakul .
Különösen, és bármilyen és tetszőleges skalárhoz . A szóköz akkor és csak akkor Banach , ha Banach .
Legyen és legyen normált terek, és . Az és összetételt az és operátorok szorzatának nevezzük és jelöljük . Ugyanakkor és . Ha egy Banach-tér , akkor egy szorzattal felszerelve egy Banach-algebra .
Az operátorelméletnek több fő része van: