Samsung NX200

In mathematics, a field K with an absolute value is called spherically complete if the intersection of every decreasing sequence of balls (in the sense of the metric induced by the absolute value) is nonempty:

$B_1\supseteq B_2\supseteq \cdots \Rightarrow \bigcap _{n\in 𝐍}{B}_n\ne \mathrm{\varnothing }.$

The definition can be adapted also to a field K with a valuation v taking values in an arbitrary ordered abelian group: (K,v) is spherically complete if every collection of balls that is totally ordered by inclusion has a nonempty intersection.

Spherically complete fields are important in nonarchimedean functional analysis, since many results analogous to theorems of classical functional analysis require the base field to be spherically complete.

Examples

• Any locally compact field is spherically complete. This includes, in particular, the fields Q_p of p-adic numbers, and any of their finite extensions.
• On the other hand, C_p, the completion of the algebraic closure of Q_p, is not spherically complete.
• Any field of Hahn series is spherically complete.

References

20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.

My blog: http://www.primaboinca.com/view_profile.php?userid=5889534