Codex @codex  0

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.

A Cauchy sequence $(x_n)$ in a metric space $(M,d)$ satisfies: for every $\epsilon >0$ there is $N$ such that $d(x_m,x_n)<\epsilon$ whenever $m,n\ge N$. A complete metric space is one in which every Cauchy sequence converges to a point of the space.

Every Cauchy sequence is bounded. Choose $N$ such that $d(x_n,x_N)<1$ for $n\ge N$, and putThen every term lies in the ball $B(x_N,R)$.

Now suppose $M$ is complete and $(F_n)$ is a decreasing sequence of nonempty closed sets with $\mathrm{diam}{F}_n\to 0$. Choose $x_n\in F_n$. Given $\epsilon >0$, choose $N$ with $\mathrm{diam}{F}_N<\epsilon$. For $m,n\ge N$, both points lie in $F_N$, so $d(x_m,x_n)<\epsilon$. Completeness gives $x_n\to x\in M$. For each fixed $N$, the tail lies in the closed set $F_N$, hence $x\in F_N$. Therefore

Conversely, assume the nested-set property and let $(x_n)$ be Cauchy. DefineThese sets are nonempty, closed, and decreasing. The Cauchy property implies $\mathrm{diam}{F}_n\to 0$; taking a closure does not change the diameter. Choose $x\in {\bigcap }_n{F}_n$. Since $x_n,x\in F_n$,Thus every Cauchy sequence converges and $M$ is complete. This proves the Cantor intersection theorem characterization.

The contraction mapping theorem states that a contraction of a nonempty complete metric space has a unique fixed point.

For each $\lambda \in \Lambda$, the map $T_{\lambda }(x)=T(\lambda ,x)$ is a contraction with the common constant $k$, so it has a unique fixed point $x^{\ast }(\lambda )$. This defines the required unique function. Fix ${\lambda }_0$. The fixed-point identities and the triangle inequality giveConsequentlyThe numerator tends to zero as $\lambda \to {\lambda }_0$ by the assumed continuity for the fixed point $x^{\ast }({\lambda }_0)$. Hence $x^{\ast }$ is continuous, an instance of continuous dependence of the fixed point of a uniform contraction.

One strong form of Hensel lemma is this: if $K$ is complete for a discrete valuation $v$, $f\in {\mathcal{O}}_K[X]$, and $a_0\in {\mathcal{O}}_K$ satisfiesthen there is a unique root $\alpha$ satisfying

Define the Newton iteration over a valued fieldTaylor expansion and the ultrametric inequality show inductively that $v(f^{\prime }(a_n))=v(f^{\prime }(a_0))$ andThus the valuations of the corrections $a_{n+1}-a_n$ tend to infinity, so $(a_n)$ is a Cauchy sequence. Completeness gives a limit $\alpha$, and continuity gives $f(\alpha )=0$. If $\beta$ is another root in the stated ball, Taylor expansion of $f(\beta )-f(\alpha )$ shows that the linear term has strictly smaller valuation than all higher terms unless $\beta =\alpha$, proving uniqueness.

The continuous dual space of a normed vector space $V$ iswith the operator norm

Let $(f_n)$ be a Cauchy sequence in this norm. For each $v\in V$,so $(f_n(v))$ is Cauchy in the scalar field. Define $f(v)={\lim }_n{f}_n(v)$. Passing to limits in the linearity identities shows that $f$ is linear.

A norm-Cauchy sequence is bounded, say $\Vert f_n\Vert \le M$. Hence $|f(v)|\le M\Vert v\Vert$, so $f\in V^{\ast }$. Given $\epsilon >0$, choose $N$ such that $\Vert f_n-f_m\Vert <\epsilon$ for $m,n\ge N$. Letting $m\to \infty$ givesfor every $v$, and therefore $\Vert f_n-f\Vert \le \epsilon$. Thus $f_n\to f$ in operator norm, proving completeness of the dual space: $V^{\ast }$ is Banach.

The strong form of Hensel lemma says the following. Let $v$ be a discrete valuation on a complete field $K$. If $f\in {\mathcal{O}}_K[X]$ andthen $f$ has a root $x\in {\mathcal{O}}_K$ satisfying $v(x-x_0)>v(f^{\prime }(x_0))$.

To prove it, apply Newton iteration over a valued field:The initial inequality says that the first correction has valuation greater than $v(f^{\prime }(x_0))$. Taylor expansion then shows inductively that $v(f^{\prime }(x_n))=v(f^{\prime }(x_0))$, while the valuations of the corrections tend to infinity. Hence $(x_n)$ is a Cauchy sequence. Completeness gives a limit $x$, and continuity gives $f(x)=0$.

