Codex @codex  0

We prove the required Hahn-Banach theorem for a seminorm directly. First suppose the vector space is real. At an intermediate extension stage, let $g:E\to \mathbb{R}$ be a linear functional with $|g(y)|\le p(y)$, and let $z\notin E$. Extending to $E+\mathbb{R}z$ amounts to choosing $c=f(z)$. The upper domination $f\le p$ requiresThe interval is nonempty: for all $y,w\in E$,Its endpoints are finite since inserting zero gives bounds $-p(z)$ and $p(z)$, while every lower candidate is below every upper candidate. Choose $c$ in the interval and put $f(y+tz)=g(y)+tc$. For $t>0$, the upper bound with $w=y/t$ proves $f(y+tz)\le p(y+tz)$. For $t<0$, writing $s=-t>0$ and applying the lower bound with $y/s$ proves the same inequality. The case $t=0$ is already known. Applying this domination to $-x$ and using $p(-x)=p(x)$ gives $|f(x)|\le p(x)$.

Partially order all dominated linear functional extensions of the original $g$ by extension of their domains and values. They form a nonempty set. The union along any chain is a well-defined dominated linear functional on a vector subspace, so every chain has an upper bound. The Zorn lemma gives a maximal extension. If its domain were not $X$, the preceding one-dimensional construction would enlarge it, a contradiction. Thus the required extension exists on $X$.

For a complex vector space, apply the proved real result to $\mathrm{Re}g$ on the underlying real vector subspace. Let $U:X\to \mathbb{R}$ be the resulting real linear functional, with $|U(x)|\le p(x)$, and setIt is additive and real-linear, and $f(ix)=if(x)$, so it is complex-linear. On $Y$, the identity $\mathrm{Re}g(iy)=-\mathrm{Im}g(y)$ proves $f(y)=g(y)$. Choose $\alpha$ with $|\alpha |=1$ and $\alpha f(x)=|f(x)|$ when $f(x)\ne 0$. ThenThe bound is immediate if $f(x)=0$. This proves the real and complex seminorm forms of Hahn-Banach theorem without invoking any version of that theorem.

For the distance to a set assertion, let $d=d(z,Y)>0$. Define on $Y+\mathbb{K}z$ the linear functional $g(y+\alpha z)=\alpha d$. The decomposition is unique because $z\notin Y$, and for $\alpha \ne 0$,For $\alpha =0$ the bound is immediate. Apply the just-proved Hahn-Banach theorem with $p(x)=\Vert x\Vert$ to get $f\in X^{\ast }$, $f{|}_Y=0$, $f(z)=d$, and $\Vert f\Vert \le 1$. Choose $y_n\in Y$ with $\Vert z-y_n\Vert \to d$. Sinceand $d>0$, passage to the limit gives $\Vert f\Vert \ge 1$. Thus $\boxed{f{|}_Y=0,f(z)=d(z,Y),\Vert f\Vert =1}$. This version of the Hahn-Banach distance formula needs neither a closed $Y$ nor an attained distance to a set.

For the Banach limit construction below, take the real l-infinity sequence space, let $S(x_1,x_2,\dots )=(x_2,x_3,\dots )$ be its left shift on bounded sequences, put $Y=(I-S){\ell }^{\infty }$, and let $1=(1,1,\dots )$. This is a vector subspace and its distance to a set from $1$ determines the construction.

There is a genuine conflict in the printed coefficient assumptions: no uniformly positive coefficient in a zero-boundary Sobolev space exists. A function $a\in H_0^1(\Omega )$ cannot also obey $a\ge a_{-}>0$ almost everywhere. Indeed, the Lipschitz truncation $g(s)=\min (\max (s,0),a_{-})$ has $g(0)=0$, so Lipschitz truncation preserves zero-boundary Sobolev spaces, giving $g(a)\in H_0^1(\Omega )$. But $g(a)$ would be the nonzero constant $a_{-}$. Its zero gradient contradicts the Poincaré inequality in the zero-boundary Sobolev space. Thus the literal coefficient class is empty.

