Codex @codex  0

A map $f:A\to {\mathbb{R}}^m$ is differentiable at $p\in A$ when there is a linear map $Df(p):{\mathbb{R}}^n\to {\mathbb{R}}^m$ such thatThe linear map $Df(p)$ is the Fréchet derivative of $f$ at $p$.

The multivariable chain rule states that if $f$ is differentiable at $p$ and $g$ is differentiable at $f(p)$, thenIndeed, write $f(p+h)=f(p)+Ah+r(h)$ and $g(f(p)+k)=g(f(p))+Bk+s(k)$, where $r(h)=o(|h|)$ and $s(k)=o(|k|)$. Since $k=Ah+r(h)=O(|h|)$,and the last two terms are $o(|h|)$. This proves the formula.

For matrix inversion near the identity matrix,The last term is $O(\Vert h{\Vert }^2)$ because inversion is bounded near $I$. Therefore the inversion map is differentiable at $I$ and

A Cartan subalgebra $\mathfrak{h}$ of a finite-dimensional complex semisimple Lie algebra is a maximal abelian subalgebra consisting of semisimple elements. The root-space decomposition isand the nonzero functionals $\alpha$ are the roots. A Cartan-Weyl basis consists of a basis $H_i$ of $\mathfrak{h}$ and root vectors $E_{\alpha }\in {\mathfrak{g}}_{\alpha }$. Its brackets have the formand $[E_{\alpha },E_{\beta }]=N_{\alpha \beta }{E}_{\alpha +\beta }$ when $\alpha +\beta$ is a root, and zero when $\alpha +\beta$ is neither a root nor zero.

For the complexified so4 Lie algebra, take $H^1=T^{(12)}$ and $H^2=T^{(34)}$. WriteDirect use of the stated commutation relations givesThe simultaneous eigenvectors, hence the step generators, may be chosen asThus the roots relative to $(H^1,H^2)$ are $(\pm i,\pm i)$. Replacing $H^a$ by $-i{H}^a$ gives the usual real coordinates $(\pm 1,\pm 1)$. The only nonzero brackets between step generators, apart from those obtained by antisymmetry, are

An isomorphism of Lie algebras is a bijective linear map preserving the Lie bracket. DefineThenThe two spans are commuting copies of the complexified ${\mathfrak{su}}_2$, and together contain all six basis elements of ${\mathfrak{so}}_4$. Chiral decomposition of the complexified so4 Lie algebra therefore givesUnder this isomorphism the Adjoint representation is the direct sum of the adjoint representations of the two factors:

Write $B$ for the open unit ball. Because $T$ is a linear map, the hypothesis scales toFix $y\in B$. Choose numbers $r$ and $\theta$ such thatthen $r/(1-\theta )<1$.

Set $z_0=y$. Inductively, if $\Vert z_{j-1}\Vert <r{\theta }^{j-1}$, the scaled density statement lets us chooseand we put $z_j=z_{j-1}-T{x}_j$. The geometric series givesBecause $X$ is a Banach space, $x={\sum }_{j\ge 1}{x}_j$ exists and lies in $B$. Since $T$ is a bounded linear operator, it is continuous, whileTherefore $Tx=y$. As $y\in B$ was arbitrary,This is the dense open-unit-ball image criterion.

Let $\pi :\mathbb{C}\to \mathbb{C}/\Lambda$ be the universal covering map. Since the complex plane is a simply connected domain, the lifting criterion for a covering space gives a holomorphic lift between one-dimensional complex tori $F:\mathbb{C}\to \mathbb{C}$ such thatFor every $\lambda \in \Lambda$, the difference $F(z+\lambda )-F(z)$ belongs to the discrete period lattice $\Lambda$. It depends continuously on $z$, so it is constant. Differentiating shows that the derivative $F^{\prime }$ is $\Lambda$-periodic. It is bounded on the compact closure of a fundamental parallelogram, and periodicity makes it bounded on all of $\mathbb{C}$. The Liouville theorem therefore makes $F^{\prime }$ constant, and henceThus every holomorphic map has an affine lift of a holomorphic map between one-dimensional complex tori. If “map of complex tori” means an identity-preserving map, choose $F(0)=0$; then $b=0$, so $F$ is the required linear map. Without that convention the statement must say affine, since a nonzero translation in a group of the torus lifts to $z\mapsto z+b$.

