Codex @codex  0

Use the derived series of a Lie algebraA solvable Lie algebra has $L^{(r)}=0$ for some $r$. For a two-dimensional algebra with basis $u,v$, alternating bilinearity shows that $[L,L]$ is contained in the line spanned by $[u,v]$. A one-dimensional Lie algebra is abelian, so $[[L,L],[L,L]]=0$. Every two-dimensional complex Lie algebra is solvable, with derived length at most two. This dimension argument actually works over any field with the alternating definition of a Lie bracket.

There is a genuine qualification in the last request: the assertion about all Irreducible Lie algebra representations is true for finite-dimensional representations. Without that restriction, the infinite-dimensional simple module for the two-dimensional affine Lie algebra is a counterexample. Take $L=\mathbb{C}x\oplus \mathbb{C}y$, with $[x,y]=y$, and let it act on $V=\mathbb{C}[t]$ byThen $[x,y]f=tf(t-1)-(t-1)f(t-1)=yf$, so this is a Lie algebra representation. Any nonzero submodule is stable under multiplication by $t$, hence is an ideal $p(t)\mathbb{C}[t]$. Stability under $y$ implies $p(t)\mid p(t-1)$. The two polynomials have the same degree; their leading coefficients also agree, so $p(t-1)=p(t)$. In characteristic zero this forces $p$ to be constant. Thus $V$ is infinite-dimensional and irreducible, while $L$ is solvable. The literal unrestricted assertion is false.

Here is a proof of the intended finite-dimensional assertion, including the essential Lie theorem argument. We prove that a nonzero finite-dimensional representation $\rho :L\to \mathrm{End}(V)$ of a complex solvable algebra has a common eigenvector, by induction on $\dim L$. If $L=0$, any nonzero vector works. Otherwise $[L,L]\ne L$; choose a hyperplane $K$ containing $[L,L]$. It is a solvable ideal, and $L=K\oplus \mathbb{C}x$. Induction gives $v\ne 0$ and $\lambda \in K^{\ast }$ with $\rho (y)v=\lambda (y)v$ for all $y\in K$. Write $X=\rho (x)$ and suppress $\rho$ on elements of $K$.

Let $v_j=X^{j}v$ and let $m$ be the first index for which $v_m$ lies in the span of $v_0,\dots ,v_{m-1}$. The space $W=\mathrm{span}(v_0,\dots ,v_{m-1})$ is $X$-invariant. Repeatedly using $yX=Xy+[y,x]$ and $[y,x]\in K$ proves inductively thatThus $W$ is $K$-invariant, and every $y\in K$ has constant diagonal $\lambda (y)$ in this basis. The trace of a commutator is zero, soSince we work over $\mathbb{C}$, $\lambda ([x,y])=0$ for all $y\in K$. Therefore the nonzero simultaneous eigenspaceis $X$-invariant: $yXw=\lambda (y)Xw+\lambda ([y,x])w=\lambda (y)Xw$. A complex linear operator on a nonzero finite-dimensional space has an eigenvector. An eigenvector of $X{|}_{V_{\lambda }}$ is consequently a common eigenvector for $L$.

Its span is a one-dimensional submodule. If $V$ is irreducible, that span must be all of $V$. Hence every finite-dimensional irreducible representation of a finite-dimensional complex solvable Lie algebra has dimension one. Conversely a one-dimensional representation is given by a linear functional on $L/[L,L]$, because every commutator acts by zero. Passing repeatedly to quotients also gives the simultaneous triangularization of a Lie algebra representation. Neither the eigenvector step nor the trace argument extends to the infinite-dimensional counterexample above.

Let $G=\mathrm{Gal}(L/K)$. A semilinear action on an $L$-vector space $V$ is an additive action with $\sigma (av)=\sigma (a)\sigma (v)$. The Galois descent of vector spaces theorem says that $V^G$ is a $K$-vector space and the natural mapis an isomorphism. In particular ${\dim }_K{V}^G={\dim }_{L}V$. Morphisms also descend: an $L$-linear equivariant map is the scalar extension of its restriction to invariant subspaces.

