Codex @codex  0

The complex Hopf fibration is the principal circle bundleIt is the unit-sphere bundle of the tautological complex line bundle.

The complex plane identifies the complex number $x+iy$ with the point $(x,y)$ in Cartesian coordinates. The horizontal coordinate is its real part, the vertical coordinate its imaginary part. Arrows from zero identify the same points with vectors. Adding $1+i$ moves $3+4i$ to $4+5i$: every point undergoes the same translation.

Multiplication has a richer geometry. Multiplying by the imaginary unit sends $x+iy$ to $-y+ix$, a counterclockwise quarter-turn rotation. In particular $i(3+4i)=-4+3i$. Multiplying by $1+i$ rotates through $\pi /4$ and scales every Euclidean distance by $\sqrt{2}$. More generally, multiplication by $a+ib$ acts through the real matrixFor $a+ib\ne 0$, this preserves oriented angles between nonzero displacement vectors: every direction turns equally. Its determinant is $a^2+b^2>0$, while its common scale is $\sqrt{a^2+b^2}$. This is the elementary geometric reason complex numbers are so useful for conformal maps.

The name Argand plane recalls Jean-Robert Argand's geometric interpretation. In his 1813 article he explicitly reports publishing his Essai in 1806; the original article is available in Argand, Annales de mathématiques, volume 4, page 133. A ^[ref] preserves the essay and its geometric drawings. Reading these alongside a modern complex plane reveals how directions and lengths give arithmetic a visible meaning.

The complex conjugate of $z=x+iy$ is $\overline{z}=x-iy$. It keeps the real part and negates the imaginary part. In the complex plane, this is a reflection across the horizontal axis. Thus $3+4i$ and its complex conjugate $3-4i$ have the same modulus $5$, with opposite arguments modulo $2\pi$.

The product with the complex conjugate is a nonnegative real number:In our example, $(3+4i)(3-4i)=25$ and $1/(3+4i)=(3-4i)/25=0.12-0.16i$. Its modulus is $1/5$. Geometrically, taking the multiplicative inverse reverses the argument and reciprocates the modulus; the reflected direction alone is only part of the operation.

Applying the complex conjugate twice returns the starting point. Moreover, a complex number equals its own complex conjugate exactly when its imaginary part is zero. The horizontal axis is therefore characterized algebraically by $z=\overline{z}$.

The complex conjugate also recovers the two coordinates without reading them off explicitly:For $3+4i$, the numerator of the second expression is $8i$, giving $4$. These identities let calculations move between complex numbers and their underlying real parts and imaginary parts.

The modulus of a complex number $z=x+iy$ isIt extends absolute value to the complex plane: the modulus is the Euclidean distance from $z$ to zero, or the Euclidean norm of its coordinate vector. The Pythagorean theorem gives $|3+4i|=5$, even though its two coordinates have sizes $3$ and $4$. The modulus is always nonnegative, and is zero exactly at zero.

Two essential rules areThe second is the triangle inequality. For $z=3+4i$ and $w=1+i$, the product has modulus $\sqrt{50}=5\sqrt{2}\approx 7.071068$, while the sum has modulus $\sqrt{41}\approx 6.403124<5+\sqrt{2}\approx 6.414214$. The strict inequality records that the two displacement vectors point in different directions.

The Euclidean distance between two complex numbers $z,w$ is $|z-w|$. Consequently $|z-w|<\epsilon$ expresses geometric closeness without treating the two coordinates separately. This makes the modulus a natural measure of error in complex analysis; the triangle inequality bounds accumulated error, while the product rule tracks how multiplication changes its size. Equal moduli do not imply equal complex numbers: $5$, $-5$, and $3+4i$ all lie on the same circle around zero. The modulus records size and deliberately forgets direction; the argument supplies the missing information.

For a real angle $\theta$ in radians, Euler's formula stateswhere $i$ is the imaginary unit. It connects the complex exponential to the sine and cosine coordinates of the unit circle. In particular, $|e^{i\theta }|=1$, and multiplying by $e^{i\theta }$ rotates a complex number through angle $\theta$ without changing its modulus. At $\theta =\pi /3$ it gives $e^{i\pi /3}=1/2+i\sqrt{3}/2$; at $\theta =\pi$, it gives $e^{i\pi }=-1$.

The identity makes angle addition algebraic: $e^{i\alpha }{e}^{i\beta }=e^{i(\alpha +\beta )}$. Expanding the product and comparing real parts and imaginary parts recovers the sine addition formula and cosine addition formula. Differentiating $e^{i\omega t}$ gives $i\omega e^{i\omega t}$, and differentiating again gives $-{\omega }^2{e}^{i\omega t}$. Its real and imaginary coordinates therefore solve the harmonic oscillator equation. This is why complex exponentials are useful building blocks in Fourier analysis: differentiation acts on each frequency by simple multiplication.

A short justification separates the even and odd powers in the absolutely convergent power series for $e^{i\theta }$. The even powers give ${\sum }_{n\ge 0}(-1{)}^n{\theta }^{2n}/(2n)!=\cos \theta$, and the odd powers give $i{\sum }_{n\ge 0}(-1{)}^n{\theta }^{2n+1}/(2n+1)!=i\sin \theta$. The absolute convergence permits this regrouping. The formula thus links an analytic definition of the complex exponential to a geometric motion rather than merely introducing a convenient notation.

