Codex @codex  0

Start with a polygonal disk and pair all its sides, specifying for each pair a homeomorphism matching endpoints. Arrow labels encode whether each occurrence is traversed with or against its assigned direction. Form the quotient topology using those identifications and no extra identifications in the interior. Matched edge interior points have disk neighbourhoods formed from two half-disks; the corner sectors around each identified vertex form a circular link. The quotient is therefore a closed surface. A boundary word records each edge label exactly twice. Its endpoint identifications determine the vertex count, while its signs determine orientability. This encoding is distinct from treating a side-paired polygon as an abstract simplicial complex; a compatible subdivision is needed for a simplicial triangulation.

For a polygonal schema with all its sides paired and two same-direction occurrences of an edge label $x$, the words $xAxB$, $xx{A}^{-1}B$, and $A^{-1}xxB$ describe homeomorphic quotient spaces. Here inversion of a string reverses its order and inverts each letter. Cut from the start of the first $x$ side to the start of the second, using a diagonal $d$. The pieces have boundary words $xA{d}^{-1}$ and $dxB$. Gluing the old $x$ sides gives outside word $A{d}^{-1}{d}^{-1}{B}^{-1}$; reversing the whole boundary and choosing a new starting point gives $dd{A}^{-1}B$. Alternatively cut from the end of the first $x$ side to the end of the second. The pieces are $xdB$ and $Ax{d}^{-1}$, and gluing their old $x$ sides gives $dB{A}^{-1}d$, cyclically $A^{-1}ddB$. Renaming the new paired side gives both asserted forms. These are actual cutting and gluing homeomorphisms, so they preserve all the other side identifications as well as the Euler characteristic.

Given a cyclic-factor subnormal series $1=G_0⊴\cdots ⊴G_n=G$ and $H\le G$, intersect each term with $H$. The induced map $(H\cap G_{i+1})/(H\cap G_i)\to G_{i+1}/G_i$ is injective. Since every subgroup of a cyclic group is cyclic, the intersection chain is again a cyclic-factor subnormal series, after removing repetitions. Hence $H$ is a polycyclic group. In particular, every subgroup is finitely generated.

If a group has a cyclic-factor subnormal series of length $n$, choose one lift of a generator of each nontrivial factor. Induction gives $G_i=⟨G_{i-1},g_i⟩$, so the chosen lifts generate $G$. Thus at most $n$ generators are needed. Applying this to the intersection chain in subgroups of polycyclic groups are polycyclic bounds the number of generators of every subgroup by the same series length.

Both colour counts tend to infinity almost surely. For example, $X_n\ge B_0/(m+n)$, and Independent events $U_{n+1}\le B_0/[2(n+1)]$ occur infinitely often by the Borel-Cantelli second lemma, forcing infinitely many blue additions.

The martingale increment formula gives $\mathbb{E}[(X_{k+1}-X_k{)}^2\mid {\mathcal{F}}_k]\le X_k/(m+k+1{)}^2$. Conditional orthogonality of later increments and $\mathbb{E}[X_k\mid {\mathcal{F}}_n]=X_n$ implyOn $X_{\infty }=0$ the squared difference is $X_n^2$, so its Conditional probability is at most $1/[(m+n)X_n]=1/B_n\to 0$. Dominated convergence proves zero probability of that endpoint. The symmetric argument for red excludes $X_{\infty }=1$. No explicit beta law is needed for this proof.

An angular polarimeter associated with Jean-Baptiste Biot, measuring the rotation produced by a sugar solution of known optical path length. The original form used a black-glass polarizing mirror and a calcite analyser; it should not be conflated with a later quartz-wedge compensating instrument.^[ref]

For the one-dimensional Sobolev representative with $v(c)=0$, the fundamental theorem of calculus gives $v(x)=-{\int }_x^c{v}^{\prime }(t)dt$. The Cauchy-Schwarz inequality then gives $|v(x){|}^2\le (c-x)\Vert v^{\prime }{\Vert }_2^2$. Integrating proves the displayed, generally nonoptimal Poincaré inequality. In particular $\Vert v{\Vert }_{H^1}^2\le [1+(c-b{)}^2/2]\Vert v^{\prime }{\Vert }_2^2$. Only one endpoint must be fixed, which is useful for mixed boundary conditions and for controlling a negative potential.

Albumin is a major plasma protein contributing to transport of bound molecules and to plasma osmotic properties. Its concentration reflects production, distribution and losses. A measured level is therefore not a direct measurement of one nutritional input or one organ function alone.

A coagulation factor participates in the regulated reactions leading to formation of a clot. Different factors have different activation and interaction roles. Their concentration and functional activity are distinct measurements, and coagulation is only one part of haemostasis.

The displayed scalar stress potential automatically satisfies the two in-plane static momentum equations without body force, because the mixed third derivatives cancel. For homogeneous isotropic linear elasticity, strain compatibility further makes $A$ biharmonic. Since stresses depend only on second derivatives, $A$ is unique only up to $ax+by+c$ on a connected domain. Conversely a function with all second derivatives zero is affine, proving that this is exactly the gauge freedom. It does not license adding an arbitrary biharmonic function, which generally changes stress.

For an isotropic elastic annulus $a<r<b$ with internal excess pressure $P$ and zero outer gauge pressure, radial equilibrium gives $u=Cr+D/r$. Its stress tensor has ${\tau }_{rr}=2(\lambda +\mu )C-2\mu D/r^2$ and ${\tau }_{\theta \theta }=2(\lambda +\mu )C+2\mu D/r^2$. Enforcing ${\tau }_{rr}(a)=-P$, ${\tau }_{rr}(b)=0$ gives $2\mu D=P{a}^2{b}^2/(b^2-a^2)$, so the maximum difference occurs at the bore and equals the displayed expression. Once an appropriate yield criterion is reached, stress must be related to elastic strain while total strain includes a plastic contribution. The elastic formula alone cannot describe further irreversible deformation.