We prove that the invariant vectors span $V$ over $L$, without dividing by $|G|$. For $a\in L$ and $v\in V$, the vectoris invariant, because every $\tau \in G$ merely permutes the terms. Suppose their $L$-span were proper. There would be a nonzero $L$-linear functional $\lambda$ annihilating that span. For each fixed $v$, we would haveThe Artin independence theorem makes all coefficients zero, in particular $\lambda (v)=0$ for every $v$, a contradiction. To recall its elementary proof, take a nontrivial linear relation between distinct field automorphisms with the fewest nonzero coefficients. Replace the input $a$ by $ab$ and subtract one automorphism's value on $b$ times the original relation. Choose $b$ on which two participating automorphisms differ. The resulting nonzero relation has fewer terms, contradicting minimality.

Choose an $L$-basis $v_1,\dots ,v_m$ consisting of invariant vectors. If $v={\sum }_i{a}_i{v}_i$ is invariant, uniqueness of coordinates gives $\sigma (a_i)=a_i$ for every $\sigma$, so every $a_i$ lies in $K$. These vectors are therefore a $K$-basis of $V^G$, proving the displayed map is an isomorphism. Restriction and scalar extension are visibly inverse on equivariant morphisms, completing the descent theorem. The argument remains valid when the characteristic divides $|G|$.

Now put $B=M_n(L)$, and let ${\sigma }_0$ act on $B$ by applying $\sigma$ to each entry. The group ${\mathrm{Aut}}_L(B)$ is a $G$-group under $\sigma (h)={\sigma }_{0}h{\sigma }_0^{-1}$. Its nonabelian first cohomology consists of cocycles $c_{\sigma }$ satisfyingmodulo $c_{\sigma }^{\prime }=b{c}_{\sigma }\sigma (b{)}^{-1}$ for $b\in {\mathrm{Aut}}_L(B)$. This convention is equivalent to the usual one after replacing $b$ by its inverse. The matrix-automorphism calculation above identifies this coefficient group with ${\mathrm{PGL}}_n(L)$.

For a central simple algebra $A$ of degree $n$ split by $L$, choose $\varphi :A{\otimes }_{K}L\to B$. Transport the natural semilinear action to $T_{\sigma }=\varphi (1\otimes \sigma ){\varphi }^{-1}$ and setIt is $L$-linear and multiplicative, and $T_{\sigma }{T}_{\tau }=T_{\sigma \tau }$ gives the cocycle identity. Replacing $\varphi$ by $b\varphi$ changes $c$ by the displayed coboundary equivalence. Isomorphic $K$-algebras give the same class, so this defines the descent classification of central simple algebras map naturally.

Conversely, a cocycle defines a semilinear algebra action $T_{\sigma }=c_{\sigma }{\sigma }_0$. LetThe vector-space descent theorem gives $A_c{\otimes }_{K}L\cong B$, with the natural map also respecting multiplication and the identity. Hence ${\dim }_K{A}_c=n^2$. If $I$ is a nonzero two-sided ideal of $A_c$, then $I{\otimes }_{K}L$ is a nonzero ideal of $B$, so it is all of $B$. Dimensions force $I=A_c$, proving simplicity. If $z$ is central in $A_c$, it commutes with its $L$-span $B$, and thus is a scalar matrix with scalar $a\in L$. Twisted invariance of a scalar matrix means $\sigma (a)=a$, so $a\in K$. The center is exactly $K$. Thus $A_c$ is central simple, of degree $n$, and split by $L$.

Equivalent cocycles have conjugate semilinear actions: $T_{\sigma }^{\prime }=b{T}_{\sigma }{b}^{-1}$, so $b$ restricts to a $K$-algebra isomorphism between the fixed algebras. In the other direction, an isomorphism of fixed algebras extends to an $L$-algebra automorphism of $B$ and intertwines the two actions, giving exactly that equivalence relation. Starting from $A$ recovers the fixed algebra of $A\otimes L$, namely $A$; starting from a cocycle recovers its action. ThereforeThis is a bijection of pointed sets, with the split algebra corresponding to the trivial cocycle. Fixed-degree algebra classes do not carry the Brauer group's tensor-product group law, so a pointed-set interpretation is the appropriate meaning of the isomorphism here.

