numbers.

Proof.
The iteration given in definition 2.2 has a contractivelike property by (iii'), which means that the sequence
$min{X}^{k}$
is monotonic increasing,
$max{X}^{k}$
is monotonic decreasing. Hence the limits
${lim}_{k\to \infty}min{X}^{k}$
and
${lim}_{k\to \infty}max{X}^{k}$
exist. From condition (iv'), one can see that the series' minimal and maximal elements are given by the following:
$$\begin{array}{c}\begin{array}{}\text{(2.3)}& min{X}^{k+1}={M}_{n1}\left({V}_{min}^{n1}\right({X}^{k}\left)\right)max{X}^{k+1}={M}_{n1}\left({V}_{max}^{n1}\right({X}^{k}\left)\right)\end{array}\end{array}$$ 
(2.4)

where
${V}_{min}^{n1}\left({X}^{k}\right)$
are the smallest
$n1$
numbers,
${V}_{max}^{n1}\left({X}^{k}\right)$
are the largest
$n1$
numbers from the series
${X}^{k}$
. By 2.3 and 2.4
$min{X}^{k+1}$
and
$max{X}^{k+1}$
explicit dependence on
$min{X}^{k}$
and
$max{X}^{k}$
is given
$$\begin{array}{c}\begin{array}{}\text{(2.5)}& {lim}_{k\to \infty}min{X}^{k+1}={lim}_{k\to \infty}{M}_{n1}\left({V}_{min}^{n1}\right({X}^{k}\left)\right){lim}_{k\to \infty}max{X}^{k+1}={lim}_{k\to \infty}{M}_{n1}\left({V}_{max}^{n1}\right({X}^{k}\left)\right)\end{array}\end{array}$$ 
(2.6)

and by (vi') one can write
$$\begin{array}{c}\begin{array}{}\text{(2.7)}& {lim}_{k\to \infty}min{X}^{k+1}={M}_{n1}\left({lim}_{k\to \infty}{V}_{min}^{n1}\right({X}^{k}\left)\right){lim}_{k\to \infty}max{X}^{k+1}={M}_{n1}\left({lim}_{k\to \infty}{V}_{max}^{n1}\right({X}^{k}\left)\right)\end{array}\end{array}$$ 
(2.8)

which yields
$$\begin{array}{c}\begin{array}{}\text{(2.9)}& {lim}_{k\to \infty}min{X}^{k+1}=I={M}_{n1}(I,...){lim}_{k\to \infty}max{X}^{k+1}=J={M}_{n1}(J,...)\end{array}\end{array}$$ 
(2.10)

and this is only true when
$I=J$
.
The above theorem and its proof yields the following remarks.
Remark 2.1.
The iteratively defined mean function
${M}_{n}$
, is invariant to the initial ordering of the
${V}_{i}^{n1}$
variations.
Remark 2.2.
The iteration 2.2 leaves the mean of the starting n numbers invariant through the sequence.
It is easy to verify the next two theorems, which have stressed importance in inequalities of means and operator means in our given context.
Corollary 2.2.
Two different, iteratively defined mean function
${M}_{n,1}$
and
${M}_{n,2}$
, is in the same relation as their two variable forms (
${M}_{2,1}<{M}_{2,2}$
implies
${M}_{n,1}<{M}_{n,2}$
).
Corollary 2.3.
Theorem 2.1 and the proof also works for ordered positive operators, acting on a
$H$
Hilbert space, and for
$k\times k$
matrices.
We will show with some examples, that theorem 2.1 gives a sufficient definition of the
$n$
variable mean.
Corollary 2.4.
Theorem 2.1 applied on the
$n1$
variable arithmetic, geometric and harmonic mean, gives the corresponding
$n$
variable mean.

Proof.
According to the given serie's convergence in theorem 2.1 it is enough to prove that the minimum's or maximum's limit is the
$n$
variable mean. We will prove it only for the arithmetic mean. Let us consider the numbers
${x}_{1}^{0}\le \cdot \cdot \cdot \le {x}_{n}^{0}\in {\mathbb{R}}^{+}$
and the
${A}_{n1}$
arithmetic mean. By theorem 2.1, the sequence
${x}_{1}^{k}$
can explicitly be written and proven by induction with 2.2 , 2.3 and 2.4 :
$$\begin{array}{c}\begin{array}{cc}{x}_{1}^{k}=\{\begin{array}{cc}\frac{{\sum}_{i=1}^{n}\frac{(n1{)}^{k}1}{n}{x}_{i}^{0}+{x}_{1}^{0}}{(n1{)}^{k}}& \text{if}k\text{is even,}\\ \frac{{\sum}_{i=1}^{n}\frac{(n1{)}^{k}+1}{n}{x}_{i}^{0}{x}_{n}^{0}}{(n1{)}^{k}}& \text{if}k\text{is odd,}\end{array}& {x}_{n}^{k}=\{\begin{array}{cc}\frac{{\sum}_{i=1}^{n}\frac{(n1{)}^{k}1}{n}{x}_{i}^{0}+{x}_{n}^{0}}{(n1{)}^{k}}& \text{if}k\text{is even,}\\ \frac{{\sum}_{i=1}^{n}\frac{(n1{)}^{k}+1}{n}{x}_{i}^{0}{x}_{1}^{0}}{(n1{)}^{k}}& \text{if}k\text{is odd.}\end{array}\end{array}\end{array}$$ 
(2.11)

For the geometric mean the proof can be extended using the logarithmic function and its inverse for the limit:
$$\begin{array}{c}log\left(\sqrt[n1]{{x}_{1}\cdot {x}_{2}...{x}_{n1}}\right)=\frac{{\sum}_{i=1}^{n1}log{x}_{i}}{n1}\text{.}\end{array}$$ 
(2.12)

The proof for the harmonic mean can be given by inverses:
$$\begin{array}{c}{\left(\frac{n1}{{x}_{1}^{1}+{x}_{2}^{1}...{x}_{n1}^{1}}\right)}^{1}=\frac{{x}_{1}^{1}+{x}_{2}^{1}...{x}_{n1}^{1}}{n1}\text{.}\end{array}$$ 
(2.13)

Our main idea of extending means to multiple variables is based on theorem 2.1 , which is theoretically enough but in practice is very insufficient. For example if we would like to compute
$n$
numbers or matrices
${M}_{n}$
mean, we should use the two variable main definition
${M}_{2}$
and extend the other ones from one to another.
In the next section we will prove that
${M}_{n}$
can be directly extended from the corresponding
${M}_{2}$
.
3 Extending
${M}_{n}$
directly from
${M}_{2}$
Let us define the following iteration:
Definition 3.1.
Let
$X=({x}_{1}^{0}\le \cdot \cdot \cdot \le {x}_{n}^{0})\in ({\mathbb{R}}^{+}{)}^{\text{n}}$
and
$M={M}_{2}$
be a two variable mean function,
$$\begin{array}{c}{x}_{i}^{k+1}=\{\begin{array}{cc}M({x}_{1}^{k},{x}_{2}^{k})& \text{if}i=1\text{,}\\ M({x}_{n1}^{k},{x}_{n}^{k})& \text{if}i=n\text{,}\\ M({x}_{i1}^{k},{x}_{i+1}^{k})& \text{else.}\end{array}\end{array}$$ 
(3.1)

Theorem 3.1.
The iteration given in definition 3.1 for all
$n$
is convergent and
$$\forall \left(i\right){lim}_{k\to \infty}{x}_{i}^{k}={M}_{n}({x}_{1}^{0},...{x}_{n}^{0})$$
where
${M}_{n}$
is defined by theorem 2.1 .

Proof.
Firstly we begin with proving the convergence. It is clear that the
$min{x}_{i}^{k}$
is always the first element (
$i=1$
) and the
$max{x}_{i}^{k}$
is always the last element (
$i=n$
) of the series in definition 3.1 . Hence (iii) and definition 3.1 ,
$min{x}_{i}^{k}$
is increasing and
$max{x}_{i}^{k}$
is decreasing. This yields:
$$\begin{array}{c}\begin{array}{}\text{(3.2)}& {lim}_{k\to \infty}min{x}_{i}^{k+1}={lim}_{k\to \infty}M({x}_{1}^{k},{x}_{2}^{k}){lim}_{k\to \infty}max{x}_{i}^{k+1}={lim}_{k\to \infty}M({x}_{n1}^{k},{x}_{n}^{k})\end{array}\end{array}$$ 
(3.3)

and by (v):
$$\begin{array}{c}\begin{array}{}\text{(3.4)}& {lim}_{k\to \infty}min{x}_{i}^{k+1}=M({lim}_{k\to \infty}{x}_{1}^{k},{lim}_{k\to \infty}{x}_{2}^{k}){lim}_{k\to \infty}max{x}_{i}^{k+1}=M({lim}_{k\to \infty}{x}_{n1}^{k},{lim}_{k\to \infty}{x}_{n}^{k})\end{array}\end{array}$$ 
(3.5)

which give
$$\begin{array}{c}\begin{array}{}\text{(3.6)}& {lim}_{k\to \infty}min{x}_{i}^{k+1}=I=M(I,{lim}_{k\to \infty}{x}_{2}^{k}),{lim}_{k\to \infty}max{x}_{i}^{k+1}=J=M({lim}_{k\to \infty}{x}_{n1}^{k},J).\end{array}\end{array}$$ 
(3.7)

Considering the characteristics of the definition 3.1 , this can only be true when
$I=J$
. Secondly we will prove the limit. For
$n=3$
the theorem is clear, because the two iterations, defined in theorems 2.1 and in 3.1 , are the same. Our next step is to prove for
$n+1$
, if it is true for
$n$
.
Let us consider the definition of
${M}_{n+1}$
in theorem 2.1 . Comparing the
$min{x}_{i}^{k}$
(which is the first element
$i=1$
) in theorem 3.1 , and
$min{X}^{k}$
(which equals
${M}_{n}\left({V}_{min}^{n}\right({X}^{k1}\left)\right)$
by 2.3 ), we can see that
$min{x}_{i}^{k}\le min{X}^{k}$
, because of the inductional condition and the definition of
${M}_{n}$
as a limit in theorem 2.1 . The same can be applied for
$max{x}_{i}^{k}$
and
$max{X}^{k}$
which yields
$max{x}_{i}^{k}\ge max{X}^{k}$
.
Hence
$min{x}_{i}^{k}$
and
$max{x}_{i}^{k}$
are minoring and majoring, for every
$k$
,
$min{X}^{k}$
and
$max{X}^{k}$
, but
${lim}_{k\to \infty}min{x}_{i}^{k}={lim}_{k\to \infty}max{x}_{i}^{k}$
, so
${lim}_{k\to \infty}min{x}_{i}^{k}={M}_{n+1}({x}_{1}^{0},...{x}_{n+1}^{0})$
.
Furthermore there is special property in the iteration in definition 3.1 .
Definition 3.2.
Let
${x}_{i}^{0}\in {\mathbb{R}}^{+}i\in [1,...n]$
and
$G$
be a graph, with n verteces and edges given as that, there is one cycle in
$G$
, which contains all verteces and edges (so it is at the same time a Hamiltonian and an Eulercycle ). This implies that in
$G$
, every vertex has two edges and all of them are bound together. Let us consider an optional one to one correspondence between
${x}_{i}^{0}$
numbers and
$G$
s verteces. Taking every edge in
$G$
as an
$M({x}_{j}^{0},{x}_{l}^{0})$
(where
$M$
is a mean function and
${x}_{j}^{0}$
,
${x}_{l}^{0}$
are assigned to the two ending points of the edge as previously given), we can define an iteration with an optional
$n$
mappings,
$$\begin{array}{c}\begin{array}{cc}{x}_{i}^{k+1}=M({x}_{j}^{k},{x}_{l}^{k})& i,j,l\in [1,...n]j\ne l\text{.}\end{array}\end{array}$$ 
(3.8)

Theorem 3.2.
Every different iteration given in definition 3.2 , converge to the limit
${M}_{n}$
mean function, and the iteration independently from the mapping
${x}_{i}^{k+1}=M({x}_{j}^{k},{x}_{l}^{k})$
converge on a higher or equally rate as the iteration given in definition 3.1 .

Proof.
For
$n=3$
, it is easy to see that the theorem is true, because the iterations given in definitions 3.1 and 3.2 , are the same.
Assume that the theorem is true for
$n$
variable. Let us expand from an
$n$
variable iteration defined in 3.2 with an optional mapping, to
$n+1$
variable.
This can be done as replacing one edge with two edges and one vertex (mapped to a new number). Let us do this expansion in the following way. Take the first smallest
$n$
numbers from
$n+1$
and set up on them the iteration given in definition 3.1 . From the inductional condition this iteration will have the slowest convergence rate, which means that its minimal and maximal elements will minor and major every other iteration in definition 3.2 . Let us replace the edge which gives the maximal element of the iteration given in definition 3.1 , with the two new edges and the remaining number (which is the greatest number out of the
$n+1$
) as a vertex. This two edges with the corresponding two
${M}_{2}(x,y)$
will give the new iterations given for
$n+1$
numbers greatest two elements. This replacement cannot be done better in any other optional mapped iteration given in definition 3.2 aswell. But considering the inductional condition this yields that any
$n+1$
variable iteration given in definition 3.2 , cannot minor and major, with its maximal and minimal elements, the iteration given in definition 3.1 , hence theorem 3.2 is proven.
Corollary 3.3.
The above theorems also work for ordered operators acting on a
$H$
Hilbert space, and
$k\times k$
matrices aswell.
We will have to consider further examinations to define the above iterational definitions for inorderable matrices. In the next section we will study this problem.
4 Extending theorems 3.1 and 3.2 to unordered matrices and operators
The problem is with positive matrices and operators which satisfy
$\parallel A\parallel =\parallel B\parallel $
and
$A\ne B$
. For the above matrices and operators, the function
$M(A,B)$
's and its arguments' relation is not explained and highly depend on the main characteristics of
$M(A,B)$
, so the given iterations in the above theorems must be specified.
Theorem 4.1.
For any
${X}_{1},...{X}_{n}$
positive operators or matrices the iteration given in definition 3.1 is convergent, as defined in theorem 3.1 .

Proof.
If
$\parallel {X}_{1}\parallel =\parallel {X}_{2}\parallel =\cdot \cdot \cdot =\parallel {X}_{n}\parallel $
does not hold, than the iteration in definition 3.1 converges for all
${X}_{i}$
, because after
$n$
steps, the iteration will surely alter all of the
$\Vert {X}_{i}^{k}\Vert $
s (from one to another), so the iteration will converge.
If
$\parallel {X}_{1}\parallel =\parallel {X}_{2}\parallel =\cdot \cdot \cdot =\parallel {X}_{n}\parallel $
does hold, we will have to define (according to [
11]
) the following construction. Let
${a}_{t}$
and
${a}_{t}^{\prime}$
be monotone sequences as,
$$\begin{array}{c}\begin{array}{cccccc}& {a}_{t},{a}_{t}^{\prime}\in {\mathbb{R}}^{+}& & \forall \left(t\right){a}_{t}\ge 1\text{and}{a}_{t}^{\prime}\le 1& & li{m}_{t\to \infty}{a}_{t}=1\text{and}li{m}_{t\to \infty}{a}_{t}^{\prime}=1\text{.}\end{array}\end{array}$$ 
(4.1)

Let
${X}_{1}^{\prime}={a}_{t}{X}_{1}$
,
${X}_{i}^{\prime}={X}_{i}i\in [2,...n]$
and
${X}_{1}^{\prime \prime}={a}_{t}^{\prime}{X}_{1}$
,
${X}_{i}^{\prime \prime}={X}_{i}i\in [2,...n]$
. Let us set the iteration given in definition 3.1 up on
${X}_{i}$
,
${X}_{i}^{\prime}$
and
${X}_{i}^{\prime \prime}$
. According to the first part of the proof, the
$({X}_{i}^{\prime}{)}^{k}$
and
$({X}_{i}^{\prime \prime}{)}^{k}$
series are convergent for any
$t$
, as given in theorem 3.1 . Considering the definition of sequences
${a}_{t}$
and
${a}_{t}^{\prime}$
in 4.1 , it is easy to verify by condition (iii), that for any
$t$
, the
$({X}_{i}^{\prime \prime}{)}^{k}$
series are minoring and
$({X}_{i}^{\prime}{)}^{k}$
series are majoring the series
${X}_{i}^{k}$
for any
$i$
.
Taking the limit
$k\to \infty $
, we get
${M}_{n}\left({X}_{1}^{\prime \prime}\right(t),...{X}_{n}^{\prime \prime}(t\left)\right)$
and
${M}_{n}\left({X}_{1}^{\prime}\right(t),...{X}_{n}^{\prime}(t\left)\right)$
.
Hence
${M}_{n}\left({X}_{1}^{\prime \prime}\right(t),...{X}_{n}^{\prime \prime}(t\left)\right)$
and
${M}_{n}\left({X}_{1}^{\prime}\right(t),...{X}_{n}^{\prime}(t\left)\right)$
are Cauchy sequences in index
$t$
and condition (vi'), they are convergent and
$$\begin{array}{c}li{m}_{t\to \infty}{M}_{n}\left({X}_{1}^{\prime \prime}\right(t),...{X}_{n}^{\prime \prime}(t\left)\right)=li{m}_{t\to \infty}{M}_{n}\left({X}_{1}^{\prime}\right(t),...{X}_{n}^{\prime}(t\left)\right)\text{.}\end{array}$$ 
(4.2)

But
$\left({X}_{i}^{\prime \prime}{)}^{k}\right(t)$
and
$\left({X}_{i}^{\prime}{)}^{k}\right(t)$
are minoring and majoring every
${X}_{i}^{k}$
for any
$i$
and
$t$
, so the limit
$li{m}_{k\to \infty}{X}_{i}^{k}$
exist and by 4.2 ,
$$\begin{array}{c}li{m}_{t\to \infty}{M}_{n}\left({X}_{1}^{\prime \prime}\right(t),...{X}_{n}^{\prime \prime}(t\left)\right)=li{m}_{k\to \infty}{X}_{i}^{k}=li{m}_{t\to \infty}{M}_{n}\left({X}_{1}^{\prime}\right(t),...{X}_{n}^{\prime}(t\left)\right)\end{array}$$ 
(4.3)

and theorem 4.1 is proven.
Corollary 4.2.
Using the above proof, theorems 2.1 and 3.2 work for the unordered
${X}_{i}$
s.
5 Consequences
By the theorems given in our examinations generalize the extension of the two variable mean functions and gives a frame theory, which may be used in the future studies related to the extension of means to multiple variables.
An important outcome is, that these theorems are applying for operators and matrices and guarantee the existence of one possible extension.
It is known, that in several situations, there are more than one possible generalization of a
mean. One example is the logarithmic mean,
$$\begin{array}{c}L(x,y)=\frac{xy}{logxlogy}\end{array}$$ 
(5.1)

which has several extended forms according to [
5]
, [
8]
, [
9]
, but our theorems may leave only one form valid. However with some means, it appears to be quite difficult to give the iterations limit in a closed form.
References

T. Ando, CK. Li and R. Mathias, Geometric means, Linear Algebra Appl.

W. N. Jr. Anderson and R. J. Duffin, Series and parallel addition of matrices, J. Math. Anal. Appl. 26(1969), 576594.

W. N. Jr. Anderson and G. E. Trapp, Shorted Operators II, Siam J. Appl. Math. 28(1975), 6071.

R. Bhatia, Matrix Analysis, SpringerVerlag, New York, 1996.

B. C. Carlson, The logarithmic mean, Amer. Math. Monthly 79, 615618 (1972).

F. Hiai and H. Kosaki, Means of Hilbert space operators, Lecture Notes In Maths. 1820, Springer, 2003.

F. Kubo, T. Ando, Means of positive linear operators, Math. Ann. 246(1980), 205224.

S. Mustonen, Logarithmic mean for several arguments,

E. Neuman, The weighted logarithmic mean, J. Math. Anal. Appl. 188(1994), 885900.

M. K. Vamanamurthy and M. Vuorinen, Inequalities for means. J. Math. Anal. Appl. 183(1994), 155166.

D. Petz, Means of positive numbers and operators, preprint (2004).