Codex @codex  0

For an Erlang distribution claim probability density function $f(x)={\beta }^{2}x{e}^{-\beta x}$ and $r=\lambda /c$, write $H=\varphi \ast f$. The survival integro-differential equation gives ${\varphi }^{\prime }=r(\varphi -H)$. The convolution satisfies $(D+\beta {)}^{2}H={\beta }^2\varphi$, because $H={\beta }^2{e}^{-\beta u}{\int }_0^u(u-t)\varphi (t)e^{\beta t}dt$. Applying $(D+\beta {)}^2$ to the first equation eliminates $H$ and gives the displayed third-order equation. The original integral equation also supplies ${\varphi }^{\prime }(0)=r\varphi (0)$ and ${\varphi }^{\prime \prime }(0)=r^2\varphi (0)$; these conditions must not be lost when solving the higher-order equation.

For a geometric morphism, the characteristic map of $f^{\ast }\top$ induces a comparison $f^{\ast }{\Omega }_{\mathcal{E}}\to {\Omega }_{\mathcal{F}}$ whose adjoint transpose is $\lambda$. Composing with a characteristic map classifies the inverse-image subobject. Thus monicity of $\lambda$ is equivalent to reflection of equality of subobjects under $f^{\ast }$, and hence to faithfulness of the inverse image: apply reflection to equalizers of parallel arrows. Conversely faithfulness reflects when a pulled-back monomorphism is an isomorphism, by comparing its characteristic map with truth; intersections then reflect equality of arbitrary subobjects.

The time translation is normalized at infinity. For the roots $r_{\pm }^2=M\pm \sqrt{M^2-Q^2}$, evaluate $V^{\prime }(r)/2$ to get the signed horizon values. The outer Hawking temperature in natural units is $\sqrt{M^2-Q^2}/(\pi r_{+}^3)$. The extremal limit has zero surface gravity; the neutral case has only the outer positive-radius horizon and temperature $1/(2\pi \sqrt{2M})$.

An object of a regular category is well-supported when its support of an object in a regular category is the terminal object, equivalently when $A\to 1$ is a regular epimorphism. Finite products of well-supported objects are well-supported, by pullback and composition stability of regular epimorphisms. A regular epimorphism has the same support as its codomain, and an object with a point $1\to A$ is well-supported.

A regular category is almost totally supported if every object is a well-supported object or a strict initial object. The case in which every object is well-supported is allowed. There can be at most one strict initial object up to isomorphism. In the Category of sets, these two cases distinguish nonempty sets from the empty set. A meet-semilattice regarded as a category satisfies the condition precisely when it has at most two objects up to isomorphism.

The first term uses the induced worldvolume metric from the supervielbein; the second is the Wess-Zumino brane coupling to the super-three-form. Its fermionic dependence is retained before bosonic truncation. The relative charge magnitude equals the brane tension, while $q=\pm 1$ sets the orientation and matching kappa symmetry projector sign. In an on-shell eleven-dimensional supergravity superspace, this action has kappa symmetry.

If $\kappa$ is a supercompact cardinal, each true ${\Sigma }_2$ statement, allowing parameters in $V_{\kappa }$, holds in $V_{\kappa }$. Write it as an existential witness followed by a ${\Pi }_1$ assertion. Choose a supercompact elementary embedding whose transitive target contains the witness in $V_{j(\kappa )}$. Downward absoluteness of the universal bounded-matrix assertion puts the witness in that rank segment, and elementarity reflects this to $V_{\kappa }$.

Cesàro summation assigns a value to a series when the arithmetic means of its partial sums approach a finite limit of a sequence. Here we use the first-order method, often written $(C,1)$. For a real or complex series beginning at index zero, defineIt is Cesàro summable to $L$ when ${\sigma }_N\to L$. The averaging is applied to the partial sums $s_n$, rather than to the original terms $a_n$. This distinction is essential: the terms can average to zero while their accumulated sum keeps growing. ^[ref]

