-
Nonstandard analysis of the behavior of ergodic means of dynamical systems on very big finite probability spaces
Authors:
E. I. Gordon,
L. Yu. Glebsky,
C. W. Henson
Abstract:
The trivial proof of the ergodic theorem for a finite set $Y$ and a permutation $T:Y\to Y$ shows that for an arbitrary function $f:Y\to{\mathbb R}$ the sequence of ergodic means $A_n(f,T)$ stabilizes for $n \gg |T|$. We show that if $|Y|$ is very large and $|f(y)| \ll |Y|$ for almost all $y$, then $A_n(f,T)$ stabilizes for significantly long segments of very large numbers $n$ that are, however,…
▽ More
The trivial proof of the ergodic theorem for a finite set $Y$ and a permutation $T:Y\to Y$ shows that for an arbitrary function $f:Y\to{\mathbb R}$ the sequence of ergodic means $A_n(f,T)$ stabilizes for $n \gg |T|$. We show that if $|Y|$ is very large and $|f(y)| \ll |Y|$ for almost all $y$, then $A_n(f,T)$ stabilizes for significantly long segments of very large numbers $n$ that are, however, $\ll |T|$. This statement has a natural rigorous formulation in the setting of nonstandard analysis, which is, in fact, equivalent to the ergodic theorem for infinite probability spaces. Its standard formulation in terms of sequences of finite probability spaces is complicated. We also discuss some other properties of the sequence $A_n(f,T)$ for very large finite $|Y|$ and $n$. A special consideration is given to the case, when a very big finite space $Y$ and its permutation $T$ approximate a dynamical system $(X,ν, τ)$, where $X$ is compact metric space, $ν$ is a Borel measure on $X$ and $τ:X\to X$ is a measure preserving transformation. The definition of approximation introduced here is new to our knowledge.
△ Less
Submitted 26 January, 2012;
originally announced January 2012.
-
Ergodic theorem for a Loeb space and hyperfinite approximations of dynamical systems
Authors:
L. Yu. Glebsky,
E. I. Gordon,
C. W. Henson
Abstract:
Although the G.Birkhoff Ergodic Theorem (BET) is trivial for finite spaces, this does not help in proving it for hyperfinite Loeb spaces. The proof of the BET for this case, suggested by T. Kamae, works, actually, for arbitrary probability spaces, as it was shown by Y. Katznelson and B. Weiss.
In this paper we discuss the reason why the usual approach, based on transfer of some simple facts abou…
▽ More
Although the G.Birkhoff Ergodic Theorem (BET) is trivial for finite spaces, this does not help in proving it for hyperfinite Loeb spaces. The proof of the BET for this case, suggested by T. Kamae, works, actually, for arbitrary probability spaces, as it was shown by Y. Katznelson and B. Weiss.
In this paper we discuss the reason why the usual approach, based on transfer of some simple facts about arbitrary large finite spaces on infinite spaces using nonstandard analysis technique, does not work for the BET. We show that the the BET for hyperfinite spaces may be interpreted as some qualitative result for very big finite spaces. We introduce the notion of a hyperfinite approximation of a dynamical system and prove the existence of such an approximation. The standard versions of the results obtained in terms of sequences of finite dynamical systems are formulated.
△ Less
Submitted 1 April, 2011;
originally announced April 2011.
-
A theory of hyperfinite sets
Authors:
P. V. Andreev,
E. I. Gordon
Abstract:
We develop an axiomatic set theory -- the Theory of Hyperfinite Sets THS, which is based on the idea of existence of proper subclasses of big finite sets. We demonstrate how theorems of classical continuous mathematics can be transfered to THS, prove consistency of THS and present some applications.
We develop an axiomatic set theory -- the Theory of Hyperfinite Sets THS, which is based on the idea of existence of proper subclasses of big finite sets. We demonstrate how theorems of classical continuous mathematics can be transfered to THS, prove consistency of THS and present some applications.
△ Less
Submitted 17 February, 2005;
originally announced February 2005.
-
On finite approximations of topological algebraic systems
Authors:
L. Yu. Glebsky,
E. I. Gordon,
C. W. Henson
Abstract:
We introduce and discuss a definition of approximation of a topological algebraic system $A$ by finite algebraic systems of some class $\K$. For the case of a discrete algebraic system this definition is equivalent to the well-known definition of a local embedding of an algebraic system $A$ in a class $\K$ of algebraic systems. According to this definition $A$ is locally embedded in $K$ iff it i…
▽ More
We introduce and discuss a definition of approximation of a topological algebraic system $A$ by finite algebraic systems of some class $\K$. For the case of a discrete algebraic system this definition is equivalent to the well-known definition of a local embedding of an algebraic system $A$ in a class $\K$ of algebraic systems. According to this definition $A$ is locally embedded in $K$ iff it is a subsystem of an ultraproduct of some systems in $\K$. We obtain a similar characterization of approximation of a locally compact system $A$ by systems in $\K$.
We inroduce the bounded formulas of the signature of $A$ and their approximations similar to those introduced by C.W.Henson \cite{he} for Banach spaces. We prove that a positive bounded formula $\f$ holds in $A$ if all precise enough approximations of $\f$ hold in all precise enough approximations of $A$.
We prove that a locally compact field cannot be approximated by finite associative rings (not necessary commutative). Finite approximations of the field $\R$ can be concedered as computer systems for reals. Thus, it is impossible to construct a computer arithmetic for reals that is an associative ring.
△ Less
Submitted 31 July, 2006; v1 submitted 21 November, 2003;
originally announced November 2003.
-
On approximation of topological groups by finite algebraic systems. II
Authors:
L. Yu. Glebsky,
E. I. Gordon,
C. J. Rubio
Abstract:
Recall that a locally compact group G is called unimodular if the left Haar measure on G is equal to the right one. It is proved in this paper that G is unimodular iff it is approximable by finite quasigroups (Latin squares).
Recall that a locally compact group G is called unimodular if the left Haar measure on G is equal to the right one. It is proved in this paper that G is unimodular iff it is approximable by finite quasigroups (Latin squares).
△ Less
Submitted 4 April, 2003;
originally announced April 2003.
-
On approximation of topological groups by finite algebraic systems
Authors:
L. Yu. Glebsky,
E. I. Gordon
Abstract:
It is known that locally compact groups approximable by finite ones are unimodular, but this condition is not sufficient, for example, the simple Lie groups are not approximable by finite ones as topological groups. In this paper the approximations of locally compact groups by more general finite algebraic systems are investigated. It is proved that the approximation of locally compact groups by…
▽ More
It is known that locally compact groups approximable by finite ones are unimodular, but this condition is not sufficient, for example, the simple Lie groups are not approximable by finite ones as topological groups. In this paper the approximations of locally compact groups by more general finite algebraic systems are investigated. It is proved that the approximation of locally compact groups by finite semigroups is equivalent to approximation by finite groups and thus not all locally compact groups are approximable by finite semigroups. We prove that any locally compact group is approximable by finite left (right) quasigroups but the approximabilty of a locally compact group by finite quasigroups (latin squares) implies its unimodularity. The question if the unimodularity of a locally compact group implies its approximability by finite quasigroups is open. We prove only that the discrete groups are approximable by finite quasigroups.
△ Less
Submitted 11 January, 2002;
originally announced January 2002.
