The eigenvalue crossing speed is the derivative of the real part of a parameter-dependent eigenvalue at a stability boundary. A nonzero speed for an imaginary pair is the transversality condition in a generic Hopf bifurcation.

A transverse eigenvalue crossing occurs when the real part of an eigenvalue passes through zero with nonzero parameter derivative. This spectral condition is separate from the nonlinear nondegeneracy conditions in the Hopf theorem.

The convolution estimate gives the upper bound. Apply the operator to the Fejér kernel, whose $L^1$ norm is one. The summability kernel on the circle property implies $f\ast K_n\to f$ in $B$, giving the reverse bound. This identifies the operator norm even when no single input attains it.

A homeomorphism $g:\partial Q\to \partial Q$ of the boundary of a closed square $Q$ extends to a homeomorphism of $Q$ by fixing its centre $c$ and setting $H(c+r(p-c))=c+r(g(p)-c)$ for $p\in \partial Q$ and $0<r\le 1$. Each noncentral point lies on a unique ray from $c$ meeting the boundary once, so the formula is well defined and its inverse is obtained from $g^{-1}$. Both maps are continuous off the centre by the radial parametrization, and at the centre because their distances from $c$ are bounded by $r$ times the radius of the square. It follows that complements of any two closed boundary arcs are homeomorphic: first map the arcs to one another by a boundary homeomorphism, then extend radially.

A map from an open subset of $\mathbb{C}$ into a complex Banach space is weakly holomorphic when every composition with a bounded complex-linear functional is a scalar holomorphic function. Norm holomorphy requires its difference quotients to converge in the Banach norm. Weak holomorphy is initially a condition on scalar observations; the weak holomorphy implies norm holomorphy argument recovers an actual vector derivative. A closed target subspace containing values on a sequence with an interior accumulation point contains every value on the connected domain: annihilate the subspace, apply the scalar identity theorem, and use Hahn-Banach separation.

For sequential enzyme binding, a quasi-steady-state approximation gives occupied-state weights ${\varphi }_j{S}^j$, ${\varphi }_j={\prod }_{i=1}^j{K}_i^{-1}$, relative to free enzyme. If all intermediate weights tend to zero while the terminal weight remains nonzero, enzyme conservation leaves only unbound and fully bound states, and the production rate becomes the displayed Hill equation. One realization holds other rates fixed while the first binding rate tends to zero and the last tends to infinity with positive finite product. A statement merely bounding that product does not by itself specify this nontrivial distinguished limit.

The finite Hilbert transform is a singular integral operator whose integration is restricted to a finite interval. The displayed convention uses the denominator $t-x$; reversing that denominator reverses the sign. The Cauchy principal value deletes equal intervals on the two sides of the interior point $x$. Endpoint behavior matters: the integrable function $1/\sqrt{x(1-x)}$ belongs to the null space for this interval. This nontrivial null space is one reason that an inversion formula needs a normalization or a stated endpoint class.

For a planar domain $D$, the Bergman space $A^2(D)$ consists of holomorphic functions with finite area L2 norm, using the inherited inner product. It is a closed subspace of $L^2(D)$. Indeed the disk mean-value estimate $|f(z)|\le (\pi r^2{)}^{-1/2}\Vert f{\Vert }_{L^2(B(z,r))}$ bounds values locally by the L2 norm. An $L^2$-Cauchy sequence of holomorphic functions consequently converges uniformly on compact subsets to a holomorphic function, agreeing almost everywhere with its $L^2$ limit.

On the unit disk, the normalized monomials $\sqrt{(n+1)/\pi }{z}^n$, $n\ge 0$, form an orthonormal basis. Angular integration makes them orthogonal and gives $\Vert z^n{\Vert }_2^2=\pi /(n+1)$. Applying the same integration to a Taylor expansion gives $\Vert {\sum }_n{a}_n{z}^n{\Vert }_2^2=\pi {\sum }_n|a_n{|}^2/(n+1)$, proving completeness of this basis.

At distinct interpolation nodes $x_0,\dots ,x_n$, prescribed values $y_i$ and first derivatives $d_i$ determine exactly one Hermite interpolating polynomial of polynomial degree at most $2n+1$. The homogeneous data force a double root of a polynomial at every interpolation node. Hence the kernel of a linear map given by these $2n+2$ conditions is zero: a nonzero polynomial with those double roots of a polynomial would have polynomial degree at least $2n+2$. Equal finite dimensions of a vector space then give existence as well as uniqueness. This interpolation polynomial is distinct from the Hermite polynomials forming a classical orthogonal polynomial family.