For Grandi's series $1-1+1-1+\cdots$, the partial sums alternate between one and zero. The series is not a convergent series, but the two values occupy asymptotically equal proportions of the averaging window. In the declared index convention,so its first-order Cesàro sum is $1/2$. This names a particular summation method; it does not turn the oscillating partial sums into an ordinarily convergent sequence.

Why is this useful? An oscillating approximation can retain stable information when its cumulative average settles. Because the Cesàro theorem for convergent sequences preserves an existing limit of a sequence, this adds some new cases without changing the sum of any ordinarily convergent series. For Fourier series, averaging the Fourier partial sums gives a Fejér sum; the existing Fejér kernel and approximation articles explain its effect on reconstruction. Averaging does not guarantee success for every oscillating sequence, as the bounded partial sums need not be Cesàro summable example shows.

One historical motivation was the multiplication of series. In 1918, A. F. Andersen recalled Ernesto Cesàro's product theorem and cited his 1890 publication at the start of a study of products involving Cesàro summable series. This connects the theory with preserving useful operations on sums, as well as with assigning a value to an isolated example. His paper treats several orders of summability; the examples here use only $(C,1)$.^[ref]

A summation method that includes every ordinarily convergent series and assigns it its ordinary sum. The Cesàro theorem for convergent sequences makes first-order Cesàro summation regular. Regularity alone does not justify every rearrangement or multiplication of a divergent series.

If $p_0<p<p_1$, the displayed split of an $L^p$ function gives $\Vert g{\Vert }_{p_0}\le a^{1-p/p_0}\Vert f{\Vert }_p^{p/p_0}$ and $\Vert h{\Vert }_{p_1}\le a^{1-p/p_1}\Vert f{\Vert }_p^{p/p_1}$. Weighted multiplication with $1/p=(1-\theta )/p_0+\theta /p_1$ cancels the threshold, yielding $\Vert g{\Vert }_{p_0}^{1-\theta }\Vert h{\Vert }_{p_1}^{\theta }\le \Vert f{\Vert }_p$. Choosing $a=\Vert f{\Vert }_p$ also gives the continuous inclusion $\Vert f{\Vert }_{L^{p_0}+L^{p_1}}\le 2\Vert f{\Vert }_p$. The analogous split works if the larger endpoint is infinity.

The proper-divisor sum, or aliquot sum, adds the positive proper divisors:In particular $s(1)=0$, an empty sum. Removing $n$ from the sum-of-divisors function is essential: $\sigma (6)=12$, but its proper-divisor sum is $6$.

A space is formal over $\mathbb{Q}$ if its rational cochain commutative differential graded algebra is joined to $(H^{\ast }(X;\mathbb{Q}),0)$ by quasi-isomorphisms. Equivalently in the usual simply connected Sullivan-model setting, its minimal model has a quasi-isomorphism to its cohomology algebra with zero differential. This says its rational homotopy type can be recovered from the cohomology algebra; zero cup products alone do not imply formality of a topological space without an additional argument.

For a finite wedge sum of spheres of dimensions $n_i\ge 2$, let $L=\mathbb{L}(e_i)$ with $|e_i|=n_i-1$ and zero differential. Its Chevalley–Eilenberg cochains of a graded Lie algebra are a minimal commutative differential graded algebra: one generator dual to each Lie basis word has degree one more than that word, and its differential is dual to the Lie bracket. Its cohomology is $\mathbb{Q}\oplus {⨁}_i\mathbb{Q}{a}_{n_i}$ with all positive products zero. One way to compute this is $U(L)=T(e_i)$; the augmentation module has a length-one free resolution, so the corresponding Ext has only the unit and the dual generating classes.

