previous :: next

### On finite approximations of topological algebraic systems

L. Yu. Glebsky, E. I. Gordon, and C. Ward Hensen
Source: J. Symbolic Logic Volume 72, Issue 1 (2007), 1-25.

#### Abstract

We introduce and discuss a concept of approximation of a topological algebraic system A by finite algebraic systems from a given class 𝔎. If A is discrete, this concept agrees with the familiar notion of a local embedding of A in a class 𝔎 of algebraic systems. One characterization of this concept states that A is locally embedded in 𝔎 iff it is a subsystem of an ultraproduct of systems from 𝔎. In this paper we obtain a similar characterization of approximability of a locally compact system A by systems from 𝔎 using the language of nonstandard analysis.

In the signature of A we introduce positive bounded formulas and their approximations; these are similar to those introduced by Henson [14] for Banach space structures (see also [15,16]). We prove that a positive bounded formula φ holds in A if and only if all precise enough approximations of φ hold in all precise enough approximations of A.

We also prove that a locally compact field cannot be approximated arbitrarily closely by finite (associative) rings (even if the rings are allowed to be non-commutative). Finite approximations of the field ℝ can be considered as possible computer systems for real arithmetic. Thus, our results show that there do not exist arbitrarily accurate computer arithmetics for the reals that are associative rings.

First Page:
We're sorry, but we are unable to provide you with the full text of this article because we are not able to identify you as a subscriber.

Permanent link to this document: http://projecteuclid.org/euclid.jsl/1174668381
Digital Object Identifier: doi:10.2178/jsl/1174668381
Mathematical Reviews number (MathSciNet): MR2298468
Zentralblatt MATH identifier: 1115.03096

### References

