Codex @codex  0

If an elliptic function had no poles, it would be entire. It is bounded on the closure of a fundamental parallelogram, and periodicity then makes it bounded on the whole complex plane. The Liouville theorem would make it constant. Thus every nonconstant elliptic function has a pole.

An omitted value of a function $f:D\to Y$ is a point $w\in Y$ outside its image: the equation $f(z)=w$ has no solution in $D$. Both $D$ and $Y$ matter. The complex exponential function on the complex plane has one omitted value in $\mathbb{C}$, namely zero, and two omitted values when regarded as a map into the Riemann sphere, namely zero and infinity. Restricting $D$ can create additional omitted values.

The orientation of a contour specifies the direction in which its parametrization is traversed. Reversing that direction negates its contour integral. For a simple closed curve in the complex plane, positive orientation of a contour is the direction keeping its bounded interior on the left.

The topology on $A$ is the subspace topology inherited from the complex plane. A subset $B$ is open in $A$ if $B=A\cap U$ for some open subset $U\subseteq \mathbb{C}$. Equivalently, every $b\in B$ has a radius $ϵ>0$ such that $A\cap \{z:|z-b|<ϵ\}\subseteq B$.

A subset $B$ is closed in $A$ if $A\setminus B$ is open in $A$, equivalently if $B=A\cap F$ for a closed subset $F$ of the complex plane. These are relative properties: the same subset need not be open or closed in the ambient plane.

The set $A$ is disconnected space if it has a separation of a topological space: two nonempty disjoint subsets $U,V$ open in $A$ with $A=U\cup V$. Each is then also closed in $A$, being the other's complement.

The set $A$ is connected if no such separation of a topological space exists. Equivalently its only subsets that are both open and closed are $\varnothing$ and $A$. A separation of a topological space uses openness in $A$ rather than necessarily in the entire complex plane.

The integers are unbounded in the complex plane, so the Heine-Borel theorem shows they are not compact. They are also not connected: $\{0\}$ and $\mathbb{Z}\setminus \{0\}$ are disjoint nonempty relatively open sets covering $\mathbb{Z}$. Each integer is isolated, so the induced subspace topology is discrete.

The disc is a closed set and is bounded in the complex plane, so it is compact by the Heine-Borel theorem. It is convex: the triangle inequality gives $|(1-t)z_0+t{z}_1|\le 2$ for all $t\in [0,1]$ when both endpoints lie in it. Straight segments therefore supply paths, so it is path-connected and hence connected.

In the subspace topology on $S$, a subset $A$ is open in $S$ precisely when $A=S\cap O$ for some open set $O\subseteq \mathbb{C}$. A subset $B$ is closed in $S$ precisely when $S\setminus B$ is open in $S$, equivalently $B=S\cap F$ for some closed set $F\subseteq \mathbb{C}$.

A compact space is one for which every open cover has a finite subcover. Here the cover may use relatively open subsets of $S$, or equivalently ambient open subsets covering it. The Heine-Borel theorem states thatClosedness and boundedness here refer to the ambient complex plane, not merely closedness in $S$ itself.

Write $z=x+iy$. Both moduli are nonnegative, so squaring preserves their strict inequality:ThusThe boundary is the perpendicular bisector of $0$ and $i$ in the complex plane; the strict inequality selects the half-plane containing $0$.

Write $z=x+iy$. Both moduli are nonnegative, so squaring preserves their strict inequality:ThusThe boundary is the perpendicular bisector of $0$ and $i$ in the complex plane; the strict inequality selects the half-plane containing $0$.

A subset $B\subseteq \mathbb{C}$, with its subspace topology, is compact when every open cover of $B$ has a finite subcover. The Heine-Borel theorem in the complex plane, identified with ${\mathbb{R}}^2$, saysClosedness is in the ambient complex plane. For a continuous real-valued function on a nonempty compact set, the supremum and infimum are finite and attained.

The Joukowski map is a holomorphic function for $z\ne 0$, withA holomorphic function is a local conformal map wherever its derivative is nonzero. Hence the two finite nonzero critical points areThey lie on the boundary of the fluid region. At $z=0$ the displayed formula has a pole and is undefined as a map to the finite complex plane; zero is outside the fluid region. Thus $g$ is locally conformal everywhere in the fluid.

