1. Let be a multiplicative valuation of a field . Then the following holds:
- (i) is a Cauchy sequence .
- (ii) If , then for a sufficiently large .
\begin{proof}
i) If is a Cauchy sequence, then for any there is such that for any . Then as .
Conversely, if , then for any , there exists such that for all . Then for any , we have
Therefore, is a Cauchy sequence.
ii) If , then . Since
for big enough and
for big enough , we have for a sufficiently large .
\end{proof}
2. Let be a multiplicative valuation of a field . Let be a finite dimensional -space with basis . For , define by
Then this is a norm on . Moreover, the following holds concerning the metric induced by this norm.
- (i) Let be given for . Then the sequence is a Cauchy sequence if and only if the sequence in is so for all . Also if and only if for all .
- (ii) If is complete, then so is .
\begin{proof}
i) If is a Cauchy sequence, then for any , there exists such that for all . Note that
for any , and it deduces that the sequence in is Cauchy.
Conversely, if the sequence in is Cauchy, then for any , there exists such that for . Then we define and there is for any . Therefore, is Cauchy.
Furthermore, yields that as . Since
we have for all . On the other hand, if for all , then by we can prove that .
ii) For any Cauchy sequence in , the corresponding in is Cauchy and so has limit for all . Thus by i) has limit . Therefore, is complete.
\end{proof}
3. Let be a ring and be an -module. Let be an ideal of . Suppose that is defined on and on . Then
- (i) Addition is continuous from to .
- (ii) Multiplication is continuous from to .
- (iii) If is defined on the -module and , then is continuous.
\begin{proof}
i) It suffices to show if and , then for any . Since , we have as . For any , there exists such that for all , that is, with for all . Similarly, there exists such that with for all . Then define and we have and so for all . Hence and so addition is continuous.
ii) If suffices to show for any and , we have . Since and , for any there exists large enough such that and with . It deduces that and so . Therefore, and so multiplication is continuous.
iii) It suffices to show for any , one have . Note that . For any , there exists such that with . Then for all and so . Therefore, and so is continuous.
\end{proof}