Complete field

Equip a field with a compatible absolute value or metric and require every Cauchy sequence to converge within the field, making limits available without leaving its algebraic carrier.

Version

v2 · 2026-08-30 · History

Domain-specific #

1514

Origin domain

analysis and number theory

Subdomain

complete valued fields

Core Idea

A complete field is a field \(K\) equipped with a specified compatible metric, typically \(d(x,y)=|x-y|\) from an absolute value, such that every Cauchy sequence in that metric converges to an element of \(K\). The metric makes approximation and Cauchy behavior meaningful, compatibility keeps addition and multiplication continuous, and completeness fills every limit demanded by internal Cauchy approximation while preserving the field operations.

Its autonomous residual is the joint algebraic-metric carrier closed under Cauchy limits, not a field complete in an informal axiomatic sense, a complete lattice, an algebraically closed field, or the completion process itself.

Scope of Application

Complete field applies when the analyst can specify a field together with a metric compatible with its additive and multiplicative topology, commonly one induced by an Archimedean or non-Archimedean absolute value and establish that both the field structure and the compatible metric or absolute value are declared, and every Cauchy sequence for that metric has its limit inside the same field. The entry centers metrizable valued fields and sequence completeness; uniform-space, topological-field, higher-rank valuation, and spherical-completeness variants require their own convergence conventions.

Clarity

A clear claim names the carrier, governing rule, assumptions, and recognition test. This matters because complete can refer to axiom sufficiency, algebraic closure, order completeness, metric completeness, or completeness of a theory, and a field can carry several inequivalent absolute values. The disciplined statement is that the object counts as Complete field exactly when both the field structure and the compatible metric or absolute value are declared, and every Cauchy sequence for that metric has its limit inside the same field

Manages Complexity

The abstraction compresses real and complex fields, p-adic and other non-Archimedean fields, complete discretely valued fields, local fields, completed algebraic closures, Hahn-series fields, and equivalent absolute values into a stable carrier, rule, invariant, and failure boundary. It makes comparison tractable while retaining the variables that control validity.

Abstract Reasoning

1. Type the carrier. Establish a field together with a metric compatible with its additive and multiplicative topology, commonly one induced by an Archimedean or non-Archimedean absolute value and reject examples from a different problem. 2. Lock the rule. Express that both the field structure and the compatible metric or absolute value are declared, and every Cauchy sequence for that metric has its limit inside the same field independently of one notation or implementation.

Knowledge Transfer

Transfer within analysis and number theory is strong when new cases preserve the same carrier, mechanism, and diagnostic. The move from The real field \(\mathbb R\) with \(d(x,y)=|x-y|\) is complete, while \(\mathbb Q\) with the restricted Euclidean metric is not because rational Cauchy sequences can converge to irrational limits. to For a prime \(p\), completing \(\mathbb Q\) under the \(p\)-adic absolute value produces \(\mathbb Q_p\), a complete non-Archimedean field whose notion of closeness is controlled by divisibility by high powers of \(p\). demonstrates that continuity.

Relationships to Other Abstractions

Current abstraction Complete field Domain-specific

Parents (1) — more general patterns this builds on

• Complete field is a kind of Completeness Prime

  The proposed strict upward parent is prime:completeness.

Hierarchy path (1) — routes to 1 parentless root

• Complete field → Completeness

Neighborhood in Abstraction Space

Complete field sits in a moderately populated region (49^th percentile for distinctiveness): it has near-neighbors but no dense thicket of look-alikes.

Family — Ambient Structures & Local Geometry (9 abstractions)

Nearest neighbors

• Completely metrizable space — 0.91
• Absolute value (algebra) — 0.89
• Local field — 0.89
• Motion (geometry) — 0.88
• Positively separated sets — 0.88

Computed from structural-signature embeddings · 2026-09-08