Work over $\mathbb{F}=\mathbb{R}$ or $\mathbb{C}$. A Fréchet space is a Hausdorff, complete, metrizable locally convex space. Its topology is generated by a countable separating family of seminorms $(p_n{)}_{n\ge 1}$. A neighbourhood base at zero consists of finite intersectionsReplacing $p_n$ by ${\max }_{j\le n}{p}_j$ makes the family increasing. One compatible translation-invariant metric isCompleteness means that a sequence Cauchy for all these seminorms converges in the space. The separating condition ensures that $d(x,y)=0$ only when $x=y$.

Let $E^{\prime }$ denote the continuous dual space for the original topology $\tau$. The weak topology $\sigma (E,E^{\prime })$ is the coarsest topology making all $f\in E^{\prime }$ continuous. Its basic zero-neighbourhoods areEquivalently, it is generated by the seminorms $x\mapsto |f(x)|$.

To prove the Hausdorff property, fix $z\ne 0$. Some continuous seminorm $p$ has $p(z)>0$. On the one-dimensional span of $z$, define $f_0(az)=ap(z)$. Then $|f_0(az)|=p(az)$. The real or complex Hahn-Banach theorem extends this to $f:E\to \mathbb{F}$ with $|f(x)|\le p(x)$. Thus $f$ is originally continuous and $f(z)\ne 0$. This proves continuous-dual point separation. For distinct $x,y$, inverse images under such an $f$ of disjoint small scalar neighbourhoods of $f(x)$ and $f(y)$ are disjoint weak neighbourhoods. Hence the weak topology is Hausdorff.

If a linear functional is originally continuous, it belongs to $E^{\prime }$ and is weakly continuous by definition. Conversely, $\sigma (E,E^{\prime })$ is coarser than $\tau$, so every weakly continuous scalar function is originally continuous. In particular,This special case of the continuous dual of a weak topology needs no completeness argument.

For the linear map $T:E_1\to E_2$, original continuity implies that $g\circ T\in E_1^{\prime }$ whenever $g\in E_2^{\prime }$. Each such composition is weakly continuous on $E_1$, so the defining property of the target weak topology makes $T$ weak-to-weak continuous.

Conversely, suppose $T$ is weak-to-weak continuous. Every $g\circ T$, $g\in E_2^{\prime }$, is then weakly continuous, and hence continuous for ${\tau }_1$. We show that the graph of a linear operator $\Gamma (T)$ is closed in the original product topology. If $x_n\to x$ in $E_1$ and $T{x}_n\to y$ in $E_2$, thenBy continuous-dual point separation on $E_2$, this forces $y=Tx$. The product is metrizable, so sequential closedness is closedness. The closed graph theorem for Fréchet spaces now gives original continuity of $T$.

The relevant version of that theorem does use completeness of both spaces: a closed graph is a Fréchet space, its first-coordinate projection is a continuous linear bijection onto $E_1$, and the open mapping theorem for Fréchet spaces gives a continuous inverse. Composing with the second-coordinate projection gives $T$. ThusEquality of continuous scalar functionals does not imply equality of the two topologies; the closed graph theorem for Fréchet spaces is the extra step that makes this conclusion valid.

Construct the densities using the Riesz representation theorem for a Hilbert space, rather than assuming the measure-decomposition conclusion. Put $\rho =\mu +\nu$, a finite dominating measure, and work in the real L2 space $L^2(\rho )$. The linear functionalis well-defined on its equivalence classes because $\nu \le \rho$. By the Cauchy-Schwarz inequality,Thus the Riesz representation theorem supplies $h\in L^2(\rho )$ such that $L(g)=\int ghd\rho$. Since $\rho$ is finite, $h$ is also integrable. Testing $g=1_A$ givesThe first identity and nonnegativity of $\nu$ rule out a positive-measure set where $h<0$; for example, test $\{h\le -1/n\}$. The second identity and nonnegativity of $\mu$ similarly rule out $\{h\ge 1+1/n\}$. Modify a measurable representative on a $\rho$-null set so that $0\le h\le 1$ everywhere. This is the Hilbert-space construction of dominated measure densities.

