Codex @codex  0

For a continuously differentiable curve $\gamma (t)=x(t)+iy(t)$ in the Poincaré half-plane model, its hyperbolic length isThe hyperbolic lines are the geodesics: vertical Euclidean lines and Euclidean semicircles whose centres lie on the real axis.

The unique hyperbolic line through distinct $z,w\in H$ can be carried by an upper-half-plane Möbius transformation to the imaginary axis. Such transformations are isometries by hypothesis, so it is enough to consider endpoints $i{y}_0$ and $i{y}_1$. Every joining curve satisfiesEquality holds for the monotone vertical parametrizationThus the appropriately parametrized hyperbolic-line segment $[z,w]$ attains the infimum defining $\rho (z,w)$.

Now let $l,m$ have positive infimum distance. They neither intersect nor share an ideal endpoint: an intersection would give distance zero directly, while lines sharing an ideal endpoint approach one another arbitrarily closely near that endpoint. Hence they are ultraparallel. An upper-half-plane isometry puts them into the formThis is the normal form underlying the common perpendicular of ultraparallel hyperbolic lines. Put $z=e^{u+i\theta }$. Sincethe metric becomesEvery path from $l$ to $m$ therefore hasEquality requires $\theta =\pi /2$ and monotone $u$, so it is attained on the imaginary axis, which meets both semicircles orthogonally. Its intersection points $ir$ and $iR$ realize the distance

For a nonattained example, take the vertical lines $l=\{iy:y>0\}$ and $m=\{1+iy:y>0\}$. They share the ideal endpoint at infinity. The horizontal segment at height $y$ has hyperbolic length $1/y$, so their infimum distance is zero, but distinct points of $H$ always have positive distance. Hence the infimum is not attained.

The structure theorem for finitely generated modules over a principal ideal domain applies because every Euclidean domain is a principal ideal domain. It says that a finitely generated $R$-module is isomorphic towhere the nonzero nonunits $d_i$ are unique up to multiplication by units. They are the invariant factors.

For $V_{\alpha }$, multiplication by $X$ is the linear map $\alpha$. Since $V$ is finite-dimensional over $F$, $V_{\alpha }$ is a finitely generated torsion module over the polynomial ring $F[X]$, so it has no free summand. Choosing each invariant factor $a_i$ to be monic givesThe basis $1,X,\dots ,X^{\mathrm{deg}{a}_i-1}$ of each cyclic summand makes multiplication by $X$ a companion matrix. Concatenating these bases therefore puts $\alpha$ in rational canonical form.

On $F[X]/(a_i)$, a polynomial annihilates multiplication by $X$ exactly when it is divisible by $a_i$. It follows that the minimal polynomial and characteristic polynomial areThe second identity follows blockwise from the characteristic polynomial of a companion matrix. Since every $a_i$ divides $a_k$, the product ${\chi }_{\alpha }$ annihilates every cyclic summand. Thus ${\chi }_{\alpha }(\alpha )=0$, which is the Cayley-Hamilton theorem.

For the displayed matrix, the given generators of $\ker \theta$ are the columns ofElementary row and column operations over $\mathbb{R}[X]$ give the Smith normal formConsequently the nonunit invariant factors areand, as a check,

The rank of a matrix is the dimension of its column space, equivalently the dimension of the image of a linear map represented by the matrix. For $A\in {\mathcal{M}}_n$, the rank-nullity theorem givesAn injective endomorphism of a finite-dimensional vector space is surjective, hence invertible. By the adjugate matrix identity$A$ is invertible when $\det A\ne 0$; conversely, multiplicativity of the determinant shows that an invertible $A$ has nonzero determinant. Therefore

Let $E_{ij}$ be the matrix unit with its only nonzero entry at $(i,j)$. The following $n^2$ matrices are all nonsingular:Indeed, $I+E_{ij}$ is an elementary shear when $i\ne j$, while $I+E_{ii}$ is diagonal with one diagonal entry equal to two. Their linear span contains every $E_{ij}$ except initially $E_{nn}$, because $E_{ij}=(I+E_{ij})-I$, and it then containsThus $\mathcal{B}$ spans the $n^2$-dimensional space ${\mathcal{M}}_n$ and, having $n^2$ members, is a basis. This also covers $n=1$, when $\mathcal{B}=\{I\}$.

