Single-valued and Multi-valued Functions
Summary: A function is single-valued if each input determines one output, and -valued if it determines outputs. Euler introduces multi-valued functions as those defined by degree- polynomial equations with single-valued coefficients, and states Vieta’s relations for them.
Sources: chapter1
Last updated: 2026-04-23
Definitions
A single-valued function is one for which, no matter what value is assigned to the variable , a single value of the function is determined. … A multiple-valued function is one such that, for some value substituted for the variable , the function determines several values. (source: chapter1, §10)
Euler uses capital letters for generic single-valued functions of throughout what follows.
What is single- vs. multi-valued
- All non-irrational functions (polynomial, rational) are single-valued (source: chapter1, §10).
- All irrational functions are multi-valued, because radicals are ambiguous ( carries a sign).
- Transcendental functions can be single-valued, multi-valued, or even infinite-valued. Euler’s example of an infinite-valued function is the arcsine, since “there are infinitely many circular arcs with the same sine” (source: chapter1, §10).
n-valued functions by polynomial equations
The central construction (§§11-14): if are single-valued functions of , then the equation
defines as an -valued function of . Each choice of gives values of — the roots of the equation.
Low-degree cases
Two-valued (§11): gives . Both values are real or both are complex. Their sum is , their product is .
Three-valued (§12): . The three values are either all real, or one real and two complex. Sum = , sum of pairwise products = , product = .
Four-valued (§13): . The four values are all real, two real and two complex, or all complex. Sum = , sum of pairwise products = , sum of triple products = , product = .
These are Vieta’s formulas stated for coefficients that are themselves functions of .
Rules for reducing to rationality and counting values
To determine how many values has as a function of , the defining equation must first be “reduced to rationality”; then the largest power of is the count (source: chapter1, §14). If any of is itself multi-valued, the total number of values of is larger than the apparent degree.
Parity of complex roots: complex roots come in conjugate pairs. Consequences (source: chapter1, §14):
- If is odd, at least one value of is real.
- If is even, it is possible that no value of is real.
Multi-valued functions that “imitate” single-valued ones (§15)
If a multi-valued function always has exactly one real value among its values, it can often be treated as single-valued. Fractional powers :
- odd, any : one real value, others complex may be treated as single-valued.
- even, in lowest terms: either no real value or two two-valued.
Reciprocity and valuedness
If is a function of , then is a function of , but the two counts of values may differ (source: chapter1, §16). Example: makes three-valued in and two-valued in .