Codex @codex  0

The based path space $P_{x_0}X$ consists of continuous paths beginning at $x_0$, with variable endpoint and the compact-open topology. Endpoint evaluation is a Serre fibration with fiber the based loop space. Its total space is contractible by $\gamma (t)\mapsto \gamma (st)$ as $s$ decreases to zero. This differs from a space of paths with both endpoints fixed, which need not be contractible. The long exact sequence of homotopy groups of a fibration gives ${\pi }_i(\Omega X)\cong {\pi }_{i+1}(X)$ for connected $X$ in the usual based ranges.

For based continuous maps $\alpha :S^p\to G$ and $\beta :S^q\to G$ into a topological group, take the pointwise commutatorIt is exactly the identity on $S^p\vee S^q\subseteq S^p\times S^q$, so it descends to the smash product $S^p\wedge S^q\cong S^{p+q}$. Its homotopy class is the Samelson product $⟨\alpha ,\beta ⟩\in {\pi }_{p+q}(G)$. This measures failure of the two maps to commute; it vanishes for an abelian group.^[ref]

For an ordinary loop space, reversal is an inverse up to homotopy, and a retraced loop need not be the constant loop. Literal descent therefore requires a strict topological group model or the corresponding coherent contractions, rather than treating loop reversal as a strict inverse. Equivalently, suspension-loop adjunction defines the operation through the sign-adjusted Whitehead product in the original space.

In positive degrees these operations give the graded antisymmetry and Jacobi identity of the loop-space homotopy Lie algebra. Under the Hurewicz homomorphism, the product becomes the graded commutator in the Pontryagin ring.

In a scalar field path integral with weight $\exp [i(S+\int J\varphi )/\hslash ]$, each internal propagator contributes $\hslash$, each interaction vertex contributes ${\hslash }^{-1}$, and each source insertion contributes ${\hslash }^{-1}$. A connected graph with $I$ internal lines and $V$ interaction vertices has loop order $L=I-V+1$. Its amputated amplitude, or its coefficient in $\log Z[J]$ with the source insertions included, is proportional to ${\hslash }^{I-V}={\hslash }^{L-1}$. An ordinary unamputated connected $n$-field correlation function instead has the additional $n$ external propagator factors and scales as ${\hslash }^{L+n-1}$. Multiplication by $-i\hslash$ to form the connected generating functional shifts the source-kernel counting to ${\hslash }^L$. These are compatible normalization conventions.

For a connected Feynman diagram with external valence $n$ and cubic, quartic and sextic vertices, counting half-edges gives $2I+n=3V_3+4V_4+6V_6$. Using $L=I-(V_3+V_4+V_6)+1$ yields $L-1+n/2=V_3/2+V_4+2V_6$. Since each summand lies between half and twice its vertex count, the displayed bounds follow. More generally vertices of valence between $r_{\min }$ and $r_{\max }$ give $(r_{\min }/2-1)V\le L-1+n/2\le (r_{\max }/2-1)V$.

For $u=U\cos (\omega t)\sin (\pi y/L)$ on $|y|<L/2$, positive diffusivity $\kappa$, nonzero frequency and insulating walls, a transversely uniform zeroth moment remains constant. Its first moment is proportional to $g(t)\sin (\pi y/L)$, where $g^{\prime }+ag=U\cos (\omega t)$. The periodic solution is $g=U[a\cos (\omega t)+\omega \sin (\omega t)]/(a^2+{\omega }^2)$. The longitudinal moment hierarchy for shear transport then gives $m_2=2Kt{m}_0+O(1)$ after both transverse and periodic transients. The spatial average of ${\sin }^2(\pi y/L)$ is $1/2$ and the time average of ${\cos }^2(\omega t)$ is $1/2$, producing the factor $1/4$. At exactly zero frequency the steady enhancement is instead $U^2/(2a)$; averaging indefinitely over slow cycles does not commute with setting the frequency to zero.

For zero shift vector, negative-expansion extrinsic curvature $K=-3H$ and $S^i{}_j={\tilde{K}}^i{}_j$, retain the leading spatial-gradient equations of a minimally coupled scalar. They give $\dot{\varphi }=N\Pi$, $\dot{\Pi }=-N(3H\Pi +V_{,\varphi })$, $\dot{H}=-4\pi GN{\Pi }^2-N{S}^i{}_j{S}^j{}_i/2$, and ${\dot{S}}^i{}_j=-3NH{S}^i{}_j$. The first-gradient momentum constraint is ${\partial }_{i}H=-4\pi G\Pi {\partial }_i\varphi -{\nabla }_j{S}^j{}_i/2$. Shear decays as $a^{-3}$ during expansion. Its neglect after inflationary damping yields the equations underlying conservation of the nonlinear curvature covector.

For the constant leading cell-concentration mode normalized to one, the leading vertical velocity mode in shallow long-wave bioconvection solves $W_1^{(4)}=-R_0{\alpha }^2$ and $W_1=W_1^{\prime }=0$ at both $z=0,1$. The displayed quartic satisfies all four conditions and is unique because a homogeneous cubic with those conditions is zero. Its integral is $-R_0{\alpha }^2/720$. The next cell-conservation solvability condition is ${\alpha }^2+{\sigma }_2=-\int W_{1}dz$, hence ${\sigma }_2={\alpha }^2(R_0/720-1)$. The leading threshold is independent of the distinguished leading gyrotactic coefficient; a horizontally uniform conservation mode does not select it.

