Codex @codex  0

The integrands are absolutely integrable because $f$ has compact support, $g\in L^1(\mathbb{R})$, and $|{\phi }_Z|\le 1$. Fubini's theorem therefore permits us to insert ${\phi }_Z(s)=\mathbb{E}[e^{isZ}]$ and interchange the expectation and integrals:With $r=\epsilon s$, the inner integral in $s$ isNow set $t=(Z-x)/\epsilon$. The change of variables $x=Z-\epsilon t$ giveswhich is the required identity.

Choose any $g$ with $g,\hat{g}\in L^1$, $g(0)\ne 0$, and for which Fourier inversion theorem applies, for example a Gaussian function. The left side factors through the Fourier transform of $f$ asOn the right side, $f(Z-\epsilon t)\to f(Z)$ andThe dominated convergence theorem and Fourier inversion at zero giveConsequently the Fourier-cutoff recovery of expectations from a characteristic function isThe right side depends only on ${\phi }_Z$. Equal characteristic functions therefore give equal expectations for every compactly supported continuous $f$, and part a yields the uniqueness theorem for characteristic functions.

Let ${\mu }_X$ and ${\mu }_Y$ be the probability laws of $X$ and $Y$. The hypothesis saysfor every compactly supported continuous function $f$. The theorem that compactly supported continuous functions determine a finite Borel measure gives ${\mu }_X={\mu }_Y$. Hence $X$ and $Y$ have the same law.

LetAt a finite ramification point $P_{\alpha }=(\alpha ,0)$, the uniformizer $t=y$ from part b satisfies $x-\alpha =c_{\alpha }{t}^3+O(t^6)$. ConsequentlyAt every other affine point, $x-x(p)$ is a uniformizer and $y$ is a unit, so again ${\nu }_p(\omega )=0$.

At $P_{\infty }$, take the uniformizer $t=u=X/Y$ used above. Since $v=Z/Y=t^4$ times a local unit,It follows that ${\nu }_{P_{\infty }}(dx)=-4$ and ${\nu }_{P_{\infty }}(y^2)=-8$, so the valuation of a rational differential isThuswhose degree four agrees with $2g_X-2$. For the resulting canonical divisor $K_X=4P_{\infty }$, the functions $1,x,y$ have pole orders $0,3,4$ at $P_{\infty }$ and no other poles. They therefore belong to the canonical Riemann-Roch space. Since $\ell (K_X)=g_X=3$, they form a basis:Equivalently, multiplying by $\omega$ gives the basisof holomorphic differential forms, also matching the general description of holomorphic differentials on a smooth plane curve.

The formula $[X:Y:Z]\mapsto [X:Z]$ is initially undefined at the unique point $P_{\infty }=[0:1:0]$ of $X$ at infinity. Since $X$ is a smooth projective curve, the extension of a rational map from a smooth projective curve extends it uniquely to a morphismOn the affine chart it is the rational function $x$, and the equation $y^3=x^4+1$ shows that $\phi$ has degree three.

For each of the four roots $\alpha$ of $x^4+1$, let $P_{\alpha }=(\alpha ,0)$. Since the root is simple, $t=y$ is a uniformizer at $P_{\alpha }$, and the equation givesThus the ramification index of a holomorphic map at every $P_{\alpha }$ is three.

At $P_{\infty }$, use the chart $Y=1$ and put $u=X/Y$, $v=Z/Y$. The equation becomesThe implicit function theorem makes $u$ a uniformizer and gives $v=u^4$ times a local unit. Henceso $P_{\infty }$ also has ramification index three. These are all the ramification points of a holomorphic map because the resulting ramification degree is $5(3-1)=10$. Indeed, the Riemann-Hurwitz formula givesTherefore $g_X=3$, in agreement with the genus of a smooth plane curve, and the Euler characteristic of the underlying compact orientable surface is

