For a coalitional game, restriction to the remaining players preserves coalition values. Remove player $j$ from a uniformly random ordering when comparing player $i$'s Shapley value. The marginal contribution changes only when $j$ precedes $i$. If $S$ is the set of other predecessors, the change is $v(S\cup \{i,j\})-v(S\cup \{i\})-v(S\cup \{j\})+v(S)$, with coefficient $(|S|+1)!(n-|S|-2)!/n!$. The same expression and coefficient arise after interchanging $i,j$, proving balanced contributions.

For $k$ unit sellers and $3k$ unit buyers with unit surplus per trade, a coalition's value is the smaller of its seller and buyer counts. Give each player an independent uniform arrival time. Conditional on a specified seller arriving at time $t$, the previous buyers and other sellers have independent binomial counts $B\sim \mathrm{Bin}(3k,t)$ and $S\sim \mathrm{Bin}(k-1,t)$. The seller contributes one exactly when $B>S$. For fixed positive $t$ this probability tends to one; a Chebyshev bound and a split near $t=0$ also give an explicit uniform integral estimate. Averaging gives seller Shapley value tending to one. Efficiency and role symmetry give $s_k+3b_k=1$, hence the buyer value tends to zero.

The Weingarten formula decomposes the ambient derivative of a normal field into a tangential shape operator term and the normal connection. The minus sign corresponds to $⟨A_{\xi }X,Y⟩=⟨II(X,Y),\xi ⟩$. For the outward unit normal of a unit sphere, $A_{\xi }=-I$ with this convention.

A positive jump $\Delta Q$ of shallow-water quasi-geostrophic potential vorticity supports a current $U=U_0{e}^{-|y|/L_R}$ with $U_0=L_R\Delta Q/2$. A disturbance has structure $\varphi =A{e}^{-\sqrt{k^2+L_R^{-2}}|y|}$. Integrating the linear potential-vorticity conservation equation across the interface gives $(U_0-c)[{\varphi }_y]+\Delta Q\varphi (0)=0$, hence the displayed dispersion relation. The wave propagates intrinsically against the mean current because the displaced PV interface induces the velocity that advects it; no planetary beta is required.

Homogenizing the potential vorticity over a finite constant bottom slope creates the odd anomaly displayed here while leaving the exterior unchanged. Inverting $({\partial }_y^2-L_R^{-2})\psi =\Delta Q$ with decay at both infinities and matching $\psi ,{\psi }_y$ gives a central return current and flanking jets. The deformation radius sets the smoothing length. For $L_R\ll a$, the central surface follows the bottom slope to leading order, but edge corrections and decaying exterior flow are essential.

On a constant f-plane with finite Rossby deformation radius, a geostrophic uniform current $(U,0)$ has streamfunction $-Uy$ and a sloping free surface. The full shallow-water quasi-geostrophic potential vorticity is $Q=f+{\nabla }^2\Psi -\Psi /L_R^2+fb/H$, so a flat-bottom background has the displayed nonconstant value. Omitting its gradient is not a harmless streamfunction gauge choice. A uniform-current, constant-PV inversion must explicitly supply a compensating background, external balance, or a rigid-lid limit.

For a uniform upstream current whose free-surface and bottom slopes compensate, steady quasi-geostrophic approximation flow with uniform incoming potential vorticity obeys the displayed inversion equation. Let $\hat{b}=ϵ\cos (x/L)$ on $|x|<a=\pi L/2$ and zero outside. With $C=(fϵ/h_0)/(L^{-2}+L_R^{-2})$, the decaying even response is $\varphi =C[\cos (x/L)+(L_R/L)e^{-a/L_R}\cosh (x/L_R)]$ inside and $\varphi =C(L_R/L)e^{-a/L_R}\cosh (a/L_R)e^{-(|x|-a)/L_R}$ outside. Continuity of $\varphi$ and ${\varphi }^{\prime }$ fixes the coefficients. Its streamlines satisfy $y=y_{\infty }+\varphi (x)/U$, so the response extends beyond the compact ridge through exponentially decaying balanced tails.

