zero sequence
Let a field be equipped with a rank one valuation . A sequence
(1) |
of elements of is called a zero sequence or a null sequence, if
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 |