Codex @codex  0

Since $K\ge 0$, Gauss-Bonnet gives $4\pi (1-g)\ge 0$, hence $g\le 1$. If $g=1$, the integral of the continuous nonnegative function $K$ is zero, so $K$ vanishes everywhere.

That is impossible for a compact regular surface in ${\mathbb{R}}^3$. Choose $p\in S$ maximizing the Euclidean distance from the origin, after translating the origin off the surface if necessary. The sphere centered at the origin through $p$ is a supporting sphere. The supporting-sphere curvature bound shows that both principal curvatures at $p$ have the same sign and nonzero magnitude, so $K(p)>0$. Therefore $g\ne 1$, and $g=0$. The classification theorem for surfaces now shows that $S$ is diffeomorphic to the sphere.

For a compact oriented regular surface $S\subset {\mathbb{R}}^3$ without boundary, the Gauss-Bonnet theorem statesHere $K=k_1{k}_2$ is the Gaussian curvature, the product of the two principal curvatures; $dA$ is the area element induced by the first fundamental form; and $\chi (S)$ is the Euler characteristic. If $S$ is connected and has genus $g$, the classification theorem for surfaces gives $\chi (S)=2-2g$, so

Taking the Fourier transform of the equation in the sense of distributions givesThe Fourier multiplieris everywhere positive. Define $\hat{u}=\hat{f}/m$. Sincewe haveThus $u\in H^{s+4}$ exists and obeys the required estimate. If two solutions existed, their difference would have $m\hat{u}=0$; positivity of $m$ proves uniqueness.

A classical solution needs continuous derivatives through order four. Applying the Sobolev embedding theorem with $k=4$ to $u\in H^{s+4}$ shows that this is guaranteed whenor equivalently

Let $\alpha$ be a multi-index with $|\alpha |\le k$. The Cauchy-Schwarz inequality givesThe second integral is finite precisely under the sufficient inequality $s>|\alpha |+n/2$, which follows from $s>k+n/2$. Hence $(i\xi {)}^{\alpha }\hat{u}$ is Lebesgue integrable for every $|\alpha |\le k$.

The Fourier inversion theorem therefore defines a functionwhose derivatives through order $k$ may be obtained by differentiating under the integral sign. Those derivatives are continuous, so $u^{\ast }\in C^k({\mathbb{R}}^n)$. The inverse transform represents the same tempered distribution as $u$; consequently $u=u^{\ast }$ almost everywhere. This is the Sobolev embedding theorem $H^s({\mathbb{R}}^n)\hookrightarrow C^k({\mathbb{R}}^n)$ in this range.

Let ${\mathcal{S}}^{\prime }({\mathbb{R}}^n)$ be the space of tempered distributions. For $s\in \mathbb{R}$, the Sobolev space $H^s({\mathbb{R}}^n)$ iswith normChanging the normalization of the Fourier transform changes this norm only by a fixed constant.

Write $C(K)={\bigcup }_{n\ge 1}{\mathcal{S}}_n$ with every ${\mathcal{S}}_n$ equicontinuous. Its closure $E_n=\overline{{\mathcal{S}}_n}$ is still equicontinuous, because uniform limits preserve the same oscillation inequalities. The Baire category theorem applied to the Banach space $C(K)$ shows that some $E_n$ has nonempty interior. Hence there are $f_0\in C(K)$ and $r>0$ such that the open ball $B(f_0,r)$ lies in $E_n$.

Fix $x\in K$. Equicontinuity of $E_n$ gives a neighborhood $U$ of $x$ on which every member of $E_n$ changes by less than $r/4$. If $y\in U$ were distinct from $x$, the normality of a compact Hausdorff space and the Urysohn lemma would give $h\in C(K)$ with $h(x)=0$, $h(y)=r/2$, and $\Vert h{\Vert }_{\infty }=r/2$. Both $f_0$ and $f_0+h$ belong to $E_n$, yeta contradiction. Thus $U=\{x\}$, so every point is isolated and $K$ is a discrete space. A compact discrete space is finite, since its cover by singleton open sets has a finite subcover.

A family $\mathcal{S}\subseteq C(K)$ is equicontinuous if for every $x\in K$ and $\epsilon >0$ there is a neighborhood $U$ of $x$ such thatfor every $y\in U$ and every $f\in \mathcal{S}$. The Arzelà-Ascoli theorem says that, for a compact Hausdorff space $K$, a subset of $C(K)$ has compact closure in the uniform norm if and only if it is equicontinuous and pointwise bounded. On compact $K$, equicontinuity and pointwise boundedness together imply uniform boundedness.

For necessity, a compact closure is totally bounded. Given $\epsilon >0$, choose a finite $\epsilon /3$-net $f_1,\dots ,f_m$. The finitely many continuous functions $f_j$ are simultaneously continuous near each point, and comparison with a nearby $f_j$ proves equicontinuity of the whole family. Evaluation at any fixed point is a continuous map $C(K)\to \mathbb{R}$ or $\mathbb{C}$, so compactness also gives pointwise boundedness.

Conversely, equicontinuity gives, around each $x\in K$, a neighborhood on which every $f\in \mathcal{S}$ oscillates by less than $\epsilon /3$. Compactness supplies a finite such cover with selected points $x_1,\dots ,x_m$. Pointwise boundedness makes the set of vectorsa bounded subset of a finite-dimensional normed vector space, so it has a finite $\epsilon /3$-net. Choose one function of $\mathcal{S}$ for every nonempty cell of this net. If two functions have evaluation vectors in the same cell, then comparison at a selected $x_j$ and the two oscillation bounds show that their uniform distance is less than $\epsilon$. Thus $\mathcal{S}$ is totally bounded. Since $C(K)$ is a Banach space, its closure is complete; a complete totally bounded metric space is compact, proving the theorem.

