ThmDex – An index of mathematical definitions, results, and conjectures.
Formulation F1272 on D2634: Warsaw sine curve
F1272
Formulation 0
The Warsaw sine curve is the D11: Set \begin{equation} \textstyle \left\{ (x, \sin(\frac{1}{x})) \mid x \in (0, 1] \right\} \cup \left\{ (0, 0) \right\} \end{equation}