利用相干态表象下的Wigner算符和有序算符内的积分(IWOP)技术, 首先得到了热相干态(量子纯态)的Wigner函数; 同时借助相干态表象和算符的正规乘积形式给出了相应混合态的Wigner函数。 结果表明, 热相干态与相应混合态的Wigner函数是相一致的, 支持了热场动力学(TFD)理论, 且采用相干态表象下的Wigner算符、IWOP技术和算符的正规乘积形式来研究量子态的Wigner函数非常简捷方便。 研究结果加深了人们对量子统计中相空间技术和热场动力学(TFD)理论的认识, 且对于其它量子纯态与相应混合态相空间分布函数一致性的研究具有很好的理论指导意义。