The variable $w=h^2$ converts the shallow V-channel lubrication flux equation into a porous medium equation:Indeed $h^4{h}_x=w^{3/2}{w}_x/2=(w^{5/2}{)}_x/5$. Its fixed-mass source-type solution gives $h\propto t^{-1/7}$ and support length proportional to $t^{2/7}$. Integrating the similarity equation once gives $C{h}^4{h}_x=-2x{h}^2/(7t)$, and hence $h=[3(X(t{)}^2-x^2)/(7Ct){]}_{+}^{1/3}$. The constant-volume similarity in a V-shaped channel fixes $X$ from the positive integral $J={\int }_{-1}^1(1-s^2{)}^{2/3}ds$: $X=(\alpha V/J{)}^{3/7}(7Ct/3{)}^{2/7}$.

The interior first temperature correction obeys ${\Theta }_{zz}=u={\psi }_z$, $\Theta (0)=0$ and ${\Theta }_z(ϵ)=0$. Hence ${\Theta }_z=\psi$, which integrates to the displayed polynomial. Its contribution to depth-integrated horizontal advective heat flux is $\int u\Theta dz=-\int {\psi }^{2}dz=-19{\mathrm{Ra}}^2{ϵ}^9/1451520$. The leading conductive flux is $-ϵ$. These statements apply away from the sidewall end layers at fixed Rayleigh number as the layer becomes shallow.

For an uncountable cardinal $\kappa$, this convention requires a cofinal branch in every separated rooted tree of height $\kappa$ with fewer than $\kappa$ immediate successors per node, without bounding level sizes. It is stronger than the usual tree property away from inaccessible cardinals. If $\mathrm{cf}(\kappa )<\kappa$, attach chains of cofinally increasing lengths below $\kappa$ above fewer than $\kappa$ children of one root; this contradicts the property. If $2^{\lambda }\ge \kappa$ for $\lambda <\kappa$, take a binary tree through level $\lambda$, choose $\kappa$ distinct nodes there, and attach to the $\xi$th a chain of length $\xi$. It has height $\kappa$, binary branching, and no cofinal branch. Hence the property implies that $\kappa$ is a strongly inaccessible cardinal. At such a cardinal a separated tree with small immediate branching has small levels, so this convention agrees with the usual tree property. It is not the different notion called the strong tree property in modern set theory.

Partition an infinite countable set into disjoint finite blocks of unbounded size. The union of their power sets consists entirely of finite sets and shatters each block, so it has unbounded finite VC dimension. Every infinite set meets two different blocks. The pair formed by one point from each can never occur as a trace, since each family member stays in one block. Thus no infinite set has traces realizing all its finite subsets.

For a Serre fibration over $S^r$, cover the base by a contractible punctured sphere and a contractible ball. Excision relative to the preimage of the punctured sphere identifies the relative pair with the product of $F$ and $(D^r,S^{r-1})$ up to homotopy. The base pair has a single free homology group in degree $r$, so the Künneth theorem gives the displayed shift without a torsion term. The relative long exact sequence then gives $\cdots \to H_i(F)\to H_i(E)\to H_{i-r}(F)\to H_{i-1}(F)\to \cdots$. The connecting map retains the twisting of the original Serre fibration.

For a based Serre fibration with fibre $F$ over the basepoint, lift a based cube in $B$ from its constant bottom face, keeping the side faces fixed. Its final face lies in $F$, giving surjectivity of the relative map. Homotopies in $B$ lift; two lifts of the same cube are relatively homotopic by lifting with both side liftings prescribed. This gives injectivity. For $n\ge 2$ this is a group isomorphism; at $n=1$ it is initially a bijection of pointed sets, unless the relative set is endowed with the group law transported through the fibration.

For a Von Neumann algebra with a cyclic separating vector, this is a densely defined antilinear operator. It is closable: the commutant orbit lies in the domain of its antilinear adjoint and is dense. Write $S$ for its closure and $S=J{\Delta }^{1/2}$ for its polar decomposition. In finite dimension it is everywhere defined and invertible. For a tracial vector, $S_0$ is isometric and extends to an antiunitary involution.

