Inden for de seneste få dage har jeg uden at tænke over det kørt et lille slovensk tema her på bloggen. Først var det bandet Laibach, siden filosoffen Slavoj Žižek. Tiden er nu kommet til at spørge sidstnævnte, om førstnævnte betjener sig af ironi eller “virkelig mener det, de siger”. Svaret er interessant, men også Žižek’sk snørklet, så hold tungen lige i munden imens.
Epsilon og delta og store O
Når jeg har vejledt projekter, hvor studerende skulle anvende asymptotisk notation til at analysere funktioners vækstrate, er der altid nogle hindringer for forståelsen. Definitionen er egentlig enkel nok.
Lad og
være funktioner over de naturlige tal. Vi siger at
, hvis der findes en positiv reel konstant
og et naturligt tal
således at
for alle
.
Hvis betingelsen gælder, når det bløde ulighedstegn ovenfor gøres skarpt, har vi at .
Vi kan så indføre notationen for at skrive et led
, hvorom vi blot ved at
og skrive f.eks.
Asymptotisk notation stammer fra talteori og dukker op første gang hos Paul Bachmann helt tilbage i 1894. Datalogistuderende kender dog asymptotisk notation fra algoritmeteori, hvor de funktioner, der bliver sammenlignet, er kompleksitetsfunktioner. Derfor kan man opleve forbløffende mange studerende sige at “-notationen bruges til at måle kompleksitet” eller, om muligt endnu værre, at “
-notationen bruges til at måle funktioners kompleksitet”.
Den legendariske amerikanske matematiker og datalog Donald Knuth skrev i 1988 et kort brev til AMS (American Mathematical Society), hvori han slog til lyd for, at man skulle lære de studerende differential- og integralregning ved brug af netop -notation. Hans tanke er, at dette skulle være nemmere i læringssammenhæng. Om det er rigtigt, ved jeg ikke. Men når man skal definere f.eks. den afledede af en reel funktion, bliver det nemmere. For da kan vi sige, at
for værdien
er differentiabel med afledet
, hvis der for et tilstrækkeligt lille
gælder at
Nu er det nemt at finde den afledede af , for
Kontinuitet kan formuleres således: er kontinuert i
hvis
Jeg ved som sagt ikke, om ideen er god i didaktisk sammenhæng. Men den giver en interessant vinkel på reel analyse. Det gode er, at de kvantorer, der hærger epsilon-delta-definitionerne i analyse, nu i stort omfang er skjult i definitionen af asymptotisk notation. Det er stadig mandag formiddag, og jeg har ikke tænkt over, om det ved brug af asymptotisk notation bliver nemmere at forstå f.eks. den kontraponerede udgave af kontinuitetsdefinitionen, som trækker tænder ud på mange matematikstuderende. Men nogen bør tænke over det.
Man kan finde -filen med Knuths brev her (og husk, at det er
, ikke
!).