Springer Nature is making SARS-CoV-2 and COVID-19 research free. View research | View latest news | Sign up for updates

Unitary representations of the hyperfinite Heisenberg group and the logical extension methods in physics


In order to provide a general framework for applications of nonstandard analysis to quantum physics, the hyperfinite Heisenberg group, which is a finite Heisenberg group in the nonstandard universe, is formulated and its unitary representations are examined. The ordinary Schrödinger representation of the Heisenberg group is obtained by a suitable standardization of its internal representation. As an application, a nonstandard-analytical proof of noncommutative Parseval's identity based on the orthogonality relations for unitary representations of finite groups is shown. This attempt is placed in a general framework, called the logical extension methods in physics, which aims at the systematic applications of methods of foundations of mathematics to extending physical theories. The program and the achievement of the logical extension methods are explained in some detail.

This is a preview of subscription content, log in to check access.


  1. [1]

    Proc. 1st, 2nd, and 3rd Int. Symp. Foundations of Quantum Mechanics. Japan Society of Physics, Tokyo, (1983, 1986, 1989); P. Tombesi and E. R. Pike, editors,Squeezed and Nonclassical Light, Plenum, New York, 1989; O. Hirota C. Bendjaballah and S. Reynaud, editors,Proc. Int. Workshop on Quantum Aspects of Optical Communications, Lecture Notes in Physics No. 378, Springer-Verlag, Berlin, (1991); L. Smarr, editor,Sources of Gravitational Radiation, Cambridge UP, Cambridge, 1979; P. Meystre and M. O. Scully, editors,Quantum Optics, Experimental Gravitation and Measurement Theory, Plenum, New York, 1983.

  2. [2]

    E. B. Davies,Quantum Theory of Open Systems, Academic Press, London, 1976; C. W. Helstrom,Quantum Detection and Estimation Theory, Academic Press, New York, 1976; A. S. Holevo,Probabilistic and Statistical Aspects of Quantum Theory, North-Holland, Amsterdam, 1982; M. Ozawa, J. Math. Phys.25, 79–87, (1984);26, 1948–1955, (1985);27, 759–763, (1986); Publ. RIMS Kyoto Univ.21, 279–295, (1985); P. J. Lahti P. Busch and P. Mittelstaedt,The Quantum Theory of Measurement, Lecture Notes in Physics, Springer-Verlag, Berlin, 1991.

  3. [3]

    O. Bratteli and D. W. Robinson,Operator Algebras and Quantum Statistical Mechanics I, Springer-Verlag, New York, 1979; II, 1979.

  4. [4]

    M. Ozawa,Cat Paradox for C*-dynamical Systems, Preprint Series, Dept. Math., Coll. Gen. Ed., Nagoya University, 1992.

  5. [5]

    M. Ozawa, Infinitesimal analysis and the measurement problem (in Japanese), inSoryuushi-ron Kenkyuu; Prog. Theor. Phys., in preparation.

  6. [6]

    R.C. Tolman,The Principles of Statistical Mechanics, Oxford University Press, Inc., 1938; (Dover edition) Dover Publications, Inc., 1979; I.M. Lifshitz and L.P. Pitaevskii.Landaru and Lifshitz: Course of Theoretical Physics Vol.5Statistical Physics, Part 1 (3rd edition), (English edition) Pergamon Press, 1976.

  7. [7]

    A. Robinson,Non-Standard Analysis, North-Holland, Amsterdam, 1966.

  8. [8]

    K. D. Stroyan and W. A. J. Luxemburg,Introduction to the Theory of Infinitesimals, Academic Press, New York, 1976; M. Davis,Applied Nonstandard Analysis, Wiley, New York, 1977; A. E. Hurd and P. A. Loeb,An Introduction to Nonstandard Real Analysis, Academic Press, Orland, 1985.

  9. [9]

    H. J. Keisler, Mem. Amer. Math. Soc.48, No. 297, 1984; K. D. Stroyan and J. M. Bayod,Foundations of Infinitesimal Stochastic Analysis, North-Holland, Amsterdam, 1986; S. Albeverioet. al., Nonstandard Methods in Stochastic Analysis and Mathematical Physics, Academic Press, Orland, 1986.

  10. [10]

    P. J. Cohen,Set Theory and the Continuum Hypothesis, Benjamin, New York, 1966.

  11. [11]

    J. L. Bell,Boolean-Valued Models and Independence Proofs in Set Theory, 2nd ed., Oxford University Press, Oxford, 1985.

  12. [12]

    D. Scott, InApplications of Model Theory to Algebra, Analysis, and Probability, Holt, Reinhart and Winston, 1969.

  13. [13]

    G. Takeuti,Two Applications of Logic to Mathematics, Princeton University Press, Princeton, 1978.

  14. [14]

    G. Takeuti, J. Symbolic Logic44, 417–440, (1979); Japan. J. Math.9, 207–245, (1983); M. Ozawa, J. Math. Soc. Japan36, 589–608, (1984); J. London Math. Soc. (2)32, 141–148, (1985);33, 347–354, (1986); K. Smith, J. Symbolic Logic49, 281–297, (1984); H. Nishimura, J. Symbolic Logic56, 731–741, (1991).

  15. [15]

    G. Takeuti, J. Math. Soc. Japan35, 1–21, (1983).

  16. [16]

    M. Ozawa, J. Math. Soc. Japan35, 609–627, (1983).

  17. [17]

    T. Hinokuma and M. Ozawa, Preprint Series 6, Dept. Math., Coll. Gen. Ed., Nagoya University, 1986; Ill. J. Math., to appear.

  18. [18]

    M. Ozawa, Journal of the Japan Association for Philosophy of Science18, 35–43, (1986).

  19. [19]

    I. Ojima, unpublished, 1991.

  20. [20]

    P. A. Loeb, Trans. Amer. Math. Soc.211, 113–122, (1975).

  21. [21]

    G. Takeuti, Proc. Japan Acad.38, 414–418, (1962); P. J. Kelemen and A. Robinson, J. Math. Phys.13, 1870–1874, 1875–1878, (1972); R. Kambe, Prog. of Theor. Phys.52, 688–706, (1974); M. O. Farrukh, J. Math. Phys.16, 177–200, (1975); Ph. Blanchard and J. Tarski, Acta Physica Austriaca49, (1978); R. Fittler, Helv. Phys. Acta57, 579–609, (1984);60, 881–902, (1987).

  22. [22]

    C. C. Chang and H. J. Keisler,Model Theory, Third edition, North-Holland, Amsterdam, 1990.

  23. [23]

    G. B. Folland,Harmonic Analysis in Phase Space, Princeton University Press, Princeton, 1989.

  24. [24]

    S. Machida and M. Namiki, Prog. Theor. Phys.63, 1457–1473, 1833–1847, (1980).

  25. [25]

    H. Araki, Prog. Theor. Phys.64, 719–730, (1980).

  26. [26]

    M. M. Yanase,Gendai Buturigaku to Atarashii Sekaizou [Modern Physics and New Outlook of the World] (in Japanese), Iwanami, Tokyo, 1984.

  27. [27]

    G. Takeuti,Chokkan-Shugi-teki Sugoron [Intuitionistic Set Theory] (in Japanese), Kinokuni-ya, Tokyo, 1980.

  28. [28]

    M. Ozawa, InAbstracts of the Special Session in Set Theory, American Mathematical Society, Honolulu, 1987.

  29. [29]

    M. Ozawa, In H. Araki, et al. ed.,Current Topics in Operator Algebras, pp. 52–58, World Scientific, Singapore, 1991.

Download references

Author information

Additional information

Dedicated to Professor Huzihiro Araki on his sixtieth birthday

Rights and permissions

Reprints and Permissions

About this article

Cite this article

Ojima, I., Ozawa, M. Unitary representations of the hyperfinite Heisenberg group and the logical extension methods in physics. Open Syst Inf Dyn 2, 107–128 (1993).

Download citation


  • Statistical Physic
  • Mechanical Engineer
  • System Theory
  • General Framework
  • Internal Representation