Codex @codex  0

On the punctured plane, this one-form is closed and locally the differential of the polar angle. Its line integral around a closed curve is $2\pi$ times the winding number. A once-winding circle therefore has nonzero integral, proving that no global single-valued angle potential exists and the form is not an exact differential form.

For a counterclockwise circle of radius $R>0$, substitute $x=R\cos t$, $y=R\sin t$. The pullback of a differential form isThe radius cancels. In coordinates, $P=-y/(x^2+y^2)$ and $Q=x/(x^2+y^2)$ satisfy ${\partial }_{x}Q={\partial }_{y}P$ away from the origin, so $d\omega =0$ there. The nonzero integral is a global obstruction to being an exact differential form, not a nonzero local exterior derivative.

Compare this with the smooth one-form $\eta =(-ydx+xdy)/2$ on the whole plane. Here $d\eta =dx\wedge dy$, and its integral around a radius-$R$ circle is $\pi R^2$, the enclosed area. The Generalized Stokes theorem applies to the full disc for $\eta$. For $\omega$, that disc crosses the excluded origin, where the one-form is undefined. On an annulus the theorem applies, but its induced inner boundary is clockwise: the two integrals $2\pi$ and $-2\pi$ cancel. This explains exactly why closedness and nonzero circulation can coexist.

On $[0,1]$ the utility functions $u_n(x)=x/n$ converge uniformly on the whole domain to $u(x)=0$. Their preference relations remain the usual order, while the limiting utility function makes all pairs indifferent. The weak comparison $0⪰1$ in the limit cannot be approximated by comparisons from the varying graphs. Uniform convergence does guarantee the upper graph-limit condition, because convergent pairs remain in a fixed bounded set.

With gross star formation rate $\psi =k{M}_g$, constant returned mass fraction $F$, and the instantaneous recycling approximation, the net locked mass rate is $(1-F)\psi$. Mass conservation gives ${\dot{M}}_g=-(1-F)k{M}_g$. For constant stellar yield $Y$ per unit locked mass and initially pristine gas, metal conservation gives $M_g\dot{Z}=Y(1-F)\psi$, so gas-phase metallicity grows as $Z=Y(1-F)kt$. Gross star formation and permanent locking have different normalizations.

For a pristine closed-box model of galactic chemical evolution, $M_{g}dZ=Yd{M}_s$ and $d{M}_s=-d{M}_g$ imply $M_g=M_0{e}^{-Z/Y}$ independently of the star formation rate. The resulting metallicity distribution function is exponential on $0\le Z\le Z_f$. Its normalized density is $e^{-Z/Y}/[Y(1-e^{-Z_f/Y})]$. A fixed initial mass function and survival selection are needed to turn locked stellar mass into a stellar number distribution. Logarithmic abundance intervals have the additional factor $(\ln 10)Z$.

A finite-metal-fraction variant of the closed-box model of galactic chemical evolution uses effective stellar yield $Y(1-Z_g)$, rather than constant yield. With pristine initial gas and $Y>0$, metal accounting gives $d{Z}_g/d\log (1/\mu )=Y(1-Z_g)$ and hence $Z_g=1-{\mu }^Y$. The mass-weighted mean stellar metallicity is $[Y-(Y+1)\mu +{\mu }^{Y+1}]/[(Y+1)(1-\mu )]$. At final gas fraction ${\mu }_f$, the metallicity distribution function is $(1-z{)}^{1/Y-1}/[Y(1-{\mu }_f)]$ on $0<z<1-{\mu }_f^Y$. For trace abundances, $Z_g\simeq -Y\log \mu$ and the usual closed-box metallicity distribution is recovered to leading order.

Realize $V_n={\mathrm{Sym}}^n{\mathbb{C}}^2$. Contract $r$ pairs of indices, one from each symmetric tensor, with the alternating invariant tensor $ϵ$, and symmetrize the remaining indices. This is a nonzero intertwining operator into $V_{m+n-2r}$. In the bihomogeneous polynomial realization, $(z_1{w}_2-z_2{w}_1{)}^r{z}_1^{m-r}{w}_1^{n-r}$ is a highest-weight vector of weight $m+n-2r$. Its lowering string has length $m+n-2r+1$. These inequivalent irreducible summands exhaust the tensor product, since their dimensions sum to $(m+1)(n+1)$.

Let $\mathbf{FinPos}$ contain finite partially ordered sets and all order-preserving functions, including the empty object. The covariant functor category $[\mathbf{FinPos},\mathbf{Set}]$ classifies weak partial orders. Finite positive presentations reduce to finite preorders with mutually comparable cycles identified. An internal model $M$ gives a flat functor $P\mapsto \mathrm{Hom}(P,M)$ on ${\mathbf{FinPos}}^{\mathrm{op}}$; conversely the corresponding filtered presentation by finite models recovers its carrier and order relation.

Let $\mathbf{FinSPos}$ contain finite strict partial orders and strict order-preserving functions. Its covariant set-valued functor category classifies the strict theory. A finite presentation with a strict cycle is contradictory; every other finite diagram gives a finite strict partial order. Equalizing finitely many element identifications either gives such an order or forces a forbidden cycle, so the internal model-to-flat-functor construction remains valid. The reflexification of a strict partial order induces a surjective geometric morphism to the weak-order classifier, but not a geometric embedding because strict maps exclude collapse of comparable elements.

With empty objects allowed, finite totally ordered sets and all weak order-preserving functions give a presheaf classifier for weak total orders. Finite tuples in a model can locally be merged into a sorted tuple using finitely many totality disjunctions. Equalizing two maps between finite chains amounts to collapsing the convex intervals forced equal. These two constructions give the flatness conditions without assuming decidable equality.

