Codex @codex  0

The Cayley transform gives a conformal bijection between an unbounded half-plane and the unit disc. Two conventions are useful. For the right half-plane, useFor the upper half-plane, useRotating the upper half-plane onto the right half-plane by $z\mapsto -iz$ explains the relationship $C(z)=R(-iz)$. The factors of $i$ distinguish which half-plane is mapped onto the unit disc. ^[ref]

In particular, $C(i)=0$, $C(2i)=1/3$ and $C(1+i)=(1-2i)/5$. The whole positive imaginary axis becomes the real diameter: $C(iy)=(y-1)/(y+1)$ for $y>0$. Horizontal grid lines become circles tangent to the unit circle at $1$ when completed by their endpoint at infinity; they are not hyperbolic geodesics.

On the Riemann sphere, $C$ maps the extended real line onto the unit circle:Every finite real $x$ has $|C(x)|=1$; the remaining point $w=1$ corresponds to infinity. The pole $z=-i$ is outside the upper half-plane, and the pole of $C^{-1}$ at $w=1$ is on the boundary of the unit disc. Neither pole obstructs the interior conformal bijection.

For a short verification, subtract the squared moduli:These identities put each interior image in the required domain; solving $w(z+i)=z-i$ gives the stated inverse function. Both maps are holomorphic, with $C^{\prime }(z)=2i/(z+i{)}^2\ne 0$, so the conformal bijection preserves Euclidean angles between tangent directions.

Euclidean distance is not preserved: $i$ and $2i$ are one unit apart, whereas $0$ and $1/3$ are only one third of a unit apart. The striking feature is that $C$ does preserve length for the hyperbolic metrics of the Poincaré half-plane model and Poincaré disk model:Consequently it is an isometry for these hyperbolic metrics, including their induced hyperbolic distances. For the same example, the corresponding hyperbolic geodesic segments have equal length:Thus the Cayley transform lets us choose the most convenient picture: a straight boundary for calculations, or a bounded unit disc for visualization. It also transports automorphisms of the unit disk into upper half-plane automorphisms by function composition $C^{-1}\circ g\circ C$.

For a real symmetric matrix, or more generally a Hermitian matrix, the finite-dimensional spectral theorem makes all eigenvalues real. Intersecting its Gershgorin discs with the real axis givesThe union preserves gaps that the single outer interval loses. If every $a_{ii}-r_i>0$, all eigenvalues are positive, so the matrix is a positive-definite matrix. This is the positive-diagonal strictly diagonally dominant matrix criterion. For the three-by-three example, $1.7\le \lambda \le 9.4$ gives a positive-definite matrix certificate and bounds its spectral condition number of a positive-definite matrix by $9.4/1.7\approx 5.529412$; the computed value is about $4.544364$.

Strictness matters. The symmetric matrix $\left(\begin{array}{cc}1& -1\\ -1& 1\end{array}\right)$ has positive diagonal and is a diagonally dominant matrix, but its eigenvalues are $0$ and $2$: it is singular. For a general complex matrix, the condition $\mathrm{Re}{a}_{ii}>r_i$ only puts the eigenvalues in the open right half-plane. The Hermitian matrix assumption is what converts that statement into positive definiteness.

The right half-plane consists of complex numbers with positive real part. Its boundary is the imaginary axis. For example, $1+i$ is inside, $i$ is on the boundary, and $-1+i$ is outside. Rotation $z\mapsto iz$ takes the right half-plane onto the upper half-plane; the Cayley transform between the half-plane and disk uses $R(z)=(z-1)/(z+1)$ for this convention.