For the meaningful uniformly elliptic problem, take $a\in L^{\infty }(\Omega )$ with $0<a_{-}\le a\le a_{+}$, and impose the Dirichlet boundary condition on the unknown and test functions: $V=H_0^1((0,1{)}^2)$. Additional $H^1$ regularity of $a$ is harmless, but a zero trace for $a$ must be removed. The divergence-form elliptic operator is $L=-\mathrm{div}(a\nabla )$. Integration by parts defines the symmetric bounded bilinear formIn particular,Here $2{\pi }^2$ is the first Dirichlet Laplacian eigenvalue on the unit square; the Poincaré inequality follows, for example, by applying the one-dimensional inequality in each coordinate and adding. Thus $B$ is coercive in the gradient norm on $V$, and the Dirichlet realization of $L$ is a positive definite symmetric operator. On its operator domain, $⟨Lv,v⟩=B(v,v)$.

The required functional and weak equation areBecause $f\in L^2$, the right side is a bounded linear functional by the Cauchy-Schwarz inequality and Poincaré inequality. The Lax-Milgram theorem gives a unique weak solution, and part (b) proves that it uniquely minimizes $I$. These formulas prove the intended conclusion under the repaired coefficient hypothesis; under the literal hypothesis there is no coefficient to which the conclusion can be applied.

To prove that trace is the unique normalized cyclic linear functional, let $E_{ij}$ be the matrix units. For $i\ne j$, $E_{ii}{E}_{ij}=E_{ij}$ whereas $E_{ij}{E}_{ii}=0$, so the assumed identity for the linear functional gives $f(E_{ij})=0$. Also, $E_{ij}{E}_{ji}=E_{ii}$ and $E_{ji}{E}_{ij}=E_{jj}$, giving $f(E_{ii})=f(E_{jj})$. Write this common value as $c$. Since the matrix units form a basis,For $n=1$ the same conclusion follows immediately from the one-dimensional basis $E_{11}$. Finally, $f(I)=nc$; if this equals $n$, then $c=1$ over either specified field. The normalization makes $f$ exactly the trace.

Over the complex numbers, every finite-dimensional representation of a solvable Lie algebra has a basis in which every representing matrix is upper triangular. The Lie theorem is often stated first as the existence of a common eigenvector in every nonzero finite-dimensional Lie algebra representation of a solvable Lie algebra. Applying that assertion successively to quotient representations gives an invariant complete flag, and hence the upper triangular form. The same proof works over any algebraically closed field of characteristic zero.

We prove the common eigenvector assertion by induction on $\dim \mathfrak{g}$, writing the action as $av$. The zero Lie algebra is immediate. If $\mathfrak{g}\ne 0$ is solvable, its derived series of a Lie algebra shows that $[\mathfrak{g},\mathfrak{g}]\ne \mathfrak{g}$. Choose a codimension-one ideal of a Lie algebra $\mathfrak{a}$ containing $[\mathfrak{g},\mathfrak{g}]$, and choose $x\notin \mathfrak{a}$. By induction there are $v\ne 0$ and a linear functional $\lambda :\mathfrak{a}\to \mathbb{C}$ such that $av=\lambda (a)v$ for all $a\in \mathfrak{a}$.

Let $W$ be the span of $v,xv,x^{2}v,\dots$. If $m=\dim W$, the first $m$ of these vectors form a basis, and $W$ is $x$-invariant. We claim that for each $a\in \mathfrak{a}$,For $j=0$ this is the definition of $v$. For the induction step, use $ax=xa+[a,x]$ and $[a,x]\in \mathfrak{a}$. Applying the induction hypothesis to both $a$ and $[a,x]$ proves the claim. Consequently $W$ is $\mathfrak{a}$-invariant, and every $a\in \mathfrak{a}$ acts on $W$ by an upper triangular matrix with all diagonal entries $\lambda (a)$.

Since both $x$ and $a$ preserve $W$, the matrix trace of their commutator on $W$ is zero. The claim applied to $[x,a]\in \mathfrak{a}$ givesHere characteristic zero is essential: $m\ne 0$ in the field, so $\lambda ([x,a])=0$. Now the common weight spaceis nonzero and $x$-invariant. Indeed, for $w\in E_{\lambda }$,An endomorphism of a nonzero finite-dimensional complex vector space has an eigenvector, so choose an eigenvector of $x$ in $E_{\lambda }$. It is a common eigenvector for $\mathfrak{g}=\mathfrak{a}+\mathbb{C}x$. This proves the Lie theorem.

For the printed matrices in characteristic $p$, $[x,y]=x$, and there is no common eigenvector. Index the standard basis by $e_0,\dots ,e_{p-1}$. The cyclic entry in the PDF givesThe $p$ diagonal eigenvalues of $y$ are distinct in $k$. Thus every eigenvector of $y$ is a scalar multiple of a single $e_j$. Since $p\ge 2$, $x{e}_j$ is never a scalar multiple of $e_j$, proving the assertion even when $k$ is not an algebraically closed field.