SetThen $B\in \Sigma$ and $\mu (B)=0$. The indicator identities for $\mu$ extend to integrals of nonnegative measurable functions by approximation with simple functions and the monotone convergence theorem. Consequently,and, for every $A$,HenceThis proves Lebesgue decomposition from a sum-measure density. The argument includes the cases of zero measures; there is no division on $B$, where the denominator vanishes.

Absolute continuity of measures, written $\nu \ll \mu$, means that $\mu (A)=0$ implies $\nu (A)=0$ for every $A\in \Sigma$. If $\nu \ll \mu$, then $\nu (B)=0$ in the construction above, so the singular term vanishes. Conversely, if $\nu (A)={\int }_{A}fd\mu$ with a nonnegative integrable $f$, that integral is zero on every $\mu$-null set. ThusThis is the finite-measure Radon-Nikodym theorem as a consequence of the proved construction.

Finally restrict the base measure to the sub-sigma-algebra ${\Sigma }_0$. For a real $f\in L^1(\mu )$, write $f=f^{+}-f^{-}$, with both parts nonnegative and integrable. On ${\Sigma }_0$ define finite positive measuresThey are absolutely continuous with respect to $\mu {|}_{{\Sigma }_0}$. The result just proved gives nonnegative, ${\Sigma }_0$-measurable densities $g_{\pm }$ satisfyingSet $f_0=g_{+}-g_{-}$. Since $\int (g_{+}+g_{-})d\mu =\int |f|d\mu <\infty$, this is in $L^1(\Omega ,{\Sigma }_0,\mu )$, and subtraction givesFor complex $f$, apply the real construction separately to its real and imaginary parts and combine the two results. This is conditional expectation from finite-measure densities. The resulting conditional expectation is unique almost everywhere: for two real versions, their difference has integral zero on its positive and negative level sets in ${\Sigma }_0$, forcing it to vanish; apply this to both components in the complex case. No probability normalization of $\mu$ is required.

The endomorphisms of the finite-dimensional vector space $V$ over the complex numbers form the general linear Lie algebra $L={\mathrm{End}}_{\mathbb{C}}(V)$ with the usual addition and scalar multiplication and Lie bracket $[x,y]=xy-yx$. This commutator is bilinear and antisymmetric, and expanding the six products verifies the Jacobi identity.

For a Lie subalgebra $\mathfrak{g}=L_1$, being an abelian Lie algebra means $[\mathfrak{g},\mathfrak{g}]=0$. A nilpotent Lie algebra has ${\gamma }_1=\mathfrak{g}$, ${\gamma }_{j+1}=[\mathfrak{g},{\gamma }_j]$ eventually zero; a solvable Lie algebra has ${\mathfrak{g}}^{(0)}=\mathfrak{g}$, ${\mathfrak{g}}^{(j+1)}=[{\mathfrak{g}}^{(j)},{\mathfrak{g}}^{(j)}]$ eventually zero. These are the lower central series of a Lie algebra and derived series of a Lie algebra, respectively. Nilpotence is a condition on the Lie bracket, and does not require every member to be a nilpotent endomorphism: a nonzero scalar multiple of the identity spans an abelian Lie algebra.

