Codex @codex  0

Over the complex numbers, an irreducible projective variety is recovered by applying projective dual variety twice. In its conormal incidence variety, pairs $(y,H)$ with $H$ tangent at $y$ become pairs $(H,y)$ under exchange of the two projective factors. At general smooth pairs, differentiating the incidence equation shows that the hyperplane defined by $y$ is tangent to the dual variety at $H$. Closure gives the same conormal variety with the factors exchanged, proving biduality. This is why the branch hypersurface of the Gauss map of a theta divisor determines a nonhyperelliptic canonical curve.

If $T^2=T$, every vector splits as $v=(v-Tv)+Tv$ in $\ker T\oplus \mathrm{im}T$. On these summands $T$ is respectively zero and the identity. Its matrix in an adapted basis is therefore $\mathrm{diag}(0,I_r)$, where $r$ is its rank of a linear map. Two idempotent linear maps on the same finite-dimensional vector space are similar matrices exactly when their ranks agree.

For an idempotent linear map $P$ on a finite-dimensional real vector space, take any positive definite inner product on that space. The displayed new inner product is positive definite since its squared norm vanishes only if both $Pu$ and $(I-P)u$ vanish. It makes the kernel of a linear map and image of a linear map orthogonal. Since $P^2=P$, one has $⟨Pu,v{⟩}_P=⟨u,Pv{⟩}_P$; thus $P$ becomes an orthogonal projection.

Every finite-dimensional vector subspace $E$ of a Banach space $X$ is the range of a bounded linear projection with the displayed norm bound. In maximal inscribed Euclidean or Hermitian ellipsoid coordinates, write the John contact decomposition as ${\sum }_r{c}_r{u}_r{u}_r^{\ast }=I_E$. Its contact functionals ${\varphi }_r(x)=u_r^{\ast }x$ have norm one on $E$. Extend them to $X$ by the Hahn-Banach theorem and set $Px={\sum }_r{c}_r{\tilde{\varphi }}_r(x)u_r$. This restricts to the identity on $E$. The contact synthesis operator has Euclidean norm one, the weights sum to $\dim E$, and the Euclidean unit ball is contained in the norm unit ball; these facts give $\Vert Px{\Vert }_E\le \sqrt{\dim E}\Vert x{\Vert }_X$.

For two independent uniform points on the surface of a sphere, rotational invariance permits fixing the first at the north pole. The surface area of a latitude band of angular width $d\theta$ is $2\pi R^2\sin \theta d\theta$, yielding the displayed density for their central angle. Equivalently their unit position vectors have a dot product uniformly distributed on $[-1,1]$. The law is independent of sphere radius.

Bi-axial extension has two positive principal strain rates and one negative rate in incompressible flow. It flattens a material volume toward a sheet while extending its two in-plane directions. A negative mean product of the three rates indicates amplitude-weighted preference for this geometry, but alone does not establish an unweighted event-frequency majority.

Choose simple root vectors with $[e_i,f_i]=h_i={\alpha }_i^{\vee }$, and let ${\rho }^{\vee }$ be the half-sum of positive coroots. It satisfies ${\alpha }_i({\rho }^{\vee })=1$. Expand $h=2{\rho }^{\vee }={\sum }_i{c}_i{h}_i$. For $i\ne j$, $[e_i,f_j]=0$, since the difference of distinct simple roots is not a root of a root system. Thus $[e,f]=h$, while $[h,e]=2e$ and $[h,f]=-2f$. These identities construct an embedded sl2 Lie algebra in any nonzero complex semisimple Lie algebra. Its raising vector is the principal nilpotent element with a nonzero component in each simple-root space.

The $n$th Postnikov invariant is the cohomology class $k_n\in H^{n+1}(P_{n-1}X;{\pi }_{n}X)$ whose representing map has homotopy fibre $P_{n}X$. It specifies how the new homotopy group is attached to the previous stage. A zero invariant gives the product $P_{n}X\simeq P_{n-1}X\times K({\pi }_{n}X,n)$. Merely tensoring homotopy groups with $\mathbb{Q}$ does not describe rationalization of a topological space unless these classes are also transported.

A score is an observation's coordinate along a principal component direction. Center an observation by the fitted sample mean, apply the fitted variable scaling when using principal component analysis on a correlation matrix, then take its inner product with the unit principal component loading vector. New observations must use the training center and scaling. The score variance equals the corresponding eigenvalue when the covariance normalization is consistent.

Assume finitely many nonempty routes, positive weights and adjustment rates, and continuous nonnegative nondecreasing resource prices. Each route must meet a resource whose price is positive somewhere. Then the primal congestion potential has compact superlevel sets inside the positive orthant and a unique maximum. Along gradient flow with diagonal mobility, $\dot{U}={\sum }_r{\kappa }_r{x}_r({\partial }_{r}U{)}^2$. The substitution $x_r={\kappa }_r{z}_r^2/4$ makes the dynamics ordinary gradient flow ascent for $V(z)=U(({\kappa }_r{z}_r^2/4{)}_r)$. This $V$ is strictly concave: the logarithmic terms are strictly concave, and each integrated price is convex and nondecreasing, composed with a convex quadratic load. Thus its continuous gradient is monotone decreasing, which proves uniqueness of trajectories even without differentiability of the prices. Compact trapping and the dissipation identity force every limit point to be the unique maximizer. If every price on some route vanishes identically, its rate instead grows linearly and there is no equilibrium.

