Definition:Integral Multiple/Real Numbers

From ProofWiki
Jump to navigation Jump to search


Let $x, y \in \R$ be real numbers.

Then $x$ is an integral multiple of $y$ if and only if $x$ is congruent to $0$ modulo $y$:

$x \equiv 0 \pmod y$

That is:

$\exists k \in \Z: x = 0 + k y$

Also known as

An integral multiple is usually known, in this context, as an integer multiple.