数学 実数の定義・デデキント切断 2018年10月26日 TeTr4 むいしきすうがく デデキント切断による実数の定義をする。 まずデデキント切断(以下、切断)とは、整数や有理数などの集合(厳密には全順序集合)を二つの集合A,Bに分けたときの(A,B)の組のこと …