Codex @codex  0

Use the standard implicit assumption that $p$ is prime, so ${\mathbb{F}}_p$ is a finite field. The matrices in question form $G{L}_2({\mathbb{F}}_p)$, the general linear group over a finite field. Products stay in the set because determinants multiply, the identity has determinant one, andhas entries in the finite field and nonzero determinant. Together with associativity this verifies the group axioms. The multiplication of matrices with column vectors is a group action because $Iv=v$ and $(gh)v=g(hv)$.

Let $C=⟨g⟩$ be the order-$p$ cyclic subgroup. By the orbit-stabilizer theorem, its group orbits on ${\mathbb{F}}_p^2$ have size either one or $p$. If $f$ is the number of fixed vectors, counting all $p^2$ vectors gives $f\equiv p^2\equiv 0(\mathrm{mod}p)$. Since the zero vector is fixed, $f\ge 1$ and hence $f\ge p$. There is a nonzero fixed vector $v$.

Extend $v$ to a basis $(v,w)$. In this basis $g$ has matrix $\left(\begin{array}{cc}1& b\\ 0& d\end{array}\right)$. From $g^p=I$ we get $d^p=1$; in the prime finite field, $d^p=d$, so $d=1$. Since $g$ has order $p>1$, it is not the identity, and $b\ne 0$. Replace $w$ by $b^{-1}w$. Then $g(b^{-1}w)=v+b^{-1}w$, and in the new basisThus all the order-p matrices in GL2 over the prime field form one conjugacy class. This proof also works at $p=2$. Primality is essential to the first assertion: for modulus four, $\mathrm{diag}(2,1)$ has nonzero determinant but no inverse, so the set defined using merely nonzero determinants would not be a group.

Use the positive Laplace-Beltrami operator, $\Delta =-\mathrm{div}\nabla$. A flat torus is the quotient ${\mathbb{R}}^d/\Lambda$, where $\Lambda$ is a full-rank Euclidean lattice and the metric descends from the Euclidean metric. Its dual lattice isIf $V$ is the covolume of $\Lambda$, the functions ${\varphi }_{\xi }(x)=V^{-1/2}{e}^{2\pi i⟨\xi ,x⟩}$ descend to the torus. Direct differentiation gives the spectrum of a flat torus:The multiset includes one entry for each dual vector. In particular zero has multiplicity one. Writing $\Lambda =B{\mathbb{Z}}^d$ identifies the dual vectors with $B^{-T}m$, $m\in {\mathbb{Z}}^d$. Standard Fourier series on the unit cube then prove that these functions are an orthonormal basis of $L^2$ on the torus. If $\Delta f=\lambda f$, its Fourier coefficients satisfy $(4{\pi }^2|\xi {|}^2-\lambda )\hat{f}(\xi )=0$. Thus every eigenfunction is a linear combination of the indicated shell of frequencies, with no additional eigenvalues. Compactness gives the discrete self-adjoint realization, whose eigenfunctions are smooth. For real functions the two characters at $\xi ,-\xi$ become cosine and sine, giving the same real multiplicities. The opposite Laplacian sign would negate all displayed eigenvalues without changing the rigidity conclusion.

To prove two-dimensional spectral rigidity, let $L={\Lambda }^{\ast }$ and recover its Gram matrix from its vector-length multiset. Let $a$ be the shortest nonzero length and choose $v\in L$ with $|v|=a$. This vector is primitive: a proper integer multiple would have a shorter lattice vector. Hence $L\cap \mathbb{R}v=\mathbb{Z}v$. From the spectral multiset subtract exactly two occurrences of each length $ka$, $k=1,2,\dots$. The remaining multiset consists precisely of the vectors not on this line, including correct multiplicities at coincident lengths. Its least length $b$ is the length of a shortest vector $w$ independent of $v$.

The pair $(v,w)$ is a basis of $L$. Otherwise take a lattice point in a nonzero coset of $\mathbb{Z}v+\mathbb{Z}w$ and reduce its two coefficients into $[-1/2,1/2]$. The resulting nonzero lattice vector $z=\alpha v+\beta w$ is not on $\mathbb{R}v$, by primitivity of $v$. Butwith strict inequality: when both coefficients are nonzero the triangle inequality is strict for independent vectors, and when one vanishes its length is at most $b/2$. This contradicts the definition of $b$. Subtract an integer multiple of $v$ from $w$ and, if necessary, change its sign to arrange $0\le c=⟨v,w⟩\le a^2/2$; minimality of $b$ makes this reduction possible without decreasing its length.