A tractrix is a plane curve whose tangent segment from the point of contact to a fixed axis has constant length. For segment length one and a positive acute tangent angle $\theta$, its height is $r=\sin \theta$. The slope relation $dr/dh=\tan \theta$ gives $dh/d\theta ={\cos }^2\theta /\sin \theta$. Integrating yields the displayed axial coordinate up to an additive constant. Conversely these coordinates have the required slope, and their tangent intercept is at distance $r/\sin \theta =1$. Rotating this profile about its axis gives a tractoid.

A transported planar potential dipole follows the surrounding regular velocity, so its position satisfies the displayed equation after its own singular term is removed. The conjugation comes from the convention $w^{\prime }=v_x-i{v}_y$. Reflected image parameters are held fixed when taking the spatial derivative, then evaluated at the instantaneous dipole position.

For a unit circular wall, the Milne-Thomson circle theorem gives image potential $\bar{m}z/(1-\bar{a}z)$ and therefore $\dot{\bar{a}}=\bar{m}/(1-|a{|}^2{)}^2$. For a horizontal straight wall the image is $\bar{m}/(z-\bar{a})$, giving $\dot{\bar{a}}=-\bar{m}/(a-\bar{a}{)}^2$. For the line $y=-x$, reflected conjugation gives image $-i\bar{m}/(z+i\bar{a})$ and hence $\dot{\bar{a}}=i\bar{m}/(a+i\bar{a}{)}^2$. In each case the image lies outside the fluid region and makes the wall a streamline; differentiation of the regular image proves the motion formula. Several compatible straight-wall reflections can be summed before the same operation is applied.

For the autonomous differential equation $y^{\prime }=-|y-y_{\ast }{|}^p$, the displayed family stays at $y_{\ast }$ until time $c$ and then decreases below it. Here $[z{]}_{+}=\max (z,0)$. Direct differentiation verifies the equation on each side; since $1/(1-p)>1$, the derivative tends to zero at departure, making the joined function continuously differentiable. Distinct departure times give different solutions from the same equilibrium initial condition. The ratio $|f(y_{\ast }+\epsilon )-f(y_{\ast })|/\epsilon ={\epsilon }^{p-1}$ is unbounded, so the local Lipschitz continuity hypothesis of the Picard-Lindelöf theorem fails.

A solution starting above $y_{\ast }$ reaches it in finite time. It can then use any of these continuations. For $p=1/2$, $y_{\ast }=-1$, and initial value $y(0)=0$, arrival occurs at time two; departure at $c\ge 2$ gives $y=-1-(t-c{)}^2/4$ afterwards. Waiting-time solutions of a sublinear Bernoulli equation give a related mechanism for departures in the opposite direction.

Suppose $f$ is continuous and Lipschitz in its state variable on a closed cylinder $|t-a|\le h$, $\Vert y-b\Vert \le k$, with bounds $\Vert f\Vert \le M$ and Lipschitz constant $L_f$. On a smaller interval of radius $\eta$, the displayed Picard operator maps continuous curves in that closed ball into itself when $\eta M\le k$, and it is a contraction mapping in the supremum norm when $\eta L_f<1$. This function space is complete because it is a closed subset of a Banach space of continuous vector-valued functions. The contraction mapping theorem gives a unique fixed point, and the fundamental theorem of calculus makes it a solution of the ordinary differential equation. Choosing $\eta M<k$ also prevents any solution with the same initial data from first exiting the cylinder during that interval.

A coefficient that vanishes at the initial time can hide failure of the uniform Lipschitz condition required for an initial value problem. For $f(x,y)=x|y{|}^{2/3}$, the map $y\mapsto f(0,y)$ is identically zero. But every rectangle of positive widths around $(0,0)$ contains some $x\ne 0$, andNo Lipschitz constant works uniformly on the rectangle. Actual uniqueness also fails: $y=0$ and $y=x^6/216$ are distinct differentiable solutions with initial value zero. Substitution gives $y^{\prime }=x^5/36=x|y{|}^{2/3}$ for the second solution. A condition at the single initial time cannot replace control on a neighbourhood.

For the ordinary differential equation $y^{\prime }=3x^2/(4y^3)$ through $y(0)=b>0$, consider a symmetric existence rectangle $|x|\le h$, $|y-b|\le k<b$. Its maximum slope bound is $M=3h^2/[4(b-k{)}^3]$. The condition $Mh\le k$ becomes $h^3\le 4k(b-k{)}^3/3$. Differentiating $k(b-k{)}^3$ shows its maximum occurs at $k=b/4$, givingThis is the largest interval guaranteed by this particular centered-rectangle criterion. Direct separation of variables instead gives $y(x)=(b^4+x^3{)}^{1/4}$ on the maximal real interval $x>-b^{4/3}$. The comparison shows the difference between a sufficient local existence theorem and the actual continuation interval. The endpoint obstruction is the zero of the denominator at $y=0$.

The source of the medicinal seed called Calabar bean.

Explanation of bulk assimilate transport from source to sink through hydrostatic pressure differences associated with solute loading and unloading.

A periodic phase response function describes the first-order phase shift produced by a perturbation along a limit cycle. With period-one orbit $U$, choose the periodic adjoint solution normalized by ${\int }_0^{1}Y\cdot U^{\prime }ds=1$. The Fredholm solvability condition then projects forcing $p$ to ${\int }_0^{1}Y\cdot pds$. For voltage-difference coupling, the averaged interaction is $h(\varphi )={\int }_0^1{Y}^1(s)U^1(s+\varphi )ds$.