Complete field

In mathematics, a complete field is a field equipped with a metric and complete with respect to that metric. A field supports the elementary operations of addition, subtraction, multiplication, and division, while a metric represents the distance between two points in the set. Basic examples include the real numbers, the complex numbers, and complete valued fields (such as the p-adic numbers).

Definitions

Field

A field is a set $F$ with binary operations $+$ and $\cdot$ (called addition and multiplication, respectively), along with elements $0$ and $1$ such that for all $a,b,c\in F$ , the following relations hold:^[1]

$a+(b+c)=(a+b)+c$
$a+b=b+a$
$a+0=a=0+a$
$a+x=0$ has a solution
$a(bc)=(ab)c$
$ab=ba$
$a(b+c)=ab+ac$ and $(a+b)c=ac+bc$
$a1=a=1a$
$ax=1$ has a solution for $a\neq 0$

Complete metric

A metric on a set $F$ is a function $d:F^{2}\to [0,\infty )$ , that is, it takes two points in $F$ and sends them to a non-negative real number, such that the following relations hold for all $x,y,z\in F$ :^[2]

$d(x,y)=0$ if and only if $x=y$
$d(x,y)=d(y,x)$
$d(x,y)\leq d(x,z)+d(z,y)$

A sequence $x_{n}$ in the space is Cauchy with respect to this metric if for all $\epsilon >0$ there exists an $N\in \mathbb {N}$ such that for all $n,m\geq N$ we have $d(x_{n},x_{m})<\epsilon$ , and a metric is then complete if every Cauchy sequence in the metric space converges, that is, there is some $x\in F$ where for all $\epsilon >0$ there exists an $N\in \mathbb {N}$ such that for all $n\geq N$ we have $d(x_{n},x)<\epsilon$ . Every convergent sequence is Cauchy, however the converse does not hold in general.^[2]^[3]

Constructions

Real and complex numbers

The real numbers are the field with the standard Euclidean metric $|x-y|$ , and this measure is complete.^[2] Extending the reals by adding the imaginary number $i$ satisfying $i^{2}=-1$ gives the field $\mathbb {C}$ , which is also a complete field.^[3]

p-adic

The p-adic numbers are constructed from $\mathbb {Q}$ by using the p-adic absolute value

$v_{p}(a/b)=v_{p}(a)-v_{p}(b)$

where $a,b\in \mathbb {Z} .$ Then using the factorization $a=p^{n}c$ where $p$ does not divide $c,$ its valuation is the integer $n$ . The completion of $\mathbb {Q}$ by $v_{p}$ is the complete field $\mathbb {Q} _{p}$ called the p-adic numbers. This is a case where the field is not algebraically closed. Typically, the process is to take the separable closure and then complete it again. This field is usually denoted $\mathbb {C} _{p}.$ ^[4]

References

↑ Hungerford, Thomas W. (2014). Abstract Algebra: an introduction (Third ed.). Boston, MA: Brooks/Cole, Cengage Learning. pp. 44, 49. ISBN 978-1-111-56962-4.
1 2 3 Folland, Gerald B. (1999). Real analysis: modern techniques and their applications (2nd ed.). Chichester Weinheim [etc.]: New York J. Wiley & sons. pp. 13–14. ISBN 0-471-31716-0.
1 2 Rudin, Walter (2008). Principles of mathematical analysis (3., [Nachdr.] ed.). New York: McGraw-Hill. pp. 47, 52–54. ISBN 978-0-07-054235-8.
↑ Koblitz, Neal. (1984). P-adic Numbers, p-adic Analysis, and Zeta-Functions (Second ed.). New York, NY: Springer New York. pp. 52–75. ISBN 978-1-4612-1112-9. OCLC 853269675.

Completion (algebra) – In algebra, completion w.r.t. powers of an ideal
Complete topological vector space – Structure in functional analysis
Hensel's lemma – Theorem on polynomial roots modulo prime powers
Henselian ring – Local ring in which Hensel's lemma holds
Compact group – Topological group with compact topology
Locally compact field
Locally compact quantum group
Locally compact group – Type of topological group in mathematics
Ordered topological vector space
Ostrowski's theorem – On all absolute values of rational numbers
Topological abelian group
Topological field – Algebraic structure with addition, multiplication, and division
Topological group – Group that is a topological space with continuous group operations
Topological module
Topological ring
Topological semigroup
Topological vector space – Vector space with a notion of nearness

[1] Hungerford, Thomas W. (2014). Abstract Algebra: an introduction (Third ed.). Boston, MA: Brooks/Cole, Cengage Learning. pp. 44, 49. ISBN 978-1-111-56962-4.

[Folland-2] 1 2 3 Folland, Gerald B. (1999). Real analysis: modern techniques and their applications (2nd ed.). Chichester Weinheim [etc.]: New York J. Wiley & sons. pp. 13–14. ISBN 0-471-31716-0.

[Rudin-3] 1 2 Rudin, Walter (2008). Principles of mathematical analysis (3., [Nachdr.] ed.). New York: McGraw-Hill. pp. 47, 52–54. ISBN 978-0-07-054235-8.

[4] Koblitz, Neal. (1984). P-adic Numbers, p-adic Analysis, and Zeta-Functions (Second ed.). New York, NY: Springer New York. pp. 52–75. ISBN 978-1-4612-1112-9. OCLC 853269675.

[1]

[2]

[3]

[4]

This page was redesigned at the edge.