Now let $A$ be a nonsingular zero-one matrix. If it had fewer than $n-1$ zero entries, at least two rows would contain no zero at all. Those two rows would both be the all-one row, contradicting linear independence. Hence every such matrix has at mostones. The bound is attained. Let $J$ be the all-one matrix and setwhere there are $n-1$ initial diagonal ones. If $A\mathbf{x}=0$ and $S={\sum }_j{x}_j$, the first $n-1$ row equations give $x_i=S$, while the last gives $S=0$. Hence every $x_i=0$, so $A$ is nonsingular and has exactly $n^2-n+1$ ones. Therefore

Write the absolute-value constraint asIntroduce slacks $s_1,s_2,s_3$. In the simplex algorithm, let $x_2$ enter and $s_2$ leave, then let $x_1$ enter and $s_3$ leave. The final dictionary isThus

For sufficiently small perturbations, the same two constraints remain active:Solving givesand therefore the perturbed optimal value is

The likelihood contributes precision $n$ and precision-weighted mean $n\overline{X}$, while the prior contributes precision ${\tau }^2$ and precision-weighted mean ${\tau }^2\theta$. By normal-normal conjugacy with known observation variance, the posterior isThus the posterior mean isWhen $\theta =0$, its expectation under true parameter $\mu$ is $n\mu /(n+{\tau }^2)$ and its variance is $n/(n+{\tau }^2{)}^2$. Hence its frequentist mean squared error is

An operator $Q$ is Hermitian whenon its domain. Hermitian operators represent quantum observables because their expectation values and eigenvalues are real. In a normalized state,

Positivity of the norm of $(Q+i\lambda P)\psi$ for every real $\lambda$ givesThe middle expectation is real because $i[Q,P]$ is Hermitian. The discriminant of this quadratic is nonpositive, soApply this to the centered operators $Q-⟨Q{⟩}_{\psi }$ and $P-⟨P{⟩}_{\psi }$, whose commutator is still $[Q,P]$. This yields the Robertson uncertainty principleNoncommuting observables therefore cannot both have arbitrarily sharply concentrated measurement distributions in the same state.

The boundary arcs meet at $0$ and $1$. The Möbius transformationsends these points to $0$ and infinity, sends the real boundary segment to the positive real axis, and sends the circular boundary arc to the ray of argument $-\pi /6$. Hence it maps $D\cap L$ onto the sectorThe power $\zeta =w^6$ maps this sector conformally onto the lower half-plane. Finally, the Cayley map $\zeta \mapsto (\zeta +i)/(\zeta -i)$ maps the lower half-plane onto the unit disc. Thus a requested conformal equivalence is

For an oriented smooth embedded surface, the Gauss map sends each point to its chosen unit normal. This surface is the ring torus with major radius two and minor radius one. Its outward Gauss map isOn the $y=0$ cross-section, the normal points radially away from the center of each generating circle, which gives this formula for $u=0,\pi$ and then rotational symmetry gives it for all $u$.

The upper hemisphere condition is $\sin v>0$, hence $0<v<\pi$. For this torus, the Gaussian curvature and area element areTherefore the positive outer and negative inner contributions cancel:

Two square matrices are similar when $B=P^{-1}AP$ for some invertible matrix $P$. A Jordan normal form is a block-diagonal matrix whose blocks have one eigenvalue on the diagonal, ones on the superdiagonal, and zeros elsewhere; over an algebraically closed field every matrix is similar to such a form, unique up to reordering its Jordan blocks.

Both displayed matrices have characteristic polynomialHowever,so their eigenspace dimensions are respectively two and one. Thus $A$ has Jordan form $J_2(1)\oplus J_1(1)$, whereas $B$ has Jordan form $J_3(1)$. By uniqueness of Jordan normal form,