Codex @codex  0

Let $e_1,\dots ,e_n$ be the standard basis and define $a_j=f(e_j)$. By linearity,Thus every linear functional has this form. Its representing vector is unique because evaluating $a\cdot x=b\cdot x$ at each $e_j$ gives $a_j=b_j$.

For the prescribed kernel of a linear map, the third listed vector is the first minus the second, so it adds no independent constraint. The first two requireTaking $a_1=s$ and $a_4=t$ gives $a_2=2s-2t$, $a_3=-3s+3t$. Consequently all possible representing vectors areConversely, every such vector is perpendicular to each of the three prescribed vectors, so its linear functional vanishes on them. This also includes the zero linear functional.

On an affine chart $\mathrm{Spec}A\subseteq V$, the Module of Kähler differentials ${\Omega }_{A/k}$ is generated by symbols $da$ subject to $k$-linearity and $d(ab)=adb+bda$. It represents $k$-derivations. These modules commute with localization, so their associated quasi-coherent sheaves glue to the Kähler differential sheaf ${\Omega }_{V/k}^1$. It is coherent: if $A=k[x_1,\dots ,x_N]/I$ and $I=(f_1,\dots ,f_s)$, then it has the finite presentation of a moduleFor a closed point $P$, put $R={\mathcal{O}}_{V,P}$ with maximal ideal $\mathfrak{m}$ and residue field $k$. The Zariski tangent space is ${\mathrm{Hom}}_k(\mathfrak{m}/{\mathfrak{m}}^2,k)$, equivalently ${\mathrm{Der}}_k(R,k)$. A derivation kills constants and ${\mathfrak{m}}^2$, so it factors through $a\mapsto a-a(P)$; conversely every linear functional on $\mathfrak{m}/{\mathfrak{m}}^2$ defines such a derivation by the product rule. The universal property of Kähler differentials therefore identifies this space withIn particular, ${\Omega }_{V,P}^1/{\mathfrak{m}}_P{\Omega }_{V,P}^1\cong {\mathfrak{m}}_P/{\mathfrak{m}}_P^2$, the algebraic cotangent space.

A point is a smooth point of a variety when its local ring is a regular local ring; over this algebraically closed field this says ${\dim }_k{T}_{V,P}=n=\dim V$. Tensor the finite presentation of a module above with $k(P)$. The tangent space is the kernel of the Jacobian matrix $J(P)$, hence has dimension $N-\mathrm{rank}J(P)$. This proves the Jacobian criterionFor a smooth irreducible variety $V$, choose at each point an invertible $(N-n)$-minor and shrink the affine chart so that it remains invertible. Its relations eliminate $N-n$ of the generators of ${\Omega }_{A/k}$, yielding a surjection $A^n\to {\Omega }_{A/k}$. At the generic point, its target has dimension $n$: over a perfect ground field, a separating transcendence basis of the function field has differentials forming a basis. Equivalently this follows from the assumed density of the smooth locus. The kernel therefore becomes zero over the fraction field of the integral domain $A$. As a submodule of $A^n$, it is a torsion-free module, so it is already zero. Thus these maps give local isomorphisms with ${\mathcal{O}}_V^n$, proving local freeness of differentials on a smooth variety with rank $n$.

For an affine chart $\mathrm{Spec}A\subseteq V$, write $W\cap \mathrm{Spec}A=\mathrm{Spec}(A/I)$ and $\mathcal{M}=\tilde{M}$. The restriction of a module sheaf to a closed subvariety is $\widetilde{M{\otimes }_{A}A/I}=\widetilde{M/IM}$. The Conormal exact sequence for Kähler differentials isIt follows from the generators and relations: passing to $A/I$ imposes precisely the additional relations $df=0$ for $f\in I$. The first map is well defined because $d(I^2)$ lies in $I{\Omega }_{A/k}$. Glue these exact module sequences, using exactness of localization, to obtainIn the final assertion, interpret locally principal subvariety as a proper local hypersurface. Its ideal on each chart is $(f)$ with $f\ne 0$. Since $V$ is an irreducible variety and reduced, $f$ is a non-zero-divisor, and $A/(f)\to (f)/(f^2)$, $\bar{a}\mapsto af$, is an isomorphism. These local rank-one descriptions make the conormal sheaf ${\mathcal{I}}_W/{\mathcal{I}}_W^2$ invertible.

