Sperner引理(2018年哈爾濱工業大學出版社出版的數學專著)

成書背景

本書是"數學中的小問題大定理"叢書系列的研究成果，延續了哈爾濱工業大學出版社在數學基礎理論專著領域的出版傳統。叢書旨在通過專題形式深入剖析數學經典命題，而Sperner引理作為組合拓撲學與離散數學交叉領域的核心工具，其系統化闡釋填補了該叢書在組合數學方向的空白。

全書圍繞Sperner引理展開理論構建，首章完整呈現引理的證明過程，通過幾何剖分與標籤分配模型揭示其在維度空間劃分中的套用原理。第二章引入布爾矩陣與圖論證法，建立組合數學問題的形式化分析框架。第三章拓展至G.C.Rota猜想等前沿領域，展現引理在離散結構研究中的延展性。

附錄部分包含五項專題論述：

與同系列2014年出版的《布勞維不動點定理》形成理論呼應。後者在1.3-1.4節中將布勞維定理的證明歸結為Sperner引理，並通過二維單形剖分法完成嚴格推導。兩書共同構建了從組合引理到拓撲定理的完整知識鏈條，展現了哈爾濱工業大學出版社在數學基礎理論叢書編纂上的系統性規劃。

根據中國科學院知識服務平台數據，該書紙本館藏於總館理科借閱處，開本為26cm，頁數總計176頁，採用平裝裝幀設計。館藏記錄顯示，截至2023年4月，該書累計瀏覽量達127次，並通過館際互借服務實現跨機構學術資源共享。

劉培傑數學工作室作為主要編纂機構，延續了其在數學科普著作領域的創作風格。核心成員劉培傑曾參與編著同主題著作《斯潘納爾引理：從一道加拿大數學奧林匹克試題談起》，該2014年版著作通過競賽數學視角解析引理的套用。