A dissimilarity matrix records pairwise separation of observations or profiles. Usually it is symmetric, nonnegative and zero on the diagonal. A metric space additionally requires the triangle inequality and separation of distinct profiles. Agglomerative hierarchical clustering can be applied to many dissimilarity matrices that are not Euclidean distance matrices; the claimed geometry must be checked separately.

The index measures similarity of finite sets by shared presence relative to total presence. For binary profiles it ignores joint absences, unlike the simple matching coefficient. When both sets are empty, define the similarity to be one. The complementary Jaccard distance measures dissimilarity.

For a prescribed number of groups, minimize within-cluster squared Euclidean distances. At fixed assignments, differentiating the objective gives the mean as the optimal centroid. At fixed centroids, assigning each point to a nearest centroid minimizes its contribution. Alternating these steps cannot increase the objective but can converge to a local optimum, so multiple starts are useful. Empty clusters and ties need an explicit handling rule. The method favors roughly spherical groups and depends on variable scaling.

A cluster in cluster analysis is a nonempty group of observations treated as similar under the chosen representation and dissimilarity. A partition assigns each observation to exactly one cluster; agglomerative hierarchical clustering supplies a nested sequence of such partitions. An algorithmic cluster need not correspond to a distinct probabilistic population.

For a stable $n$-point closed-string scattering amplitude on a genus-$g$ surface, let $d_g$ count complex unmarked worldsheet moduli and $k_g$ count complex dimensions of the worldsheet conformal Killing group. Integrating the $n$ vertex positions and moduli, then fixing $k_g$ positions, leaves $d_g+n-k_g$ complex integrations. The punctured Riemann surface moduli dimension identifies this as $3g-3+n$. Faddeev-Popov ghost fields and antighost insertions implement the removed zero modes and the surviving modulus measure; they do not add independently integrated worldsheet coordinates.

A compact interval in the real numbers is either the empty set or a closed bounded interval $[a,b]$ with $a\le b$. Its compactness follows from the Heine-Borel theorem.

For an irreducible closed migration process with finite population $N$, positive departure rates and routing matrix $P$, choose positive traffic weights satisfying $\theta =\theta P$. On ${\sum }_j{n}_j=N$, its stationary distribution has the displayed form. For a predecessor $m=n+e_j-e_k$, its weighted transition into $n$ is $\pi (n)({\theta }_j/{\theta }_k)P_{jk}{\varphi }_k(n_k)$. Summing over $j$ gives $\pi (n){\varphi }_k(n_k)$ by the traffic equation, and summing over $k$ proves global balance for a continuous-time Markov chain. The distribution need not satisfy detailed balance.

// Target: probability-and-statistics.bigb

Represent $N$ telephone lines by a closed migration process with free-line, operator and automated-service colonies. Accepted arrivals have rate $\nu$ when a free line exists, $c$ operators complete at rate $\lambda \min (k,c)$, and $i$ automated calls complete at rate $\mu i$. Define $D_c(k)={\prod }_{h=1}^k\min (h,c)$ andThe product-form stationary distribution of a closed migration process and Poisson arrivals see time averages give the displayed blocking probability. This extends a single-operator model without treating the independent operators as a server with rate $c\lambda$ when fewer than $c$ calls are present.

// Target: probability-and-statistics.bigb

A primitive closed geodesic is a closed geodesic with its smallest positive period, rather than a repeated traversal of a shorter periodic geodesic. A degree-$m$ lift of a primitive base geodesic is still primitive upstairs when its monodromy permutation has a cycle of exact length $m$: no smaller number of traversals returns to the starting sheet.

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.