A bounded linear operator between Banach spaces is weakly compact exactly when its Banach-space adjoint is weakly compact. Equivalently, that adjoint is continuous from its domain's weak-star topology to its range's weak topology. For the reverse direction, the bidual condition applied to $T^{\ast }$ forces $T^{\ast \ast \ast }$ to annihilate every functional on $Y^{\ast \ast }$ vanishing on $J_{Y}Y$; the Hahn-Banach theorem then places $T^{\ast \ast }(X^{\ast \ast })$ inside $J_{Y}Y$.

The tensor of left modules over a bialgebra has action $h(u\otimes v)=\sum (h_{(1)}u)\otimes (h_{(2)}v)$. The unit module $k$ has action through the counit.

A normalized scalar map $\gamma :H\otimes H\to k$ satisfying $\sum \gamma (a_{(1)},b_{(1)})\gamma (a_{(2)}{b}_{(2)},c)=\sum \gamma (b_{(1)},c_{(1)})\gamma (a,b_{(2)}{c}_{(2)})$, and $\gamma (1,a)=\epsilon (a)=\gamma (a,1)$. Some conventions require convolution invertibility; that extra hypothesis distinguishes strong from lax tensor transformations.

For a Boolean quantum oracle whose function is $g(x,y)=a_y\cdot x$, place its target in $|-⟩$. Conjugating the oracle by a Walsh-Hadamard transform on the $x$ register translates that register by $a_y$. This is Bernstein-Vazirani phase kickback without measuring its output, so the index $y$ may remain in an arbitrary quantum superposition. A second application undoes the translation. A phase evaluation between the two calls therefore transfers a hidden-label-dependent phase to the index register while uncomputation returns the decoding register to zero.

For independent Grassmann variables and an invertible ordinary matrix $S$, the linear change $\eta =S\xi$ transforms the Berezin integral measure by the inverse Jacobian determinant. Indeed, the highest-degree monomial transforms by $\det S$, and coefficient extraction must undo that factor. For paired variables $\eta =S\xi$ and $\bar{\eta }=\bar{\xi }{S}^{-1}$ the two factors cancel. The order of odd variables and differentials fixes the overall sign and must be kept consistent.

An attractive interaction $V_{k,k^{\prime }}=-V/\mathcal{V}$ within $|{\xi }_k|,|{\xi }_{k^{\prime }}|<{\Omega }_D$ gives a constant gap inside that energy shell and zero outside. With approximately constant single-spin density of states ${\nu }_s$ per volume,The weak coupling limit is $\Delta \simeq 2{\Omega }_D{e}^{-1/({\nu }_{s}V)}$. A density counting both spin species is twice ${\nu }_s$ and must be divided by two. The shell cutoff is a relative-energy condition, even when every Cooper pair has zero total momentum.

The distribution of a new or missing quantity integrates its model over the Bayesian posterior: $p(y^{\ast }\mid y)=\int p(y^{\ast }\mid \varphi ,y)p(\varphi \mid y)d\varphi$. Both parameter and residual uncertainty should enter predictive draws used for multiple imputation.

A posterior variance is the variance of a parameter under its Bayesian posterior, namely $\mathbb{E}[(\theta -\mathbb{E}[\theta \mid y]{)}^2\mid y]$ when finite. It describes remaining uncertainty after observing data and is distinct from the repeated-sampling variance of a fitted estimator.

If a hidden coin is selected once with prior probability $\pi$ of coin $B$, repeated tosses are independent conditional on that coin. Bayes' theorem weights the prior by each all-heads likelihood. They need not be independent without conditioning on the chosen coin.

Every linearly independent subset of a finite-dimensional vector space extends to a basis. Starting with its vectors, add a vector outside their current span until the span is the whole space. Each addition preserves linear independence, and the process stops because the dimension is finite. This also lets a linear functional on a vector subspace extend to the ambient space by assigning arbitrary values on the additional basis vectors.

