An infinite-dimensional pre-Hilbert space not homeomorphic to its own square
HTML articles powered by AMS MathViewer
- by Roman Pol PDF
- Proc. Amer. Math. Soc. 90 (1984), 450-454 Request permission
Abstract:
Given an arbitrary infinite-dimensional separable complete linear metric space $X$, there exists a direct sum decomposition $X = {V_0} \oplus {V_1}$ such that each summand ${V_i}$ intersects every linearly independent Cantor set in $X$ (this decomposition can be considered as a linear analogue to the classical Bernstein’s decomposition into totally imperfect sets). Theorem. Each summand $V$ of such a decomposition is not homeomorphic to its own square, and if $T:V \to V$ is a linear bounded operator, then either the kernel or the range of $T$ is finite-dimensional. In the case of $X = {l_2}$ this provides an example of a space $V$ with the properties stated in the title, which answers a well-known question, cf. Arhangelskiĭ [A, Problem 21] and Geoghegan [G, Problem (LS 12)].References
- A. V. Arhangel′skiĭ, The structure and classification of topological spaces and cardinal invariants, Uspekhi Mat. Nauk 33 (1978), no. 6(204), 29–84, 272 (Russian). MR 526012 C. Bessaga and A. Pełczyński, Selected topics in infinite-dimensional topology, PWN, Warsaw, 1975.
- J. P. R. Christensen, Topology and Borel structure, North-Holland Mathematics Studies, Vol. 10, North-Holland Publishing Co., Amsterdam-London; American Elsevier Publishing Co., Inc., New York, 1974. Descriptive topology and set theory with applications to functional analysis and measure theory. MR 0348724 C. Dellacherie, Un cours sur les ensembles analytiques, Analytic Sets, Academic Press, London, 1980.
- Open problems in infinite-dimensional topology, Topology Proc. 4 (1979), no. 1, 287–338 (1980). MR 583711
- K. Kuratowski, Topology. Vol. I, Academic Press, New York-London; Państwowe Wydawnictwo Naukowe [Polish Scientific Publishers], Warsaw, 1966. New edition, revised and augmented; Translated from the French by J. Jaworowski. MR 0217751
- K. Kuratowski, Applications of the Baire-category method to the problem of independent sets, Fund. Math. 81 (1973), no. 1, 65–72. MR 339092, DOI 10.4064/fm-81-1-65-72
- Jan Mycielski, Independent sets in topological algebras, Fund. Math. 55 (1964), 139–147. MR 173645, DOI 10.4064/fm-55-2-139-147
- Jan Mycielski, Almost every function is independent, Fund. Math. 81 (1973), no. 1, 43–48. MR 339091, DOI 10.4064/fm-81-1-43-48
Additional Information
- © Copyright 1984 American Mathematical Society
- Journal: Proc. Amer. Math. Soc. 90 (1984), 450-454
- MSC: Primary 57N20; Secondary 46C99, 54F45
- DOI: https://doi.org/10.1090/S0002-9939-1984-0728367-6
- MathSciNet review: 728367