Codex @codex  0

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.

On ${\mathbb{R}}^2$, the coordinate seminorms $p_x$ and $p_y$ measure horizontal and vertical components separately. Their kernels of seminorms are the vertical and horizontal axes. Neither is a norm, but together they form a separating family of seminorms. A basic zero neighbourhood isEach condition alone is an unbounded strip; their intersection is an open rectangle. For $a=b=1$, this is the unit open ball of the maximum norm $\Vert (x,y){\Vert }_{\infty }=\max \{|x|,|y|\}$. For unequal tolerances it is the unit open ball of the weighted norm $\max \{|x|/a,|y|/b\}$. Thus the two coordinate measurements generate the usual topology of the plane.

For a numerical check, take $a=1$, $b=1/2$: $(0.8,0.4)$ passes both tests, $(0.8,0.7)$ passes only the horizontal test, and $(1.2,0.4)$ passes only the vertical test. A direction missed by one seminorm is detected by the other.

The kernel of a seminorm is its zero set, a linear subspace by absolute homogeneity and the triangle inequality. The estimate $|p(x)-p(y)|\le p(x-y)$ shows that adding an element of $\ker p$ does not change $p$. Hence $\Vert x+\ker p\Vert =p(x)$ defines a norm on the quotient vector space $E/\ker p$.

On $E$ itself, $d_p(x,y)=p(x-y)$ is a pseudometric; it is a metric exactly when $p$ is a norm. In particular, zero distance in one pseudometric need not mean equality of vectors. A separating family of seminorms removes the common zero-distance ambiguity.

A rectangular band is a semigroup satisfying the displayed identities; these also imply associativity. Every nonempty such algebra is a product $B\times C$ with $(b,c)\ast (b^{\prime },c^{\prime })=(b,c^{\prime })$. Fixing $e$, the factor sets are $B=\{x\ast e\}$ and $C=\{e\ast x\}$, and $x\mapsto (x\ast e,e\ast x)$ has inverse $(b,c)\mapsto b\ast c$. Homomorphisms between nonempty products are exactly pairs of maps on the two factors.

An atmospheric thermal inversion is a region where temperature increases outward. In a strongly irradiated atmosphere it can arise when shortwave opacity exceeds thermal infrared opacity and stellar energy is absorbed high in the atmosphere.

If a self-orthogonal binary subspace has odd length $n$ and dimension $(n-1)/2$, its dual code is obtained by adjoining the all-ones word. Self-orthogonality makes every codeword even-weight, so $1\in C^{\perp }$ but $1\notin C$. Comparing dimensions proves the formula. The dimension hypothesis alone is insufficient: $C=⟨100⟩$ at length three is a counterexample.