The covolume $A$ of $L$ is also spectral. The count of lattice vectors with length at most $R$ obeysFor example, translate a bounded fundamental parallelogram of diameter bound $D$: the union of tiles with centres in $B_R$ contains $B_{R-D}$ and lies inside $B_{R+D}$. Comparing their areas proves the leading coefficient. The spectrum supplies this count. Since $(v,w)$ is a lattice basis, its parallelogram area satisfies $A^2=a^2{b}^2-c^2$. ThereforeAll three quantities are determined by the spectrum. Equal Gram matrices give an orthogonal map between the dual lattices; taking duals gives an orthogonal map between the original lattices, descending to a Riemannian isometry of the tori. Isospectral flat two-tori are isometric. This is the two-dimensional lattice reconstruction from vector lengths; it uses lengths with multiplicities, not merely the set of distinct lengths.

We use Zorn's lemma, and no basis or other existence theorem from linear algebra. A subset $B\subseteq V$ is linearly independent if every finite relation ${\sum }_{b\in F}{\lambda }_{b}b=0$ forces every coefficient to be zero.

Order the linearly independent subsets by inclusion. This partially ordered set is nonempty, because the empty subset is independent. An empty chain has the empty subset as an upper bound. For any nonempty chain, its union is independent: every finite subset of that union lies in one member of the chain. Indeed choose one chain member containing each of its finitely many vectors, then take the largest among that finite collection of comparable members. Every finite relation in the union is therefore a relation in an independent chain member. The union is an upper bound.

Zorn's lemma gives a maximal independent subset $B$. If $v$ were outside its span, then $B\cup \{v\}$ would still be independent. In a finite relationa nonzero $\lambda$ could be inverted in the field $k$, placing $v$ in the span of $B$. If $\lambda =0$, independence of $B$ forces the remaining coefficients to be zero. This contradicts maximality, so $B$ spans $V$.

Define the free module on $B$ as the direct sum $k^{(B)}={⨁}_{b\in B}k$: its elements are coefficient families with finite support. The mapis a module homomorphism. Spanning proves surjectivity; independence proves injectivity. Hence the vector-space freeness from maximal independence givesFinite support is essential; this is a direct sum, not an unrestricted product. The zero vector space uses $B=\varnothing$ and is free of rank zero. The proof for arbitrary vector spaces explicitly uses the axiom of choice through Zorn's lemma.

A covariant derivative on the tangent bundle is an affine connection: it assigns a vector field ${\nabla }_{X}Y$ to vector fields $X,Y$, is linear over smooth functions in $X$, is real-linear in $Y$, and obeys the Leibniz rule ${\nabla }_X(aY)=X(a)Y+a{\nabla }_{X}Y$. Thus it differentiates a vector field while taking account of how its local basis changes. It extends to tensor fields by the Leibniz rule, compatibility with tensor contraction, and ${\nabla }_{X}a=X(a)$ for a scalar.

In a local basis $e_{\mu }$, the connection components are defined by ${\nabla }_{e_{\rho }}{e}_{\nu }={\Gamma }^{\mu }{}_{\nu \rho }{e}_{\mu }$. In a coordinate basis, $e_{\rho }={\partial }_{\rho }$, soA covariant derivative of a tensor field has tensorial transformation properties, but the connection components themselves do not: changing the coordinate basis introduces second derivatives of the coordinate change. They describe the connection in a chosen basis, rather than components of a tensor.

The torsion tensor of an affine connection is $\mathcal{T}(X,Y)={\nabla }_{X}Y-{\nabla }_{Y}X-[X,Y]$, where the last term is the Lie bracket of vector fields. A torsion-free connection has $\mathcal{T}=0$. Since a coordinate basis commutes, this is equivalent there to ${\Gamma }^{\mu }{}_{\nu \rho }={\Gamma }^{\mu }{}_{\rho \nu }$; in a general basis its commutator must also be included.