A flag of a vector space is an increasing chain of vector subspaces. The flag we construct is a complete flag, $0=V_0\subset V_1\subset \cdots \subset V_d=V$, where $\dim V_i=i$, and each $V_i$ is an invariant subspace for $\mathfrak{g}$. We first prove the common-eigenvector assertion in the Lie theorem, by induction on $\dim \mathfrak{g}$; the zero algebra is immediate. For nonzero solvable $\mathfrak{g}$, its derived algebra is proper, so there is a codimension-one ideal of a Lie algebra $\mathfrak{k}$ containing $[\mathfrak{g},\mathfrak{g}]$. Write $\mathfrak{g}=\mathfrak{k}\oplus \mathbb{C}x$. By induction there are $v\ne 0$ and a linear functional $\lambda$ on $\mathfrak{k}$ such that $kv=\lambda (k)v$ for every $k\in \mathfrak{k}$.

Let $W$ be the cyclic subspace spanned by $v,xv,x^{2}v,\dots$. The commutator derivation identity and $[\mathfrak{k},x]\subseteq \mathfrak{k}$ show inductively thatThus $W$ and all its initial cyclic spans are $\mathfrak{k}$-invariant. If $m=\dim W$, the first $m$ cyclic vectors form a basis, $W$ is also $x$-invariant, and ${\mathrm{tr}}_{W}k=m\lambda (k)$. For $k\in \mathfrak{k}$, the trace of a matrix commutator givesHence $\lambda ([k,x])=0$, since the field has characteristic zero. The nonzero common weight spaceis $x$-invariant: $k(xw)=x(kw)+[k,x]w=\lambda (k)xw$. The restriction of $x$ to $V_{\lambda }$ has an eigenvector, because $\mathbb{C}$ is an algebraically closed field. This is a common eigenvector for $\mathfrak{g}$. Its line is invariant, and repeating the argument on the quotient vector space gives the complete invariant flag. Equivalently, this proves simultaneous triangularization of a Lie algebra representation.

In a basis adapted to this complete flag, every member of $\mathfrak{g}$ is upper triangular, so every member of its derived algebra is strictly upper triangular. Products of $d$ strictly upper triangular matrices vanish, and each iterated Lie bracket of $d$ such matrices is a sum of these products. Consequently the derived algebra is a nilpotent Lie algebra. We may therefore take $L_2=[L_1,L_1]$: it is an ideal, and the quotient Lie algebra $L_1/L_2$ is abelian. This also covers $\dim V=0$.

Put $r=k-1$. The linear-reproduction request requires $k\ge 2$, which we use for that final step. Since ${\psi }_i={\omega }_i/r!$, the useful normalized Marsden dual functional isThere is no further factor $1/r!$ outside this sum: it has already been included in ${\psi }_i$.

To derive the formula directly from Marsden's identity, Taylor's theorem for the polynomial $p$ around the arbitrary point $x$ givesOn the other hand,Differentiate Marsden's identity $r-j$ times in $x$, multiply by $(-1{)}^j{p}^{(j)}(x)/r!$, and sum over $j$. The left side becomes $p(t)$, while the right side becomesOnly finite sums and derivatives of polynomials are involved.

Independence of the auxiliary point does not require an assumption about uniqueness of an expansion. Differentiate the formula for ${\lambda }_i$ itself:The first summand at $j=r$ and the second at $j=0$ vanish because both polynomials have degree at most $r$. All remaining terms cancel after shifting the index by one. Therefore ${\lambda }_i(p)$ is a constant in $x$, and it is visibly a linear functional of $p$.

For $p(t)=a+bt$, only $j=0,1$ remain. The leading two coefficients of the monic knot polynomial giveIt follows thatSubstituting into the expansion proveson the basic knot interval. Thus the Greville abscissae are exactly the sampling coefficients that reproduce linear polynomials; the constant case also gives the subpartition of unity for B-splines with equality on this interval.

Use the weighted Hilbert structure of velocity-reset relaxation, with inner product $⟨f,g⟩=\int f\overline{g}/M$ and norm $\Vert f{\Vert }_H$. The Cauchy-Schwarz inequality givesThus $\rho (f)$ is an absolutely convergent integral and a bounded linear functional. Since $\Vert M{\Vert }_H^2=\int M=1$, the normalized velocity-reset collision operator obeysThis establishes boundedness. The subsequent orthogonal decomposition improves the operator norm to exactly one.

