Functional analysis on two-dimensional local fields

We establish how a two-dimensional local field can be described as a locally convex space once an embedding of a local field into it has been fixed. We study the resulting spaces from a functional analytic point of view: in particular we study bounded, c-compact and compactoid submodules of two-dimensional local fields.