Definition 7.1 (Local field). Let $(K,\left|\bullet \right|)$ be a valued field. Then $K$ is a local field if it is complete and locally compact.