Department of Topology
- Henryk Toruńczyk (Professor)
pok. 104, tel.: 22 5228 104
About the Department
The full time employees in the past few years have been: Kazimierz Alster,
Józef Krasinkiewicz, Wiesław Olędzki, Stanisław Spież and Henryk Toruńczyk.
Moreover, within the last 3 years the following topologists have been
or are currently employed for a period varying from 6 months to
T. Dobrowolski, K. Gęba, G. Graff, M. Izydorek,
T. Januszkiewicz, J. Jezierski, D. Kołodziejczyk,
T. Koźniewski, S. Nowak, R. Mańka, J. Świątkowski, A. Tralle,
P. Nowak, T. Januszkiewicz and P.Przytycki participate in
Geometric Group Theory group in Warsaw.
Below are the descriptions of the main research results or
research areas of the full time employees and the list of some of the
papers published (either containing the results discussed or
completed within the last 3 years).
My research area belongs to General Topology. I have been interested
in studying the properties of a space which can be expressed in terms
of its coverings. These include: the Hurewicz property, the Eberlein
compactness, the Fréchet property, paracompactness, and the Lindelöf
property of Cartesian products. The study of these properties
often leads to problems close to infinite combinatorics.
My main results include:
Showing in  that if every map of a compactum X into
R2n can be approximated by an embedding then
dim (X×X) < 2n.
(The reverse implication and other extensions have subsequently been obtained
by many authors, primarily by S. Spież and by H. Toruńczyk.)
- Proving, jointly with Z. Karno , that the basic property
dim(X×X) < 2 dim(X)
celebrated Boltyanskii-Kodama compacta and of their natural
n-dimensional counterparts can be established using the above result
by studying the set of all mappings of these spaces into R2n.
(This research grew out from a joint paper with K. Lorentz in
Bull. Polish Acad. Sci. 36 (1988), 397-402.)
- Proving that mappings of a compact metric space into manifolds can
be approximated by mappings whose fibers are hereditarily indecomposable,
and that in fact the set of such maps is a dense Gδ
- Extending the notion of an essential mapping into spheres
to the case when the target space is a product of manifolds.
This new notion has been applied (see )
to construct spaces with peculiar properties (e.g.: there exists
a nondegenerate continuum whose each subset of positive dimension
admits an essential map onto each sphere) and to proving
(e.g.: if the Hilbert cube Q is expressed as a countable union of sets,
then one of them contains a connected non-trivial subset, which
strengthens Hurewicz's result on decompositions of Q into
My major areas of research are shape theory (and indirectly homotopy
theory), dimension theory, theory of embeddings and game theory.
Several of my papers in shape theory are devoted to studying movable
spaces (their role
is similar to that of CW-complexes in homotopy theory)
and deformation dimension (which corresponds to the homotopical
Some of my results in
that area are related to the classical Whitehead
and Hurewicz theorems in homotopy theory.
Also I investigated the possibility of representing the strong
shape category in the homotopy category.
Another area of my research
is related to the following questions:
"When can a pair of mappings of compact metric spaces X
and Y into
Rn be approximated by mappings
with disjoint images, and also when can a map X→Rn be
approximated by embeddings?'' Since the 1930's
the standard answer
to the latter has been "It suffices that 2 dim X < n"
turns out that it is sufficient that dim(X×X) < n.
Some other papers of mine concern the first question (which is more general).
Also I was interested in the questions of embedding polyhedra into
Euclidean spaces, which were related to the van Kampen and Haefliger-Weber
Recently I am also involved in research in game theory.
Some results on the existence of equilibria in a class of games
can be proved by using topological tools, such as
coincidence theorems of Borsuk-Ulam type.
Several of the above results were obtained
with the following mathematicians: B. Günther,
S. Nowak, J. Segal, R. Simon, A. Skopenkov and H. Toruńczyk.
Major part of my research concerned topological properties of
infinite-dimensional spaces, such as the Hilbert cube or Banach
spaces. I consider the following my main results:
- developing a method of constructing smooth partitions of unity on
Banach spaces in the absence of separability ;
- proving that a product of an absolute retract with an
appropriate normed linear space becomes homeomorphic to that
- proving, simultaneously with S. Ferry, that the homeomorphism
group of a Hilbert cube manifold is a manifold ;
- characterizing infinite-dimensional manifolds topologically
(see R. D. Edwards' article in SLN 770, 278-302).
As a consequence it turned out that infinite-dimensional Banach
spaces of the same weight are homeomorphic;
- examining, jointly with S. Spież, when mappings
X, Y→Rk can be ε-approximated by mappings
with disjoint images ;
- establishing, jointly with R. Simon and S. Spież,
the existence of equilibria in a class of infinitely repeated games.
(The proof in  depended on developing an appropriate
- K. Alster,
Some remarks on Eberlein compacts, Fund. Math. 104
- K. Alster,
On Michael's problem concerning the Lindelöf property
in the Cartesian products, Fund. Math. 121 (1984), 149-167.
- K. Alster,
On the product of a Lindelöf space with the space of
irrationals under Martin's Axiom, Proc. Amer. Math. Soc. 110 (1990), 543-547.
- K. Alster,
On the Cartesian products of Lindelöf spaces with one
factor hereditarily Lindelöf, Proc. Amer. Math. Soc. 116 (1992), 207-212.
- K. Alster (with R. Pol),
A remark on Kurepa's topology on Aronszajn trees,
Houston J. Math. 18 (1992), 409-415.
- K. Gęba, M. Izydorek and A. Pruszko,
The Conley index in Hilbert spaces, Studia Math. 134 (1999), 217-233.
- M. Izydorek (with Z. Dzedzej), The Borsuk-Ulam theorem
for differentiable maps, in: Differential Inclusions and Optimization Control,
Lecture Notes in Nonlinear Anal., 1998, 139-143.
- M. Izydorek (with Z. Dzedzej and A. Vidal), On a theorem
of Tveberg, Topol. Methods Nonlinear Anal., to appear.
- J. Krasinkiewicz (with Z. Karno),
On some famous examples in dimension
theory, Fund. Math. 134 (1990), 213-220.
- J. Krasinkiewicz, Essential mappings onto products
of manifolds, in: Banach Center Publ. 18, PWN, 1986, 377-406.
- J. Krasinkiewicz, Imbeddings into Rn and the dimension of
products, Fund. Math. 133 (1989), 247-253.
- J. Krasinkiewicz, On mappings with hereditarily indecomposable fibers,
Bull. Polish Acad. Sci. 44 (1996), 147-156.
- S. Spież (with B. Günther and J. Segal),
Strong shape of uniform spaces, Topology Appl. 49 (1993), 237-249.
- S. Spież (with J. Segal and A. Skopenkov),
polyhedra in Rm and the deleted product obstruction, Topology
Appl. 85 (1998), 335-344.
- S. Spież (with J. Segal), Quasi-embeddings and
of polyhedra in Rm, Topology Appl. 45 (1992), 275-282.
- S. Spież, Imbeddings in R2m of
m-dimensional compacta with dim(X×X) < 2m , Fund. Math.
- S. Spież, On pairs of compacta with
dim(X×Y) < dim X + dim Y , Fund. Math. 135
- S. Spież and H. Toruńczyk, Moving compacta in
Rm apart, Topology Appl. 41 (1991), 193-204.
- S. Spież, H. Toruńczyk (and
R. Simon), The
existence of equilibria in certain games, separation for families of
convex functions and a theorem of Borsuk-Ulam type, Israel J. Math. 92
- H. Toruńczyk,
Smooth partitions of unity on some non-separable Banach spaces,
Studia Math. 46 (1973), 43-51.
- H. Toruńczyk,
Absolute retracts as factors of normed linear spaces, Fund. Math. 86
- H. Toruńczyk,
Homeomorphism groups of compact Hlbert cube manifolds which are
manifolds, Bull. Acad. Polon. Sci. 25 (1977), 401-408.
- H. Toruńczyk (with J. E. West), Fibrations and bundles
with Hilbert cube
manifold fibers, Mem. Amer. Math. Soc. 406
- A. Tralle (with J. Oprea), Symplectic Manifolds with no Kaehler
structure, Lecture Notes in Math. 1661, Springer, 1997.
- A. Tralle, Rational models of solvmanifolds with Kaehlerian structures,
Revista Math. 10 (1997), 157-176.
- A. Tralle (with W. Andrzejewski), Flat bundles and formality, Ann. Polon.
Math. 65 (1997), 105-176.
- A. Tralle, Compact symplectic and Kaehler solvmanifolds which are not
completely solvable, Colloq. Math. 73 (1997), 261-283.
- A. Tralle (with J. Oprea), Massey products and the examples of McDuff,