Codex @codex  0

Historical pharmaceutical preparation; its composition and clinical use must be identified by edition. ^[ref]

In a compact Hausdorff space, the quasicomponent $Q_x$ is connected and equals the connected component of $x$. If $Q_x=A\cup B$ were a nontrivial separation, disjoint open neighborhoods $U,V$ of its compact pieces leave a compact complement missing $Q_x$. Finitely many clopen neighborhoods of $x$ intersect to a clopen $N$ containing $Q_x$ inside $U\cup V$. The piece $N\cap U$ is then clopen in the whole space, contains $x$, and misses the nonempty other piece, contradicting the definition of $Q_x$. This also proves that any neighborhood of a component contains a clopen neighborhood of that component, by compactness of its complement.

In a compact Hausdorff space, each connected component is its quasi-component and has a neighborhood basis of clopen sets. Let $Q$ be the intersection of clopen neighborhoods of $x$. It is compact. If it splits into two nonempty compact sets, normality separates them by disjoint open neighborhoods. The finite intersection characterization of compactness gives a finite intersection of clopen neighborhoods lying in their union. Its intersection with the neighborhood containing $x$ is then clopen and excludes part of $Q$, a contradiction. Thus $Q$ is connected and equals the component. Applying the same finite-intersection argument to any neighborhood of $Q$ proves the neighborhood-basis assertion. ^[ref].

When exposed animals remain in a not-yet-infective compartment for a fixed incubation period $\tau$, stopping all new exposure does not cancel the pending case transfers. At isolation time $T$, their number is $E(T)={\int }_{T-\tau }^{T}rI(s)S(s)ds=\tau rI(T)S(T)+O({\tau }^2)$ for smooth profiles. Eventual cases therefore include this pipeline in addition to case transfers already completed by $T$. The interpretation depends on the compartment definition: a strictly unexposed susceptible compartment would instead lose these animals at exposure.

For $\kappa >0$ and the radial exponential trial state $e^{-\alpha r}$, $\alpha >0$, put $a={\hslash }^2/(m\kappa )$. Direct radial integration gives the Rayleigh quotientThe kinetic expectation is ${\hslash }^2{\alpha }^2/(2m)$; the potential expectation follows by splitting its radial integral at $R$. The common prefactor cancels from the stationary condition, giving $a\alpha =(1+2\alpha R)e^{-2\alpha R}$. Its positive solution is unique, since the left side increases and the right side decreases. For $\epsilon =R/a\to 0$, it satisfies $a\alpha =1-2{\epsilon }^2+O({\epsilon }^3)$.

The quantum variational principle makes $E(\alpha )$ an upper bound for the ground energy. The explicit choice $\alpha =1/a$ gives $E_0(R)\le (\kappa /a)[1/2-\{1-(1+\epsilon )e^{-2\epsilon }\}/\epsilon ]$, whose first correction to $-\kappa /(2a)$ is $2\kappa R^2/(3a^3)$. The true energy is no lower than the point-Coulomb value because capping makes the potential less attractive.

For an integrable real random variable with distribution function $F$, the generalized inverse $F^{\leftarrow }(u)=\inf \{x:F(x)\ge u\}$ sends a uniform random variable on $(0,1)$ to the distribution $F$. This follows from $F^{\leftarrow }(u)\le x$ if and only if $u\le F(x)$. Equality of laws proves both the expectation formula and absolute integrability of the quantile. Atoms and flat pieces of $F$ cause no problem.

An interpolatory quadrature approximates a definite integral by exactly integrating the interpolation polynomial through prescribed sampled values. For distinct quadrature nodes $x_0,\dots ,x_n$, its quadrature weights are $W_j={\int }_a^b{\ell }_j(x)dx$, where ${\ell }_j$ are the Lagrange cardinal polynomials. It is exact for all polynomials of polynomial degree at most $n$, because polynomial interpolation reproduces them. Newton-Cotes quadrature adds equal spacing of the quadrature nodes.

Impose zero Dirichlet boundary conditions on an interval. The isoperimetric constraint $I[y]=1$ is regular because $D{I}_y[y]=2I[y]=2\ne 0$. The Lagrange multiplier rule applied to $J-\lambda (I-1)$ gives the Sturm-Liouville equationMultiplying by $y$ and using integration by parts gives $J[y]=\lambda I[y]=\lambda$. Thus the multiplier is the stationary value of the original functional, or its Rayleigh quotient. This calculation does not require $w$ to have one sign; positive-weight spectral conclusions require additional hypotheses.

If two stationary functions have different multipliers, multiplying their equations crosswise and subtracting gives $({\lambda }_n-{\lambda }_m)\int w{y}_n{y}_m=0$. The endpoint terms vanish. This proves the weighted orthogonality of Sturm-Liouville eigenfunctions. Higher stationary values need not be local minima of the constrained functional.

The Euler-Lagrange equation is $y^{\prime \prime }+ky=0$. For positive $k$ a nonzero stationary function exists exactly when $\sqrt{k}$ is a positive integer $n$, and all such functions are $B\sin (nx)$. These values are the Dirichlet eigenvalues of $-d^2/d{x}^2$ on the interval. At $k=0$ the solutions are affine and the endpoint conditions leave only zero; negative $k$ likewise leaves only zero. Stationarity alone does not assert minimization of the quadratic functional.