The Levi-Civita connection is the unique torsion-free connection with metric compatibility, $\nabla g=0$. To derive its Christoffel symbols, lower the first index: ${\Gamma }_{\sigma \nu \rho }=g_{\sigma \mu }{\Gamma }^{\mu }{}_{\nu \rho }$. Metric compatibility givesWrite down this identity with the derivative indices $\rho ,\nu ,\sigma$, add the first two identities and subtract the third. Symmetry in the last two indices, supplied by the torsion-free connection, cancels all terms except twice ${\Gamma }_{\sigma \nu \rho }$. Raising the first index yieldsThis calculation proves uniqueness. Conversely, these Christoffel symbols are symmetric in $\nu ,\rho$ and satisfy $\nabla g=0$ by substitution, proving existence as well.

First prove necessity. If polynomials with integer coefficients converge to $f$ in the supremum norm, their values at $0$ and $1$ are convergent sequences of integers. Each such sequence is eventually constant, since a convergent sequence is Cauchy and two distinct integers are at distance at least one. Its limit is an integer. Thus $f(0),f(1)\in \mathbb{Z}$.

For sufficiency we also need uniform convergence of the Bernstein polynomial to $f$. Here is a direct argument. For $X\sim \mathrm{Bin}(n,x)$, write $B_n(f,x)=\mathbb{E}f(X/n)$. The binomial distribution has $\mathbb{E}(X/n)=x$ and $\mathrm{Var}(X/n)=x(1-x)/n\le 1/(4n)$. For every $\delta >0$, uniform continuity of $f$ and the Chebyshev inequality giveFirst make $\delta$ small and then $n$ large; the bound is uniform in $x$. Hence $\Vert B_n(f)-f{\Vert }_{\infty }\to 0$.

If the endpoints are integers, part (b) gives $\Vert B_n^{\ast }(f)-B_n(f){\Vert }_{\infty }\to 0$. Each coefficient multiplying $x^k(1-x{)}^{n-k}$ in $B_n^{\ast }$ is an integer. Expanding $(1-x{)}^{n-k}$ by the binomial theorem therefore gives integer coefficients in the ordinary monomial basis. The triangle inequality proves $\Vert B_n^{\ast }(f)-f{\Vert }_{\infty }\to 0$. Thus the integer endpoint condition is necessary and sufficient for integer-coefficient polynomial approximation.

The orthogonal projection has range $\mathcal{S}$, not all of $C[0,1]$: the latter is an infinite-dimensional vector space whereas $\mathcal{S}$ is a finite-dimensional vector space. For a concrete counterexample, $e^x$ cannot belong to any finite-degree piecewise polynomial space, since all its derivatives are nonzero on every open interval. For $k\ge 2$, the B-splines are continuous, so the orthogonal projection is a map $C[0,1]\to \mathcal{S}\subset C[0,1]$. For order one it instead has a generally discontinuous piecewise constant range. For example, a single interval indicator on $[1/4,3/4)$ is the projection of the constant function one onto its span, and is not continuous.

Write $s^{\ast }={\sum }_j{a}_j{N}_j$. Since $M_i$ is a positive scalar multiple of $N_i$, the operator normal equations $⟨f-s^{\ast },N_i⟩=0$ are equivalent toThe mixed-normalization spline Gram matrix is invertible: $G=DH$ where $D_{ii}=k/(t_{i+k}-t_i)>0$ and $H_{ij}=⟨N_i,N_j⟩$ is the ordinary positive-definite matrix of inner products of a linearly independent basis. The positivity and unit-integral normalization of a B-spline give $|b_i|\le \Vert f{\Vert }_{\infty }$. The subpartition of unity for B-splines givesHere the operator norm of a matrix on ${\ell }^{\infty }$ is its maximum absolute row sum. Consequently,This proves the maximum-norm bound for spline projection.

An orthonormal multiresolution analysis consists of closed subspaces of a Hilbert space $(V_j{)}_{j\in \mathbb{Z}}$ of the Hilbert space $L^2(\mathbb{R})$ such thatThere is a scaling function $\varphi$ whose integer function translations form an orthonormal basis of $V_0$. Consequently ${\varphi }_{j,k}(x)=2^{j/2}\varphi (2^{j}x-k)$ form an orthonormal basis of $V_j$; in particular $V_0$ is invariant under integer function translations.