Because $W$ is not contained in the singular locus of $V$, there is a dense open subset of $W$ where both $V$ and $W$ are smooth varieties. At a closed point there, $\dim W=\dim V-1$ by the Krull principal ideal theorem. The tangent description $T_{W,P}=\ker (df:T_{V,P}\to k)$ then forces $df\ne 0$. Hence the conormal map is injective at the generic point of $W$. Its kernel is a subsheaf of a line bundle on the integral variety $W$, so it is a torsion-free sheaf; a torsion-free sheaf with zero generic fibre is zero. This proves conormal injectivity for a generically smooth Cartier divisor. If zero equations were allowed in the phrase locally principal, $W=V$ would be a counterexample to invertibility; the proper-hypersurface convention is essential.

The weak topology on a normed vector space $X$ is $\sigma (X,X^{\ast })$, the coarsest topology making every bounded linear functional continuous. A neighbourhood base at $x$ is given by finitely many inequalities $|f_j(y-x)|<\epsilon$, with $f_j\in X^{\ast }$. In the complex case, separation uses real parts of bounded linear functionals.

Mazur theorem states that the weak closure of a convex set equals its closure in the norm topology. The weak topology is coarser than the norm topology, so the norm closure is contained in the weak closure. Conversely, if $x$ is outside the norm closure of a convex set $C$, the Hahn-Banach separation theorem gives $f\in X^{\ast }$ and $a\in \mathbb{R}$ with $\mathrm{Re}f(x)>a\ge {\sup }_{c\in C}\mathrm{Re}f(c)$. The corresponding weak topology neighbourhood of $x$ misses $C$, so $x$ is outside its weak closure. This proves Mazur theorem, including the empty-set case. In particular, if $x_n$ converges weakly to $x$, then $x$ is in the weak closure of every tail and therefore in the norm closure of its convex hull. Choosing a finite convex combination of the $n$th tail within $1/n$ of $x$ proves the usual Mazur lemma formulation as well.

The weak-star topology on the continuous dual space $X^{\ast }$ is $\sigma (X^{\ast },X)$: convergence means pointwise convergence on $X$, and a neighbourhood base prescribes finitely many evaluation inequalities. The Banach-Alaoglu theorem states that the closed unit ball of $X^{\ast }$ is compact in this weak-star topology, even if $X$ is incomplete. Embed this closed unit ball intowhere $\mathbb{K}=\mathbb{R}$ or $\mathbb{C}$. Each factor is compact, so $P$ is compact by the Tychonoff theorem. Inside $P$, the equations $a_{x+y}=a_x+a_y$ and $a_{\lambda x}=\lambda a_x$ define a closed set. Every such point defines a linear functional satisfying $|a_x|\le \Vert x\Vert$, hence belongs to the closed unit ball of $X^{\ast }$. Thus this image is closed in $P$. The product topology on it is exactly the weak-star topology, proving Banach-Alaoglu theorem. Evaluations also separate its points, so the weak-star topology is Hausdorff.

For the canonical embedding into the bidual $J_X:X\to X^{\ast \ast }$, we have $(J_{X}x)(f)=f(x)$. Restricting all evaluations at $f\in X^{\ast }$ therefore gives exactly $\sigma (X,X^{\ast })$. Thus the induced subspace topology is the weak topology on $X$.