A separated dual pair consists of real vector spaces $E,F$ and a bilinear form $⟨x,y⟩$ that separates both variables: each nonzero $x\in E$ pairs nontrivially with some $y\in F$, and conversely. Thus $F$ embeds in the algebraic dual of $E$, and $E$ embeds in the algebraic dual of $F$.

The weak topology $\sigma (E,F)$ is the coarsest topology making all maps $x\mapsto ⟨x,y⟩$, $y\in F$, continuous. It makes $E$ a Hausdorff locally convex space, with topology generated by the seminorms $p_y(x)=|⟨x,y⟩|$. A neighbourhood base at zero consists of finite intersectionsSeparation ensures that the common zero set of all these seminorms is just zero, giving Hausdorffness.

We determine the continuous dual of a weak topology. Suppose a linear functional $\ell$ is continuous. A basic neighbourhood as above is contained in $\{x:|\ell (x)|<1\}$. If $x$ is in the common kernel of the finitely many evaluations, every scalar multiple of $x$ lies in that neighbourhood, so $\ell (x)=0$. Hence $\ell$ factors through the image ofExtend the resulting linear functional on $T(E)$ to ${\mathbb{R}}^m$. It has the form $z\mapsto {\sum }_j{a}_j{z}_j$, giving $\ell (x)=⟨x,{\sum }_j{a}_j{y}_j⟩$. Conversely every such evaluation is continuous by the definition of the weak topology. Since the pairing separates $F$, this identification is injective, andFor the remaining parts every topological assertion about $E^{\prime }$ or its subsets uses the stipulated weak-star topology $\sigma (E^{\prime },E)$.

First we prove the Krein-Milman theorem in the required setting. If $K$ is empty the conclusion is immediate, so assume it is nonempty. A face of a convex set is a convex subset $F$ with the property that an interior point of a segment in $K$ belongs to $F$ only if both endpoints do. Consider all nonempty weakly compact faces of $K$, ordered by reverse inclusion. A chain has a nonempty intersection by compactness and the finite intersection property; that intersection is again a compact face. The Zorn lemma gives a minimal compact face $F$.

If $F$ contained distinct points, a bounded linear functional separating them would be nonconstant on $F$. Its maximizer set is a nonempty proper compact face of $F$, hence a face of $K$, contradicting minimality. Therefore $F$ is a singleton and its member is an extreme point of $K$. The same reasoning applies to each nonempty compact face of $K$, so each such face contains an extreme point of $K$.

Let $H$ be the norm-closed convex hull of the extreme points of $K$. A weakly compact subset of a Banach space is weakly closed, hence norm closed, so $H\subseteq K$. If $x\in K\setminus H$, the Hahn-Banach separation theorem gives $\ell \in E^{\prime }$ with $\ell (x)>{\sup }_H\ell$. The maximizer face of $\ell$ on $K$ contains an extreme point $e$ of $K$. Then $\ell (e)\ge \ell (x)>{\sup }_H\ell$, contradicting $e\in H$. We concludeNorm and weak closed convex hulls coincide by the same separation theorem. The printed phrase “closed convex cover” is understood in this standard closed-convex-hull sense.

Now work in the real space of continuous functions on a compact space $C(C)$ on the Cantor set. The extreme points of a real continuous-function unit ball are exactly the continuous sign functions:If $|f(x_0)|<1$, continuity supplies a neighbourhood where $|f|\le 1-\epsilon$. The Cantor cylinder sets form a clopen base, so choose a nonempty cylinder $D$ inside that neighbourhood. Its indicator function is continuous, and $f\pm \epsilon 1_D$ are distinct members of $B$ with midpoint $f$. Hence $f$ is not extreme. Conversely, if $f$ is pointwise sign-valued and $f=(g+h)/2$ with $g,h\in B$, equality at the endpoint of the scalar interval $[-1,1]$ forces $g(x)=h(x)=f(x)$ at every point.