Let $x_0<\cdots <x_n$ be distinct interpolation nodes, let $f\in C^{2n+2}[x_0,x_n]$, and let $H$ be the Hermite interpolating polynomial matching the values and first derivatives of $f$ at all nodes. For each $x$ in the interval there is an interior point $\xi$ for which the displayed formula holds. At a node the formula is immediate. Otherwise put $e=f-H$, $\pi (t)={\prod }_i(t-x_i)$ and $\phi (t)=e(t)-e(x)\pi (t{)}^2/\pi (x{)}^2$. This function vanishes at the $n+1$ nodes and at $x$, while its derivative vanishes at every node. Rolle's theorem gives $n+1$ additional zeros of its derivative between successive zeros of $\phi$. Repeating the theorem therefore gives ${\phi }^{(2n+2)}(\xi )=0$. Since $H^{(2n+2)}=0$ and $({\pi }^2{)}^{(2n+2)}=(2n+2)!$, rearrangement yields the formula. The extra point $x$ is a zero of $\phi$, not necessarily of its derivative.

For two nodes $a,b$, this gives the uniform bound $\Vert f-H{\Vert }_{\infty }\le \Vert f^{(4)}{\Vert }_{\infty }(b-a{)}^4/384$, since $(x-a{)}^2(b-x{)}^2\le (b-a{)}^4/16$. The squared nodal factors encode simultaneous matching of values and derivatives.

If $\pi :\beta X\to K$ is the canonical map from the Stone-Čech compactification onto a Hausdorff compactification, its fibers over the original points are singletons. If $\pi (z)=x\in X$ and $z\ne x$, choose an open neighborhood $U$ of $x$ in $\beta X$ whose closure excludes $z$. Choose open $V\subseteq K$ with $x\in V$ and $V\cap X\subseteq U$. The open neighborhood ${\pi }^{-1}V$ of $z$ has dense trace $V\cap X$, placing $z$ in $\overline{U}$, a contradiction. This controls when images of closed remainder sets stay in the remainder.

A Tychonoff space is Čech-complete if it is a G-delta set in a Hausdorff compactification. The G-delta compactification invariance makes this independent of the chosen compactification, and equivalent to being a G-delta set in its Stone-Čech compactification.

For a Hausdorff compactification $h:\mathbb{R}\to Y$, let $C^{\pm }$ be the intersections of the closures of the positive and negative tails, respectively. Each is nonempty and connected by the closed-filter-base theorem. Their union equals the remainder: an image point has a bounded-interval neighbourhood excluding sufficiently long tails, whereas every neighbourhood of a remainder point meets tails by density and compactness of bounded intervals. If the remainder is finite, each $C^{\pm }$ must be a singleton, so there can be only one or two remainder points. In particular there is no three-point compactification of the real line.

If a locally compact Hausdorff space is densely embedded in a Hausdorff space, its image is open. Around a point choose an ambient open set whose trace lies in a compact neighborhood $K$. Density puts that ambient open set inside the ambient closure of its trace, which lies in $K$ because compact subsets of a Hausdorff space are closed. Thus the ambient open set lies in the image.

If $f:U\to V$ is a holomorphic function between planar open sets and $\psi :V\to \mathbb{R}$ is a harmonic function, then $\psi \circ f$ is harmonic. In fact the chain rule and the Cauchy-Riemann equations, with $f=u+iv$, giveHere the two gradients are orthogonal and have equal length, while $u,v$ are harmonic. The formula holds even where $f^{\prime }=0$. A biholomorphism therefore induces inverse correspondences between harmonic functions by function composition with it and its inverse.

Placement of a constricting band around selected tissue to interrupt its blood supply, commonly for internal haemorrhoids. The resulting local tissue response differs from immediate surgical excision.

Injection of an agent intended to produce localized sclerosis or fibrosis. In haemorrhoidal treatment it alters supporting and vascular tissue rather than directly excising the entire lesion.

Application of infrared energy to produce a localized tissue effect, including in treatment of internal haemorrhoids. It differs from cutting away tissue or applying a mechanical ligature.

Production of red blood cells from dividing precursors, distinguished from division of mature mammalian red blood cells.