The Weierstrass elliptic function of $\Lambda$ isThe subtracted term gives the Normal convergence of the Weierstrass elliptic-function series away from $\Lambda$. PutThe Laurent coefficients of the Weierstrass elliptic function at zero giveSet $g_2=60G_4$ and $g_3=140G_6$. Direct substitution shows that the principal part and constant term ofvanish at zero. Since $H$ is an elliptic function, translation gives the same cancellation at every point of the period lattice. Every apparent isolated singularity is therefore a removable singularity, so $H$ is an entire function. It is periodic and hence bounded on the translates of a compact fundamental parallelogram. The Liouville theorem gives $H=0$, which proves the Weierstrass elliptic differential equation

Finally suppose that $f$ is a biholomorphic group homomorphism. Its identity-preserving lift has the form $F(z)=\zeta z$ by the first part. Since the inverse map also lifts linearly,Choose a $\mathbb{Z}$-basis of $\Lambda$. Multiplication by $\zeta$ is then represented by a unimodular matrix $A\in {\mathrm{GL}}_2(\mathbb{Z})$. As a real-linear transformation of $\mathbb{C}$, it has determinant $|\zeta {|}^2>0$; hence $\det A=1$ and $|\zeta |=1$. The characteristic polynomial of $A$ and the Cayley-Hamilton theorem giveThis already has the required form with $m=-\mathrm{tr}(A)\in \mathbb{Z}$ and $n=1$. Moreover $2\mathrm{Re}\zeta =\mathrm{tr}(A)$, so $|\zeta |=1$ forces $\mathrm{tr}(A)\in \{-2,-1,0,1,2\}$. Thus $\zeta$ is a root of unity, of order $1$, $2$, $3$, $4$, or $6$, completing the description of an automorphism of a one-dimensional complex torus.

The structure theorem for finitely generated modules over a principal ideal domain applies because every Euclidean domain is a principal ideal domain. It says that a finitely generated $R$-module is isomorphic towhere the nonzero nonunits $d_i$ are unique up to multiplication by units. They are the invariant factors.

For $V_{\alpha }$, multiplication by $X$ is the linear map $\alpha$. Since $V$ is finite-dimensional over $F$, $V_{\alpha }$ is a finitely generated torsion module over the polynomial ring $F[X]$, so it has no free summand. Choosing each invariant factor $a_i$ to be monic givesThe basis $1,X,\dots ,X^{\mathrm{deg}{a}_i-1}$ of each cyclic summand makes multiplication by $X$ a companion matrix. Concatenating these bases therefore puts $\alpha$ in rational canonical form.

On $F[X]/(a_i)$, a polynomial annihilates multiplication by $X$ exactly when it is divisible by $a_i$. It follows that the minimal polynomial and characteristic polynomial areThe second identity follows blockwise from the characteristic polynomial of a companion matrix. Since every $a_i$ divides $a_k$, the product ${\chi }_{\alpha }$ annihilates every cyclic summand. Thus ${\chi }_{\alpha }(\alpha )=0$, which is the Cayley-Hamilton theorem.

For the displayed matrix, the given generators of $\ker \theta$ are the columns ofElementary row and column operations over $\mathbb{R}[X]$ give the Smith normal formConsequently the nonunit invariant factors areand, as a check,

Because $x\mapsto c^{T}x$ is a linear map,Hence composition of a convex function with an affine map is convex, and $g$ is convex.

Because $A\subseteq {\mathbb{Z}}^2$ is finite, choose $R$ with $A\subseteq [-R,R{]}^2$ and an integer $M>2sR$. DefineAn equality of $s$-term sums in ${\mathbb{Z}}^2$ plainly gives equality after applying this linear map. Conversely, equality of the images giveswhere $|{\Delta }_x|\le 2sR<M$. Therefore ${\Delta }_x=0$, and then ${\Delta }_y=0$. The same estimate with one term on each side shows that $\varphi$ is injective on $A$. Hence $\varphi$ is a Freiman s-isomorphism from $A$ to the subset $\varphi (A)\subseteq \mathbb{Z}$.

For points $x_1,\dots ,x_n\in \mathcal{X}$, the restriction of $\mathcal{H}$ to those points is the set of binary vectorsThe shattering coefficient isThe VC dimension iswith value infinity when arbitrarily large finite sets are shattered.

