ThmDex – An index of mathematical definitions, results, and conjectures.

Processing math: 100%

▼	Set of symbols
▼	Alphabet
▼	Deduction system
▼	Theory
▼	Zermelo-Fraenkel set theory
▼	Set
▼	Binary cartesian set product
▼	Binary relation
▼	Map
▼	Operation
▼	N-operation
▼	Binary operation
▼	Enclosed binary operation
▼	Groupoid
▼	Semigroup
▼	Standard N-operation
▼	Indexed sum
▼	Series
▼	Power series
▼	Convergent power series
▼	Convergent basic real power series
▼	Standard real sine function
▼	Warsaw sine function

Definition D2634

Warsaw sine curve

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}$