Infinite dimensional spaces and cartesian closedness

Journal of Mathematical Physics, Analysis, Geometry

Volumn 7, Issue 3, 2011, Pages 225-284

  Giordano, Paolo ^a  

^a UNIVERSITY OF VIENNA   (Austria)

Author keywords

Cartesian closedness; Diffelogy; Infinite dimensional spaces of smooth mappings; Synthetic differential geometry

Indexed keywords

EID: 79960842106     PISSN: 18129471     EISSN: 18175805     Source Type: Journal    
DOI: None     Document Type: Article

References (89)

1. A. Kriegl and P.W. Michor, The Convenient Settings of Global Analysis. Volume 53. Mathematical Surveys and Monographs. AMS, Providence, 1997.
2. A. Frolicher and A. Kriegl, Linear spaces and differentiation theory. John Wiley and Sons, Chichester, 1988.
3. R. Lavendhomme, Basic Concepts of Synthetic Differential Geometry. Kluwer Acad. Publ., Dordrecht, 1996.
4. I. Moerdijk and G.E. Reyes, Models for Smooth Infinitesimal Analysis. Springer, Berlin, 1991.
5. A. Kock, Synthetic Differential Geometry, Volume 51. London Math. Soc. Lect. Note Ser. Cambridge Univ. Press, 1981.
6. P. Iglesias-Zemmour, Diffeology. http://math.huji.ac.il/piz/documents/Diffeolo-gy.pdf, July 9, 2008.
7. M. Laubinger, Differential Geometry in Cartesian Closed Categories of Smooth Spaces. PhD thesis, Louisiana State University, 2008.
8. M. Laubinger, Diffeological Spaces. Proyecciones 25 (2006), No. 2, 151-178.
9. G. Hector and E. Maćias-Virgos, Diffeological Groups. Research and Exposition in Mathematics 25 (2002), 247-260.
10. G. Hector, Ǵeoḿetrie et topologie des espaces diff́eologiques. In: Analysis and geometry in foliated manifolds (Santiago de Compostela, 1994) pp. 55-80, World Sci. Publ., River Edge, New York, 1995.
11. J.M. Souriau, Groupes diff́erentiels et physique math́ematique. Collection travaux en cours. pp. 75-79. Hermann, Paris, 1984.
12. J.M. Souriau, Groupes diff́erentiels. Lecture Notes in Mathematics. Volume 836. pp. 91-128. Springer-Verlag, New York, 1981.
13. A. Bastiani, Applications diff́erentiables et varíet́es diff́erentiables de dimension infinie. Journal d'Analyse Math́ematique XIII:1-114, 1963.
14. J.L. Bell, A Primer of Infinitesimal Analysis. Cambridge Univ. Press, Cambridge, 1998.
15. R. Brown, Some Problems of Algebraic Topology. PhD thesis, Oxford, 1961.
16. R. Brown, Ten Topologies for x× y. Q. J. Math. Oxf. 14 (1963), 303-319.
17. R. Brown, Function Spaces and Product Topologies. Q. J. Math. Oxf. 15 (1964), 238-250.
18. K.T. Chen, On Differentiable Spaces. Categories in Continuum Physics Volume 1174, pp. 38-42, Springer-Verlag, Berlin, 1982.
19. J.F. Colombeau, Diff́erentiation et Bornologie. PhD thesis, Universit́e de Bordeaux I, 1973.
20. A. Frolicher and W. Bucher, Calculus in Vector Spaces without Norm. Lecture Notes in Mathematics Volume 30, Springer, Berlin, 1966.
21. F.W. Lawvere, Categorical Dynamics. Lectures at the University of Chicago, 1967. Aarhus Math. Inst. Var. Publ. Ser. 30 Volume Topos Theoretical Methods in Geometry, Aarhus Universitet, 1979. Lectures given in 1967 at the University of Chicago.
22. F.W. Lawvere, S.H. Schanuel, and W.R. Zame, On c∞-function Spaces. State Univ. New York, Buffalo, 1981. (Unpublished)
23. U. Seip, A convenient setting for smooth manifolds. J. Pure and Appl. Algebra 21 (1981), 279-305.
24. N.E. Steenrod, A Convenient Category for Topological Spaces. Mich. Math. J 14 (1967), 133-152.
25. R. Vogt, Convenient Categories of Topological Spaces for Homotopy Theory. Arch. Math. 22 (1971), 545-555.
26. J. Adamek, H. Herrlich, and G. Strecker, Abstract and Concrete Categories. John Wiley and Sons, 1990.
27. S. Mac Lane, Categories for the Working Mathematicians. Springer-Verlag, Berlin, 1971.
28. F. Borceux, Handbook of Categorical Algebra 1. Basic Category Theory. Encyclopedia of Mathematics and its Applications. Cambridge Univ. Press, Cambridge, 1994.
29. M. Arbib and E. Manes, Arrows, Structures, and Functors: The Categorical Imperative. Academic Press, 1975.
30. R. Abraham, J.E. Marsden, and T. Ratiu, Manifolds, Tensors, Analysis and Applications. Springer-Verlag, second edition, 1988.
31. M.C. Abbati and A. Manía, Differential geometry of spaces of mappings with applications on classical field theory. Dipartimento di Matematica Universit́a degli Studi di Trento, Lecture Notes Series UTN LNS, 2000.
32. J.M. Souriau, Structure des Systemes Dynamiques. Dunod, Paris, 1970.
33. J.C. Baez and A.E. Hoffnung, Convenient Categories of Smooth Spaces. arXiv:0807.1704v4 [math.DG], Oct. 2009.
34. P. Giordano, Fermat reals: Nilpotent infinitesimals and infinite dimensional spaces. arXiv:0907.1872, July 2009.
35. A. Kock and G.E. Reyes, Categorical distribution theory; heat equation. arXiv:math/0407242v1 [math.CT], 2004.
36. C.J. Isham, Topos Theory and Consistent Histories: The Internal Logic of the Set of All Consistent Sets. Inter. J. Theor. Phys. 36 (1997), No. 4, 785-814.
37. C.J. Isham and J. Butterfield, Topos Perspective on the Kochen-Specker Theorem: I. Quantum States as Generalized Valuations. Inter. J. Theor. Phys. 37 (1998), No. 11, 2669-2733.
38. C.J. Isham and J. Butterfield, Some Possible Roles for Topos Theory in Quantum Theory and Quantum Gravity. Found. Phys. 30 (2000), No. 10, 1707-1735.
39. J. Butterfield and C.J. Isham, A Topos Perspective on the Kochen-Specker Theorem: Ii. Conceptual Aspects, and Classical Analogues. Inter. J. Theor. Phys. 38 (1999), No. 3, 827-859.
40. J. Butterfield and C.J. Isham, Topos Perspective on the Kochen-Specker Theorem: Iv. Interval Valuations. Inter. J. Theor. Phys. 41 (2002), No. 4, 613-639.
41. J. Hamilton, C.J. Isham, and J. Butterfield, Topos Perspective on the Kochen-Specker Theorem: Iii. Von Neumann Algebras as Thebase Category. Inter. J. Theor. Phys. 39(6) (2000), 1413-1436.
42. I. Raptis, Finitary Spacetime Sheaves. Inter. J. Theor. Phys. 39 (2000), No 6, 1703-1716.
43. A. Mallios and I. Raptis, Finitary Spacetime Sheaves of Quantum Causal Sets: Curving Quantum Causality. Inter. J. Theor. Phys. 40 (2001), No. 11, 1885-1928.
44. J. Kŕol. A Model for Spacetime: The Role of Interpretation in Some Grothendieck Topoi. Found. Phys. 36 (2006), No. 7, 1070-1098.
45. C. Heunen, N.P. Landsman, and B. Spitters, A Topos for Algebraic Quantum Theory. Commun. Math. Phys. 291) (2009), No. 1, 63-110. doi: 10.1007/s00220-009-0865-6.
46. A.K. Guts, A Topos-Theoretic Approach to the Foundations of Relativity Theory. Soviet Math. Dokl. 43 (1991), No. 3, 904-907.
47. E.B. Grinkevich, Synthetic Differential Geometry: A Way to Intuitionistic Models of General Relativity in Toposes. arXiv: gr-qc/9608013, 1996.
48. A.K. Guts and E.B. Grinkevich, Toposes in general theory of relativity. arXiv: gr-qc/9610073, 1996.
49. A.K. Guts and A.A. Zvyagintsev, Solution of the Vacuum Einstein Equations in Synthetic Differential Geometry of Kock-Lawvere. arXiv:physics/9909016, 1999.
50. A.K. Guts and A.A. Zvyagintsev, Interpretation of Intuitionistic Solution of the Vacuum Einstein Equations in Smooth Topos. arXiv:gr-qc/0001076, 2000.
51. F.W. Lawvere, Toward the Description in a Smooth Topos of the Dynamically Possible Motions and Deformations of a Continuous Body. Cahiers de Topologie et Ǵeoḿetrie Diff. Cat́egoriques 21(4) (1980), 377-392.
52. P. Giordano, Infinitesimals without logic. Russ. J. Math. Phys. 17 (2010), No, 2, 159-191. doi: 10.1134/S1061920810020032.
53. S. Lang, Fundamentals of Differential Geometry. Graduate Texts in Mathematics. Volume 191. Springer Verlag, Berlin, 1999.
54. A. Friedman, Generalized Functions and Partial Differential Equations. Prentice-Hall, 1963.
55. D.W. Henderson, Infinite-Dimensional Manifolds are Open Subsets of Hilbert Space. Topology 9 (1970), 25-33.
56. H. Jarchow, Locally convex spaces. Teubner, Stuttgart, 1981.
57. W.F. Donoghue and K.T. Smith, On the Symmetry and Bounded Closure of Locally Convex Spaces. Transact. Amer. Math. Soc. 73 (1952), 321-344.
58. H.H. Keller, R̈aume stetiger multilinearer Abbildungen als Limesr̈aume. Math. Ann. 159 (1965), 259-270.
59. B. Maissen, Uber Topologien im Endomorphismenraum eines topologischen Vek-torraums. Math. Ann. 151 (1963), 283-285.
60. H. Omori, On Banach Lie Groups Acting on Finite Dimensional Manifolds. Tôhoku Math. J. 30 (1978), 223-250.
61. H. Omori and P. de la Harpe, About interactions between Banach Lie groups and finite dimensional manifolds. J. Math. Kyoto Univ. 12 (1972), 543-570.
62. H. Omori, Infinite-Dimensional Lie Groups. Translations of Mathematical Monographs. Volume 158. AMS, Providence, RI, 1997.
63. J. Hadamard, La Notion de diff́erentielle dans l'enseignement. Technical report, Scripta Univ. Ab. 3, Bib Hierosolymitanarum, J́erusalem, 1923.
64. A.D. Michal, Differential Calculus in Linear Topological Spaces. Proc. Natl. Acad. Sci. USA 24 (1938), 340-342.
65. J. Boman, Differentiability of a Function and of its Compositions with Functions of one Variable. Math. Scand. 20 (1967), 249-268.
66. R.S. Hamilton, The Inverse Function Theorem of Nash and Moser. Bull. Am. Math. Soc. 7 (1982), 65-222.
67. A. Kock, Convenient Vector Spaces Embed into the Cahiers Topos. Cahiers de Topologie et Ǵeoḿetrie Diff. Cat́egoriques 27 (1986), 3-17.
68. A. Kock and G.E. Reyes, "Corrigendum and addenda to "convenient vector spaces embed". Cahiers de Topologie et Ǵeoḿetrie Diff. Cat́egoriques 28 (1987), 99-110.
69. H. Nishimura, A Much Larger Class of Fr̈olicher Spaces than that of Convenient Vector Spaces may Embed into the Cahiers Topos. arXiv:0908.0843v2 [math.DG], 2009.
70. H. Nishimura, Microlinearity in Fr̈olicher Spaces-Beyond the Regnant Philosophy of Manifolds. arXiv:0912.0827v5 [math.DG], 2010.
71. H. Nishimura, Differential Geometry of Microlinear Fr̈olicher Spaces I. arXiv:1002.3978v1 [math.DG], 2010.
72. K.T. Chen, Iterated Path Integral. Bull. Amer. Math. Soc. 83 (1977), No. 5, 831-879.
73. M.V. Losik, Fŕechet Manifolds as Diffeological Spaces. Rus. Math. 36(5) (1992), 31-37.
74. M.V. Losik, Categorical Differential Geometry Categorical Differential Geometry. Cahiers de Topologie et Ǵeoḿetrie Diff. Cat́egoriques 35(4), (1994), 274-290.
75. C. Ehresmann, Les Prolongements d'une Varíet́e Diff́erentiable: Calculus des Jets, Prolongement Principal. C. R. Acad. Sc. Paris 233 (1951), 598-600.
76. [76] A. Weil, Th́eorie des Points Proches sur les Varíet́es Diff́erentiables. Colloque de Ǵeometrie Diff́erentielle (1953), pp. 111-117. C.N.R.S.
77. [77] M. Artin, A. Grothendieck, and J.L. Verdier, Th́eorie des Topos et Cohomologie Etale des schemas. volume 269 and 270 of Lecture Notes in Mathematics. Springer-Verlag, Berlin, 1972. (SGA4).
78. S. Mac Lane, The Genesis of Mathematical Structures, as Exemplified in the Work of Charles Ehresmann. Cahiers de Topologie et Ǵeoḿetrie Diff. Cat́egoriques 21(4) (1980), 353-365.
79. A. Kriegl and P.W. Michor, Product Preserving Functors of Infinite Dimensional Manifolds. Arch. Math. (Brno) 32 (1996), No. 4, 289-306.
80. W. Bertram. Differential Geometry, Lie Groups and Symmetric Spaces over General Base Fields and Rings. AMS, Providence, 2008.
81. J. Gray, The meeting of the Midwest Category Seminar in Zürich 1970. In: Reports of the Midwest Category Seminar V. Lecture Notes in Mathematics. Volume 195. Springer-Verlag, 1971.
82. S. Albeverio, J.E. Fenstad, R. Höegh-Krohn, and T. Lindström, Nonstandard Methods in Stochastic Analysis and Mathematical Physics. Pure and Applied Mathematics. Academic Press, 1988. 2nd ed., Dover, 2009.
83. I. Koĺar, P.W. Michor, and J. Slovak, Natural operations in differential geometry. Springer-Verlag, Berlin, Heidelberg, New York, 1993.
84. J. Dugundji, Topology. Allyn and Bacon, Boston, Massachusetts, 1966.
85. C.C. Wang, Mathematical Principles of Mechanics and Electromagnetism. Plenum Press, 1970.
86. P. Giordano, The Ring of Fermat Reals. Advances in Mathematics 225 (2010), No. 4, 2050-2075. DOI: 10.1016/j.aim.2010.04.010.
87. A. Robinson, Function Theory on Some Nonarchimedean Fields. Amer. Math. Monthly bf 80 (1973), No. 6, 87-109. Part II: Papers in the Foundations of Mathematics.
88. A.H. Lightstone and A. Robinson, Nonarchimedean Fields and Asymptotic Expansions. North-Holland, Amsterdam, 1975.
89. P. Giordano, Nilpotent infinitesimals and synthetic differential geometry in classical logic. In: U. Berger, H. Osswald, and P. Schuster, (eds), Reuniting the Antipodes-Constructive and Nonstandard Views of the Continuum. Volume 306 Synth́ese Library, pp. 75-92. Kluwer Academic, 2001.