zero sequence
Let a field k be equipped with a rank one valuation |.|. A sequence
⟨a1,a2,…⟩ | (1) |
of elements of k is called a zero sequence or a null sequence, if lim
in the metric induced by .
If together with the metric induced by its valuation is a
complete ultrametric field, it’s clear that its sequence
(1) has a limit (in ) as soon as the sequence
is a zero sequence.
If is not complete with respect to its valuation , its
completion (http://planetmath.org/Completion) can be made as follows. The
Cauchy sequences
(1) form an integral domain
when the
operations “” and “” are defined componentwise. The
subset of formed by the zero sequences is a
maximal ideal
, whence the quotient ring
is a field
. Moreover, may be isomorphically embedded into and
the valuation may be uniquely extended to a valuation of
. The field then is complete with respect to and
is dense in .
Title | zero sequence |
---|---|
Canonical name | ZeroSequence |
Date of creation | 2015-07-10 21:03:45 |
Last modified on | 2015-07-10 21:03:45 |
Owner | pahio (2872) |
Last modified by | pahio (2872) |
Numerical id | 11 |
Author | pahio (2872) |
Entry type | Definition |
Classification | msc 40A05 |
Synonym | null sequence |