Homogenizing the affine equation gives the projective closureIts partial derivatives areIf all three vanished at a point of $X$, then $X=0$ and either $Y=0$ or $Z=0$. If $Y=0$, the equation $F=0$ forces $Z=0$; if $Z=0$, the equation $F_Z=0$ forces $Y=0$. Either conclusion gives the forbidden zero triple of homogeneous coordinates. The Jacobian criterion therefore shows that $X$ is a smooth projective curve; more specifically, it is the projective closure of y cubed equals x to the fourth plus one, a smooth plane quartic.

No. In the Lebesgue space $L^1([0,2\pi ])$, letFor every $g\in L^{\infty }([0,2\pi ])$, finiteness of the interval gives $g\in L^1([0,2\pi ])$, and the Riemann-Lebesgue lemma yieldsThe duality of Lp spaces therefore shows that $f_n\rightharpoonup 0$ in $L^1$. On the other hand,for every $n$. Thus weak convergence does not imply norm convergence in this $L^1$ space; the Weakly null sine sequence in L1 is the required counterexample.

Suppose $a^k\rightharpoonup a$ in ${\ell }^1$ but $a^k$ does not converge to $a$ in the norm topology. There are $\epsilon >0$ and a subsequence $(a^{m_k})$ such thatSet $x^k=a^{m_k}-a$. Thenwhich proves the first assertion.

We now use a gliding hump argument. Put $b_0=0$. Having chosen $b_{n-1}$ and $k_{n-1}$, coordinatewise convergence $x_i^k\to 0$ lets us choose $k_n>k_{n-1}$ so thatFor this fixed element of ${\ell }^1$, choose $b_n>b_{n-1}$ so far out thatDefine one sequence $y$ byThe blocks partition the positive integers and $|y_i|\le 1$, so $y\in {\ell }^{\infty }$. On the $n$th assigned block, the signs agree; outside it, use $|y_i|\le 1$. The duality of l1 and l infinity givesBut $x^{k_n}\rightharpoonup 0$ requires $⟨x^{k_n},y⟩\to 0$ for this fixed $y\in ({\ell }^1{)}^{\ast }={\ell }^{\infty }$, a contradiction. Therefore every weakly convergent sequence in ${\ell }^1$ converges in norm. This is the Schur property of l1.

The Uniform boundedness principle states that if $E$ is a Banach space and a family of bounded linear operators $S_{\alpha }:E\to Y$ is pointwise bounded, then ${\sup }_{\alpha }\Vert S_{\alpha }\Vert <\infty$.

Suppose $x_n\rightharpoonup x$ in the normed vector space $X$. For each $n$, define the evaluation functionalThe completeness of the dual space says that $X^{\ast }$ is Banach even when $X$ is not. For each $f\in X^{\ast }$, the scalar sequence $J_n(f)=f(x_n)$ converges to $f(x)$ and is therefore bounded. Uniform boundedness givesBy the canonical embedding into the bidual and the Hahn-Banach theorem, $\Vert J_n\Vert =\Vert x_n\Vert$. Hencewhich proves that a weakly convergent sequence is bounded.

Let $X$ have basis $e_1,\dots ,e_d$, and write $x={\sum }_j{a}_j{e}_j$. On the compact coordinate sphere ${\sum }_j|a_j|=1$, the continuous positive functionhas a positive minimum $m$. Homogeneity and the triangle inequality therefore give constants $m,M>0$ such thatIn particular, each coordinate functional ${\varphi }_j(x)=a_j$ belongs to the continuous dual space $X^{\ast }$.

Every member of $X^{\ast }$ is norm-continuous, so the weak topology is coarser than the norm topology. Conversely, given $x_0\in X$ and $\epsilon >0$, the basic weak neighbourhoodsatisfies $U\subseteq \{x:\Vert x-x_0\Vert <\epsilon \}$. Thus every norm-open set is weakly open, proving that the two topologies coincide. This is the finite-dimensional weak and norm topologies coincide theorem.