Let $S:E\to Y$ be linear between Banach spaces, let $T_n:E\to E$ be bounded, and let $U_n:Y\to Z_n$ be bounded. If $U_{n}S{P}_m$ is continuous whenever $m>n$, then $U_{n}S{P}_n$ is continuous for all sufficiently large $n$. After rescaling the bounded operators, assume their norms are at most one. If the conclusion failed, discontinuity would allow successively tiny vectors $x_j$ whose diagonal images dominate all previous contributions. Choose their norms also to control the continuous maps $U_{n_i}S{P}_{n_i+1}$ on subsequent tails. The convergent sum $x={\sum }_j{P}_{n_j}{x}_j$ would then satisfy $\Vert U_{n_j}Sx\Vert >j$ despite $\Vert U_{n_j}Sx\Vert \le \Vert Sx\Vert$, a contradiction. The tail is factored through $P_{n_i+1}$ before applying $S$, so no continuity of $S$ is assumed.

The lattice shear $(a,b)\mapsto (a+mb,b)$ shifts the chain charts by $m$ and preserves $q$. On the dense torus it acts as $(t,q)\mapsto (q^{m}t,q)$. For $m\ge 3$, translates of each chart of the formal completion of a scheme along $q=0$ are disjoint. Glue $m$ representative formal charts cyclically by the adjacent-chart formulas to obtain a formal scheme quotient. The two branch opens of each chart are disjoint because $D(x_i)\cap D(y_i)=D(q)$ is empty on the formal support. The quotient fibre is an $m$-gon of projective lines, and the quotient map is locally an isomorphism on each translated chart. Invariant morphisms descend uniquely through this gluing.

// Target: ringed-space.bigb

A weight of a representation is a simultaneous eigenvalue functional for a commuting Cartan subalgebra. In general algebra representations it can be expressed as a one-dimensional character of the acting commutative algebra. A weight vector is an eigenvector carrying that functional; a weight space is the corresponding eigenspace, and weight multiplicity is its dimension.

A complex semisimple Lie algebra has an intrinsic Jordan–Chevalley decomposition $x=x_s+x_n$ characterized by $[x_s,x_n]=0$, a diagonalizable Adjoint representation operator $\mathrm{ad}{x}_s$, and a nilpotent Adjoint representation operator $\mathrm{ad}{x}_n$. The Adjoint representation is faithful because the centre is zero. Closure of semisimple matrix Lie algebras are closed under additive Jordan decomposition applied to this faithful representation supplies the parts and their uniqueness. For every finite-dimensional Lie algebra representation $\rho$, the operators $\rho (x_s)$ and $\rho (x_n)$ are the semisimple and nilpotent parts of $\rho (x)$. Thus the decomposition is independent of a matrix embedding; for a nonfaithful representation it passes to the semisimple quotient by its kernel.

A Chevalley basis of a complex semisimple Lie algebra consists of suitable coroot elements and one vector $e_{\alpha }$ in each root space, chosen so all Lie bracket structure constants are integers. In particular $[e_{\alpha },e_{\beta }]=N_{\alpha ,\beta }{e}_{\alpha +\beta }$ when the sum is a root, with $N_{\alpha ,\beta }=\pm (p+1)$ where $\beta -p\alpha$ is the last negative-direction root in the root string. For independent roots with no root sum the bracket is zero. The integral lattice makes reduction to other fields possible.

A family of seminorms separates points when every nonzero vector $z$ has $p(z)>0$ for some member $p$. Equivalently, its kernels of seminorms have intersection $\{0\}$, or any two distinct vectors $x,y$ have $p(x-y)>0$ for some $p$. Individual seminorms can have large kernels of seminorms; the whole family must have no common invisible direction.

The associated seminorm topology is Hausdorff if and only if the family separates points. Indeed, if $p(x-y)=a>0$, the neighbourhoods $\{u:p(u-x)<a/3\}$ and $\{v:p(v-y)<a/3\}$ are disjoint by the triangle inequality. Conversely, if every $p$ vanishes on a nonzero $z$, then zero and $z$ belong to exactly the same open sets and cannot be separated. This criterion keeps separation distinct from completeness: detecting all directions does not guarantee that all Cauchy sequences have limits.