Forward circle plus
From timescalewiki
Let $h>0$ and $z_1,z_2 \in \mathbb{C}_h$, the Hilger complex plane. Then we define the $\oplus_h$ operation by $$z_1 \oplus_h z_2 = z_1+z_2+z_1 z_2h.$$
Properties
Theorem: The structure $(\mathbb{C}_h,\oplus_h)$ is an Abelian group.
Proof: █
Theorem
The circle minus $\ominus_h$ is the inverse operation of the circle plus operation $\oplus_h$. Moreover, $$z \ominus_h w = z \oplus_h (\ominus_h w).$$
Proof
References
Theorem
The following formula holds: $$z = \mathrm{Re}_h(z) \oplus_h \mathring{\iota} \mathrm{Im}_h(z),$$ where $\mathrm{Re}_h$ denotes the Hilger real part of $z$, $\mathrm{Im}_h$ denotes the Hilger imaginary part of $z$, $\oplus_h$ denotes the circle plus operation, and $\mathring{\iota}$ denotes the Hilger pure imaginary.