For a basis $e_1,\dots ,e_n$ with cyclic indexing, the vectors $e_j+e_{j+1}$ have coefficient matrix $I+S$, where $S$ cyclically shifts coordinates. Its determinant is $1-(-1{)}^n$. They therefore form a basis exactly when $n$ is odd over a field of characteristic different from two. For even $n$, alternating coefficients produce a nontrivial linear dependence.

For $\dot{z}=Az+\Vert z{\Vert }^{2}z$, suppose a positive-definite matrix $P$ solves $A^{T}P+PA=-2I$. The quadratic function $V=z^{T}Pz$ then obeys $\dot{V}=2\Vert z{\Vert }^2(V-1)$. Its unit ellipsoid separates decay toward the origin from escape. In a planar system with nonzero angular speed it is an invariant periodic orbit.

Subglacial till is a mixture of rock fragments and fine sediment beneath ice. A wet deformable layer can lubricate basal sliding. Its constitutive equation must be specified; Newtonian till lubrication is one idealization, rather than a claim that all subglacial till is a Newtonian fluid.

A linear basal drag law has resisting traction $-\mu \beta u_b$, with $\beta >0$ of dimension inverse length. It idealizes lubrication by subglacial till and is equivalent to a Navier slip boundary condition of slip length $1/\beta$ when the ice is a Newtonian fluid. It is a constitutive idealization, not a universal sliding law.

For a uniform eastward current $U>0$ on a beta plane with $\beta >0$, stationary nondivergent Rossby waves have $k^2+l^2=\beta /U$. Their ground-frame group velocity is $2U(k^2,kl)/(k^2+l^2)$, tracing a circle centered at $(U,0)$ with radius $U$. Packets emitted by a localized source throughout $0<s<t$ occupy the disk shown in geometrical ray theory. This envelope is distinct from the full balanced near field. A westward current has no nontrivial stationary propagating branch in this model.

The duality mapping takes a vector to its supporting dual functionals for half its squared norm. Equivalently $p\in \mathcal{J}(x)$ when $\Vert p{\Vert }_{\ast }=\Vert x\Vert$ and $⟨x,p⟩=\Vert x{\Vert }^2$. This follows from the dual-norm inequality and equality in the conjugate relation for squared norms. In a Hilbert space, the Riesz representation theorem identifies it with the identity; in a general Banach space it can be set-valued.

A convex block of a sequence in a Banach space is a sequence of convex combinations supported on successively disjoint finite intervals, with $p_n<q_n<p_{n+1}$, $a_i\ge 0$, and ${\sum }_{i=p_n}^{q_n}{a}_i=1$. Zero coefficients can fill gaps and ensure strict endpoint inequalities. By the Mazur theorem, every weakly null sequence has convex blocks tending to zero in norm.

For a closed vector subspace $Y$ of a Banach space $X$, the quotient vector space $X/Y$ is complete with its quotient norm. Closedness makes the quotient seminorm a norm. Completeness follows by choosing representatives of a rapidly Cauchy subsequence whose successive differences have summable norms in $X$.

An effective back-and-forth construction alternately extends a finite partial isomorphism of structures to include the least unused domain and range elements, searching computably for a compatible extension. If extension always exists and its finite compatibility conditions are decidable, the union is a computable isomorphism. Decidable presentations of a dense linear order without endpoints provide a basic example.

For distinct increasing knots, let ${\ell }_i(\cdot ,t)$ interpolate $(\cdot -t{)}_{+}^{k-1}$ on $t_i,\dots ,t_{i+k-1}$ and let ${\omega }_i(x)={\prod }_{r=1}^{k-1}(x-t_{i+r})$. Adjacent interpolants share $k-1$ values; their difference is a multiple of ${\omega }_i$. Its leading coefficient, by the divided difference recurrence, is the order-$k$ B-spline $N_i(t)$. Thus ${\ell }_{i+1}(x,t)-{\ell }_i(x,t)={\omega }_i(x)N_i(t)$. Telescoping proves the Marsden identity. Repeated knots require the well-defined confluent or limiting convention.