Say you're working within the finite-dimensional free Z-module $\mathbb{Z}^n$, and you want to impose a "norm" on this module. By a "norm" I mean a function $\|·\|: \mathbb{Z}^n \to \mathbb{R}$ which obeys all of the axioms of a norm, but where the domain is the set of elements in the module rather than the set of vectors in a vector space. (I'm not going to keep putting "norm" in scare quotes after this because it's clear what I mean.)

I'm particularly interested in the case where our norm is an $\ell_p$ norm, but also desire to know a general solution to this problem for any arbitrary norm.

Now let $e$ be any element in $\mathbb{Z}^n$, and $f$ be any linear functional in the dual module $\mathbb{Z}^{n*} = Hom(\mathbb{Z}^n, \mathbb{Z})$. Then if we want to find

- $\displaystyle \Theta(f) = \text{max} \left ( \left \lbrace \frac{\left|f(e)\right|}{\|e\|} : \|e\| \neq 0 \right \rbrace \right )$

then it's well-known that $\Theta$ itself has the structure of a norm, and is the dual norm on $\mathbb{Z}^{n*}$. If our norm on $\mathbb{Z}^n$ was an $\ell_p$ norm, this is $\ell_q$ norm dual to it.

Though it may seem odd, we can introduce a limit into the above expression, which leads to the following equivalent expression:

- $\displaystyle \Theta(f) = \lim_{r\to\infty} \text{max} \left ( \left \lbrace \frac{\left|f(e)\right|}{\|e\|} : 0 \lt \|e\| \leq r \right \rbrace \right )$

However, what if rather than the supremum, we want to find the limit of the power mean of these increasingly large (but still finite) sets? That is, say for some real m, we want to find

- $\displaystyle \mu^m(f) = \lim_{r\to\infty} \mu^m \left ( \left \lbrace \frac{\left|f(e)\right|}{\|e\|} : 0 \lt \|e\| \leq r \right \rbrace \right )$

where $\mu^m(S)$ for some finite set $S$ of non-negative reals is the power mean $\displaystyle \left ( \frac{1}{|S|} · \sum_{s \in S} s^m\right )^\frac{1}{m}$?

**Given that, my questions are**:

- Is there some simple expression for $\mu^m(f)$ in general?
- Will $\mu^m$ in general also have the structure of a norm?
- If not, are there certain special choices of norm on $\mathbb{Z}^n$, and choice of m for $\mu^m$, for which $\mu^m$ does have the structure of a norm?
- If the norm is an $\ell_p$ norm, are there certain special choices of p for which it holds?

Lastly, consider an embedding of $\mathbb{Z}^{n}$ in the obvious way into the vector space $\mathbb{R}^{n}$. This allows us to take $\mu$ and define a new, related function $\hat \mu^m(f) = \left(\frac{1}{\lambda(B_p)}\int_{B_p}\left(\frac{|f(v)|}{\|v\|}\right)^m dv\right)^\frac{1}{m}$, where $v \in \mathbb{R}^n$, $B_p = \left \lbrace v \in \mathbb{R}^n : 0 \lt \|v \| \leq 1 \right \rbrace$, and $\lambda$ is the Lebesgue measure on $\mathbb{R}^n$.

- For any $f \in \mathbb{Z}^{n*}$ (and hence also $\in \mathbb{R}^{n*}$ via the embedding), does $\mu^m(f) = \hat \mu^m(f)$?
- If not, what relationship might exist between $\mu^m(f)$ in the module and $\hat \mu^m(f)$ in the vector space?

6more comments