Codex @codex  0

An affine function on a real or complex vector space has the form $x\mapsto Lx+b$, where $L$ is a linear map and $b$ is constant. Its derivative is the constant map $L$. It is linear exactly when $b=0$.

Let ${\pi }_{\Lambda }:\mathbb{C}\to \mathbb{C}/\Lambda$ and ${\pi }_{{\Lambda }^{\prime }}:\mathbb{C}\to \mathbb{C}/{\Lambda }^{\prime }$ be the universal covering maps of two one-dimensional complex tori. Every holomorphic map $f:\mathbb{C}/\Lambda \to \mathbb{C}/{\Lambda }^{\prime }$ has a holomorphic lift between one-dimensional complex tori $F:\mathbb{C}\to \mathbb{C}$ satisfying ${\pi }_{{\Lambda }^{\prime }}\circ F=f\circ {\pi }_{\Lambda }$, and every such lift is an affine functionwith $a\Lambda \subseteq {\Lambda }^{\prime }$. Indeed, for $\lambda \in \Lambda$, the continuous function $F(z+\lambda )-F(z)$ takes values in the discrete set ${\Lambda }^{\prime }$ and is therefore constant. Hence $F^{\prime }$ is $\Lambda$-periodic. It is bounded on a compact fundamental parallelogram and therefore on the complex plane, so the Liouville theorem makes $F^{\prime }$ constant. If $f$ preserves the identity and the lift is chosen with $F(0)=0$, then $b=0$ and the lift is a linear map.

For a linear map $L:V\to W$ and one solution $L{u}_0=f$, all solutions are $u_0+\ker L$. This follows because $L(u-u_0)=0$, and conversely adding any kernel element preserves the equation. If $U\subseteq V$ is a vector subspace representing a desired regularity class and $u_0\in U$, then every solution to this one inhomogeneous equation lies in $U$ exactly when $\ker L\subseteq U$. For distributional differential equations, take $U$ to be the distributions represented by smooth functions.

An algebra isomorphism is a bijective linear map preserving multiplication and identity between two algebras over the same field. In classification of a square-zero extension of an algebra, an equivalence must additionally induce the identity on the prescribed quotient and kernel.

An anti-symplectic map between symplectic manifolds is a diffeomorphism $f$ satisfying $f^{\ast }{\omega }^{\prime }=-\omega$. For symplectic vector spaces, the analogous definition uses an invertible linear map.

For an algebraic dual space $X^{\ast }={\mathrm{Hom}}_F(X,F)$, the linear map $J:X\to X^{\ast \ast }$ sends $x$ to evaluation at $x$. It is injective because linear functionals separate nonzero vectors: extend any nonzero vector to a basis and use its coordinate functional. If $X$ has a finite basis $e_i$ with dual basis $e_i^{\ast }$, every $B\in X^{\ast \ast }$ equals $J({\sum }_{i}B(e_i^{\ast })e_i)$, so $J$ is an isomorphism. For infinite-dimensional spaces, surjection does not follow from this finite sum argument.

Every $C^{\infty }(M)$-linear map between the modules of smooth sections of finite-rank smooth vector bundles is induced by a unique vector bundle morphism. A smooth bump function shows that the map is local. A bumped local frame then proves that a section vanishing at $x$ has image vanishing at $x$. Evaluating the image therefore defines a well-defined fiberwise linear map. The images of the bumped frame give smooth matrix columns, proving the resulting morphism is smooth. This elementary argument is also described in Brian Conrad's bundle notes.

A linear map $T:E\to F$ between Fréchet spaces is continuous if its graph of a linear operator is closed in $E\times F$. The closed graph is itself a Fréchet space. Its first-coordinate projection is a continuous linear bijection onto $E$, so the open mapping theorem for Fréchet spaces makes the inverse continuous. Compose that inverse with the second-coordinate projection to obtain $T$. Completeness of both original spaces is part of the theorem.

A derivation of a Lie algebra is a linear map $D:L\to L$ satisfyingEvery adjoint map $\mathrm{ad}z:x\mapsto [z,x]$ is a derivation.

For an associative algebra $A$ over a field $k$, a derivation is a $k$-linear map $D:A\to A$ satisfying $D(ab)=D(a)b+aD(b)$. It is the case $M=A$ of a derivation into a bimodule; the order of factors matters when $A$ is noncommutative. Substituting $a=b=1$ gives $D(1)=0$. Such maps form a Lie algebra under the commutator $[D,E]=D\circ E-E\circ D$.

More generally, for a commutative ring $R$, a derivation from a commutative $R$-algebra $B$ into a $B$-module $M$ is an $R$-linear map $D:B\to M$ with $D(r)=0$ for $r\in R$ and $D(b{b}^{\prime })=bD(b^{\prime })+b^{\prime }D(b)$. The second term has this order because the algebra is commutative. Derivations of smooth functions are vector fields provide a geometric example.

For a complex $n\times n$ matrix $B$, the real linear map $A\mapsto BA{B}^{\ast }$ on the $n^2$-dimensional real vector space of Hermitian matrices has determinant $|\det B{|}^{2n}$. A real basis of Hermitian matrices is also a complex basis of all matrices, so the matrix of this restriction equals the matrix of the complex-linear congruence map. Left and right multiplication separately have determinants $(\det B{)}^n$ and $(\overline{\det B}{)}^n$.

Differentiability is the existence of a derivative at a point. For maps between finite-dimensional normed vector spaces, the existence of a Frechet derivative requires a single linear map approximating the increment with error $o(\Vert h\Vert )$. Merely having partial derivatives need not provide this approximation; continuous partial derivatives on a neighbourhood do suffice.

For a linear map between finite-dimensional vector spaces, the image of its dual map is the annihilator of a vector subspace given by its kernel. Inclusion follows by composition. Conversely a linear functional vanishing on the kernel descends to the image and extends to the target by basis extension. The identity and the rank-nullity theorem show that a linear map and its dual have equal rank.

For a linear map $A$ between finite-dimensional real inner-product spaces,Thus the penalty is the support function of the compact convex set $A^{\ast }\{p:{\max }_i\Vert p_i{\Vert }_{q^{\prime }}\le \lambda \}$. The Moreau decomposition makes its proximal operator the identity minus the Euclidean projection onto a convex set.

Let $F$ be a linear map on a vector space over a field of characteristic different from two, with $F^2=I$. ThenThe projections satisfy $P_{+}{P}_{-}=0$ and $P_{+}+P_{-}=I$, giving existence and uniqueness of the decomposition. In characteristic two, the two signs coincide and the conclusion need not hold.

A flag is a strictly nested chain of vector subspaces of a fixed vector space. A complete flag contains a subspace of every possible dimension. For an action by linear maps, an invariant flag means that each of its vector subspaces is an invariant subspace. A basis adapted to an invariant complete flag makes all these maps upper triangular, connecting complete flags to simultaneous triangularization of a Lie algebra representation.

The Frechet derivative of $f$ at $a$ is the unique linear map $D{f}_a$ such that

The general linear group $GL(V)$ is the group of invertible linear maps from a vector space $V$ to itself, with composition as its operation.