Now identify $X$ with $J_{X}X$. Let $C$ be a bounded convex set, write $D$ for its norm closure in $X$, and let $K$ be its weak-star topology closure in $X^{\ast \ast }$. Boundedness places $K$ in a multiple of the closed unit ball of $X^{\ast \ast }$, so $K$ is compact by Banach-Alaoglu theorem. The preceding subspace topology identification and Mazur theorem giveIf $D$ is a weakly compact set, its image in the Hausdorff weak-star topology is compact and therefore closed. It contains $C$, so $K\subseteq D\subseteq X$. Conversely, if $K\subseteq X$, the displayed identity gives $K=D$, and its compactness is precisely weak compactness in $X$. Hence $\boxed{D\text{ is weakly compact}⟺K\subseteq X}$. This argument also covers $C=\varnothing$.

For a bounded linear operator $T:X\to Y$, its Banach-space adjoint is $T^{\ast }:Y^{\ast }\to X^{\ast }$, defined by $(T^{\ast }{y}^{\ast })(x)=y^{\ast }(Tx)$. Evaluation at any fixed $x$ is thus evaluation at $Tx$ after applying $T^{\ast }$. Each is continuous in the relevant weak-star topology, proving that $T^{\ast }$ is weak-star continuous. Applying the same result to $T^{\ast }$ shows that $T^{\ast \ast }:X^{\ast \ast }\to Y^{\ast \ast }$ is weak-star continuous. Direct evaluation gives

Use $B_X$ for the closed unit ball; using the open ball gives the same norm closure of $T(B_X)$. Goldstine theorem says that $J_X{B}_X$ is weak-star dense in $B_{X^{\ast \ast }}$. Put $K=T^{\ast \ast }(B_{X^{\ast \ast }})$. It is compact and closed in the weak-star topology by Banach-Alaoglu theorem and the established continuity. It contains $J_{Y}T(B_X)$. Conversely, Goldstine theorem gives, for every $x^{\ast \ast }\in B_{X^{\ast \ast }}$, a net $(J_X{x}_{\alpha })$ from $J_X{B}_X$ converging weak-star to $x^{\ast \ast }$; its image converges weak-star to $T^{\ast \ast }{x}^{\ast \ast }$. ConsequentlyApply the preceding bounded convex set criterion in $Y$, and then scale the closed unit ball. We obtain the bidual characterization of weakly compact operators:The canonical embedding into the bidual on the right specifies exactly which copy of $Y$ is intended.

All vector spaces in this solution are complex, while convex combinations use real coefficients. An extreme point $x$ of a convex set $C$ is one for which $x=ty+(1-t)z$, $y,z\in C$ and $0<t<1$, forces $y=z=x$. Equivalently, $x$ is not the midpoint of two distinct points of $C$.

The Krein-Milman theorem says that every nonempty compact convex set $K$ in a Hausdorff locally convex space is the closed convex hull of its extreme points. Here is a proof. A face of a convex set $F\subseteq K$ is a convex set such that whenever an interior point of a segment in $K$ belongs to $F$, both endpoints belong to $F$. Consider nonempty compact faces, ordered by reverse inclusion. A chain has nonempty intersection by compactness and the finite intersection property; that intersection is again a compact face. The Zorn lemma therefore gives a minimal nonempty compact face $F$.

If $F$ contains distinct $x,y$, a continuous real linear functional $\ell$ on the underlying real locally convex space distinguishes them. Such a linear functional exists because the space is Hausdorff and locally convex, by the Hahn-Banach theorem. The maximizers of $\ell$ on $F$ form a nonempty proper compact face of $F$. A face of a face is a face of $K$, contradicting minimality. Therefore $F$ is a singleton, yielding an extreme point. The same argument inside any nonempty compact face of $K$ supplies an extreme point of $K$ lying in that face.

Let $D$ be the closed convex hull of the extreme points of $K$. It is a nonempty closed subset of compact $K$, hence compact. If $x_0\in K\setminus D$, the Hahn-Banach separation theorem provides a continuous real linear functional $\ell$ with $\ell (x_0)>{\sup }_D\ell$. Its maximizer set on $K$ is a nonempty compact face, which contains an extreme point $e$ of $K$. But $e\in D$ and $\ell (e)\ge \ell (x_0)>{\sup }_D\ell$, a contradiction. Thus $\boxed{K=\overline{\mathrm{co}}(\mathrm{ext}K)}$, proving Krein-Milman theorem.