Let $W_j=V_{j+1}\ominus V_j$ be the orthogonal complement of $V_j$ in $V_{j+1}$. Nesting, density and the trivial intersection imply the orthogonal direct sumFor example, telescoping $V_{J+1}=V_L\oplus {⨁}_{j=L}^J{W}_j$ and letting $L\to -\infty$, $J\to \infty$ gives this decomposition; the corresponding orthogonal projections converge strongly to zero and the identity by the intersection and density properties.

To construct the orthonormal wavelet, use $\varphi \in V_1$ to write the scaling refinement equation $\varphi ={\sum }_n{a}_n\varphi (2\cdot -n)$, with $a\in {\ell }^2$ and ${\sum }_n|a_n{|}^2=2$. Put $m(t)=\frac{1}{2}{\sum }_n{a}_n{e}^{-int}$. The orthonormal translates and Fourier periodization criterion proved in part (b), applied to the scaling refinement equation, yieldsThis is the quadrature mirror filter identity. DefineThe Fourier series of $q$ is $\frac{1}{2}{\sum }_n{b}_n{e}^{-int}$, and $\hat{\psi }(2t)=q(t)\hat{\varphi }(t)$. The two rows $(m(t),m(t+\pi ))$ and $(q(t),q(t+\pi ))$ form a unitary $2\times 2$ matrix almost everywhere: both have squared norm one and their inner product is zero. This wavelet completion of a multiresolution filter proves not just orthogonality but completeness. Splitting a finer-scale coefficient Fourier series into its values at $t$ and $t+\pi$, this invertible two-channel matrix resolves it into a coarse-scale channel and its complementary channel. Thus the integer function translations of $\psi$ form an orthonormal basis of $W_0$.

The dilated functions ${\psi }_{j,k}(x)=2^{j/2}\psi (2^{j}x-k)$ therefore form an orthonormal basis of each $W_j$. The orthogonal direct sum proves the conclusion: every orthonormal multiresolution analysis produces an orthonormal wavelet basis $\{{\psi }_{j,k}:j,k\in \mathbb{Z}\}$ of $L^2(\mathbb{R})$.

The external direct sum of vector spaces consists of pairs $(v_1,v_2)$ with componentwise operations. For subspaces of one ambient space, the sum of vector subspaces is $V_1+V_2=\{v_1+v_2:v_i\in V_i\}$. The addition map from the external direct sum onto this subspace is surjective, with kernel $\{(w,-w):w\in V_1\cap V_2\}$. This kernel is isomorphic to the intersection. The rank-nullity theorem, together with $\dim (V_1\oplus V_2)=\dim V_1+\dim V_2$, proves the dimension formula for a sum of subspaces.

For the supplied bases, solving for annihilating linear forms givesEach basis has rank three, so these hyperplanes are the whole subspaces. The two independent equations make the intersection two-dimensional. Imposing the requested zero components yieldsBoth satisfy the two equations and are independent, since their first components differ while $v_1\ne 0$. Hence they form the required basis.

A set is linearly dependent if some finite selection of distinct vectors admits a relation ${\sum }_j{c}_j{v}_j=0$ with coefficients not all zero. For a finite set this is just such a nontrivial relation using its vectors.

Prove dependence of $n+1$ vectors in ${\mathbb{R}}^n$ by induction, starting with the zero-dimensional case. If all first coordinates vanish, select $n$ of the vectors and apply induction in ${\mathbb{R}}^{n-1}$. Otherwise relabel so the last vector has first coordinate $a\ne 0$. For $1\le j\le n$, put $w_j=v_j-(v_{j,1}/a)v_{n+1}$. These $n$ vectors have zero first coordinate, so induction supplies ${\sum }_{j=1}^n{c}_j{w}_j=0$, with some $c_j\ne 0$. Expanding gives a nontrivial linear dependence among the original vectors. The same proof works over any field.

Now express vectors of $V$ in coordinates relative to its given $n$-element basis. Any other basis has at most $n$ elements: more would contain $n+1$ linearly dependent vectors. If it has $m<n$ elements, expressing the original basis in its coordinates makes the original $n$ vectors linearly dependent, a contradiction. Thus every basis has exactly $n$ elements.

