Definition:Valued Field

From ProofWiki
Jump to navigation Jump to search

Definition

Let $\struct {K, +, \circ}$ be a field.

Let $\norm{\,\cdot\,}$ be a norm on $K$.


Then $\struct{K, \norm{\,\cdot\,} }$ is a valued field.


Also see