How statement and proof provenance work
The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.
- Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
- AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
- AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.
These labels describe origin, not correctness: citations and verification chips remain separate evidence.
P-adic balls are clopen and intersecting comparable balls are nested
Statement
In , every open or closed ball is both open and closed. Moreover, if two balls of radii intersect, then the smaller one is contained in the larger.
Facts & Assumptions
Given: Points and positive radii .
The absolute value on is nonarchimedean (The p-adic absolute value is nonarchimedean).
is the -adic completion field (The p-adic numbers as a metric completion).
Proof
If lies in the open ball , then . For any with , [L1] gives so . Thus every point of an open ball is again a center, hence every open ball is open and every closed ball is open by the same argument with .
If , then [L1] forces . Hence, if , then and so ; and if lies outside the closed ball of radius around , then and so lies outside that closed ball as well. Thus the complement of either the open or the closed ball around is a union of open balls. Therefore every open or closed ball is also closed.
If and intersect, choose in the intersection. For any , so . The same proof works for closed balls. Hence intersecting comparable balls are nested.
Depends on
Used by
Dependency tree · two levels
6 results within two dependency steps of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.
Sources
- J. S. Milne, Algebraic Number Theory, Chapter 7 (standard reference, not scraped)
- Andrew V. Sutherland, 18.782 Lecture 5 (standard reference, not scraped)