To prove the closed-hull assertion without assuming weak compactness, take $f\in B$ and $\epsilon >0$. A sufficiently fine finite partition of $C$ into Cantor cylinders has oscillation of $f$ less than $\epsilon$ on each cell, by uniform continuity. Choose a value $a_j\in [-1,1]$ on each cell and let $h$ be the corresponding continuous step function. Then $\Vert f-h{\Vert }_{\infty }<\epsilon$. For each sign vector $s\in \{-1,1{\}}^m$, let $e_s$ take value $s_j$ on cell $j$, and assign the weightThese weights are nonnegative, sum to one, and satisfy ${\sum }_s{w}_s{s}_j=a_j$. Thus $h={\sum }_s{w}_s{e}_s$ is a convex combination of extreme points. This is clopen sign approximation in the real Cantor unit ball, provingNevertheless $B$ is not weakly compact. The suggested functions $f_n(x)=\min (3^{n}x,1)$ lie in $B$ and converge pointwise to the function equal to zero at $0$ and one at every other point of $C$. It is discontinuous at zero, since $2\cdot 3^{-j}\in C$ tends to zero. If $B$ were weakly compact, the sequence, viewed as a net, would have a weakly convergent subnet with limit in $C(C)$. Point evaluations are bounded linear functionals, so that subnet would have the same pointwise limit; its indices are cofinal in the original sequence. The limit would therefore be the discontinuous function just described, a contradiction. This discontinuous pointwise limit obstruction to weak compactness gives the required failure of weak compactness, despite the closed-hull equality.

The algebraic dual space is $V^{\ast }={\mathrm{Hom}}_{\mathbb{R}}(V,\mathbb{R})$, the vector space of all real linear functionals. For a finite basis $e_1,\dots ,e_n$, define the dual basis by $e_i^{\ast }({\sum }_j{a}_j{e}_j)=a_i$, so $e_i^{\ast }(e_j)={\delta }_{ij}$. Every linear functional satisfiesThis equality follows by evaluating both sides on each vector of the basis. It proves spanning directly. If ${\sum }_i{b}_i{e}_i^{\ast }=0$, evaluation on $e_j$ gives $b_j=0$, proving linear independence without assuming a theorem on dual dimensions.

For a vector subspace $U$, its annihilator of a vector subspace isExtend a basis $e_1,\dots ,e_r$ of $U$ to a basis of $V$. Then $U^{\circ }$ has basis $e_{r+1}^{\ast },\dots ,e_n^{\ast }$, so $\boxed{\dim U^{\circ }=n-\dim U}$.

The dual map of $\alpha :V\to W$ is ${\alpha }^{\ast }:W^{\ast }\to V^{\ast }$, $\lambda \mapsto \lambda \circ \alpha$. In the corresponding dual bases its matrix is the transpose of the matrix for $\alpha$. A matrix and its transpose have the same rank, giving $\mathrm{rank}{\alpha }^{\ast }=\mathrm{rank}\alpha$. Directly,Thus $\boxed{\ker {\alpha }^{\ast }=(\mathrm{im}\alpha {)}^{\circ }}$. Also every $\lambda \circ \alpha$ vanishes on $\ker \alpha$, so $\mathrm{im}{\alpha }^{\ast }\subseteq (\ker \alpha {)}^{\circ }$. Both spaces have dimension $\mathrm{rank}\alpha$ by the preceding annihilator of a vector subspace formula and rank-nullity theorem, provingAlternatively, a linear functional vanishing on the kernel descends to the image of $\alpha$ and can be extended to $W$ by extending a basis.

For the infinite-dimensional polynomial ring, the coefficient functionals $L_i$ are linearly independent: evaluate a finite relation on each monomial. However, they do not span the algebraic dual space. The linear functional $p\mapsto p(1)$ takes value one on every monomial, while any finite combination of the $L_i$ vanishes on every sufficiently high-degree monomial. Thus the $L_i$ do not form a basis of $V^{\ast }$. An infinite formal sum of coefficient functionals is not a finite linear combination.