finite dimensional normed spaces