Cantor-Dedekinds axiom

Inom matematisk logik säger Cantor-Dedekinds axiom att de reella talen är ordnings-isomorfa med punkterna på en linje. Det vill säga att mot varje punkt på linjen korresponderar ett och endast ett reellt tal och mot varje reellt tal korresponderar en och endast en punkt.[1][2] Axiomet är uppkallat efter Georg Cantor och Richard Dedekind.

Detta axiom är en hörnsten inom analytisk geometri och speciellt förutsätts det vara giltigt för ett kartesiskt koordinatsystem.[3]

Se även

Referenser

  1. ^ Bruce Elwyn Meserve, 1953, Fundamental Concepts of Algebra Arkiverad 21 oktober 2016 hämtat från the Wayback Machine., sid. 32. ISBN 9780486614700.
  2. ^ Eric Weisstein, Cantor-Dedekind axiom på Wolfram Mathworld.
  3. ^ Eldar Straume, 2014, A Survey of the Development of Geometry up to 1870, sid. 10.