## Access

You are not currently logged in.

Access JSTOR through your library or other institution:

## If You Use a Screen Reader

This content is available through Read Online (Free) program, which relies on page scans. Since scans are not currently available to screen readers, please contact JSTOR User Support for access. We'll provide a PDF copy for your screen reader.
Journal Article

# On the Product and Composition of Universal Mappings of Manifolds Into Cubes

W. Holsztyński
Proceedings of the American Mathematical Society
Vol. 58, No. 1 (Jul., 1976), pp. 311-314
DOI: 10.2307/2041406
Stable URL: http://www.jstor.org/stable/2041406
Page Count: 4
Were these topics helpful?

#### Select the topics that are inaccurate.

Cancel
Since scans are not currently available to screen readers, please contact JSTOR User Support for access. We'll provide a PDF copy for your screen reader.
Preview not available

## Abstract

A map $f: X \rightarrow Y$ is said to be universal $\operatorname{iff}$ for every $g: X \rightarrow Y$ there exists $x \in X$ such that $f(x) = g(x)$. Let $M_t, t \in T$, and $M^n$ be orientable compact manifolds (in general with boundary). Let $\dim M^n = n$ and let $Q_t$ be a cube with $\dim Q_t = \dim M_t$. Let $f_t: M_t \rightarrow Q_t, f_0: M^n \rightarrow I^n$ and $f_k: I^n \rightarrow I^n$ be universal mappings for $t \in T$ and $k = 1, 2, \ldots$. Then (1.8) THEOREM. The product map $\Pi_{t \in T}f_t: M_t \rightarrow \Pi_{t \in T} Q_t$ is universal. (2.1) THEOREM. The composition $f_s \circ f_{s - 1} \circ \cdots \circ f_1: M^n \rightarrow I^n$ is a universal map for $s = 1, 2, \ldots$. (2.2) THEOREM. The limit $X$ of the inverse sequence $$I^n \overset{f_1}{\leftarrow} I^n \overset{f_2}{\leftarrow} I^n \overset{f_3}{\leftarrow} \cdots$$ is an $n$-dimensional space with the fixed point property. Some "counterexamples" are furnished. Also the following variant of Proposition (1.5) from [3] is given: THEOREM A (PROPOSITION (1.5) OF [3]). Let $X$ be a compact space of (covering) dimension $\leqslant n$. Then $f: X \rightarrow I^n$ is a universal mapping $\operatorname{iff}$ the element $f^\ast(e^n)$ of the $n$th Cech cohomology group $H^n(X,f^{-1}(S^{n -1});\mathbf{Z})$ is different from 0 for a generator $e^n$ of $H^n(I^n, S^{n - 1}; \mathbf{Z})$ where $(S^{n - 1} = \partial I^n)$.

• 311
• 312
• 313
• 314