operator, (afledt af lat. operari, se operation), i matematikken et symbol, der angiver, at en bestemt proces (operation) skal udføres. Fx angiver √, at kvadratroden skal uddrages, og d/dx, at der skal differentieres mht. den variable x. En operator alene er et tomt udtryk; den skal virke på en matematisk funktion. Virker fx d/dx på funktionen y = x3, bliver resultatet funktionen dy/dx = 3x2. Operatorer finder udstrakt anvendelse i matematisk fysik og får selvstændig betydning i kvantemekanikken, hvor der til hver fysisk observabel er knyttet en operator.
En operator kan opfattes som en afbildning fra en mængde V af funktioner til en mængde W af funktioner (se funktion). Hvis mængderne V, W er vektorrum, spiller især de lineære operatorer en vigtig rolle; operatoren d/dx er lineær. Se også operatorteori.
I moderne logik betegner operator et symbol, der anvendt på et eller flere symboler frembringer nye symboler; fx ∧ ("og"), som anvendt på udsagnene p og q giver udsagnet p∧q, eller ¬ ("ikke"), som anvendt på p giver ¬p. Operatorer omfatter alle de logiske konstanter, herunder konnektiver og kvantorer, samt de modallogiske konstanter; se også modallogik.
| Find Lydbøger hos Storytel | Find bøger på bogpriser.dk | Studiebøger på pensum.dk | E-bøger hos g.dk | ||||
Du kan bidrage til denne artikel. Log ind her
© Gyldendal 2009-2013 - Powered by MindTouch Deki