资源描述:
《Elements_of_Mathematical_Style》由会员上传分享,免费在线阅读,更多相关内容在学术论文-天天文库。
1、ElementsofMathematicalStyleAworkinprogress1BruceFrancisDepartmentofElectricalandComputerEngineeringUniversityofTorontoJuly8,20131IthankMurrayWonhamandAudreyKerteszforreadingthisworkandoeringhelpfulcomments.ContentsPreface21Preliminaries32DenitionStatements63TheoremStatements114TheElement
2、sofStyle155GivingaTalkUsingComputerSlides201PrefaceThisisaverybriefhandbookonwritingdocumentswithmathematicalcontent:reports,theses,journalpapers,andconferencepapers.Thehandbookiswrittenprimarilyforgraduatestudentsincontrolandsimilarsubjects.Towriteyourtheoremscorrectly,youneedtoknowelemen
3、tarylogic,namely,propositionalcalculus.Themainpointisthatvariables(",,etc.)mustbequantied(thereexists,"forall")andthequantiersmustbeintherightorder.Idecidedtowritethishandbookafteryears
4、infactdecades
5、ofreadingandcorrectingtheses.Nowwhenstudentsaskmetobeontheirthesisexaminationcommitte
6、es,Itellthemtogoandreadthishandbookbeforegivingmetheirtheses.Itreducestheamountofredink.2Chapter1Preliminaries1.Set.Examplesofsets:thesetRofrealnumbers;thesetRmnofmnrealmatrices;thesetF(U;V)offunctionsfromthesetUtothesetV.Asetisfrequentlydenedusingnotationlikethis:S=fx:x2R;x>0g:Inwordst
7、hissays,Sisthesetofallxsuchthatxbelongstotherealnumbersandxispositive.Thusacolonmeanssuchthat,"acommameansand,"and2meansbelongsto"orisamemberof."NoticethatthesymbolxisadummyvariableandthatwehaveexactlythesamesetifwewriteS=f:2R;>0g:So,precedingthecolonisasymbolforavariable,andfollowi
8、ngthecolonaredescriptorsaboutthatvariable.AvariationisS=fx2R:x>0g;whereoneofthedescriptorsofxprecedesthecolon.Anothercommonformofwritingthesetistouseaverticallineinsteadofacolon:S=fxjx2R;x>0g:Supposeyouwantthesetofrealnumbersgreaterthananumbera.YoucouldwriteLeta2RanddeneS=fx:x2R;x>ag:Oryo
9、ucouldwriteDeneS=fx:x2R;x>ag;a2R:3CHAPTER1.PRELIMINARIES4Inwords:Sisthesetofallxsuchthatxbelongstotherealnumbersandxisgreaterthana,whereabelongstothesetofrealnumbers.Butthisiswrong:S=fx:x2R;x>a;a2Rg:Infact,thislattersetisallofR,foritsaysSisthesetofallxsuchtha