PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Very high Entry average rating: No information on entry rating
[parent] independence of valuations (Theorem)

Let $|\cdot|_1$ , ..., $|\cdot|_n$ be non-trivial (i.e., they all have also other values than 0 and 1) and pairwise non-equivalent valuations of a field $K$ , all with values real numbers. If $a_1$ , ..., $a_n$ are some elements of this field and $\varepsilon$ is an arbitrary positive number, then there exists in $K$ an element $y$ which satisfies the conditions

\begin{align*}\begin{cases}\vert y-a_1\vert _1 < \varepsilon,\\ \qquad \vdots \qquad \\ Vert y-a_n\vert _n < \varepsilon.\\ \end{cases}\end{align*}    




"independence of valuations" is owned by pahio.
(view preamble | get metadata)

View style:

See Also: trivial valuation, equivalent valuations, weak approximation theorem

Other names:  approximation theorem

This object's parent.

Attachments:
independence of $p$-adic valuations (Corollary) by alozano
Log in to rate this entry.
(view current ratings)

Cross-references: number, positive, real numbers, field, valuations
There are 3 references to this entry.

This is version 19 of independence of valuations, born on 2004-02-25, modified 2008-12-07.
Object id is 5626, canonical name is IndependenceOfTheValuations.
Accessed 3667 times total.

Classification:
AMS MSC11R99 (Number theory :: Algebraic number theory: global fields :: Miscellaneous)

Pending Errata and Addenda
None.
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | prove | add result | add corollary | add example | add (any)