For $1\le j\le p-1$,At the cyclic boundary,Hence $[x,y]=x$. The two-dimensional Lie subalgebra $kx+ky$ has derived algebra $kx$, whose own derived algebra is zero, so it is solvable. It nevertheless has no common eigenvector, including after extending $k$ to its algebraic closure. This is a failure of Lie theorem in positive characteristic. In the proof above, the obstruction is precisely that $\dim W=p$ can vanish as a scalar in $k$.

The derived algebra of a complex solvable Lie algebra is nilpotent. First suppose $\mathfrak{g}\subseteq \mathfrak{gl}(V)$. By the Lie theorem, put every element of $\mathfrak{g}$ in upper triangular form. The diagonal of a commutator of upper triangular matrices is zero, so $\mathfrak{d}=[\mathfrak{g},\mathfrak{g}]$ consists of strictly upper triangular matrices. The Lie algebra of all such matrices is a nilpotent Lie algebra: if $F_r$ consists of matrices whose entries vanish whenever $j-i<r$, thenTherefore the lower central series of a Lie algebra of $\mathfrak{d}$ reaches zero. Alternatively, every element of $\mathfrak{d}$ is a nilpotent linear map, and the Engel theorem states that a finite-dimensional Lie subalgebra consisting of nilpotent linear maps is a nilpotent Lie algebra.

For an abstract complex solvable Lie algebra $\mathfrak{g}$, apply the preceding result to its Adjoint representation. The Lie algebra $\mathrm{ad}\mathfrak{d}=[\mathrm{ad}\mathfrak{g},\mathrm{ad}\mathfrak{g}]$ is nilpotent. Since $\ker (\mathrm{ad}{|}_{\mathfrak{d}})=\mathfrak{d}\cap Z(\mathfrak{g})$ is central in $\mathfrak{d}$, some term of the lower central series of a Lie algebra of $\mathfrak{d}$ lies in that central ideal; the next term is zero. Thus $\mathfrak{d}$ itself is nilpotent.

Conversely, every nilpotent Lie algebra is solvable, since its derived series of a Lie algebra is contained term by term in its lower central series of a Lie algebra. If $\mathfrak{d}$ is nilpotent, it is therefore solvable, and $\mathfrak{g}/\mathfrak{d}$ is Abelian. More directly, the derived series of a Lie algebra of $\mathfrak{g}$, after its first term, is the derived series of a Lie algebra of $\mathfrak{d}$. Consequently the derived algebra nilpotence criterion is

Schur's lemma says that a nonzero intertwiner between irreducible representations is an isomorphism; over $\mathbb{C}$, every endomorphism of a finite-dimensional irreducible representation is scalar. To prove the Schur lemma, let $T:V\to W$ be a intertwining operator between irreducible representations. Its kernel and image of a linear map are invariant. If $T\ne 0$, irreducibility forces $\ker T=0$ and $\mathrm{im}T=W$. This proves the first assertion over any field. In particular the endomorphisms of an irreducible representation form a division ring.

When $V$ is finite-dimensional over an algebraically closed field, an endomorphism $T$ has an eigenvalue $\lambda$. The endomorphism $T-\lambda I$ has nonzero kernel. By the first assertion it must be zero, so $T=\lambda I$. Consequently, for complex finite-dimensional irreducible representations, the space of intertwining operators has dimension zero for nonisomorphic representations and dimension one for isomorphic representations.

Every finite-dimensional representation of a complex semisimple Lie algebra is completely reducible. We prove the Weyl complete reducibility theorem using the allowed Casimir operator facts, without assuming a splitting in advance. For dual bases $x_i,x^i$ with respect to the Killing form, the Casimir elementis central in the universal enveloping algebra. Hence its Casimir operator $C_M={\sum }_i{\rho }_M(x_i){\rho }_M(x^i)$ commutes with the action on every Lie algebra representation $M$ and is compatible with subrepresentations, quotient representations, and intertwining operators. On the trivial Lie algebra representation it acts by zero. On every nontrivial finite-dimensional Irreducible Lie algebra representation it acts by a nonzero scalar.

For clarity, the last fact can be expressed by the Casimir eigenvalue formula: on an irreducible with dominant integral weight $\lambda$, the scalar is $(\lambda ,\lambda +2\rho )$, with the inner product induced by the Killing form and $\rho$ the half-sum of positive roots. On the real span of the weights this inner product is positive definite, and the scalar is positive for $\lambda \ne 0$. For a semisimple Lie algebra with several simple factors the scalars add, so a nontrivial representation still gives a nonzero scalar. These are properties of the Casimir operator being used here.

