デデキントカットとは [単語記事] - ニコニコ大百科

デデキントカットとは、数学の実数論において用いられる考え方である。 デデキント切断、あるいは切断とも呼ばれる。 この記事ではデデキントカットで統一する。 また、厳密な定義やこれを用いたさら...