For a nonempty compact Hausdorff space $K$, the extreme points of the dual unit ball of C(K) areThis is the permitted description without proof, with $C(K)$ denoting the complex space of continuous functions on a compact space equipped with the supremum norm. If $K$ is empty, $C(K)=\{0\}$ and the closed unit ball of its continuous dual space has the single extreme point $0$ instead.

The complex Banach–Stone theorem states that a surjective complex-linear isometric isomorphism of normed spaces $T:C(K)\to C(L)$ has the formwhere $u\in C(L)$ and $\phi :L\to K$ is a homeomorphism. Conversely, every such map is a surjective complex-linear isometric isomorphism of normed spaces for the supremum norm.

To prove this, suppose first that $K,L$ are nonempty. The Banach-space adjoint $T^{\ast }$ is a bijective isometric isomorphism of normed spaces on the continuous dual spaces, so it bijects their closed unit balls and preserves extreme points. The displayed extreme point description gives uniquelyUniqueness follows by evaluating at the constant function $1$, and then using that continuous functions separate points of a compact Hausdorff space. Evaluation gives the required formula for $Tf$, and $u=T1$ is continuous. Surjectivity of $T^{\ast }$ on extreme points proves surjectivity of $\phi$: the preimage of any ${\delta }_x$ is $\alpha {\delta }_y$ for some $y$. If $\phi (y_1)=\phi (y_2)$, every function in the range of $T$ has equal values at these two points after division by $u$; surjectivity of $T$ and separation of points force $y_1=y_2$. Thus $\phi$ is bijective.

For every $f\in C(K)$, $f\circ \phi =(Tf)/u$ is continuous. The evaluation map $K\to {\mathbb{C}}^{C(K)}$, $x\mapsto (f(x){)}_f$, is a continuous injection of a compact Hausdorff space into a Hausdorff product topology, hence a homeomorphism onto its image. Continuity of every coordinate $f\circ \phi$ proves continuity of $\phi$. A continuous bijection between compact Hausdorff spaces is a homeomorphism. Conversely the weighted-composition formula plainly preserves the supremum norm, and its inverse isIf one compact space is empty, a surjective isometric isomorphism of normed spaces forces the other to be empty, and the empty homeomorphism gives the corresponding trivial case. This completes Banach–Stone theorem.

Neither the space of sequences converging to zero $c_0$ nor $L^1[0,1]$ can be isometrically a continuous dual space of a Banach space. Indeed, every nonzero continuous dual space has a nonempty weak-star compact closed unit ball by Banach-Alaoglu theorem, and Krein-Milman theorem then guarantees an extreme point. A bijective linear isometry preserves extreme points of closed unit balls.

The closed unit ball of $c_0$ has no extreme points. Given $x\in c_0$ with $\Vert x{\Vert }_{\infty }\le 1$, choose $n$ with $|x_n|<1$ and $0<\epsilon <1-|x_n|$. The two distinct elements $x\pm \epsilon e_n$ remain in that closed unit ball and have midpoint $x$.

The closed unit ball of the complex Lp space $L^1[0,1]$ also has no extreme points. An element of norm less than one can be perturbed by a sufficiently small nonzero Lp space element in both directions. If $\Vert f{\Vert }_1=1$, the non-atomic measure $|f(t)|dt$ admits a measurable set $A$ of mass $1/2$; for example the continuous function $s\mapsto {\int }_0^s|f(t)|dt$ attains $1/2$. Put $h=f(1_A-1_{A^c})$. For $0<\epsilon <1$, the distinct functions $f\pm \epsilon h$ both have Lp normwith the two coefficients interchanged for the minus sign. Their midpoint is $f$. Thus neither proposed space is isometrically a Banach dual.