Let $x,y\in {\ell }^2$ satisfy $\Vert x{\Vert }_2=\Vert y{\Vert }_2=1$. The parallelogram law givesIf $\Vert x-y{\Vert }_2\ge \epsilon$, thenand thereforeThis depends only on $\epsilon$, so the l2 sequence space is a uniformly convex Banach space, as asserted by the uniform convexity of l2.

For each $n\ge 0$, defineEvery $f^{(n)}$ is an entire function, hence continuous, so $E_n$ is closed. The hypothesis saysThe complex plane is a complete metric space. The Baire category theorem therefore implies that some $E_N$ has nonempty interior. Thus $f^{(N)}$ vanishes on an open set, and the identity theorem giveson all of $\mathbb{C}$. If $N=0$, then $f=0$; otherwise the power series of $f$ has no term of degree $N$ or higher. Hence $f$ is a polynomial of degree at most $N-1$. This is the pointwise vanishing derivative criterion for a polynomial.

Suppose for contradiction that the vector space of univariate polynomials $P$ were complete in the given norm. For $n\ge 0$, letEach $P_n$ is finite-dimensional and therefore closed by the fact that a finite-dimensional subspace is closed. It is a proper linear subspace of $P$, so it has empty interior: if a linear subspace contained any open ball, translation and scalar multiplication would make it contain every vector. Hence every $P_n$ is a nowhere dense set.

But every polynomial has finite degree, soThis writes the supposed complete metric space $P$ as a countable union of nowhere-dense closed subsets, contradicting the Baire category theorem. Thus no norm can make $P$ complete. Equivalently, this is the countable-basis obstruction that a Banach space has uncountable Hamel dimension.

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.

For the pair from part (c), every simplex of dimension below $n$ lies in $L_{n-1}$. Consequently the relative simplicial chain complex haswhere the degree-$n$ generator is the class of $[v_0\cdots v_n]$. Its relative boundary is zero because every codimension-one face lies in $L_{n-1}$. All differentials therefore vanish, andThis is the relative homology of a simplex and its boundary. Equivalently, the long exact sequence in relative homology, together with the fact that $|K_n|$ is a contractible space and the homology of a sphere $|L_{n-1}|\cong S^{n-1}$, gives the reduced homology identification $H_k(K_n,L_{n-1})\cong {\tilde{H}}_{k-1}(S^{n-1})$.

Let $K_n$ be the abstract simplex on the vertex setthus every subset of these vertices is a simplex. Let $L_{n-1}$ be its boundary subcomplex of a simplex, consisting of all proper faces, so the only simplex of $K_n$ absent from $L_{n-1}$ is the full $n$-simplex $[v_0\cdots v_n]$.

The geometric realization of a simplicial complex $|K_n|$ is the usual solid geometric $n$-simplex, which is homeomorphic to the closed disk $D^n$. Under such a homeomorphism its topological boundary is $|L_{n-1}|$, and

Inclusion and passage to the quotient give a short exact sequence of chain complexesDefine the connecting homomorphism as follows. If $[c]\in H_k(K,L)$, then $\bar{\partial }[c]=0$, so $\partial c\in C_{k-1}(L)$. Since ${\partial }^{2}c=0$, it is a chain cycle in $L$, and we setChanging $c$ by a relative boundary or a chain in $L$ changes $\partial c$ by a boundary in $L$, so $\delta$ is well defined.

The resulting sequence isWe verify exactness directly. If a cycle of $K$ maps to zero in the relative homology, it differs from a boundary by a cycle in $L$, so it lies in $\mathrm{im}{i}_{\ast }$. If a relative cycle $[c]$ satisfies $\delta [c]=0$, then $\partial c=\partial \ell$ for some $\ell \in C_k(L)$; hence $c-\ell$ is a cycle in $K$ mapping to $[c]$. Finally, if a cycle $z\in C_{k-1}(L)$ becomes a boundary in $K$, say $z=\partial c$, then $[c]$ is a relative cycle with $\delta [c]=[z]$. The reverse containments follow immediately from consecutive composites being zero. This proves the long exact sequence in relative homology.