analytic continuation (intro)

Imagine you only have a function described on a small patch — say a power series valid for |x| < 1 — but you suspect it is really part of a larger function living on a much bigger domain. Analytic continuation is the principle that lets you grow the function outward, uniquely and consistently, like recovering an entire mural from one preserved corner.

The idea: an analytic function on a region is determined by its values on any tiny piece. If two analytic functions agree on a set with a cluster point inside a connected domain, they agree everywhere on that domain (the identity theorem). So whenever an analytic function on one region can be matched up with an analytic function on an overlapping region, the larger function is the unique analytic extension — there is no freedom of choice.

Concretely, the geometric series sum x^n represents 1/(1-x) only for |x| < 1, yet 1/(1-x) is a perfectly good analytic function on the whole line except x = 1. The function 1/(1-x) is the analytic continuation of the series beyond its disk. Continuation is most natural over the complex plane, where it is a foundational tool; the real picture is a first glimpse. A caveat: continuation can be blocked by singularities, and following different paths around them may yield different values.