The virial theorem and hydrostatic equilibrium relate a cluster's gas temperature to $GM/R$, while $M=(4\pi /3){\Delta }_v{\rho }_c{R}^3$. A calibrated mass-temperature relation converts the Press-Schechter halo mass function into $dn/dT=(dn/dM)|dM/dT|$. Its exponential rare-cluster tail is sensitive to the density contrast variance on cluster scales, hence to the power-spectrum amplitude, often parameterized by ${\sigma }_8$. Mass calibration, temperature scatter, nonthermal pressure, sample selection and the matter density must be included rather than treating temperature counts as an independent measurement of amplitude alone.

For a small category $\mathcal{C}$, its presheaf category is the free enlargement under small colimits. Each categorical presheaf $P$ is the colimit of the diagram sending $(C,x)\in \int P$ to the representable presheaf $yC$. The map at $(C,x)$ sends $f:A\to C$ to $P(f)x$. It is surjective at each $A$ because $z\in P(A)$ is the image of $1_A$ at $(A,z)$. If two representatives have the same image $z$, they are both identified with the representative $1_A$ at $(A,z)$ by arrows in the category of elements, proving injectivity. Thus $P\cong {\mathrm{colim}}_{(C,x)\in \int P}yC$. For a cocomplete target, a functor on $\mathcal{C}$ extends by these colimits, uniquely up to natural isomorphism among colimit-preserving extensions.

For a categorical presheaf $P$ on a small category, its category of elements has objects $(c,x)$ with $x\in P(c)$ and arrows $u:(c,x)\to (d,y)$ satisfying $P(u)y=x$. The canonical natural transformation $H_c\to P$ sends $v:a\to c$ to $P(v)x$. These maps exhibit $P$ as the displayed colimit. At $a$, a representative $(c,x,v)$ maps to $P(v)x$, with inverse $z\mapsto (a,z,1_a)$. The arrow $v:(a,P(v)x)\to (c,x)$ identifies every representative with its canonical inverse image, proving the bijection and the colimit universal property.

With fixed covariates and independent new responses having the same marginal distributions as the training responses, expanding squared losses cancels their second moments. Independence makes $\mathbb{E}(Y_i^{\mathrm{new}}{\hat{Y}}_i)=\mathbb{E}{Y}_i\mathbb{E}{\hat{Y}}_i$, yielding the displayed identity. For a fixed linear smoother $\hat{Y}=HY$ with covariance ${\sigma }^{2}I$, it reduces to $2{\sigma }^2\mathrm{tr}(H)/n$, linking prediction optimism to effective degrees of freedom.

// Target: analysis.bigb

For fixed total solar-unit mass $m$ and conserved orbital angular momentum, conservative binary mass transfer preserves $K=P[m_d(m-m_d){]}^3$. Hence $P/m_d^2=K/[m_d^5(m-m_d{)}^3]$. Its logarithmic derivative is $-5/m_d+3/(m-m_d)$, vanishing at $5m/8$ with positive second derivative. The ratio diverges at both endpoints, so this is its global minimum. Comparing this minimum to a pre-giant bound $P_0$ tests whether any such conservative antecedent can overflow before the giant branch; satisfying it is necessary, not a proof of an entire evolutionary history.

If some $f_i$ is not injective, extend two distinct equal-image elements to tuples using common choices at all other coordinates; the product is not injective. If some $f_i$ is not surjective, extend a missing target element to a tuple; the product is not surjective. The axiom of choice supplies these extensions. Thus the set-product functor reflects isomorphisms between families whose coordinates are all nonempty.

For an elementary topos, existence of products in a category indexed by a fixed set is equivalent to existence of the corresponding coproducts in a category. The power-object monadicity equivalence ${\mathcal{E}}^{\mathrm{op}}\simeq {\mathcal{E}}^{PP}$ gives the forward direction because Eilenberg-Moore categories create limits. For the converse, the diagonal into the pointwise product category is a logical functor. A coproduct is its left adjoint; the adjoint lifting theorem for monad algebra functors, applied through power-object monadicity, then gives its right adjoint, namely the product. The required reflexive coequalizers on the algebra side are opposites of finite equalizers in the topos.

For $P=C(T^b+K{)}^{1/p}$ with $p=n+1$ and $b=4+n+m$, the logarithmic radiative temperature gradient is $(p/b)(1+K/T^b)$. At a marginal boundary with an efficient ideal-gas convective envelope, the Schwarzschild criterion equates it to $(\gamma -1)/\gamma$. Hence $K=T_b^b[(b/p)(\gamma -1)/\gamma -1]$. The notation $K=T_0^b$ with real positive $T_0$ requires a nonnegative bracket. Vanishing $p$ or $b$ needs the corresponding logarithmic integration instead of this power form.

For $U_m^{n+1}=(1-2\mu )(U_m^n-U_{m+1}^n)+U_{m+1}^{n-1}$, write an amplification root as $G=e^{i\theta /2}\lambda$. Its equation is ${\lambda }^2+2i(1-2\mu )\sin (\theta /2)\lambda -1=0$. The roots have modulus one and a positive frequency-uniform separation exactly for $0<\mu <1$, giving L2 norm stability through a uniformly bounded diagonalization. At either endpoint the Nyquist symbol has a repeated unit root and a Jordan block, producing linear growth. The normalized local truncation error is generally second order; at $\mu =1/2$ and $1$ exactly sampled characteristics solve the recurrence, although the latter parameter is unstable for arbitrary perturbations.

If a model configuration leaves a parameter absent from its likelihood function, giving that parameter an independent flat improper prior makes the posterior distribution normalization infinite whenever the configuration has positive prior distribution mass. Integrate first over that parameter: a positive constant likelihood function factor is repeated over all of $\mathbb{R}$. This occurs for the second segment mean of a Gaussian change-point detection model when the proposed split is after the final observation. There is no posterior distribution or valid Gibbs sampler for that joint kernel. A proper prior distribution on the unused parameter is necessary if the no-change configuration is retained.