拓扑绝缘体是费米子多体系统中一种对称性保护的拓扑量子态,拓扑不变量是表征拓扑绝缘体的重要物理量。该文在二维无相互作用的费米子拓扑绝缘体中,证明了3种不同拓扑不变量计算公式的等价性,分析了这些计算公式的适用范围;给出了这些拓扑不变量公式的完整数值计算范式;作为范例,通过计算拓扑不变量,得到了Kane-Mele模型的相图。该文为拓扑绝缘体中拓扑不变量的计算提供了完整自洽的计算方法。