First establish Casimir splitting of a trivial quotient. Supposeis a short exact sequence of finite-dimensional Lie algebra representations, with trivial quotient. The generalized eigenspaces of $C_E$ are invariant, soEach $E_c$ with $c\ne 0$ maps to zero under $q$: applying a sufficiently large power of $C_E-cI$ and using $C_{\mathbb{C}}=0$ gives $(-c{)}^{r}q(e)=0$. Thus $q(E_0)=\mathbb{C}$.

Take a composition series of a module of $E_0$. The Casimir operator is nilpotent on $E_0$, so its scalar on every irreducible composition factor is zero. The stated Casimir operator property makes every such factor trivial. In a basis adapted to the composition series of a module, the image of $\mathfrak{g}$ on $E_0$ therefore consists of strictly upper triangular matrices, so that image is solvable. The allowed fact that a semisimple Lie algebra acts trivially on every one-dimensional representation implies that $\mathfrak{g}$ is a perfect Lie algebra: otherwise a nonzero linear functional on $\mathfrak{g}/[\mathfrak{g},\mathfrak{g}]$ would define a nontrivial one-dimensional Lie algebra representation. Thus $\mathfrak{g}=[\mathfrak{g},\mathfrak{g}]$, and its image is consequently a perfect Lie algebra too. A perfect Lie algebra that is also a solvable Lie algebra is zero, since its derived series of a Lie algebra is constant until it vanishes. Hence $\mathfrak{g}$ acts trivially on $E_0$. Choose $e\in E_0$ with $q(e)=1$. The map $1\mapsto e$ is an invariant section, proving the split short exact sequence assertion.

Now let $W\subseteq V$ be any nonzero subrepresentation. On the Hom representation $\mathrm{Hom}(V,W)$ the action isConsider the invariant subspaceRestriction produces a short exact sequenceSurjectivity follows by extending $I_W$ to a linear map on $V$. The quotient is trivial, because $I_W$ commutes with the action on $W$. The preceding Casimir splitting of a trivial quotient yields an invariant $p:V\to W$ with $p{|}_W=I_W$. Thusand $\ker p$ is invariant. The zero subrepresentation also has a complement. Repeatedly splitting off an irreducible subrepresentation now gives a direct sum of irreducibles, proving the Weyl complete reducibility theorem.

A derivation of a Lie algebra is a linear map $D:\mathfrak{g}\to \mathfrak{g}$ satisfying the Leibniz ruleThe space $\mathrm{Der}(\mathfrak{g})$ is a vector subspace of $\mathrm{End}(\mathfrak{g})$. Equip it with the commutator $[D,E]=DE-ED$. Expanding the Leibniz rule twice givesSubtracting proves that $[D,E]$ is again a derivation of a Lie algebra. Antisymmetry and the Jacobi identity hold for the commutator in every associative endomorphism algebra, so this defines the derivation Lie algebra.

The Jacobi identity says that $\mathrm{ad}x$ is a derivation of a Lie algebra. Moreover, for $D\in \mathrm{Der}(\mathfrak{g})$,soThis makes $\mathrm{ad}\mathfrak{g}$ an ideal of a Lie algebra in $\mathrm{Der}(\mathfrak{g})$.

Finally suppose $\mathfrak{g}$ is semisimple. Let $\mathfrak{g}$ act on $\mathrm{Der}(\mathfrak{g})$ by $x\cdot D=[\mathrm{ad}x,D]$. The Weyl complete reducibility theorem supplies an invariant complement $M$ to $\mathrm{ad}\mathfrak{g}$. For $D\in M$, invariance gives $[\mathrm{ad}x,D]\in M$, while the ideal identity above gives $[\mathrm{ad}x,D]\in \mathrm{ad}\mathfrak{g}$. Their intersection is zero, so $\mathrm{ad}(Dx)=0$ for every $x$. The center of a Lie algebra of a semisimple Lie algebra is zero, hence $Dx=0$ for every $x$, and $M=0$. ThereforeEvery derivation of a Lie algebra is inner, and the element giving it is unique because the center of a Lie algebra vanishes.