Finally, the functions $\sin (jx)$, $j=1,2,\dots$, are bounded and continuous. Any finite relation among them can be multiplied by $\sin (rx)$ and integrated over $[0,2\pi ]$. The orthogonality identityforces every coefficient to vanish. Arbitrarily large linearly independent finite sets exist, so the vector space of bounded continuous functions is infinite-dimensional.

Write $U^{\ast }={\overline{U}}^T$ for the conjugate transpose. Taking determinants in $U^{\ast }AU=A$ gives $|\det U{|}^2\det A=\det A$. Since the Hermitian matrix $A$ is invertible, every such $U$ is invertible and $|\det U|=1$. The identity belongs to $U_A$; if $U,V\in U_A$, then $(UV{)}^{\ast }A(UV)=V^{\ast }AV=A$; and multiplying $U^{\ast }AU=A$ by $(U^{\ast }{)}^{-1}$ and $U^{-1}$ gives $(U^{-1}{)}^{\ast }A{U}^{-1}=A$. Associativity comes from matrix multiplication, so this is a group.

The Hermitian form $h_A(v,w)=v^{\ast }Aw$ obeys $h_A(Uv,Uw)=h_A(v,w)$ precisely when $U\in U_A$. Thus $U_A$ is the group of linear isometries of this nondegenerate Hermitian form; positivity of $A$ is unnecessary.

For $A=I$, $U$ is a unitary matrix. Here is a direct diagonalization of a matrix proof. Over $\mathbb{C}$, its characteristic polynomial has a root, giving a unit eigenvector $v$ with $Uv=\lambda v$. Preservation of the inner product gives $|\lambda |=1$. If $w\perp v$, then $⟨Uw,Uv⟩=⟨w,v⟩=0$, so $v^{\perp }$ is invariant. The restriction is again a unitary matrix. Induction on the dimension supplies an orthonormal basis of eigenvectors. In that basis, $U$ is diagonal, with diagonal entries on the unit circle.

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

Here a reduced root system is crystallographic, as appropriate to a semisimple Lie algebra. It is a finite spanning set $\Phi \subset E\setminus \{0\}$ in a real inner product space of dimension $r$, invariant under each Weyl reflectionwith $2(\beta ,\alpha )/(\alpha ,\alpha )\in \mathbb{Z}$ for every pair of roots and $\Phi \cap \mathbb{R}\alpha =\{\alpha ,-\alpha \}$. A base of a root system $\Delta =({\alpha }_1,\dots ,{\alpha }_r)$ is a basis such that the coefficients of every root are integers that are either all nonnegative or all nonpositive. These define the positive system of a root system. We use the existing Cartan matrix conventionUsing the alternative denominator $({\alpha }_i,{\alpha }_i)$ transposes all the matrices below.

The classification of rank-two root systems gives $A_1\times A_1$, $A_2$, $B_2=C_2$, and $G_2$. In orthonormal coordinates we may choose the following simple roots and Cartan matrices:

Each complete root system consists of these positive roots and their negatives. To see why the list is exhaustive, the off-diagonal Cartan matrix entries of two distinct simple roots are nonpositive integers, and their product is $4{\cos }^2\theta <4$. Thus the product is $0,1,2$ or $3$, corresponding to simple-root angles $\pi /2,2\pi /3,3\pi /4$ or $5\pi /6$. These determine the four systems and their length ratios.

The Weyl group of a rank-two root system is generated by the two simple Weyl reflections. Their product is a rotation of order $m=2,3,4,6$, respectively, so the groups are the dihedral groups of order $2m=4,6,8,12$. The first is also the Klein four-group and the second the symmetric group $S_3$. The root-orthogonal lines cut the plane into $2m$ Weyl chambers, each of angle $\pi /m$. A chosen fundamental chamber of a root system is $(x,{\alpha }_1)>0$, $(x,{\alpha }_2)>0$; its walls are the two root-orthogonal lines. The Weyl group acts simply transitively on these open chambers.

The crystallographic hypothesis matters: if the integer-pairing condition is dropped, reduced noncrystallographic systems of type $I_2(m)$ also occur. They are not additional Lie-algebra root systems.