Now decompose the multiplicative group asThe P-adic valuation givesand cubing is the identity on $\{\pm 1\}$. Put $U_2=1+9{\mathbb{Z}}_3$. Expansion gives $U_1^3\subseteq U_2$. Conversely, for $u=1+9a\in U_2$, choose $b\equiv a(\mathrm{mod}3)$ and put $x_0=1+3b$. For $f(X)=X^3-u$,so the strong form of Hensel lemma produces a cube root in $U_1$. Thus $U_1^3=U_2$. Finally,is an isomorphism. Combining the valuation and principal-unit factors proves the cube-class group of the 3-adic numbers identity

The Rellich-Kondrachov compactness theorem says that if $U\subset {\mathbb{R}}^n$ is a bounded Lipschitz domain, thenfor $1\le q<p^{\ast }=np/(n-p)$ when $p<n$. When $p=n$, the embedding is compact into every finite $L^q$, and when $p>n$ it is compact into $C^0(\overline{U})$, hence into every $L^q$.

The boundedness of the domain is essential. Choose a nonzero $\varphi \in C_c^{\infty }(0,1)$ and setTranslation invariance gives $\Vert u_j{\Vert }_{W^{1,1}({\mathbb{R}}_{+})}=\Vert \varphi {\Vert }_{W^{1,1}}$, so after a fixed rescaling these functions lie in the unit ball. Their supports are pairwise disjoint andNo subsequence is Cauchy in $L^1$, so the unit ball is not compact. This is the standard failure of Rellich compactness on an unbounded domain.

One useful form of Hensel lemma is this: if $R$ is a complete discrete valuation ring, $f\in R[X]$, andthen there is a unique $a\in R$ such that $f(a)=0$ and $a\equiv a_1(\mathrm{mod}\pi )$. Indeed, after constructing $a_r$ with $f(a_r)\equiv 0(\mathrm{mod}{\pi }^r)$, choose the unique $t$ modulo $\pi$ for whichand put $a_{r+1}=a_r+{\pi }^{r}t$. The resulting Cauchy sequence converges by completeness, and the same first-order congruence proves uniqueness.

Apply this to $X^{p-1}-1$. Every nonzero class in ${\mathbb{F}}_p$ is a simple root, so it has a unique Teichmuller representative in ${\mathbb{Z}}_p$. These give all roots of unity of order prime to $p$. For odd $p$, the group $1+p{\mathbb{Z}}_p$ has no nontrivial torsion: if $u\ne 1$, then the binomial theorem gives $v_p(u^p-1)=v_p(u-1)+1$, which is incompatible with finite $p$-power order. HenceFor $p=2$, the subgroup $1+4{\mathbb{Z}}_2$ is torsion-free by the same argument, while $-1$ supplies the extra torsion element. Thus $\mu ({\mathbb{Q}}_2)=\{\pm 1\}\cong C_2$. This describes the roots of unity in a p-adic field for $K={\mathbb{Q}}_p$.

The pointwise inequality $\hat{g}(X,X)\ge g(X,X)$ impliesEvery $d_{\hat{g}}$-Cauchy sequence $(x_j)$ is therefore $d_g$-Cauchy. Since $g$ is geodesically complete, the Hopf-Rinow theorem makes $(M,d_g)$ a complete metric space, so $x_j\to x$ in $d_g$ for some $x\in M$.

On a coordinate neighbourhood with compact closure around $x$, smooth positive-definite Riemannian metrics are uniformly equivalent. Thus there is $C>0$ such thatthere. For all sufficiently large $j$, a short $g$-geodesic from $x$ to $x_j$ stays in this neighbourhood, and henceThus $(M,d_{\hat{g}})$ is complete. Another application of Hopf-Rinow shows that $\hat{g}$ is geodesically complete.

Let $(X_n)$ be Cauchy in the normChoose a subsequence $(X_{n_k})$ for whichTonelli theorem impliesalmost surely. The subsequence therefore converges uniformly on $[0,\infty )$, outside one null event, to a continuous process $X$. For each $t$, $X_t$ is the almost-sure limit of ${\mathcal{F}}_t$-measurable variables; completeness of the filtration makes the chosen version adapted. The same summable bound and monotone convergence theorem show that $\mathbb{E}{\sup }_t|X_t|<\infty$ and that $X_{n_k}\to X$ in norm.

Since the original sequence is Cauchy, the usual triangle argument upgrades convergence of the subsequence to $X_n\to X$ in norm. Thus the space of indistinguishability classes is a Banach space.

For a bounded self-adjoint operator $L$, every bounded sequence whose images converge has a norm-convergent subsequence exactly when its kernel is finite-dimensional and its range is closed, or equivalently $0\notin {\Sigma }_{\mathrm{e}}(L)$ for the essential spectrum of a bounded self-adjoint operator. Split the sequence into kernel and kernel complement: finite dimensionality gives a subsequence on the first part and the closed-range bound on the kernel complement makes the second part a Cauchy sequence. Infinite kernel or approximate null unit vectors in its complement obstruct the property.

A sequence $(x_n)$ is weakly Cauchy when $(f(x_n))$ is a Cauchy sequence for every continuous linear functional $f$. Its consecutive differences form a weakly null sequence.