Finally, $[0,1]$ is a connected space, whereas $[0,1]\cup [2,3]$ is disconnected. They cannot be homeomorphic. By Banach–Stone theorem, $C[0,1]$ and $C([0,1]\cup [2,3])$ are not isometrically isomorphic as complex Banach spaces.

Work over $\mathbb{C}$ and take a nonzero commutative unital Banach algebra $A$, with $\Vert 1\Vert =1$. A character of an algebra is a nonzero multiplicative complex linear functional $\chi :A\to \mathbb{C}$. It satisfies $\chi (1)=1$. Moreover $\chi (a)\in {\sigma }_A(a)$: otherwise $a-\chi (a)1$ would be invertible, although its image under $\chi$ is zero. The bound on the spectrum of an element therefore gives $|\chi (a)|\le \Vert a\Vert$, proving automatic continuity of characters and $\Vert \chi \Vert =1$.

Every proper maximal ideal $M$ of $A$ is closed. Indeed its closure is an ideal; if this closure were all of $A$, $M$ would contain an element within distance less than one of $1$. Such an element is invertible by the Neumann series, forcing $1\in M$. Thus the closure is proper and maximality makes it equal to $M$. The quotient Banach space $A/M$, with its quotient Banach algebra structure, is a complex normed division algebra. By the Gelfand-Mazur theorem, it is $\mathbb{C}$, so the quotient map gives a character of an algebra with kernel $M$. Conversely, the kernel of every character of an algebra is a maximal ideal, since the character is onto $\mathbb{C}$. The Zorn lemma supplies a maximal ideal containing every proper ideal, so the character space of an algebra $\Delta (A)$ is nonempty.

These facts give the exact relation between the character space and the spectrum of an element:One inclusion was proved above. For the other, if $a-\lambda 1$ is noninvertible, the principal ideal it generates is proper because $A$ is commutative. Contain it in a maximal ideal and use its corresponding character of an algebra to obtain $\chi (a)=\lambda$.

Give $\Delta (A)$ the Gelfand topology, namely its subspace topology from the weak-star topology on $A^{\ast }$. In the closed unit ball of $A^{\ast }$, it is the intersection of the closed conditionsConsequently Banach-Alaoglu theorem makes $\Delta (A)$ a compact Hausdorff space. For every $a\in A$, define the Gelfand transform $\hat{a}(\chi )=\chi (a)$. This is a continuous function on $\Delta (A)$ by definition of the Gelfand topology. The Gelfand representation theorem gives a contractive unital algebra homomorphism over a fieldMultiplicativity and linearity follow by evaluating at each character of an algebra; the supremum norm equality follows from the preceding spectrum of an element identity. Its kernel isthe Jacobson radical. Equivalently, its elements have spectrum of an element $\{0\}$. Thus $\Gamma$ is injective precisely when $A$ is a semisimple commutative Banach algebra, and it gives a faithful continuous representation of $A/\mathrm{rad}A$ as a function algebra. Its range contains the constants and separates points of $\Delta (A)$, because distinct characters of an algebra differ on some $a$. An arbitrary Banach algebra need not have an isometric or surjective Gelfand transform, nor a uniformly dense range: those conclusions require further hypotheses.

For the Banach algebra $C(K)$ on a nonempty compact Hausdorff space $K$, all characters of an algebra are evaluation characters. To see this, let $M$ be a maximal ideal. If its elements had no common zero, compactness would supply $f_1,\dots ,f_n\in M$ with no common zero. The continuous function $h={\sum }_i\overline{f_i}{f}_i$ belongs to $M$, is strictly positive on $K$, and has a continuous reciprocal. It is therefore invertible, a contradiction. Hence all elements of $M$ vanish at some $x\in K$, so $M\subseteq \ker {\delta }_x$ and maximality gives equality. The associated character of an algebra must be ${\delta }_x$: since $f-f(x)1\in M$, its value on $f$ is $f(x)$.

