Let $X=\text{Sp}(A)$ be an affinoid $K$ space, where $K$ is a $p$-adic field. If $f_0, f_1,..., f_s \in A$ generate the unit ideal then we can define the rational subdomain $U= X(f_0, f_1..., f_s) = \{ x \in X: \vert f_i(x) \vert \leq \vert f_0(x) \vert \text{ for } i=1...s \}$ of $X$ with coordinate ring $\mathcal{O}(U)= A \langle x_1,...,x_s \rangle/(f_1-f_0x_1, ..., f_s-f_0x_s)$.

If $\rho \in \sqrt{\vert K^\times \vert}$ and $\rho >1$ then, by definition, there exists a natural number $n$ such that $\rho^n= \vert t \vert$ for some $t \in K^\times$. We can define another rational subdomain $U(\rho)= X(\rho f_0, f_1..., f_s) = \{ x \in X: \vert f_i(x) \vert \leq \rho \vert f_0(x) \vert \text{ for } i=1...s \}$ of $X$. I think its coordinate ring is $\mathcal{O}(U(\rho))= A \langle t^{-1}x_1,..., t^{-1}x_s \rangle/(f^n_1-f^n_0 x_1, ..., f^n_s-f^n_0 x_s)$.

As $U \subset \subset_{X} U(\rho)$ we have, in particular, a sheaf restriction map
$ r_{U(\rho)U}: \mathcal{O}(U(\rho)) \rightarrow \mathcal{O}(U)$. I think this is just given by $t^{-1} x_i \mapsto x_i$ for all $i=1...s$. *I have been trying to work out whether this restriction map is necessarily injective*. So far, my attempts have been direct, i.e. trying to prove that the kernel is zero, but I haven't got anywhere. Irritatingly, I also cannot find any counterexample to the statement I am trying to prove (I might be being stupid).

Does anybody know whether what I am trying to prove is true? If so, could you please point me towards a proof? I would also be very interested to know whether the more general statement $U \subset \subset_{X} V$ (wide open neighbourhood) with $U$ an affinoid subdomains of $X$ implies that the structure sheaf restriction map $\mathcal{O}(V) \rightarrow \mathcal{O}(U)$ is injective. My original question is a special case of this one. I had a go at the special case first because things seemed more explicit!

Thank you so much in advance for any help!