Branch point

In the mathematical field of complex analysis, a branch point of a multi-valued function (usually referred to as a "multifunction" in the context of complex analysis) is a point such that the function is discontinuous when going around an arbitrarily small circuit around this point. Multi-valued functions are rigorously studied using Riemann surfaces, and the formal definition of branch points employs this concept.

Branch points fall into three broad categories: algebraic branch points, transcendental branch points, and logarithmic branch points. Algebraic branch points most commonly arise from functions in which there is an ambiguity in the extraction of a root, such as solving the equation z = w² for w as a function of z. Here the branch point is the origin, because the analytic continuation of any solution around a closed loop containing the origin will result in a different function: there is non-trivial monodromy. Despite the algebraic branch point, the function w is well-defined as a multiple-valued function and, in an appropriate sense, is continuous at the origin. This is in contrast to transcendental and logarithmic branch points, that is, points at which a multiple-valued function has nontrivial monodromy and an essential singularity. In geometric function theory, unqualified use of the term branch point typically means the former more restrictive kind: the algebraic branch points. In other areas of complex analysis, the unqualified term may also refer to the more general branch points of transcendental type.

Let Ω be a connected open set in the complex plane C and ƒ:Ω → C a holomorphic function. If ƒ is not constant, then the set of the critical points of ƒ, that is, the zeros of the derivative ƒ'(z), has no limit point in Ω. So each critical point z₀ of ƒ lies at the center of a disc B(z₀,r) containing no other critical point of ƒ in its closure.

...
Wikipedia