Latest update

- How to stop yellow and grey boxes on serial console during boot?
- Raspberry desktop changed to debian after upgrade from Jessie to Stretch
- How does a GM calculate opening and how many moves in advance?
- Why isn't N2o3 linear?
- dangers of radiation question
- How to tell the headhunter that I need more time for relocating to an other country?
- Can candidate request HR agency or employer to delete records about him according to GDPR?
- My job didn't inform me the hospital called to tell me my husband was admitted. Can I take action against them?
- Show that NP is not equal to SPACE(n)
- Which approach is better for publishing in good journals?
- Request for help in publishing my elementary proof of Fermat's Last Theorem
- Can I have help solving a sum?
- How to overload and compile pure functions operating on associations
- How to prevent a SparseArray entry from being specified when it coincides with the default value?
- What are the odds to be an albino human and have down syndrom?
- Please help identify insect found indoor in Malaysia, south east Asia
- How did Barry keep up with his special diet in jail?
- Ezekiel 30:13 says “there shall no longer be princes from Egypt” but this contradicts Psalm 68:31. Why?
- Whatever happens en français
- Decomposition of a signal based on the cross spectrum interpretation

# The image of a valuation is dense in $\mathbb{R}$

2018-03-12 20:21:43

I'm reading Dwork's Boook An introduction to G-Functions and I'm stuck in some part of a proposition.

We say that $|-|$ is a valuation in the field $K$ (With values in $\mathbb{R}_{\geq 0}$) if

1) $|x|=0$ if and only if $x=0$

2) For all $x,y\in K$, $|xy|=|x||y|$, and

3) $|x+y|\leq\max\{|x|,|y|\}$.

We define the valuation group of $|-|$ by $G=\text{Im}|-|$. In the proof of the proposition which I'm stucked the key is to show that $G$ is dense in $\mathbb{R}$, but I cannot see why.

He says: '' Fix $\alpha\in K, \alpha\neq 0$ such that $|\alpha|\leq\varepsilon$'', where $\varepsilon$ is a fixed number greather than zero.

Can anyone give me any hint?

Thanks