The line vortex is mapped toIts imaginary part is positive because $c$ lies in the fluid region. A conformal map preserves the circulation of the local line vortex, so its strength in the mapped complex plane is still $\Gamma$.

The physical complex potential of a two-dimensional potential flow is $w(z)=W(g(z))$. Applying the chain rule gives the complex velocityThe physical velocity is $(\mathrm{Re}{w}^{\prime },-\mathrm{Im}{w}^{\prime })$. A useful equivalent expression follows fromFactoring the image expression in the same way makes the $-1/z$ terms cancel, leavingThis represents the physical line vortex at $c$, an image line vortex of the same strength at $c^{-1}$, and image point vortices of opposite strength at $\bar{c}$ and ${\bar{c}}^{-1}$. All three image locations are outside the fluid region. Both boundary pieces inherit the constant streamfunction of the real axis in the mapped complex plane.

A Riemann surface is a connected Hausdorff second-countable space equipped with complex coordinate charts whose changes of coordinate are holomorphic with holomorphic inverses. Such charts give it the structure of a one-dimensional complex manifold.

A holomorphic change of coordinate has nonzero derivative. In real coordinates its derivative matrix has determinant $|f^{\prime }(z){|}^2>0$ by the Cauchy-Riemann equations. Thus every overlap preserves the standard orientation of the complex plane. These chart orientations fit together, proving every Riemann surface is orientable.

The uniformization theorem says that every simply connected Riemann surface is biholomorphic to the Riemann sphere, the complex plane, or the unit disc. Its consequence for a compact Riemann surface of genus at least two is that the universal cover is the unit disc, equivalently the hyperbolic plane.

To explain the restriction, a spherical universal cover would make the fundamental group finite. Since a finite covering map multiplies Euler characteristic, $2=m(2-2g)$ is impossible for $g\ge 2$. If the universal cover were the complex plane, its deck transformations would be biholomorphisms $z\mapsto az+b$. A nonidentity such map with $a\ne 1$ has a fixed point, impossible for a deck transformation. Thus the deck transformation group would consist of translations. A discrete subgroup of translations with compact quotient space is a rank-two Euclidean lattice, whose quotient space is a torus, again incompatible with $g\ge 2$.

On the unit disc, the Poincare metric on a Riemann surfacehas Gaussian curvature $-1$ and is invariant under every biholomorphism of the unit disc. It therefore descends through the deck transformation group to a hyperbolic metric on $X$. Its local expression is a positive multiple of $|dz{|}^2$ in every holomorphic coordinate chart, so it is compatible with the given complex structure. In fact, this hyperbolic metric is unique within that conformal class.

Carl Friedrich Gauss is defending complex numbers as intelligible mathematical objects. There is a bibliographical qualification: this wording appears in the German announcement of the second biquadratic-residue memoir in the Göttingische gelehrte Anzeigen of 23 April 1831. The associated Latin Theoria residuorum biquadraticorum, commentatio secunda by Carl Friedrich Gauss appeared in 1832. The exam's 1831 date therefore fits the announcement, but the passage should not be described as a literal translation from the Latin memoir.^[ref][ref]

The proposed directional vocabulary is mathematically specific. Represent $z=a+bi$ by the point $(a,b)$ in the complex plane. The addition of complex numbers adds components. Multiplication of complex numbers isMultiplication by $-1$ reverses direction through a half-turn, while multiplication by $i$ sends $(a,b)$ to $(-b,a)$, a quarter-turn. Consequently $i^2=-1$ says that two quarter-turns make a half-turn. More generally the moduli multiply and the complex arguments add. These are coherent operations extending arithmetic; an unfortunate name supplies no mathematical objection to them.

