Hur lär man sig/blir bättre på att skriva matematiska bevis?
Hej!
Som rubriken lyder undrar jag hur man bäst lär sig/blir bättre på att skriva matematiska bevis.
Läser några kurser där jag verkligen skulle behöva naila konsten att skiva bevis. Idag tycker jag det är svårt att få det att sätta sig ordentligt, och jag känner mig mycket obekväm med (och är lite rädd för) att skriva bevis, även om jag också tycker det är riktigt kul. Än så länge är det bästa tipset jag fått att försöka memorisera viktiga bevis, och att det sedan leder till förståelse/metoder som kan användas i framtida bevis, ..., osv., men skulle behöva ytterligare tips på hur man kan få ihop detta ordentligt.
Jag har råkat bestämma mig för att ta en master inom teoretisk matematik så är halvt desperat efter all hjälp och alla tips jag kan få. Är villig att testa nästan vad som helst, men enbart memorisering genom flashcards & förståelse börjar kännas riktigt tröttsamt och omotiverande.
Främst behöver jag tips för gruppteori (/linjär algebra, yttre algebra), realanalys, topologi, funktionsanalys, ... och listan fortsätter.
Tack på förhand!
Jag tror inte att det finns någon enkel lösning. Huvudspåret är, som du redan noterat, att till stor del lära sig metoder utantill för att så småningom känna igen och själv kunna tillämpa ”the usual bag of tricks” som hör till domänen. Det skadar inte att vara matematiskt allmänbildad men det finns också en stor mängd tankegods som är ämnesspecifik.
Något som har gett mig mycket är att jämföra bevismetoder och hur teorin byggs upp av olika författare. Vissa föredrar korta framställningar, där syftet tycks vara att på så få rader som möjligt inkludera de satser som anses nödvändiga. Andra låter läsaren följa med på en resa, från resonemang och motiveringar, till fullständiga bevis. Det gör det lättare att förstå de historiska svårigheterna, hur man resonerade vid tiden då satsen etablerades, samt varför den har ett så stort värde.
Det är också intressant att studera tekniken och valen i framställningen; skiljer sig förutsättningarna åt? Är det en starkare eller svagare variant? Har författaren överförenklat eller missförstått något?
Det är ju dock tidskrävande att leta upp flera olika bevisframställningar för teorin och/eller ge sig ut på en kulturmatematisk forskningsresa, och därmed kanske inte ett helt praktiskt tillvägagångssätt när man snabbt ska beta av kurser på löpande band. Men det ökar förståelsen enormt, åtminstone för mig :)
En mindre arbetsintensiv variant är att alltid se till att placera in teorin i det övergripande sammanhanget. Annars riskerar man att detaljstudera satser och bevis utan att förstå dess syfte ("man ser inte skogen för alla träd").