Invertibility is stable under sufficiently small perturbations, and inversion is continuous. Let $1$ be the identity of the complex unital Banach algebra $A$, with its submultiplicative algebra norm. For $\Vert h\Vert <1$, completeness makes the Neumann seriesconverge in $A$. Multiplying either side of the partial sums by $1-h$ gives $1-h^{N+1}$, which tends to $1$, proving that the sum is a two-sided inverse.

Fix $a\in G(A)$, the group of invertible elements of a Banach algebra. If $\Vert b-a\Vert <\Vert a^{-1}{\Vert }^{-1}$, thenso the Neumann series makes $b$ invertible. This proves that $G(A)$ is open. It also gives a local boundWe retain $\Vert 1\Vert$ here so the estimate does not silently assume a normalized identity. The inverse identitythen impliesThis proves continuity of inversion in a Banach algebra.

For a unital Banach algebra, the spectrum of an element isFor a nonunital Banach algebra, use its unitization of an algebra $A^{+}=A\oplus \mathbb{C}$ with multiplication and normIt is a unital Banach algebra, with identity $(0,1)$, and define ${\sigma }_A(x)={\sigma }_{A^{+}}((x,0))$. In this nonunital convention, $0$ belongs to the spectrum: the scalar coordinate of $(x,0)$ is zero, so it cannot be invertible in $A^{+}$.

The spectrum is nonempty and compact. It suffices to work in a nonzero unital Banach algebra, since unitization reduces the other case to this one. The group of invertible elements of a Banach algebra is open, so the complement of the spectrum of an element is open. For $|\lambda |>\Vert x\Vert$, the Neumann series givesThus ${\sigma }_A(x)$ is closed and lies in $\{\lambda :|\lambda |\le \Vert x\Vert \}$, hence is compact.

For nonemptiness of the Banach-algebra spectrum, suppose that $R$ were defined on all of $\mathbb{C}$. At any ${\lambda }_0$, factoring $\lambda 1-x=({\lambda }_{0}1-x)(1+(\lambda -{\lambda }_0)R({\lambda }_0))$ gives a locally convergent power seriesFor every bounded linear functional $\ell \in A^{\ast }$, the scalar function $\ell (R(\lambda ))$ is therefore entire. The bound at infinity makes it bounded outside a disk, while continuity makes it bounded on the disk. By the Liouville theorem, it is constant; since it tends to zero at infinity, it is identically zero. The version of the Hahn-Banach theorem used here says that bounded linear functionals separate points of a normed vector space: if $z\ne 0$, there is $\ell$ with $\ell (z)\ne 0$. Consequently $R(\lambda )=0$ for every $\lambda$, contradicting $(\lambda 1-x)R(\lambda )=1$. This proves the assertion.

Every nonzero complex unital normed division algebra is algebraically and topologically isomorphic to $\mathbb{C}$. This is the Gelfand-Mazur theorem; completeness is not needed in its statement. Let $D$ be a normed division algebra, and take its completion of a normed space using the algebra norm to obtain a unital Banach algebra $\hat{D}$. Submultiplicativity extends multiplication continuously to the completion, and the original identity remains its identity.

For $x\in D$, the spectrum of an element of $x$ in $\hat{D}$ contains some $\lambda$. If $x-\lambda 1\ne 0$ in $D$, the division-algebra assumption supplies an inverse in $D$, which is still an inverse in $\hat{D}$. This contradicts $\lambda \in {\sigma }_{\hat{D}}(x)$. Therefore $x=\lambda 1$. The map $\lambda \mapsto \lambda 1$ is a bijective complex algebra homomorphism, andIt and its inverse are continuous; when $\Vert 1\Vert =1$, it is an isometry.

A complete algebra norm on a function algebra dominates the supremum norm, even before continuity of point evaluations is known. Let $A$ be the given algebra of functions. Form the same artificial unitization $A^{+}$ even if $A$ already has an identity. For each $t\in K$, the algebraic mapis a unital multiplicative complex linear functional. No continuity has been assumed. Since ${\chi }_t(f-f(t)1)=0$, the element $f-f(t)1$ cannot be invertible: applying ${\chi }_t$ to an inverse equation would give $0=1$. Hence $f(t)\in {\sigma }_{A^{+}}(f)$, and the spectrum bound already proved yieldsTaking the supremum proves the supremum bound for a complete function-algebra norm:In particular every $f$ is bounded, and every point evaluation is a bounded linear functional of norm at most $1$. This is an instance of automatic continuity of characters: a character of an algebra on a Banach algebra is bounded because its value at any element belongs to that element's spectrum.

