P-adic metric: Difference between revisions

From Citizendium
Jump to navigation Jump to search
imported>Richard Pinch
m (→‎Properties: update link)
mNo edit summary
 
Line 16: Line 16:


==Ostrowksi's Theorem==
==Ostrowksi's Theorem==
The ''p''-adic metrics and the usual absolute value on '''Q''' are mutually inequivalent.  Ostrowkski's theorem states that any non-trivial absolute value on the rational numbers Q is equivalent to either the usual real absolute value or a p-adic absolute value.
The ''p''-adic metrics and the usual absolute value on '''Q''' are mutually inequivalent.  Ostrowkski's theorem states that any non-trivial absolute value on the rational numbers Q is equivalent to either the usual real absolute value or a p-adic absolute value.[[Category:Suggestion Bot Tag]]

Latest revision as of 12:01, 30 September 2024

This article is a stub and thus not approved.
Main Article
Discussion
Related Articles  [?]
Bibliography  [?]
External Links  [?]
Citable Version  [?]
 
This editable Main Article is under development and subject to a disclaimer.

The p -adic metric, with respect to a given prime number p, on the field Q of rational numbers is a metric which is a valuation on the field.

Definition

Every non-zero rational number may be written uniquely in the form where r and s are integers coprime to p and n is an integer. We define the p-adic valuation on Q by

The p-adic metric is then defined by

Properties

The p-adic metric on Q is not complete: the p-adic numbers are the corresponding completion.

Ostrowksi's Theorem

The p-adic metrics and the usual absolute value on Q are mutually inequivalent. Ostrowkski's theorem states that any non-trivial absolute value on the rational numbers Q is equivalent to either the usual real absolute value or a p-adic absolute value.