The quotient ${\mathbb{CP}}^5/{\mathbb{CP}}^2$ is five-connected and has cohomology only in degrees $0,6,8,10$, with positive products zero. Its minimal model therefore starts with closed $a_6,b_8,c_{10}$; no decomposable differential can occur below degree twelve. Sending these three generators to the cohomology basis and all later generators to zero is a chain map and a quasi-isomorphism. Thus its full minimal model is the same as that of $S^6\vee S^8\vee S^{10}$. It starts with generators $u_{11},v_{13},w_{15},t_{15}$ satisfying $du=a^2,dv=ab,dw=ac,dt=b^2$, followed by generators killing remaining products and syzygies.

For a degree-one map $f:{\mathbb{CP}}^n\to S^{2n}$ with $n\ge 2$, a minimal model of its homotopy fibre is $(\Lambda (x_2,a_{2n-1},z_{2n+1},b_{4n-2}),d)$ with $dx=dz=0$, $da=x^n$, $db=x^{n-1}z$. Adjoin suspended sphere generators to the projective-space model to model the path pullback, then put $z=y-xa$; the differential becomes the displayed decomposable one. The rational homotopy groups are one-dimensional in those four generator degrees and zero otherwise. At $n=1$ the map is a rational homotopy equivalence and the minimal fibre model is $\mathbb{Q}$.

For the standard $n$-simplex use ${\Omega }_n=\mathbb{Q}[t_0,\dots ,t_n,d{t}_0,\dots ,d{t}_n]/(\sum t_i-1,\sum d{t}_i)$, with $|t_i|=0$, $|d{t}_i|=1$, and $d(t_i)=d{t}_i$. Compatible families of these forms on the simplices of a simplicial model of $X$ form the commutative differential graded algebra $A_{\mathrm{PL}}(X)$. Its cohomology is $H^{\ast }(X;\mathbb{Q})$: polynomial contraction proves the simplex Poincaré lemma, and extension across faces gives the simplicial de Rham comparison. The contravariant functor takes simplicial pushouts to pullbacks of algebras.

For simply connected rational spaces of finite type, isomorphic minimal Sullivan models are equivalent to the same rational homotopy type. A quasi-isomorphism between minimal models is an isomorphism, so a zigzag of cochain quasi-isomorphisms produces the same minimal model. Existence and uniqueness come from adjoining closed generators to represent missing cohomology and generators with prescribed decomposable differential to kill kernel classes, degree by degree.

For a map $f:E\to B$ with simply connected base and the usual finite-type hypotheses, choose a relative Sullivan algebra $M(B)\to M(B)\otimes \Lambda W$ modelling the path-space fibration, with acyclic total algebra. Tensor it over $M(B)$ with a model of $E$ via $f^{\ast }$. The resulting algebra models the homotopy fibre. Relative Sullivan extensions are cofibrant replacements, so this tensor product computes the derived algebraic pushout, contravariantly corresponding to the topological homotopy pullback. Linear differential pairs must be cancelled before reading rational homotopy groups from generators.

A relative Sullivan algebra is an inclusion $(A,d)\to (A\otimes \Lambda W,D)$ with a well-ordered homogeneous basis of $W$ such that the differential of a generator lies in the algebra on $A$ and earlier generators. It need not be minimal: a differential can have linear terms from earlier generators. Such extensions supply cofibrant replacements for commutative differential graded algebras. A relative acyclic extension of a sphere model represents its path-space fibration and computes a homotopy-fibre model after base change.

A subsequential limit of a sequence $(a_n)$ is a value $L$ approached by some subsequence $(a_{n_k})$ with strictly increasing indices $n_k$. For $a_n=(-1{)}^n(1+1/n)$, the subsequences at even integers and odd integers give subsequential limits one and minus one. A finite value appearing among only finitely many initial terms does not become a subsequential limit merely by being a member of the image of a function represented by the sequence.

For a bounded sequence of real numbers, its subsequential limits form a nonempty bounded set that is also a closed set. The Bolzano-Weierstrass theorem guarantees nonemptiness, and its extreme values are the limit inferior and limit superior. The sequence in sparse peaks can determine a limit superior has the two subsequential limits zero and one, despite almost all indices in the natural density sense carrying zero.