A useful comodule natural transformation formula determines $\beta$ from a single linear functional. Defineusing the regular right comodule $H$. For any vector space $V$, the cofree right comodule $V\otimes H$ has coaction $1_V\otimes \Delta$. Naturality with respect to all maps $h\mapsto v\otimes h$ givesThe coaction ${\rho }_M:M\to M\otimes H$ is itself a morphism of right comodules. Its naturality equation, followed by $1_M\otimes {\epsilon }_H$, therefore givesThis derivation works for all comodules, not merely finite-dimensional ones.

The monoidal equation ${\beta }_{M\otimes N}={\beta }_M\otimes {\beta }_N$, evaluated on the two regular comodules and followed by their counits, impliesThe unit equation gives $\alpha (1)=1$. Thus $\alpha$ is a unital algebra homomorphism over a field $H\to k$. In addition, the $K$-colinearity of ${\beta }_H$ gives the useful intertwining relationThis fixes the orientation of $\alpha$ relative to $f,g$.

For the convolution product for coalgebra maps, define ${\alpha }^{-1}=\alpha S$. Multiplicativity of $\alpha$ and the two antipode identities showConsequentlyCoassociativity and the two convolution identities verify both composites directly. Since ${\beta }_M$ was a $K$-comodule morphism, its linear inverse is also a $K$-comodule morphism. Inverting the naturality and monoidal equations shows that the inverses form a monoidal natural transformation $g_{\ast }\Rightarrow f_{\ast }$. Every such monoidal transformation is therefore invertible, without requiring a bijective antipode.

Use right comodules with coaction $u\mapsto \sum u_{(0)}\otimes u_{(1)}$. Fix the convention that $\diamond$ is induced by $m$ and $\bullet$ by $n$. We classify lax monoidal structures first; the strong case is identified at the end.

Every natural transformation of the indicated tensor bifunctors is determined by a linear functional $\gamma :H\otimes H\to k$, and its components have the comodule tensor transformation formulaTo prove the assertion, set $\gamma =(\epsilon \otimes \epsilon ){\phi }_{H,H}$. On the cofree comodules $V\otimes H,W\otimes H$, naturality with respect to $h\mapsto v\otimes h$ forces the component to act as ${\phi }_{H,H}$ on the two $H$ factors. Apply naturality to the pair of coactions $M\to M\otimes H$, $N\to N\otimes H$, then apply their counits. This yields the formula. Conversely the formula is plainly natural with respect to comodule morphisms, and recovers $\gamma$ from the regular comodules.

It remains to impose exactly three kinds of equations. First, the component must be $H$-colinear from the tensor with product $n$ to the tensor with product $m$. Expanding its two coactions gives (C), the multiplication compatibility for a comodule tensor transformationNecessity follows by taking $M=N=H$ and applying the two counits; sufficiency follows by substituting the identity into the coaction formula for arbitrary $M,N$.

Second, the two unit triangles in the preceding part are exactly (U):Here $1=j(1_k)$ is the common algebra unit. These identities are forced by the regular comodule and sufficient by the counit law.

Third, expand the associativity diagram on three right comodules. The two scalar factors, after their counits are removed, are (A):The product in this expression is $m$, because the intermediate arguments $M\diamond N$ and $N\diamond P$ are source-tensor objects. Necessity follows from the three regular comodules; sufficiency is the same substitution for arbitrary coactions. Using (C), the same condition can equivalently be written with the target product $n$:This is the normalized bialgebra scalar cocycle equation for that convention.

Thus the required structures correspond bijectively to all linear maps $\gamma$ satisfying (C), (U) and (A). No convolution invertibility has been imposed for a lax monoidal functor structure. If “monoidal” is required to mean strong, add precisely that $\gamma$ is invertible under the convolution product for coalgebra maps on ${\mathrm{Hom}}_k(H\otimes H,k)$. Its convolution inverse $\bar{\gamma }$ supplies the inverse component by the same displayed formula; conversely natural inverse components recover a convolution inverse by the regular-comodule argument. In that case (C) is the explicit bialgebra cocycle twist relationThis also records which multiplication lies on each side of the twist. Interchanging the names of $m,n$ interchanges the two tensor conventions, rather than silently changing the equation.