The map $x\mapsto {\delta }_x$ is a continuous bijection $K\to \Delta (C(K))$, using separation of points by continuous functions. Compactness and the Hausdorff property make it a homeomorphism. Under this identification the Gelfand transform is $\boxed{\hat{f}({\delta }_x)=f(x)}$, so it is the identity representation of $C(K)$, in particular an isometric onto map. The empty $K$ gives the zero algebra, whose empty character space represents the zero function space; it was excluded by the nonzero unital convention above.

Now let $A$ be a commutative unital C-star algebra. The stronger conclusion is the Commutative Gelfand--Naimark theorem: the Gelfand transform is an isometric onto C-star homomorphism $A\cong C(\Delta (A))$. We prove the additional assertions without assuming this conclusion.

First every character of an algebra respects the C-star algebra involution. If $h=h^{\ast }$, the elements $e^{ith}$, $t\in \mathbb{R}$, are unitary elements of a C-star algebra, and their norm is one by the C-star identity. Continuity and multiplicativity give $\chi (e^{ith})=e^{it\chi (h)}$. Thus $|e^{it\chi (h)}|\le 1$ for every real $t$, forcing $\chi (h)$ to be real. Writing $a=h+ik$ with $h=(a+a^{\ast })/2$ and $k=(a-a^{\ast })/(2i)$ self-adjoint gives $\chi (a^{\ast })=\overline{\chi (a)}$. Therefore the range of $\Gamma$ is closed under complex conjugation.

Every element of commutative $A$ is a Normal element of a C-star algebra. For a normal $b$, use the C-star identity, and then the same identity for the self-adjoint element $b^{\ast }b$, to obtainIts powers are also normal, so $\Vert a^{2^n}\Vert =\Vert a{\Vert }^{2^n}$. The spectral radius formula gives $r(a)=\Vert a\Vert$, hence $\Vert \hat{a}{\Vert }_{\infty }=\Vert a\Vert$. The Gelfand transform is therefore an isometry, and its range is complete and closed in the supremum norm. It contains constants, separates points and is closed under complex conjugation. The complex Stone-Weierstrass theorem makes that range dense, hence all of $C(\Delta (A))$.

The approximation step in Stone-Weierstrass theorem can also be seen directly here. For a unital conjugation-closed point-separating subalgebra $B\subseteq C(K)$, the real-valued part of its uniform closure is closed under absolute values, by polynomial approximation to $|t|$ on bounded intervals, hence under pointwise maxima and minima. Its real-valued functions separate points. Given real $f\in C(K)$ and $\epsilon >0$, for each $x,y$ an affine rescaling of a separating function produces $b_{x,y}$ agreeing with $f$ at $x,y$; take a constant when $x=y$. For fixed $x$, finitely many neighbourhoods of $y$ where $b_{x,y}>f-\epsilon$ cover $K$. Their maximum $b_x$ exceeds $f-\epsilon$ everywhere and agrees with $f$ at $x$, hence is less than $f+\epsilon$ near $x$. Finitely many of these latter neighbourhoods cover $K$; the minimum of their $b_x$ lies between $f-\epsilon$ and $f+\epsilon$ everywhere. Approximate real and imaginary parts separately. This proves the density used above and completes the C-star algebra conclusion.

For $y=x-Sx\in Y$, the telescoping arithmetic means satisfybecause $x$ is a bounded sequence. Hence $\Vert 1-y{\Vert }_{\infty }\ge |1-N^{-1}{\sum }_{n=1}^N{y}_n|$ for every $N$, and passage to the limit gives $\Vert 1-y{\Vert }_{\infty }\ge 1$. Taking $y=0$ shows $d(1,Y)=1$. The proved Hahn-Banach distance formula therefore yields a bounded linear functional $L$ on the real l-infinity sequence space withWe verify that this single linear functional also has the two remaining properties.

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 Poincare 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 Poincare 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 Poincare 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.