The homotopy classes of continuous maps between some nonmetrizable manifolds (Q1767717): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(4 intermediate revisions by 4 users not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2018219198 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: math/0403495 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3741626 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Long line knots / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Complexity of Counting Cuts and of Computing the Probability that a Graph is Connected / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4316886 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Set theory. An introduction to independence proofs. 2nd print / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3706143 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Various smoothings of the long line and their tangent bundles / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5530411 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 18:38, 7 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The homotopy classes of continuous maps between some nonmetrizable manifolds |
scientific article |
Statements
The homotopy classes of continuous maps between some nonmetrizable manifolds (English)
0 references
8 March 2005
0 references
This paper is about computation of homotopy classes of maps between some nonmetrizable manifolds. The main result is a complete classification of homotopy classes of continuous functions \({\mathbf R}^n\to {\mathbf R}\), where \({\mathbf R}\) is Alexandroff's long ray. Recall that \({\mathbf R}\) is \(\omega_1\times[0,1[\) endowed with the topology given by the lexicographic order \(\leq\). It is known that \({\mathbf R}\) can be made into a 1-dimensional \(({\mathcal C}^\infty)\) manifold, is sequential compact, nonmetrizable and noncontractible. The author motivates this investigation as follows: ``Firstly, any nonmetrizable manifold is compactly generated, and thus, according to G. W. Whitehead, fits in the natural category of homotopy theory [see, e.g., \textit{G. W. Whitehead}, Elements of homotopy theory (Graduate Texts in Mathematics 61, Berlin, Springer-Verlag) (1978; Zbl 0406.55001)]. Secondly, our manifolds provide a class of spaces \(X\) for which \(\Pi_i(X)= \{0\}\) for each \(i\in\omega\) while \([X,X]\) is finite but has at least two elements, so in particular, X is not contractible. (Notice that since \(\Pi_1(X)= \{0\}\), we do not need to bother about base points, and consider only free homotopy.) The noncontractibility does not come from the ``shape'' of \(X\) but rather from its ``wideness''. The third reason (of a more practical nature) is that the proofs are completely elementary, in the sense that we use only very basic facts about countable ordinals''. If \(I\subset\mathbb{N}\) and \(c\in{\mathbf R}^{n-|I|}\), the \(I\)-diagonal of height \(c\) is the set \[ \Delta_I(c)= \{x= (x_1,\dots, x_n)\in {\mathbf R}^n: x_i= x_{i'}, i,i'\in I\text{ and }x_{N\setminus I}= c\} \] and we abbreviate \(\Delta_I(0)\) by \(\Delta_I\). Notice that \(\Delta_I(c)\) is homeomorphic to \({\mathbf R}\). If \(f: {\mathbf R}^n\to {\mathbf R}\) is continuous and \(I\subset\mathbb{N}\), then \(f\) is called \(I\)-cofinal (respectively, \(I\)-bounded) if \(f\mid\Delta_I\) is unbounded (respectively, bounded). The cofinality class of \(f:{\mathbf R}^n\to{\mathbf R}\) is the set \({\mathfrak C}(f)= \{I\subset I\); \(f\) is \(I\)-cofinal\}. Finally, an antichain in a partially ordered set is a set of pairwise incomparable elements. The set \({\mathcal P}(N)\) is ordered by inclusion. The main results of the paper are the following theorems Theorem 1. Two continuous maps \(f,g: {\mathbf R}^n\to{\mathbf R}\) are homotopic if and only if \({\mathfrak C}(f)={\mathfrak C}(g)\). Theorem 2. The homotopy classes \([{\mathbf R}^n,{\mathbf R}]\) of continuous maps \({\mathbf R}^n\to{\mathbf R}\) are in bijection with the antichains \({\mathcal P}(N)\setminus\{\varnothing\}\). These results generalize a result of \textit{D. Gauld} [Papers on general topology and applications, Ann. N.Y. Acad. Sci. 704, 142--149 (1993; Zbl 0824.57010)]. In the last section of the paper the author investigates some other nonmetrizable manifolds.
0 references
Homotopy
0 references
Long line
0 references
Nonmetrizable manifolds
0 references
0 references