For a concrete lax example, take the two-dimensional bialgebra with basis $1,e$, product $e^2=e$, and $\Delta (e)=e\otimes e$, $\epsilon (e)=1$. Set $m=n$ and $\gamma (1,1)=\gamma (1,e)=\gamma (e,1)=1$, $\gamma (e,e)=0$. Normalization and (C) hold, and (A) follows by checking the eight basis triples: triples involving $1$ reduce to normalization, and the triple $(e,e,e)$ has both sides zero. But the $(e,e)$ tensor component is zero, so this lax monoidal functor is not strong.

The dual space here is the algebraic dual space $X^{\ast }={\mathrm{Hom}}_{\mathbb{R}}(X,\mathbb{R})$, consisting of every linear functional; no topology or boundedness is imposed. For a basis $e_1,\dots ,e_n$, define $e_i^{\ast }({\sum }_j{x}_j{e}_j)=x_i$. These are linear functionals satisfying $e_i^{\ast }(e_j)={\delta }_{ij}$. Evaluating ${\sum }_i{a}_i{e}_i^{\ast }=0$ on each $e_j$ gives $a_j=0$, proving linear independence. Conversely, for every $T\in X^{\ast }$,This proves spanning and hence proves, without assuming a dimension theorem, that the dual basis is a basis and $\dim X^{\ast }=n$.

The canonical bidual evaluation map isIts definition makes no choice of basis and it is linear. If $x\ne 0$, one coordinate functional is nonzero on $x$, so $J$ is injective. For any $B\in X^{\ast \ast }$, choose $x={\sum }_{i}B(e_i^{\ast })e_i$. Expanding $T$ in the dual basis gives $T(x)={\sum }_{i}T(e_i)B(e_i^{\ast })=B(T)$, proving surjection explicitly. Thus $J$ is an isomorphism.

If $T_1,\dots ,T_n$ is any basis of $X^{\ast }$, its dual basis $B_1,\dots ,B_n$ in $X^{\ast \ast }$ exists by the result just proved. Put $v_j=J^{-1}(B_j)$. These vectors form a basis of $X$, and $T_i(v_j)=B_j(T_i)={\delta }_{ij}$. Every basis of the finite-dimensional dual is a dual basis, of a uniquely determined basis of $X$.

For a separating subspace of an algebraic dual $W$, choose a basis $T_1,\dots ,T_r$ of $W$. The linear map $x\mapsto (T_1(x),\dots ,T_r(x))$ is injective because $W$ separates nonzero vectors. The rank-nullity theorem implies $n\le r$; but $W\subseteq X^{\ast }$ implies $r\le n$. HenceThe zero-dimensional case also has this conclusion.

For $X=\mathbb{R}[x]$, the monomials $1,x,x^2,\dots$ form an infinite basis, each polynomial using only finitely many of them. The map $T\mapsto (T(1),T(x),T(x^2),\dots )$ identifies $X^{\ast }$ with all real sequences, because any sequence $(a_j)$ defines $T({\sum }_{j=0}^d{c}_j{x}^j)={\sum }_{j=0}^d{c}_j{a}_j$. The linear subspace of finitely supported sequences is proper (it excludes $(1,1,\dots )$) and separating (one coefficient functional detects any nonzero polynomial). Thus

Using the usual zero-boundary Sobolev space convention,where weak derivatives define $H^1(D)$ and $C_c^{\infty }(D)$ is the space of test functions. In the Gaussian free field convention, the same notation often denotes the Dirichlet energy space, the completion in the gradient norm alone. On bounded domains the Poincaré inequality makes the two definitions equivalent; on unbounded domains one must distinguish them. The following gradient-pairing argument applies in either setting whenever the energy completion is realized as weak functions.

Identify $H_{\mathrm{supp}}=H_0^1(U)$ with a vector subspace of $H_0^1(D)$ by zero extension of H01. Approximating by test functions in $U$ shows that this is an isometric embedding in the inhomogeneous Sobolev norm and also in the Dirichlet inner product norm. In particular, arbitrary irregularity of $\partial U$ causes no additional boundary term.

DefineThese are weakly harmonic Sobolev functions. For $\varphi \in C_c^{\infty }(U)$, integration by parts in the weak sense gives ${\int }_U\nabla h\cdot \nabla \varphi dA=0$. If $u\in H_{\mathrm{supp}}$, choose ${\varphi }_n\in C_c^{\infty }(U)$ converging to $u$ in $H^1(U)$, or in energy for the homogeneous convention. The Cauchy-Schwarz inequality givesHence the orthogonality of supported and harmonic Dirichlet functions isBoth are linear vector subspaces. In the inhomogeneous convention they are closed: the first is the isometric image of a complete space, and the second is the intersection of the kernels of the linear functionals $h\mapsto (h,\varphi {)}_{\nabla }$. No spanning assertion is needed. The PDF contains this orthogonality statement; the TeX has badly corrupted it into an assertion about openness.

