Definition:Division/Real Numbers

(Redirected from Definition:Real Division)

Definition

Let $\struct {\R, +, \times}$ be the field of real numbers.

The operation of division is defined on $\R$ as:

$\forall a, b \in \R \setminus \set 0: a / b := a \times b^{-1}$

where $b^{-1}$ is the multiplicative inverse of $b$ in $\R$.

Notation

The operation of division can be denoted as:

$a / b$, which is probably the most common in the general informal context
$\dfrac a b$, which is the preferred style on $\mathsf{Pr} \infty \mathsf{fWiki}$
$a \div b$, which is rarely seen outside grade school.

Specific Terminology

Divisor

Let $c = a / b$ denote the division operation on two elements $a$ and $b$ of a field.

The element $b$ is the divisor of $a$.

Dividend

Let $c = a / b$ denote the division operation on two elements $a$ and $b$ of a field.

The element $a$ is the dividend of $b$.

Quotient

Let $c = a / b$ denote the division operation on two elements $a$ and $b$ of a field.

The element $c$ is the quotient of $a$ (divided) by $b$.