Null Sequences form Maximal Left and Right Ideal/Lemma 1
Jump to navigation
Jump to search
Theorem
Let $\struct {R, \norm {\, \cdot \,} }$ be a normed division ring.
Let $\CC$ be the ring of Cauchy sequences over $R$
Let $\NN$ be the set of null sequences.
Then:
- $\NN$ is an ideal of $\CC$.
Proof
The Test for Ideal is applied to prove the result.
Lemma 4
- $\NN \ne \O$
$\Box$
Lemma 5
- $\forall \sequence {x_n}, \sequence {y_n} \in \NN: \sequence {x_n} + \paren {-\sequence {y_n} } \in \NN$
$\Box$
Lemma 6
- $\quad \forall \sequence {x_n} \in \NN, \sequence {y_n} \in \CC: \sequence {x_n} \sequence {y_n} \in \NN, \sequence {y_n} \sequence {x_n} \in \NN$
$\Box$
By Test for Ideal then the result follows.
$\blacksquare$
Sources
- 1997: Fernando Q. Gouvea: p-adic Numbers: An Introduction: $\S 3.2$: Completions
- 2007: Svetlana Katok: p-adic Analysis Compared with Real ... (previous) ... (next): $\S 1.2$: Normed Fields: Exercise $11 \ (3)$