S. Albeverio, E. Gordon, and A. Khrennikov, Finite dimensional approximations of operators in the spaces of functions on locally compact abelian groups, Acta Applicandae Mathematicae, vol. 64 (2000), pp. 33--73.
Mathematical Reviews (MathSciNet): MR1828556
Digital Object Identifier: doi:10.1023/A:1006457731833
Zentralblatt MATH: 1019.47020
M. A. Alekseev, L. Y. Glebskii, and E. I. Gordon, On approximations of groups, group actions and Hopf algebras, Representation Theory, Dynamical Systems, Combinatorial and Algebraic Methods, III (A. M. Vershik, editor), Russian Academy of Science, St. Petersburg Branch of V. A. Steklov's Mathematical Institute, Zapiski nauchnih seminarov POMI 256, 1999, pp. 224--262, (in Russian), English translation in Journal of Mathematical Sciences, vol. 107 (2001), pp. 4305--4332.
Mathematical Reviews (MathSciNet): MR1708567
P. V. Andreev and E. I. Gordon, A theory of hyperfinite sets, Annals of Pure and Applied Logic, to appear.
Mathematical Reviews (MathSciNet): MR2258617
Digital Object Identifier: doi:10.1016/j.apal.2006.01.005
Zentralblatt MATH: 1110.03047
N. Bourbaki, General Topology, Part 1, Hermann, Paris and Addison-Wesley, Reading, Massachusetts, 1966.
C. C. Chang and H. J. Keisler, Model Theory, 3rd ed., Studies in Logic and the Foundations of Mathematics, vol. 73, North-Holland Elsevier, Amsterdam, 1990.
Mathematical Reviews (MathSciNet): MR1059055
Zentralblatt MATH: 0697.03022
T. Digernes, E. Husstad, and V. Varadarajan, Finite approximations of Weyl systems, Mathematica Scandinavicae, vol. 84 (1999), pp. 261--283.
Mathematical Reviews (MathSciNet): MR1700532
L. Y. Glebsky and E. I. Gordon, On approximation of topological groups by finite quasigroups and finite semigroups, Illinois Journal of Mathematics, vol. 49 (2005), pp. 1--16.
Mathematical Reviews (MathSciNet): MR2157365
R. Goldblatt, Lectures on the Hyperreals: An Introduction to Nonstandard Analysis, Springer-Verlag, Berlin, Heidelberg, New York, 1998.
Mathematical Reviews (MathSciNet): MR1643950
Zentralblatt MATH: 0911.03032
E. I. Gordon, Nonstandard analysis and locally compact abelian groups, Acta Applicandae Mathematicae, vol. 25 (1991), pp. 221--239.
Mathematical Reviews (MathSciNet): MR1162337
--------, Nonstandard Methods in Commutative Harmonic Analysis, American Mathematical Society, Providence, Rhode Island, 1997.
Mathematical Reviews (MathSciNet): MR1449873
Zentralblatt MATH: 0873.43001
E. I. Gordon, A. G. Kusraev, and S. S. Kutateladze, Infinitesimal Analysis, Kluwer Academic Publishers, Dordrecht, Boston, London, 2002.
Mathematical Reviews (MathSciNet): MR1959140
Zentralblatt MATH: 1037.46065
E. I. Gordon and O. A. Rezvova, On hyperfinite approximations of the field $\R$, Reuniting the antipodes -- Constructive and nonstandard views of the continuum, Proceedings of the Symposium in San Servolo/Venice, Italy, May 17-20, 2000 (P. Schuster, U. Berger, and H. H.Osswald, editors), Synthése Library, vol. 306, Kluwer Academic Publishers, Dordrecht, Boston, London, 2001.
Mathematical Reviews (MathSciNet): MR1895377
S. Heinrich and C. W. Henson, Banach space model theory II; Isomorphic equivalence, Mathematische Nachrichten, vol. 125 (1986), pp. 301--317.
Mathematical Reviews (MathSciNet): MR847369
Digital Object Identifier: doi:10.1002/mana.19861250114
Zentralblatt MATH: 0633.46076
C. W. Henson, Nonstandard hulls of Banach spaces, Israel Journal of Mathematics, vol. 25 (1976), pp. 108--144.
Mathematical Reviews (MathSciNet): MR461104
Digital Object Identifier: doi:10.1007/BF02756565
Zentralblatt MATH: 0348.46014
C. W. Henson and J. Iovino, Ultraproducts in analysis, Analysis and Logic (C. Finet and C. Michaux, editors), London Mathematical Society Lecture Notes, vol. 262, Cambridge University Press, 2002, pp. 1--113.
Mathematical Reviews (MathSciNet): MR1967834
Zentralblatt MATH: 1026.46007
C. W. Henson and L.C. Moore, Nonstandard analysis and the theory of Banach spaces, Nonstandard Analysis -- Recent Developments (A. Hurd, editor), Lecture Notes in Mathematics, vol. 983, Springer-Verlag, Berlin, Heidelberg, New York, 1983.
Mathematical Reviews (MathSciNet): MR698954
Zentralblatt MATH: 0511.46070
Digital Object Identifier: doi:10.1007/BFb0065334
D. Knuth, The Art of Computer Programming; Volume 2, Seminumerical Algorithms, Addison Wesley, Reading, Massachusetts, 1969.
Mathematical Reviews (MathSciNet): MR286318
Zentralblatt MATH: 0191.18001
P. Loeb and M. Wolff (editors), Nonstandard Analysis for the Working Mathematician, Kluwer Academic Publishers, Dordrecht, Boston, London, 2000.
Mathematical Reviews (MathSciNet): MR1790871
L. Loomis, An Introduction to Abstract Harmonic Analysis, D. Van Nostrand, Toronto, New York, London, 1953.
Mathematical Reviews (MathSciNet): MR54173
Zentralblatt MATH: 0052.11701
A.I. Mal'tsev, Algebraic Systems, Nauka, Moscow, 1970, in Russian.
Mathematical Reviews (MathSciNet): MR282908
D.D. McCracken and W.S. Dorn, Numerical Methods and Fortran Programming, John Wiley, New York, London, Sydney, 1964.
E. Nelson, Internal set theory -- A new approach to nonstandard analysis, Bulletin of the American Mathematical Society, vol. 83 (1977), pp. 1165--1198.
Mathematical Reviews (MathSciNet): MR469763
Digital Object Identifier: doi:10.1090/S0002-9904-1977-14398-X
Zentralblatt MATH: 0373.02040
--------, The syntax of nonstandard analysis, Annals of Pure and Applied Logic, vol. 38 (1988), pp. 123--134.
Mathematical Reviews (MathSciNet): MR938372
Digital Object Identifier: doi:10.1016/0168-0072(88)90050-4
Zentralblatt MATH: 0642.03040
A. Tarski, A Decision Method for Elementary Algebra and Geometry, 2nd, revised ed., Rand Corporation, Berkeley and Los Angeles, 1951.
A. M. Vershik and E. I. Gordon, Groups that are locally embedded into the class of finite groups, Algebra i Analiz, vol. 9 (1997), pp. 71--97, English translation as: St. Petersburg Mathematics Journal, vol. 9 (1997), pp. 49--67.
Mathematical Reviews (MathSciNet): MR1458419
P. Vopěnka, Mathematics in the Alternative Set Theory, Teubner, Leipzig, 1979.
Mathematical Reviews (MathSciNet): MR581368
D. Zeilberger, Real analysis is a degenerate case of discrete analysis, New Progress in Difference Equations, Proc. ICDEA'01 (B. Aulbach, S. Elyadi, and G. Ladas, editors), Taylor and Frances, London, 2001.
previous :: next