Proposition 6.4. Assuming that:

$(K, | ∙ |)$ is a complete non-archimedean valued field
$V$ a finite dimensional vector space over $K$

Then

V

is complete with respect to

{∥ ∙ ∥}_{\sup}

.