# 线性代数

Holomorphic functions [ edit] Main article: Holomorphic function

Complex functions that are differentiable at every point of an open subset $\Omega$ of the complex plane are said to be holomorphic on $\Omega$. In the context of complex analysis, the derivative of $f$ at $z_0$ is defined to be ${ }^{[1]}$ $$f^{\prime}\left(z_0 ight)=\lim _{z ightarrow z_0} rac{f(z)-f\left(z_0 ight)}{z-z_0} .$$

Superficially, this definition is formally analogous to that of the derivative of a real function. However, complex derivatives and differentiable functions behave in significantly different ways compared to their real counterparts. In particular, for this limit to exist, the value of the difference quotient must approach the same complex number, regardless of the manner in which we approach $z_0$ in the complex plane. Consequently, complex differentiability has much stronger implications than real differentiability. For instance, holomorphic functions are infinitely differentiable, whereas the existence of the $n$th derivative need not imply the existence of the $(n+1)$ th derivative for real functions. Furthermore, all holomorphic functions satisfy the stronger condition of analyticity, meaning that the function is, at every point in its domain, locally given by a convergent power series. In essence, this means that functions holomorphic on $\Omega$ can be approximated arbitrarily well by polynomials in some neighborhood of every point in $\Omega$. This stands in sharp contrast to differentiable real functions; there are infinitely differentiable real functions that are nowhere analytic; see Non-analytic smooth function $\S A$ smooth function which is nowhere real analytic.

Most elementary functions, including the exponential function, the trigonometric functions, and all polynomial functions, extended appropriately to complex arguments as functions $\mathbb{C} ightarrow \mathbb{C}$, are holomorphic over the entire complex plane, making them entire functions, while rational functions $p / q$, where $p$ and $q$ are polynomials, are holomorphic on domains that exclude points where $q$ is zero. Such functions that are holomorphic everywhere except a set of isolated points are known as meromorphic functions. On the other hand, the functions $z \mapsto \Re(z)$, $z \mapsto|z|$, and $z \mapsto ar{z}$ are not holomorphic anywhere on the complex plane, as can be shown by their failure to satisfy the Cauchy-Riemann conditions (see below).

An important property of holomorphic functions is the relationship between the partial derivatives of their real and imaginary components, known as the Cauchy-Riemann conditions. If $f: \mathbb{C} ightarrow \mathbb{C}$, defined by $f(z)=f(x+i y)=u(x, y)+i v(x, y)$, where $x, y, u(x, y), v(x, y) \in \mathbb{R}$, is holomorphic on a region $\Omega$, then for all $z_0 \in \Omega$, $$rac{tial f}{tial ar{z}}\left(z_0 ight)=0, ext { where } rac{tial}{tial ar{z}}:=rac{1}{2}\left(rac{tial}{tial x}+i rac{tial}{tial y} ight) .$$ subscripts indicate partial differentiation. However, the Cauchy-Riemann conditions do not characterize holomorphic functions, without additional continuity conditions (see Looman-Menchoff theorem).

Holomorphic functions exhibit some remarkable features. For instance, Picard’s theorem asserts that the range of an entire function can take only three possible forms: $\mathbb{C}, \mathbb{C} ackslash\left\{z_0 ight\}$, or $\left\{z_0 ight\}$ for some $z_0 \in \mathbb{C}$. In other words, if two distinct complex numbers $z$ and $w$ are not in the range of an entire function $f$, then $f$ is a constant function. Moreover, a holomorphic function on a connected open set is determined by its restriction to any nonempty open subset. An exponential function $A^n$ of a discrete (integer) variable $n$, similar to geometric progression – 定义复变函数在开放子集 $\Omega$ 上是全态的这里是文章内容。[内链关键词](你的内链URL)