报告题目 (Title):有理数可数性的构造证明
报告人 (Speaker):林钦诚 教授(台湾中央大学)
报告时间 (Time):2025年3月11日(周二)14:00
报告地点 (Place):校本部GJ303
邀请人(Inviter):赵发友 教授
主办部门:理学院 数学系
报告摘要:本报告将介绍有理数的可数性。一般情况都只是简单画个 N×N或 Z×Z 的图来解释,并未明确定义一个双射的函数f: N×N—>N。 在本报告中,我们在有理数集可数性的证明中将给出两种函数的明确表达式,并证明二者都是双射函数。