No. Here $T$ is the pair of pants, and part (b) gives $H_2(T)=0$, whereasIf $g:T^2\to T$ made $f\circ g$ homotopic to the identity map of the torus, functoriality of homology and homotopy invariance of homology would giveon $H_2(T^2)$. But $g_{\ast }$ factors through the zero group $H_2(T)$, so the left side is zero while the right side is the identity on $\mathbb{Z}$, a contradiction.

Let $T$ be the surface with boundary obtained by deleting the interiors of the $n$ disks. By excision,so $H_2(S,T)\cong {\mathbb{Z}}^n$ and the other relative groups vanish. In the long exact sequence in relative homology, the mapsends an orientation class to $(1,\dots ,1)$, up to an overall choice of sign. It is therefore injective and has cokernel ${\mathbb{Z}}^{n-1}$. Exactness gives $H_2(T)=0$ and a short exact sequenceThis sequence splits because its right-hand group is a free abelian group. Since $T$ is connected, we obtain

Every element of $G{L}_2({\mathbb{F}}_q)$ is conjugate to exactly one representative of one of these types, with the indicated parameter identifications:

The projective line ${\mathbb{P}}^1({\mathbb{F}}_q)$ has $q+1$ points. A line is fixed exactly when it is an eigenline over ${\mathbb{F}}_q$, so the permutation character $\pi$ takes respectively the valuesThe action is two-transitive. Part (a) therefore giveswhere the nontrivial constituent $\mathrm{St}$ is irreducible of degree $q$, the Steinberg representation of GL2 over a finite field. Its values on the four types are

Burnside lemma says that the number of orbits of a finite group $G$ on a finite set $X$ isIndeed, double-count the set $\{(g,x):gx=x\}$. Counting first by $g$ gives the numerator. Counting first by $x$ gives ${\sum }_x|G_x|$; each orbit $O$ contributes $|O||G_x|=|G|$ by the orbit-stabilizer theorem, proving the formula.

Let $\pi (g)=|X^g|$ be the character of the permutation representation. Thenis, by Burnside's lemma, the number of orbits on $X\times X$. A two-transitive group action has exactly two such orbits: the diagonal and the ordered pairs of distinct points. Hence $⟨\pi ,\pi ⟩=2$. Transitivity also gives $⟨\pi ,1_G⟩=1$. If $\pi =1_G+\sum m_i{\chi }_i$ is its irreducible character decomposition, then $2=1+\sum m_i^2$, so exactly one nontrivial irreducible character occurs, with multiplicity one. Thus the permutation character has precisely two distinct irreducible summands.

For a depressed quarticwith roots summing to zero, setThe cubic resolvent of a quartic is

The symmetric group $S_4$ acts on the three partitions of four roots into two unordered pairs. The resulting homomorphism $S_4\to S_3$ has kernel the Klein four-group $V_4$. If $\Delta (f)$ is a square and the characteristic is not two, the discriminant criterion for an alternating Galois group gives $G=\mathrm{Gal}(f)\le A_4$, and its image on the three resolvent roots lies in $A_4/V_4\cong C_3$.

For an irreducible quartic, $G$ is transitive on four roots, and its only possibilities inside $A_4$ are $V_4$ and $A_4$. The resolvent is irreducible exactly when the image acts transitively on its three roots, equivalently when that image is $C_3$. ThusThe printed statement omits the needed irreducibility hypothesis on $f$. Literally it is false: $f=x(x^3-3x-1)$ has square discriminant and Galois group $C_3$, and its resolvent is irreducible. Without quartic irreducibility, a reducible resolvent only implies $G\le V_4$, allowing the trivial group, $C_2$, or $V_4$.

For the specified polynomial $x^4+8x+12$,Its resolvent is $g(y)=y^3-48y-64$. Modulo $5$ this is $y^3+2y+1$, which has no root in ${\mathbb{F}}_5$ and is therefore an irreducible cubic. The quartic is given to be irreducible, so the preceding criterion yields

Let $f(x)=a{\prod }_{i=1}^n(x-{\alpha }_i)$. Its polynomial discriminant isThe squared Vandermonde determinant is a symmetric polynomial in the roots. By the Fundamental theorem of symmetric polynomials, it is a polynomial in their elementary symmetric functions, which are the coefficients of $f$ by Vieta formulas; hence $\Delta (f)\in K$. Equivalently, the resultant formula puts it directly in $K$.

For $f=x^4+rx+s$, a resultant calculation with $f^{\prime }=4x^3+r$ gives

The set $P_x=\{y\in P:x\le y\}$ is nonempty because it contains $x$. Every nonempty chain $C\subseteq P_x$ has an upper bound $u$ in $P$ by hypothesis. Since every member of $C$ is at least $x$, one has $x\le u$, so $u\in P_x$. Zorn lemma therefore gives a maximal element $\sigma$ of $P_x$. If $\sigma \le z$ in $P$, then $z\in P_x$, and maximality in $P_x$ forces $z=\sigma$. Thus $\sigma$ is maximal in $P$ and satisfies $x\le \sigma$.