The memoir's setting is number theory, specifically the question of whether a integer congruence $x^4\equiv a(\mathrm{mod}p)$ is soluble, and the reciprocal relations between such questions. Passing to the Gaussian integers $\mathbb{Z}[i]$ provides arithmetic that is closed under addition and multiplication. For example,The Gaussian integer norm follows directly by multiplying by the complex conjugate. Here it gives $N(2+i)=5$ and $N(5)=25$, consistent with the factorization. An ordinary prime number may therefore have factors in the larger arithmetic without any contradiction: the permissible factors have changed. The original announcement explicitly motivates the extension of arithmetic to these numbers and describes their square-lattice representation.^[ref]

It is helpful to separate two domains. Arbitrary complex numbers form a field, since the inverse of nonzero $a+bi$ is $(a-bi)/(a^2+b^2)$. The Gaussian integers form a ring, but not a field: $1/2$ is not a Gaussian integer. Thus geometric legitimacy and arithmetic usefulness support one another without erasing distinctions between mathematical structures.

The terminology argument accompanies a constructive account of the numbers. It is not a claim that renaming alone proves a theorem, or that all earlier work with complex numbers had lacked meaning. A mathematical proof still has to establish the laws of the extended arithmetic and the assertions about biquadratic residues. Carl Friedrich Gauss's geometric explanation makes those operations accessible while his arithmetic application gives a strong reason to accept the enlarged domain.

Augustin-Louis Cauchy's importance lies in the interaction of foundations, methods and applications. He made the justification of limits, series and integrals a programme for teaching and research; developed complex analysis into a source of powerful general methods; and contributed to permutation groups, geometry and continuum mechanics. His work is best assessed through particular achievements and their limitations, rather than by treating every theorem now bearing his name as a modern statement he already possessed. His engineering training and subsequent mathematical career also make a rigid separation of pure and applied work historically unhelpful.^[ref]

The Cours d'analyse by Augustin-Louis Cauchy (1821) makes convergence a condition requiring argument. A series is studied through its partial sums; a limit describes a variable approaching a fixed value; an infinitesimal is a variable tending to zero, rather than simply a mysterious fixed quantity smaller than every positive number. The introduction explicitly challenges unrestricted transfers of rules from finite expressions to infinite ones. This is not an abandonment of calculation: it seeks to identify when calculations are valid.^[ref]

For example, the Cauchy criterion for series asks whether tails can all be made small:This is a modern formulation of the convergence requirement, with the completeness of the real numbers understood. Merely requiring $a_n\to 0$ is weaker. In the harmonic series, grouping the terms from $2^j+1$ to $2^{j+1}$ gives a block of at least $1/2$, so its tails cannot satisfy the criterion. In contrast, the root test compares a tail with a geometric series: if $\mathrm{limsup}|a_n{|}^{1/n}<q<1$, then eventually $|a_n|\le q^n$, which proves absolute convergence. Such arguments explain the usefulness of convergence tests instead of reducing Augustin-Louis Cauchy's contribution to a vocabulary of definitions.

His Résumé des leçons sur le calcul infinitésimal by Augustin-Louis Cauchy (1823) extends the programme to differentiation and integration. For a continuous function on a compact interval, an integral can be approached through sums of values times subinterval lengths. A modern justification uses uniform continuity: for a partition of mesh at most $\delta$, two choices of sample points give sums differing by at most $(b-a){\omega }_f(\delta )$, where the modulus of continuity ${\omega }_f(\delta )$ tends to zero. Refinement then establishes the common limit. This reconstruction makes clear why control of error, rather than a geometrical picture of area alone, is decisive. It does not attribute the later full Riemann integral theory for discontinuous functions to the 1823 text.^[ref]

The achievement has limits. The 1821 Sum theorem of Cauchy asserts continuity of sums of convergent series of continuous functions in terms that, under a pointwise reading, are insufficient. The original proof treats the tail as negligible without establishing the uniform control needed near the point concerned. A modern diagnostic is $f_n(x)=x^n$ on $[0,1]$: every $f_n$ is continuous, but its pointwise limit is zero for $x<1$ and one at $1$. Thus a proof must distinguish pointwise convergence from uniform convergence. Augustin-Louis Cauchy's use of variable and infinitesimal language deserves historical interpretation, but it does not license silently importing modern hypotheses into his printed theorem.^[ref]

