Definition D2635
Warsaw sine function
Formulation 0
The Warsaw sine function is the D4364: Real function
\begin{equation}
(0, 1] \to \mathbb{R}, \quad
x \mapsto \sin \left( \frac{1}{x} \right)
\end{equation}
Formulation 1
The Warsaw sine function is the D4364: Real function
\begin{equation}
(0, 1] \to \mathbb{R}, \quad
x \mapsto \sin ( x^{-1} )
\end{equation}
Children
| ▶ | D2634: Warsaw sine curve |