Leonhard Euler presents the relation between imaginary exponentials and sines and cosines in his 1748 Introductio in analysin infinitorum, volume 1, chapter VIII, section 138. His derivation uses limiting powers after connecting trigonometric addition to algebra. The original Latin and Ian Bruce's English translation can be read together in Euler, Introductio, chapter VIII, section 138.

For a complex number $z=x+iy$, its imaginary part is $\mathrm{Im}z=y$.

For a complex number $z=x+iy$, its real part is $\mathrm{Re}z=x$.

If $G$ is the principal complex inverse sine, all values reached by analytic continuation areThis follows from the monodromy reflections about the branch values $-\pi /2$ and $\pi /2$.

A theory is $\kappa$-categorical when all of its models of cardinality $\kappa$ are isomorphic.

For the adjacency matrix $A$ of $K_n$,Hence $I,A,A^2$ are linearly dependent for every $n\ge 2$.

Every compactly supported distribution is a finite sum of distributional derivatives of bounded continuous functions. One proof convolves it with a sufficiently high-order Bessel potential and then applies a power of $1-\Delta$.

A space is locally compact when every point has a base of neighbourhoods containing compact neighbourhoods. A compact Hausdorff space is locally compact because regular separation produces $x\in V\subseteq \overline{V}\subseteq U$.

Every compact Hausdorff space is normal: disjoint closed subsets have disjoint open neighbourhoods. Pointwise Hausdorff separation becomes uniform first over one compact closed set and then over the other by taking finite subcovers.

Every open cover of a compact metric space has a number $\delta >0$ such that every subset of diameter less than $\delta$ lies in one member of the cover.

Every quotient of a compact space is compact because the quotient projection is continuous and surjective.

Let $X,Y$ be topological spaces, let $X$ be compact, and let $f:X\to Y$ be a continuous map. Then its image $f(X)$ is compact with the subspace topology inherited from $Y$. More generally, a continuous map sends every compact subset $K\subseteq X$ to a compact subset $f(K)\subseteq Y$, by applying the same statement to its restriction to $K$. Neither $X$ nor $Y$ needs to be Hausdorff.^[ref]

For example, the polynomial function $f(x)=x^2$ sends the compact closed interval $[0,1]$ onto $[0,1]$. The open intervals $V_1=(-1/10,16/25)$ and $V_2=(9/25,11/10)$ give an open cover of the image. Their inverse images in the domain areBoth are open sets in the subspace topology of $[0,1]$, even though neither is an open set in the ambient real line. They cover the domain, so the corresponding two target open sets cover the image.

Matching colors identify the target open sets and their inverse images. Filled endpoints are included and hollow endpoints excluded. This particular open cover illustrates the mechanism; compactness requires a finite subcover for every open cover.

For the general proof, write an arbitrary open cover of $f(X)$ as $\{f(X)\cap V_i:i\in I\}$ with each $V_i$ an open set in $Y$. By continuity, the inverse images $f^{-1}(V_i)$ form an open cover of $X$. Its compactness provides indices $i_1,\dots ,i_m$ such thatThis gives the required finite subcover of $f(X)$. The argument uses inverse images because continuous maps need not send open sets to open sets. For the empty set, the empty selection suffices.

The image of a compact Hausdorff space under a continuous map need not itself be Hausdorff. Take $D=\{0,1\}$ with the discrete topology and $S=\{0,1\}$ with the Sierpiński space topology $\{\varnothing ,\{1\},S\}$. The identity map $D\to S$ is a continuous bijection, since the inverse image of every target open set is an open set in $D$. Its image is compact, but the two points of $S$ have no disjoint open neighborhoods. If the target $Y$ is Hausdorff, its subspace topology does make $f(X)$ Hausdorff, and the compact subset of a Hausdorff space theorem also makes $f(X)$ closed in $Y$.

The practical payoff is existence: the extreme value theorem uses the compact image of a nonempty compact space under a real-valued continuous function to obtain an attained minimum and maximum. When $f$ is also a bijection onto a Hausdorff target, the compact-to-Hausdorff continuous bijection theorem supplies continuity of its inverse without a separate formula.

A closed densely defined operator has compact resolvent when $(A-zI{)}^{-1}$ is compact at one, equivalently every, resolvent point. Its spectrum consists only of isolated eigenvalues of finite multiplicity, with possible accumulation only at infinity.

Let $P_N$ project ${\ell }^2$ onto its first $N$ coordinates. Although $P_N\to I$ only strongly on the whole unit ball, convergence is uniform on every compact subset. Hence compact $T$ satisfiesand each $P_{N}T$ has finite rank.

A compact Hermitian operator has real nonzero eigenvalues of finite multiplicity, with zero as their only possible accumulation point, and an orthonormal eigenbasis after a basis of its kernel is included.

This is the discrete-eigenbasis case of the spectral theorem for a compact operator that is self-adjoint.

A finite-rank operator has finite-dimensional image and is compact.