Can a multivalued function have an infinite number of values for a given argument? I'm trying to gain some perspective on complex analysis, and there's this concept of multivalued function which is weird to me because I'm used to functions having only 1 value for an argument, though I think that a multivalued function is not technically a function. So the question is, as indicated in the title: Can a multivalued function have an infinite number of values for a given argument?
 A: In some sense yes. $\ln(1)=2\pi ik$ for every $k \in \mathbb{Z}$.
A: To be specific, you're used to functions, which by definition have only one output value associated with each input.
For multi-valued functions, each input is not associated with a single output. For example, consider the complex logarithm, and note that we can represent any point on the complex plane as $z = re^{i\phi} = re^{i(\phi +2\pi k)}$ for any integer $k$.
$$\begin{align*}
\log z &= \log (re^{i(\phi +2\pi k)}) \\
&= \log (r) + \log (e^{i(\phi +2\pi k)}) \\
&= \log (r) + i(\phi +2\pi k) \\
\end{align*}$$
Inputting any one point $z$ will output many different points due to $k$. This is not a function in the traditional sense. This is why we often restrict a multi-valued function to a particular branch. For example, define $\log_{0} z$ to the branch where $\theta\in [0,2\pi)$. Then, we have a function
$$\log_{0} z= \log (r) + i\theta\quad\,\quad \theta\in [0,2\pi)$$
In a sense, you've already dealt with multivalued functions before. Recall the inverse trig functions. Take $y=\sin^{-1} x$, which has a restricted range $y\in [-\pi/2,\pi/2]$ analogous to a particular branch. If this range weren't restricted, the expression $\sin^{-1}(0)$ would be multivalued (it would evaluate to $\pi k$ instead of $0$).
A: It may help to think of a multivalued function a little differently. If $f:X\to Y$ is a multivalued function, there is a corresponding (actual) function $f':X\to\mathcal{P}(Y)$ defined by $f'(x)=\{y\in Y | y \text{ is in the image of }x\text{ under }f\}$. In fact, this is a bijection from the set of multivalued functions from $X$ to $Y$ and the set of functions from $X$ to $\mathcal{P}(Y)$ as long as you count regular functions as a special case of multivalued functions. Thinking about it this way, it isn't hard to see that an element can have an infinite set of values as long as the codomain is an infinite set.