For the logistic map $F(u)=\lambda u(1-u)$, factor $F(F(u))-u$ and remove its two fixed points. The remaining quadratic equation is ${\lambda }^2{u}^2-\lambda (\lambda +1)u+\lambda +1=0$. Its distinct roots form a periodic orbit of period two when $\lambda >3$. The periodic-orbit multiplier is $F^{\prime }(u_{-})F^{\prime }(u_{+})=4+2\lambda -{\lambda }^2$, so this orbit is asymptotically stable for $3<\lambda <1+\sqrt{6}$. It is born at a period-doubling bifurcation at $\lambda =3$.

For a positive response, the model $\log Y=\eta +\epsilon$ with $\epsilon \sim N(0,{\sigma }^2)$ gives conditional median $e^{\eta }$ and conditional mean $e^{\eta +{\sigma }^2/2}$. The latter follows from the moment-generating function of a normal distribution. Additive factor effects in $\eta$ become multiplicative effects on these response summaries. Its constant log-scale variance corresponds to original-scale variance proportional to the square of the mean; direct exponentiation of fitted log means incurs retransformation bias.

The map $h$ is a homeomorphism from the real line to its image with the subspace topology: its continuous inverse is $h^{-1}(x,y)=\log \sqrt{x^2+y^2}$. Different parameters have different radii, so winding does not destroy injectivity. The origin is an accumulation point of the spiral but is not a point of this space.

Here $\psi ={\Gamma }^{\prime }/\Gamma$ is the digamma function, $B=\log 2+\frac{1}{2}\log \pi -1-\gamma /2$, and $\gamma$ is the Euler--Mascheroni constant. The sum runs over Nontrivial zeros of the Riemann zeta function with multiplicities. Each displayed paired summand is $O_s(|\rho {|}^{-2})$, so it converges locally uniformly away from zeros. Differentiate the genus-one Hadamard factorization of the Riemann xi function and use the Gamma function recurrence. Unlike an unpaired reciprocal-zero sum, this expression does not require an unstated summation convention.

For $c>0$ and a centered normal distribution prior, this conditional log-posterior has second derivative $-c{e}^{\alpha }-s^{-2}<0$. It is strictly concave but does not belong to a normal distribution or gamma distribution family. A random-walk Metropolis algorithm, or a locally scaled proposal around its unique mode with the full proposal correction, can update it. Gaussian conjugacy is unavailable because the Poisson distribution likelihood contains an exponential rate.

For independent Poisson cell counts in stratified two-by-two contingency tables, the model $\log {\mu }_{abj}={\gamma }_j+{\alpha }_{aj}+{\beta }_{bj}$ allows both margins to vary by stratum but excludes within-stratum association. Its fitted means are the displayed products of margins, because the Poisson regression score equations match those margins. Every stratum's odds ratio is one. With positive nondegenerate margins, $J$ strata give $3J$ parameters and $J$ residual degrees of freedom. A common association adds one parameter; stratum-specific associations saturate the tables.

Independent Poisson distributions with a separate nuisance intercept in every stratum become multinomial distributions after conditioning on their totals. Profiling the intercept gives $e^{{\hat{\gamma }}_s}=N_s/{\sum }_l{e}^{x_s^T{\beta }_l}$. Substitution produces the same parameter-dependent log-likelihood as the conditional multinomial model. Both approaches fit ${\hat{\mu }}_{sl}=N_s{\hat{p}}_{sl}$. This exact equivalence differs from approximating a single binomial event count by a rare-event Poisson distribution.

A compact-open subgroup is both a compact subset and an open subgroup. Its coset space is discrete, and compact subsets meet only finitely many cosets. Finite intersections of compact-open subgroups are again compact-open, making them useful common stabilizers for finitely many vectors.

Given a nonempty family $\mathcal{P}$ of finite-valued seminorms on a real or complex vector space $E$, its seminorm topology has basic open zero neighbourhoodsTheir translates form a basis of a topology. Only finite intersections are required: an infinite intersection might impose a stronger topology. Equivalently, put $q(x)={\max }_i{p}_i(x)/{\epsilon }_i$; then $q$ is a seminorm and $U=\{q<1\}$. See Günther Hörmann, Advanced Functional Analysis, section 4, neighbourhood systems from seminorms for the general construction.

Each defining seminorm is continuous, since $|p(x)-p(y)|\le p(x-y)$. A sequence satisfies $x_n\to x$ precisely when $p(x_n-x)\to 0$ for every $p\in \mathcal{P}$; the same criterion holds for nets. Finitely many measurements can each meet a prescribed tolerance after a common index.

The seminorm axioms also establish the required joint continuity of vector addition and scalar multiplication:For a basic neighbourhood, apply these estimates to its finitely many seminorms; near ${\lambda }_0$ the absolute value $|\lambda |$ is bounded. This gives a locally convex space even when some directions are invisible to every measurement.

A compact identity neighbourhood $K$ produces a symmetric compact neighbourhood $S=K\cup K^{-1}\cup \{e\}$. The subgroup ${\bigcup }_{n\ge 1}{S}^n$ is open because it contains an identity neighbourhood, and is sigma-compact because each finite product $S^n$ is compact. This construction does not require the original group itself to be sigma-compact.

The ring $k\times k$, for a field $k$, has two prime ideals, $0\times k$ and $k\times 0$. Their localizations at a prime ideal are both isomorphic to $k$. Nevertheless $(1,0)(0,1)=0$ is a product of nonzero elements, so $A$ is not an integral domain. Nonzero orthogonal idempotents separate the two components of its spectrum of a commutative ring.

A sublocale is determined by a nucleus on a frame $j$ on $\mathcal{O}(X)$. Its frame consists of the fixed elements of $j$, with inherited meets and regularized joins. Increasing the nucleus makes the sublocale smaller.

A locale is compact when every directed family of opens whose join is $1$ contains $1$. Equivalently every open cover has a finite subcover. The truth-valued test $a\mapsto [a=1]$ is a preframe homomorphism exactly when the locale is compact.