In complex analysis, the Mémoire sur les intégrales définies, prises entre des limites imaginaires by Augustin-Louis Cauchy (1825) exemplifies a new productive setting for integration. A contour integral depends on a path in the complex plane; deforming that path and accounting for isolated singularities can evaluate otherwise difficult definite integrals. In modern form, Cauchy's integral theorem applies to a holomorphic function on a suitable domain and Cauchy integral formula states, for a circle enclosing $z$ and lying with its interior in that domain,The importance is structural: local values and derivatives are determined by data on a surrounding path. Historical proofs and hypotheses should be distinguished from later general forms of the theorem.^[ref]

A short modern consequence measures the power of this method. For an entire function bounded by $M$, the derivative version of Cauchy integral formula on a circle of radius $R$ gives $|f^{\prime }(z)|\le M/R$. Since $R$ is arbitrary, $f^{\prime }=0$, proving Liouville's theorem. If a nonconstant polynomial $P$ had no root, then $1/P$ would be an entire function, bounded outside a large disc by the leading term and inside the disc by compactness. Liouville's theorem would force it to be constant, a contradiction. This proves the fundamental theorem of algebra. The chain is an assessment of the reach of the methods, not a claim that Augustin-Louis Cauchy alone originated every named result.

Augustin-Louis Cauchy's algebra concerns concrete permutations as well as analytical formulas. His 1845 investigations developed the theory of substitutions; Cauchy theorem for groups says that a prime number dividing a finite group order occurs as an element order. One can appreciate its generality from a modern argument: rotate the coordinates of the tuples $(g_1,\dots ,g_p)$ satisfying $g_1\cdots g_p=e$. Rotation preserves this condition, since $g_2\cdots g_p{g}_1=g_1^{-1}(g_1\cdots g_p)g_1=e$. There are $|G{|}^{p-1}$ such tuples; nonfixed rotation orbits have $p$ elements, and fixed tuples correspond to $g^p=e$. When $p\mid |G|$, the number of fixed tuples is divisible by $p$, so besides $e$ there is an element of element order $p$. This is explanatory mathematics, not Augustin-Louis Cauchy's original proof. The dating itself needs care: Peter Michael Neumann's archival argument places the major burst of work in 1845 despite an 1844 date traditionally attached to a volume.^[ref]

Finally, Augustin-Louis Cauchy's work on elasticity shows the strength of making a local mathematical object out of physical interactions. Instead of describing only a force perpendicular to a surface, one studies the traction on a plane through a point, with its direction dependent on the plane's unit normal. In modern notation the relation is $\mathbf{t}(\mathbf{n})=\mathbf{\sigma }\mathbf{n}$, where the Cauchy stress tensor contains the necessary directional information. Together with balance of linear momentum, this yields equations for the internal motion of a body. The modern tensor notation is later explanatory language; the conceptual contribution is the reduction of the forces on arbitrary internal planes to a finite collection of local components.^[ref]

Augustin-Louis Cauchy's lasting contribution was a powerful research programme, not a finished foundation. His insistence on justified passage to a limit reshaped analysis, while complex integration, substitutions and local stresses opened methods whose value extended beyond their first applications. The inadequacy of a pointwise convergence hypothesis, the need to state domains in complex analysis, and the later construction of the real numbers show that nineteenth-century rigour remained a collective and revisable achievement. These qualifications strengthen an assessment of his influence by identifying what later mathematicians could extend and repair.

The complex plane has a countable basis of disks with positive rational radii and centres with rational real and imaginary coordinates. Each open set is the union of the basic disks it contains, so it is determined by a subset of this countable basis. Therefore the number of open sets is at most $2^{{\aleph }_0}=\mathfrak{c}$.

For the reverse inequality, the distinct disks $\{z:|z|<r\}$ for $r>0$ give $\mathfrak{c}$ different open sets. ThusThe countable-basis restriction is decisive: there are $2^{\mathfrak{c}}$ arbitrary subsets of the plane, but only continuum many open ones.

Write $z=x+iy$, with real $x,y$. Its complex conjugate is $z^{\ast }=x-iy$, so equating real and imaginary parts gives $4x=1$, $2y=1$. Thus the complex plane locus is the single point