An application of the spherical completion to finite-dimensional normed spaces

In this paper, we will establish a general method of studying finite-dimensional normed spaces, and apply this method to classifying $3$-dimensional and $4$-dimensional normed spaces over a non-spherically complete field. For this purpose, we will use the spherical completion. From the perspective of the spherical completion, each finite-dimensional normed space can be embedded into a simple space. In order to study simple spaces, the orthogonality is important. The orthogonality allows us to find a classification of finite-dimensional normed spaces. As an application of our study, we can get a characterization of strictly epicompact sets, which is an open problem.