Let be an integer such that is globally generated. Let be a basis of . Let be a ultrametric norm on with respect to which this basis is orthogonal. Let and be it image under , then (resp.) if and only if
|
|
|
In particular, the image of under is an open subset in .