Spaces of continuous functions on ordinals and ultrafilters (Q2640183): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
(One intermediate revision by one other user not shown) | |||
Property / cites work | |||
Property / cites work: Q3213662 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Inverse problem for periodic finite-zoned potentials in the theory of scattering / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Compactness is not preserved by the t-equivalence relation / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3326405 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: An Infinite-Dimensional Pre-Hilbert Space not Homeomorphic to its own Square / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3266617 / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/bf01163812 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2027353963 / rank | |||
Normal rank |
Latest revision as of 12:03, 30 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Spaces of continuous functions on ordinals and ultrafilters |
scientific article |
Statements
Spaces of continuous functions on ordinals and ultrafilters (English)
0 references
1990
0 references
The author considers spaces C(X) of continuous real-valued functions, as topological vector spaces endowed with the topology of pointwise convergence, and focuses on the question of when finite Cartesian powers of such spaces are isomorphic (or merely homeomorphic). His main result answers affirmatively Problem 22 of \textit{A. V. Arkhangel'skij} [Usp. Mat. Nauk 33, No.6(204), 29-84 (1978; Zbl 0414.54002)] as to whether there exists a compact Hausdorff space X such that C(X) is not homeomorphic to its square. (The author notes that this problem was independently solved by \textit{W. Marciszewski} [Stud. Math. 88, No.2, 129-137 (1988; Zbl 0666.46022)], using different ideas.) The first result concern \(X=[\omega_ 1]\), the space of ordinals less than or equal to the first uncountable ordinal. It is this space that furnishes the author's answer to Arkhangel'skij's problem. Theorem 1. The finite Cartesian powers of \(C([\omega_ 1])\) are pairwise nonhomeomorphic. - In response to further (but unpublished) questions of Arkhangel'skij, the author next considers spaces of the form \(X=N_{\xi}\), where N is the discrete space of natural numbers, \(\xi\) is a nonprincipal ultrafilter on N, and \(N_{\xi}\) is \(N\cup \{\xi \}\), topologized as a subspace of the Čech-Stone compactification of N. Two ultrafilters on N are equivalent if there is a permutation on N whose Čech-Stone lifting takes one ultrafilter to the other. Theorem 2. \(C(N_{\xi})\) and \(C(N_{\eta})\) are isomorphic as topological vector spaces if and only if \(\xi\) and \(\eta\) are equivalent. - Theorem 3. If \(C(N_{\xi})\) is a topological direct sum of two closed infinite- dimensional vector subspaces, then one of the summands is isomorphic to \(C(N_{\xi})\), and the other is isomorphic to C(N). - By a theorem of \textit{V. V. Tkachuk} [Sov. Math., Dokl. 27, 681-684 (1983); Translation from Dokl. Akad. Nauk SSSR 270, 795-798 (1983; Zbl 0539.54001)], \(C(N_{\xi})\) and C(N) are not isomorphic (or even homeomorphic) when \(\xi\) is nonprincipal. This fact, plus theorem 3, give the following Corollary. For any ultrafilter \(\xi\) on N, all the finite Cartesian powers of \(C(N_{\xi})\) are pairwise nonisomorphic.
0 references
spaces of continuous functions
0 references
ordinal spaces
0 references
spaces of ultrafilters
0 references
topological vector spaces
0 references