P-adics and Ultrametric Spaces
Prove that the metric space $(\mathbb{R}\left [ t \right ],d)$ is an ultrametric space.
Let $R[t]$ be the set of polynomials in one variable, $t$, with real number coefficients. For any $p\in \mathbb{R}\left [ t \right ]$, let $deg(p)$ be the degree of the polynomial $p$, and define $\left |p \right |=2^{deg(p)}$ and $\left |0 \right |=0$. For any $p, q \in \mathbb{R}\left [ t \right ]$ , define $d(p,q)=\left| p-q \right |$.
Then I believe we can define as follows: A metric space $(R[t],d)$ is an ultrametic space, and $d$ is an ultrametric, if for any $p,q,r$$\in R[t]$, d(p,q) ≤ max {d(p,r), d(r,q)}.
$p-q$ can't possibly have a greater order than both $p$ and $q$, since there is no way to add powers of $t$ to get a power that is greater than all of the terms.
So $deg(p-q)$ ≤ $max\{deg(p), deg(q)\}$.
$2^x$ is an increasing function, so $a ≤ b$ implies $2^a ≤ 2^b$. Thus $|p-q| ≤ max\{|p|, |q|\}$, as desired.