Iversonklammer
Utseende
En Iversonklammer är inom matematiken en speciell notation för ett tal som är 1 eller 0 beroende på sanningsvärdet av ett påstående:
Där P är ett påstående som är sant eller falskt. Notationen introducerades av Kenneth Iverson i programspråket APL.
Användning
[redigera | redigera wikitext]En summa kan uttryckas annorlunda med Iversonklammrar:
- .
Den första summan summerar från 0 till n, den andra summerar över alla heltal, men om heltalet inte ligger mellan 0 och n multipliceras funktionsvärdet med noll och termen blir därför noll. Detta kan användas till att manipulera summor.
Speciella exempel
[redigera | redigera wikitext]Kroneckerdeltat kan uttryckas som:
- .
Signumfunktionen kan skrivas:
- .
Källor
[redigera | redigera wikitext]- Graham, Ronald; Donald Ervin Knuth, Oren Patashnik (1994) [1989]. Concrete Mathematics (andra utgåvan). Addison-Wesley. ISBN 0-201-55802-5