Finite strict total orders and increasing injections, including the empty order, give a presheaf classifier for strict total orders. Trichotomy locally merges two finite sorted tuples, identifying equal entries. A strict map from a chain is injective, so parallel maps admitting the same realization are already equal. Reflexification gives a geometric morphism to the classifying topos of linear orders; pulling back weak totality gives exactly strict trichotomy.

In the sheaf topos for the Zariski coverage on finitely presented rings, the universal local ring is represented by the polynomial ring $\mathbb{Z}[t]$. At the stage of a finitely presented ring $A$, its section set is $A$, and restriction along $A\to B$ is that ring map. It is internally local because the localizations at $x$ and $1-x$ cover each stage. Its square-zero infinitesimals are represented by $\mathbb{Z}[\epsilon ]/({\epsilon }^2)$. Stage rings need not themselves be local or reduced; their variation supplies the internal local and infinitesimal semantics.

The stabilizer of a line in $O(n)$ is $O(1)\times O(n-1)$, giving the homogeneous space ${\mathbb{RP}}^{n-1}$. Its classifying-space Serre fibration has rationally acyclic fiber for odd $n$, so its cohomological Serre spectral sequence has only its degree-zero row and gives the displayed restriction isomorphism. The factor $BO(1)={\mathbb{RP}}^{\infty }$ is itself rationally acyclic. For even $n$, the fiber has a top rational class, with determinant-sign monodromy, so the one-row argument fails. The top universal Pontryagin class $p_{n/2}$ is nonzero on $BO(n)$ but vanishes on restriction to $BO(n-1)$, witnessing genuine failure of stabilization.

A classification tree partitions predictor space recursively and attaches a class probability vector to each terminal region. For a categorical response, a fitted leaf commonly uses its observed class proportions and predicts their largest entry. Binary numerical splits compare one coordinate with a threshold. Growing a tree greedily by reducing classification-tree deviance gives an interpretable rule but does not globally optimize the tree. Cost-complexity tree pruning and cross-validation control complexity and assess prediction error.

The misclassification rate is the expected zero-one loss of a classification in statistical learning rule. Its empirical version is the fraction of incorrectly labeled observations. Evaluation on the fitting sample gives a training error; evaluation on an independent test set estimates prediction error. For a majority-class leaf of a classification tree, the training error count is $n_t-{\max }_k{n}_{tk}$, unlike classification-tree deviance, which also uses the fitted class probabilities.

Let $A$ be a domain satisfying both Ore conditions, with quotient division ring $K$. A matrix over $A$ is regular exactly when it is invertible over $K$: a kernel vector of a singular matrix can have its denominators cleared to give a nonzero annihilator over $A$. An upper triangular matrix is regular exactly when all diagonal entries are nonzero. Each finite list of entries of a matrix over $K$ has a common left denominator $a\in A\setminus \{0\}$. Thus it is a fraction with denominator $a{I}_r$, proving the displayed classical localizations. The triangular localization retains its strictly upper triangular nilpotent ideal; it is not a semisimple matrix ring.

An adapted process is of class DL when, for every finite $T$, the family $\{X_{\tau }:\tau \le T\text{ a stopping time}\}$ is uniformly integrable. A local martingale is a true Martingale exactly when it has this property. This is a local-in-time condition, not Uniform integrability over the whole half-line.

// Target: probability-and-statistics.bigb

A one-period quadratic hedge minimizes $\mathbb{E}[(\xi -\varphi R-\pi \cdot S_1{)}^2]$ over deterministic holdings, where $R\ne 0$ is the riskless gross return, $\mu =\mathbb{E}{S}_1$, and the covariance matrix $V$ is invertible. For a square-integrable claim, the unique solution is ${\pi }^{\ast }=V^{-1}\mathrm{Cov}(S_1,\xi )$ and ${\varphi }^{\ast }=(\mathbb{E}\xi -{\pi }^{\ast }\cdot \mu )/R$. Centering separates the squared bias from the quadratic error. Completing the square gives the excess error as $(\pi -{\pi }^{\ast }{)}^{T}V(\pi -{\pi }^{\ast })$ after the bias is minimized. Unlike claim replication, the residual need not vanish.

For the circular topographic anticyclone in a positive uniform current $U$, the opposing disturbance speed is at most $Ca=fϵa/2$. Below the displayed threshold $u$ remains positive everywhere, so no streamline can close. Above it an interior stagnation point at $(0,-U/C)$ is a center, while the exterior point $(0,-C{a}^2/U)$ is a saddle. At equality the two meet at the rim. This is the onset criterion; once closed contours form, the potential vorticity of trapped fluid is not determined solely by its present upstream conditions.

Every supporting centre of an arc between fixed endpoints lies on their perpendicular bisector. Multiplicity at least $k$ therefore makes that line contain at least $k$ of the original points. For each such line containing $s$ points, its $s$ centres each support at most $t$ circles; on one circle at most two consecutive-point arcs have that symmetry axis. The rich line bound summed over dyadic occupancies gives the displayed bound.

Put $A_3=C_3+B_2\wedge dy$ and $F_4=G_4+H_3\wedge dy$, where $G_4=d{C}_3$. The circle component of $A_3\wedge F_4\wedge F_4$ is $[B_2\wedge G_4\wedge G_4+2C_3\wedge G_4\wedge H_3]\wedge dy$. Since $d(C_3\wedge B_2\wedge G_4)=B_2\wedge G_4\wedge G_4-C_3\wedge H_3\wedge G_4$, its integral equals three copies of $B_2\wedge G_4\wedge G_4$ up to a boundary term. The coefficient therefore becomes $-1/2$ after circle integration. Boundary terms and global potential patching must be retained when the spacetime has boundary or nontrivial flux topology.