ThmDex – An index of mathematical definitions, results, and conjectures.
▼ 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
Definition D1931
Standard real sine function
Formulation 0
The standard basic real sine function is the D4364: Real function \begin{equation} \mathbb{R} \to [-1, 1], \quad x \mapsto \lim_{N \to \infty} \sum_{n = 0}^N (-1)^n \frac{x^{2n + 1}}{(2n + 1)!} \end{equation}
Formulation 1
The standard basic real sine function is the D4364: Real function \begin{equation} \mathbb{R} \to [-1, 1], \quad x \mapsto \sum_{n = 0}^{\infty} (-1)^n \frac{x^{2n + 1}}{(2n + 1)!} \end{equation}
Formulation 2
The standard basic real sine function is the D4364: Real function \begin{equation} \mathbb{R} \to [-1, 1], \quad x \mapsto x - \frac{x^3}{3!} + \frac{x^5}{5!} - \frac{x^7}{7!} + \frac{x^9}{9!} - \dots \end{equation}
Children
▶ D4666: Standard real cosecant function
▶ D4664: Standard real tangent function
▶ D2635: Warsaw sine function
Conventions
▶
Convention 0 (Notation for standard basic real sine function)
The notation used for the D1931: Standard real sine function is $x \mapsto \sin(x)$.