For multi-indices $\alpha ,\beta$, defineThese seminorms define the Fréchet space topology of the Schwartz space: ${\phi }_j\to \phi$ exactly when every $p_{\alpha ,\beta }({\phi }_j-\phi )$ tends to zero. An equivalent increasing family isA tempered distribution is a continuous linear functional on this space. Equivalently, $|⟨T,\phi ⟩|\le C{q}_m(\phi )$ for some $C,m$. The usual weak convergence of tempered distributions means $⟨T_j,\phi ⟩\to ⟨T,\phi ⟩$ for every fixed Schwartz function. The strong dual topology instead requires uniform convergence on every subset of the Schwartz space that is a bounded set in a topological vector space; the Fourier maps below are continuous in both topologies.

Using $\hat{\phi }(\xi )=\int e^{-ix\cdot \xi }\phi (x)dx$, differentiation under the integral and integration by parts giveThe omitted coefficient has modulus one. By the Leibniz rule, every integrand is a finite sum of a polynomial times a derivative of $\phi$. Inserting the integrable weight $(1+|x|{)}^{-n-1}$ bounds its L1 norm by finitely many Schwartz space seminorms. In particular $q_m(\hat{\phi })\le C_m{q}_{m+n+1}(\phi )$. Thus the Fourier transform maps $\mathcal{S}$ continuously into itself.

For completeness, the Fourier inversion theorem follows here by Gaussian regularization. The inverse transform of $e^{-t|\xi {|}^2}$ is $g_t(x)=(4\pi t{)}^{-n/2}{e}^{-|x{|}^2/(4t)}$. The Fourier transform of a Gaussian and Fubini's theorem showAs $t\downarrow 0$, the right side tends to $\phi (x)$ by the approximate identity property, while the left side tends to the undamped inverse integral by dominated convergence theorem, since $\hat{\phi }\in L^1$. HenceThe inverse is $(2\pi {)}^{-n}$ times reflection composed with the continuous Fourier transform, and is therefore continuous on the Schwartz space. This proves a continuous linear isomorphism with continuous inverse.

Define the Fourier transform of a tempered distribution byThe continuous map on Schwartz space makes this a tempered distribution; the transpose of ${\mathcal{F}}^{-1}$ supplies its inverse. Pointwise convergence of pairings proves weak continuity. For the strong dual topology, the transform of a bounded set of Schwartz functions is bounded, so uniform convergence of pairings on bounded sets proves continuity of both Fourier maps there too.

Now let $R\in SO(n)$ be a rotation matrix in the special orthogonal group and write ${\rho }_{R}T=T\circ R$. A change of variables with unit Jacobian givesThe rotation equivariance of the Fourier transform on tempered distributions follows by duality:Therefore $\widehat{{\rho }_{R}T}={\rho }_R\hat{T}$. Applying this identity and the inverse Fourier transform gives the two directions:This is precisely preservation of radial tempered distributions. For $n>1$, $SO(n)$ acts transitively on spheres, so an invariant smooth function is an ordinary radial function.

Use the real Hilbert space $V=H_0^1(0,1)$, the zero-boundary Sobolev space, with norm $\Vert v{\Vert }_V=\Vert v^{\prime }{\Vert }_{L^2}$. The Poincaré inequality makes this equivalent to its usual Sobolev space norm. Define the symmetric bilinear form and continuous linear functionalThe Cauchy-Schwarz inequality and the sharp interval Poincaré inequality implyThus $a$ is a bounded bilinear form and a coercive bilinear form, and $\ell$ is bounded because $f$ is square-integrable. The Lax-Milgram theorem supplies a unique weak solution:This is obtained from the differential equation by integration by parts; the test functions have zero boundary trace. Conversely, the weak solution satisfies $y^{\prime \prime }=xy-f$ in the sense of distributions. Since $xy-f\in L^2$, it belongs to $H^2(0,1)\cap H_0^1(0,1)$ and solves the equation almost everywhere.

Equivalently, the Ritz method minimizesover $V$. Indeed $J(y+w)-J(y)=a(w,w)/2$, since the mixed term is $a(y,w)-\ell (w)=0$. This proves existence and uniqueness of the minimizer directly from the weak solution, as well as its equivalence to the variational problem.