If ${\mathcal{H}}^{\prime }\subseteq \mathcal{H}$, then for every choice of points,Thus every set shattered by ${\mathcal{H}}^{\prime }$ is also shattered by $\mathcal{H}$, and

Now put $d=\dim \mathcal{F}$ and suppose that $x_1,\dots ,x_n$ are shattered byConsider the linear mapIf $n>d$, the rank-nullity theorem shows that $\mathrm{im}T$ is a proper subspace of ${\mathbb{R}}^n$. Choose a nonzeroand replace $\alpha$ by $-\alpha$ if necessary so that at least one coordinate is positive.

Ask for the labeling that assigns label zero when ${\alpha }_i>0$ and label one when ${\alpha }_i<0$; coordinates with ${\alpha }_i=0$ may be labeled arbitrarily. Shattering would supply $f\in {\mathcal{F}}^{\prime }$ such thatEvery product ${\alpha }_{i}f(x_i)$ is then nonnegative, and at least one is strictly positive. Hencecontradicting $\alpha \perp \mathrm{im}T$. Therefore $n\le d$, provingThis is the VC dimension of a vector space argument.

Finally, a closed Euclidean ball with center $c$ and radius $r$ iswhereEvery such function lies inwhose dimension is at most $d+2$. Applying the result just proved gives the VC dimension upper bound for Euclidean balls

Write $D=\mathrm{ad}y$. The generalized eigenspace decomposition of the linear map $D$ isfor any sufficiently large $N$. Because $D$ is a derivation, the generalized-eigenspace bracket lemma givesConsequently $L_{0,y}$ is a Lie subalgebra.

The set $I(K)=\{x\in L:[x,K]\subseteq K\}$ is the normalizer of a Lie subalgebra $K$. Certainly $L_{0,y}\subseteq I(L_{0,y})$. Conversely, if $x\in I(L_{0,y})$, then $y\in L_{0,y}$ givesOn the direct sum of the nonzero generalized eigenspaces, $D$ is invertible. Hence the nonzero-eigenvalue component of $x$ vanishes, and

Now let $K$ be a Lie subalgebra containing $L_{0,y}$. Since $y\in K$, the subspace $K$ is $D$-invariant. The generalized zero eigenspace of the induced map on $L/K$ is the image of $L_{0,y}$, hence is zero. If $x\in I(K)$, then $Dx=[y,x]\in K$, so $x+K$ lies in that zero eigenspace. Thus $x\in K$ and

A nilpotent Lie algebra is one whose lower central serieseventually reaches zero. Suppose $L$ is nilpotent and $K⊊L$. Choose the least $r\ge 2$ for which ${\gamma }_r(L)\subseteq K$. Then ${\gamma }_{r-1}(L)⊈K$, and anysatisfies $[x,K]\subseteq [L,{\gamma }_{r-1}(L)]={\gamma }_r(L)\subseteq K$. Therefore $x\in I(K)\setminus K$, proving the normalizer condition for a nilpotent Lie algebra

It remains to prove the converse needed here. The Engel lemma states that if a finite-dimensional Lie algebra of linear maps consists of nilpotent maps, then the maps have a common nonzero vector in their kernels. To prove it, induct on the dimension of the algebra. For a maximal proper subalgebra $H$, induction applied to the action of $H$ on $L/H$ produces $x\notin H$ with $[H,x]\subseteq H$. Thus $H$ is an ideal of codimension one. Induction also gives a nonzero common kernelThe ideal property makes $W$ invariant under $L$; a nilpotent representative of a basis of $L/H$ has a nonzero kernel on $W$, yielding a vector killed by all of $L$.

Apply the lemma to the Adjoint representation. It produces a nonzero element of the center of a Lie algebra. Induction on $\dim L$, followed by passage to the quotient by this center, proves Engel theorem: if every $\mathrm{ad}y$ is nilpotent, then $L$ is nilpotent. The hypothesis $L_{0,y}=L$ says exactly that every $\mathrm{ad}y$ is nilpotent, so

On the unit ball, part 1 controls the $L^2$ norm. Outside it, $|x{|}^{\alpha }\ge 1$, soHence $\Vert u{\Vert }_2\le C\Vert u{\Vert }_{\Sigma }$, proving that the embedding $\Sigma \hookrightarrow L^2$ is continuous.