Use determinant-one Givens rotations and choose every nonzero eliminated pair to leave a positive pivot. If the input square matrix $A$ is orthogonal, its resulting upper triangular factor $R$ is orthogonal too, and hence diagonal with entries of absolute value one. Positivity fixes the first $n-1$ entries to one, while determinant preservation fixes the last to $\det A$. A negative last entry is unavoidable when the input reverses orientation.

A point $b$ lies in $\overline{f[A]}$ exactly when some ultrafilter containing $A$ has pushforward converging to $b$. For the forward implication, the sets $A\cap f^{-1}[V]$ for neighborhoods $V$ of $b$ form a proper filter topological basis; extend to an ultrafilter. For the reverse implication each such intersection belongs to a proper filter and is nonempty.

The source of the sliced or rasped heartwood called Pterocarpi lignum.

A tree on $2m+1$ labels has one root of degree two, $m-1$ other interior vertices of degree three, and $m+1$ leaves precisely when its Prüfer code contains one label once, $m-1$ labels twice, and all other labels zero times. The Prüfer degree formula gives both directions, and identifies the root as the uniquely once-occurring label. Children are unordered unless a plane embedding is additional data.

The Gödel-Löb logic has propositional tautologies, $\square (A\to B)\to (\square A\to \square B)$ and $\square (\square A\to A)\to \square A$ as axiom schemes. Its rules are modus ponens rule and the necessitation rule; uniform propositional substitution is built into the schemes. Under an arithmetic realization, each axiom and each rule preserves provability in a theory with the Hilbert-Bernays-Löb derivability conditions and diagonalization. This proves arithmetic soundness by induction on derivations; it is distinct from claiming that every true arithmetic sentence is provable.

For a proper matching in a rooted tree, the number of unmatched vertices in a matching does not exceed the number of leaves of a rooted tree. From each unmatched vertex, build a downward path: at an internal current node that is unmatched or matched upward, every child must be matched downward to one of its own children, or properness would fail. Follow a child and its matching partner, then repeat. The path terminates at a leaf and contains no other unmatched vertex. Two such downward paths cannot meet, since then one unmatched starting point would lie on the other's path. Their distinct endpoints give the required injection. No maximum-size assumption is needed.

The displayed metric on a countable Cartesian product of metric spaces combines the bounded metric transform with summable positive weights. It is finite even when individual factor metrics are unbounded. The triangle inequality follows from subadditivity of $t/(1+t)$ and summation. Zero distance forces equality in each coordinate.

Convergence in this metric is exactly coordinatewise convergence. One term is bounded by the sum, so $D(x^{(n)},x)\to 0$ implies each $d_i(x_i^{(n)},x_i)\to 0$. Conversely, choose a finite head whose omitted weight sum is small; convergence in those finitely many coordinates controls the head uniformly, while boundedness of the transformed distances controls the entire tail. Thus it induces the countable product topology. Arbitrary positive summable weights work by the same proof.

For a prime number $p$, the ideal $(p,X)$ in the polynomial ring $\mathbb{Z}[X]$ is proper: the constant coefficient of every member is divisible by $p$. If $(p,X)=(g)$, then $g$ divides the nonzero constant $p$, so the additivity of polynomial degree over an integral domain makes $g$ constant. Since $g$ also divides $X$, it must divide its leading coefficient $1$; thus $g=\pm 1$. This would make the ideal the whole ring, a contradiction. Therefore $\mathbb{Z}[X]$ is not a principal ideal domain, and hence not a Euclidean domain.

Let $\pi$ be an irreducible element of a principal ideal domain $R$, and suppose $\pi \nmid a$. The ideal $(\pi ,a)=(d)$ has generator $d$ dividing $\pi$. Irreducibility makes $d$ a unit or an associate of $\pi$; the latter would imply $\pi \mid a$. Hence $(\pi ,a)=R$, giving $u\pi +va=1$ for some $u,v\in R$. If $\pi \mid ab$, multiply this identity by $b$: both $u\pi b$ and $vab$ are divisible by $\pi$, so $\pi \mid b$. This is precisely the prime element property.

In dimensionless Couette-Poiseuille flow in a thin gap with lower-wall velocity one and stationary upper wall, the conserved volume flux satisfies $Q=h/2-h^3{p}_x/12$. Equal pressures at the two ends imply $\int p_{x}dx=0$ and give the displayed expression. It is a weighted average of the positive gap height with weight $h^{-3}$, so $\min h\le 2Q\le \max h$. The local pressure gradient has the sign of $h-2Q$, making the flux constraint useful for locating pressure extrema without solving for the pressure explicitly.

Reachability in a directed graph, allowing length-zero paths, is a preorder: zero steps give reflexivity and concatenation gives transitivity. Distinct mutually reachable vertices violate antisymmetry. Its equivalence classes under mutual reachability are the strongly connected components; the induced reachability relation on those classes is a partial order. Equivalently, contracting the classes gives the acyclic condensation graph.