Abstract
Let X be a completely regular (Tychonoff) space, and let C(X), U(X), and B 1(X) denote the sets of all real-valued functions on X that are continuous, have a closed graph, and of the first Baire class, respectively.
We prove that U(X) = C(X) if and only if X is a P-space (i.e., every G δ -subset of X is open) if and only if B 1(X = U(X). This extends a list of equivalences obtained earlier by Gillman and Henriksen, Onuchic, and Iséki. The first equivalence can be regarded as an unconditional closed graph theorem; it implies that if X is perfectly normal or first countable (e.g., metrizable), or locally compact, then there exist discontinuous functions on X with a closed graph. This complements earlier results by Doboš and Baggs on discontinuity of closed graph functions.
Resumen
Sea X un espacio completamente regular (Tychonoff). Por C(X), U(X) y B 1(X) se denotan los conjuntos de funciones reales definIDas en X que son continuas, que tienen gráfica cerrada y que son de primera clase de Baire, respectivamente. Se prueba que U(X) = C(X) si y sólo si X es un P espacio (es decir que cada subconjunot P-space (i.e., every G δ de X es abierto) o si y sólo si B 1(X = U(X) . Estos resultados extienden una relación de equivalencias obtenIDas por Gillman y Henriksen, Onuchic e Iséki. La primera equivalencia es un teorema incondicional de gráfica cerrada; implica que si X es perfectamente normal o cumple el primer axioma de numerabilIDad (por ejemplo si es metrizable), o es localmente compacto, entonces existen funciones discontinuas en X con gráfica cerrada. Así se complementan resultados obtenIDos por Dobos y Bags sobre discontinuIDad de funciones con gráfica cerrada.
Similar content being viewed by others
References
Baggs, I., (1974). Functions with a closed graph, Proc. Amer. Math. Soc., 43, 2, 439–442. DOI: 10.2307/2038910
Baggs, I., (1989). A regular space on which every real-valued function with a closed graph is constant, Can. Math. Bull., 32, 417–424.
Baggs, I., (1989). Nowhere dense sets and real-valued functions with closed graphs, Int. J. Math. Math. Sci., 12, 1, 1–8. DOI: 10.1155/S0161171289000013
Beattie, R. and Butzmann, H.-P., (2002). Convergence structures and applications to functional analysis, Kluwer Academic Publishers, Dortrecht.
Borsik, J., (2002). Sums, differences, products and quotients of closed graph functions, Tatra Mt. Math. Publ., 24, 117–123.
Borsik, J.; Doboš, J. and Repický, M., (1999/2000). Sums of quasicontinouos functions with closed graphs, Real Anal. Exchange, 25, 679–690.
Doboš, J., (1985). On the set of points of discontinuity for functions with closed graphs, Cas. Pěst. Mat., 110, 60–68.
Dow, A., (1983). On F-spaces and F'-spaces, Pacific J. Math., 108, 275–284.
Engelking, R., (1989). General Topology, Helderman-Verlag, Berlin.
Fuller, R. V., (1968). Relations among continuous and various non-continuous functions, Pacific J. Math., 25, 495–509.
Gillman, L. and Henriksen, M., (1954). Concerning rings of continuous functions, Trans. Amer. Math. Soc., 77, 2, 340–362. DOI: 10.2307/1990875
Gillman, L. and Jerison, M., (1976). Rings of Continuous Functions, Springer-Verlag, Berlin.
Grant, D. L., (1977). Topological groups which satisfy an open mapping theorem, Pacific J. Math., 68, 411–423.
Husain, T., (1968). On a Closed Graph Theorem for Topological Groups, Proc. Japan Acad., 44, 6, 446–448. DOI: 10.3792/pja/1195521147
Iséki, K., (1958). A Characterisation of P-spaces, Proc. Japan Acad., 34, 7, 418–419. DOI: 10.3792/pja/1195524602
Kalenda, O. and Spurny, J., (2005). Extending Baire-one functions on topolgical spaces, Topology Appl., 149, 1–3, 195–216. DOI: 10.1016/j.topol.2004.09.007
Kirchheim, B., (1992/93). Baire one star functions, Real Anal. Exchange, 18, 385–389.
Kunen, K., (1989). RigID P-spaces, Fund. Math., 133, 59–65.
Kuratowski, K., (1933). Sur les théorèmes topologiques de la théorie des fonctions de variables réelles, C. R. Acad. Sci. Paris, 197, 19–20.
Luxemburg, W. A. J. and Zaanen, A. C., (1971). Riesz Spaces I, North-Holland, Amsterdam.
Mauldin, R. D., (1974). Baire Functions, Borel Sets, and Ordinary Function Systems, Adv. Math., 12, 4, 418–450. DOI: 10.1016/S0001-8708(74)80011-3
Moors, W. B., (2002). Closed graph theorems and Baire spaces, New Zealand J. Math., 31, 55–62.
Nakano, H., (1941). Über das System aller stetigen Funktionen auf einen topologischen Raum, Proc. Imp. Acad. Tokyo, 17, 308–310.
Ohno, T., (1985). On the Baire order problem for a linear lattice of functions, Fund. Math., 125, 209–216.
Onuchic, N., (1957). On two properties of P-spaces, Port. Math., 16, 37–39.
Osba, E. A. and Henriksen, M., (2004). Essential P-spaces: a generalization of door spaces, Comment. Math. Univ. Carolinae, 45, 509–518.
Piotrowski, Z. and Szymański, A., (1988). Closed graph theorem: Topological approach, Rend. Circ. Mat. Palermo, Ser. II, 37, 1, 88–99. DOI: 10.1007/BF02844269
Raphael, R. and Woods, R. G., (2006). On RG-spaces and the regularity degree, Appl. Gen. Topol., 7, 73–101.
Shatery, H. R. and Zafarani, J., (2004/2005). The equality between Borel and Baire classes, Real Anal. Exchange, 30, 373–384.
Tucker, C. T., (1984). Pointwise and order convergence for spaces of continuous functions and spaces of Baire functions, Czech. Math. J., 34, (109), 562–569.
Wilansky, A., (1964). Functional analysis, Blaisdell Publishing Company, New York.
Wilhelm, M., (1979). Relations among some closed graph and open mapping theorems, Colloq. Math., 42, 387–394.
Wilhelm, M., (1979). On closed graph theorems in topological spaces and groups, Fund. Math., 104, 85–95.
Zhong, S.; Li, R. and Won, S. Y., (2008). An improvement of a recent closed graph theorem, Topology Appl., 155, 15, 1726–1729. DOI: 10.1016/j.topol.2008.05.012
Author information
Authors and Affiliations
Corresponding author
Additional information
Submitted by Manuel Valdivia
Rights and permissions
About this article
Cite this article
Wójtowicz, M., Sieg, W. P-spaces and an unconditional closed graph theorem. Rev. R. Acad. Cien. Serie A. Mat. 104, 13–18 (2010). https://doi.org/10.5052/RACSAM.2010.03
Received:
Accepted:
Issue Date:
DOI: https://doi.org/10.5052/RACSAM.2010.03
Keywords
- Real-valued functions with a closed graph
- points of discontinuity
- completely regular or P-spaces
- Baire functions