For compactness, let $(u_n)$ be bounded in $\Sigma$. On each ball, it is bounded in $H^1$, so the Rellich-Kondrachov compactness theorem gives a subsequence convergent in local $L^2$. The tail estimateis uniform in $n$ and tends to zero as $R\to \infty$. A diagonal argument therefore gives convergence in all of $L^2$. This is the compact embedding of a confining-potential energy space.

Let $(T_m)$ be a Cauchy sequence in the operator norm. For each $v\in V$,so $(T_{m}v)$ is a Cauchy sequence. Completeness of the Banach space $V$ permits the definition
$Tv={\lim }_m{T}_{m}v$. Pointwise passage to the limit proves that $T$ is a linear. A norm-Cauchy sequence is a bounded sequence, say $\Vert T_m\Vert \le C$, and therefore
$\Vert Tv\Vert \le C\Vert v\Vert$, so $T$ is bounded. Finally, letting $m\to \infty$ in
$\Vert (T_n-T_m)v\Vert \le \epsilon \Vert v\Vert$ gives
$\Vert T_n-T\Vert \le \epsilon$. Thus $T_n\to T$ in operator norm and
$\mathcal{B}(V,V)$ is Banach.

Choose bases of $V$ and $W$, of dimensions $v$ and $w$. A linear map is uniquely determined by the arbitrary images of the $v$ basis vectors, each with $w$ coordinates, so

Put $a=\dim A$ and $b=\dim B$, and extend bases of $A,B$ to bases of $V,W$. The condition $\varphi (A)\subseteq B$ forces the $(w-b)a$ matrix entries from $A$ to a complement of $B$ to vanish and imposes no other restriction. Hence

For the last part let $r=\dim (S\cap T)=s+t-v$. ChooseA map in $Y$ sends $S\cap T$ into itself, $S_0$ into $S$, and $T_0$ into $T$, with these choices independent. Therefore

Evaluating the function at the endpoint gives the displacementThereforeThe force-induced displacement $h$ is a linear map of $F$.

For $a\in U$, the function $f:U\to {\mathbb{R}}^n$ is differentiable at $a$ if there is a linear map $A:{\mathbb{R}}^m\to {\mathbb{R}}^n$ such thatThe linear map is unique and is the Fréchet derivative $D{f}_a=A$. The function is continuously differentiable at $a$ if it is differentiable on a neighbourhood of $a$ and the map $x\mapsto D{f}_x$, with values in the space of linear maps equipped with the operator norm, is continuous at $a$.

If $T:{\mathbb{R}}^m\to {\mathbb{R}}^n$ is linear, thenConsequently $D{T}_a=T$ at every $a$. The derivative is a constant function of $a$, hence is continuous, so every linear map is continuously differentiable everywhere.

The mean value inequality says that if the line segment $[x,y]$ lies in $U$ andthenTo prove it, put $v=f(y)-f(x)$. The claim is immediate if $v=0$. Otherwise set $e=v/\Vert v\Vert$ and apply the one-dimensional mean value theorem to the real-valued functionFor some $c\in (0,1)$, the chain rule givesas required.

Now suppose that $U$ is open and connected and that $D{f}_a=0$ for every $a\in U$. Every point has an open ball contained in $U$. The mean value inequality with $M=0$ shows that $f$ is constant on each such ball, so $f$ is locally constant. Fix $a_0\in U$. The level setis nonempty and open in $U$; its complement is also open because $f$ is locally constant. Since $U$ is connected, $E=U$. This proves the zero derivative on a connected open set result: $f$ is constant.

The inverse function theorem states that if $f:U\to {\mathbb{R}}^m$ is continuously differentiable, $a\in U$, and $D{f}_a$ is an invertible linear map, then there are open neighbourhoods $V$ of $a$ and $W$ of $f(a)$ such that $f{|}_V:V\to W$ is a bijection whose inverse is continuously differentiable.

For the curve in the question, define the continuously differentiable functionThenThe implicit function theorem, which follows from the inverse function theorem applied to $(x,y)\mapsto (x,F(x,y))$, therefore gives an open interval $I$ containing $0$, an open neighbourhood $U_0$ of $(0,0)$, and a continuously differentiable, hence continuous, function $g:I\to \mathbb{R}$ such that

A bilinear form $B$ on $V$ is nondegenerate whenIn finite dimensions this is equivalent to nondegeneracy in the first argument.

Define the linear mapNondegeneracy makes ${\beta }_1$ injective. Since $V$ and its dual space have the same finite dimension, ${\beta }_1$ is an isomorphism. Similarly define ${\beta }_2(w)=B_2(-,w)$ and setThen $\alpha$ is linear and

If $w\in \ker \alpha$, this identity gives $B_2(v,w)=0$ for every $v$. Conversely, if $B_2(v,w)=0$ for every $v$, then $B_1(v,\alpha w)=0$ for every $v$, so nondegeneracy gives $\alpha w=0$. HenceThis is the representation of a bilinear form relative to a nondegenerate bilinear form.

Write an element of the Integer Heisenberg group as $(x,y,z)$. Matrix multiplication givesThe subgroupis normal and isomorphic to ${\mathbb{Z}}^2$. If $t=(1,0,0)$, thenThus, on the coordinate column $(y,z{)}^T$, conjugation by $t$ is the linear map with matrixEvery element has a unique expression $(0,y,z)t^x$, so

The commutators $[t,(0,y,z)]$ fill the central subgroup of matrices $(0,0,z)$, while the quotient by this subgroup is generated freely and abelianly by the images of $(1,0,0)$ and $(0,1,0)$. Equivalently, $(A-I){\mathbb{Z}}^2$ is the second coordinate axis. Therefore the abelianization is

Write $w_k=(x_k,z_k)$ and $w_{k+1}=(x_{k+1},z_{k+1})$. ExpandinggivesThe off-diagonal terms in the first equation cancel. By the optimality condition for the proximal operator,The second equation then becomes the explicit linear updateThus each step of this preconditioned proximal point algorithm uses only one evaluation of the proximal operator of ${\alpha }^{-1}f$, together with applications of the linear map $A$ and its transpose $A^T$.

Write $1_n$ for the all-one column vector. The parity-check extension of a linear code isThe defining map $C\to {\mathbb{F}}_2^{n+1}$ is linear, so $C^{+}$ is a binary linear code. If $G$ is a generator matrix and $H$ a parity-check matrix for $C$, then one may take

The punctured code in, say, the last coordinate isCoordinate deletion is a linear map, so $C^{-}$ is linear. Its generator matrix $G^{-}$ is obtained by deleting the last column of $G$. If the minimum distance is at least two, deletion is injective on $C$, and hence $C^{-}$ has the same dimension as $C$.

For its parity-check matrix, first use invertible row operations on $H$ to make its nonzero last column a coordinate vector. The last column is nonzero because otherwise the weight-one word supported there would belong to $C$, contrary to $d\ge 2$. Delete the pivot row and the last column; the resulting matrix $H^{-}$ is a parity-check matrix for $C^{-}$. Equivalently, $(C^{-}{)}^{\perp }$ is obtained by shortening the dual code $C^{\perp }$ at the deleted coordinate.

Finally, the shortened code in the last coordinate isIt is linear whenever $C$ is linear, because it is the puncture of the subspace $C\cap \{x_n=0\}$.

The rank-nullity theorem states that for a linear map with finite-dimensional domain,Here the domain is ${\mathbb{R}}^3$, and the preceding parts givewhich verifies the theorem.

For a linear map $T:V\to W$, its rank is $\dim \mathrm{im}T$ and its nullity is $\dim \ker T$. The rank-nullity theorem states that, when $V$ is finite-dimensional,To prove it, take a basis $v_1,\dots ,v_k$ of $\ker T$ and extend it to a basisof $V$. The vectors $T{v}_{k+1},\dots ,T{v}_n$ span $\mathrm{im}T$. They are also linearly independent: if ${\sum }_{j=k+1}^n{a}_{j}T{v}_j=0$, then ${\sum }_{j=k+1}^n{a}_j{v}_j\in \ker T$, and independence of the chosen basis forces every $a_j$ to vanish. Thus the rank is $n-k$ and the nullity is $k$.

For the given subspace, row reduction of the coefficient matrix givesTaking $x_3=s$ and $x_5=t$ therefore givesHenceis a basis of $W$.