Dimensions of strong n-point sets

n-point sets (plane sets which hit each line in n points) and strong n-point sets (in addition hit each circle in n-points) exist (for n?2, n?3 respectively) by transfinite induction, but their properties otherwise are difficult to establish. Recently for n-point sets the question of their possible dimensions has been settled: 2- and 3-point sets are always zero-dimensional, while for n?4, one-dimensional n-point sets exist. We settle the same question for strong n-point sets: strong 4- and 5-point sets are always zero-dimensional, while for n?6, both zero-dimensional and one-dimensional strong n-point sets exist.     

A decomposition of R into two homeomorphic rigid parts

Let X be separable, completely metrizable, and dense in itself. We show that if X admits a triple (D₁, D₂, h) of two countable dense subsets D₁ and D₂ and a homeomorphism h: X?D₁ → X?D₂, satisfying some special properties, then there is a rigid subspace A of X such that A is homeomorphic to X?A = h[A]; for $\text{X =}\text{R}$, such atriple is shown to exist.     

Fractal boundaries are not typical

Let M be a C¹n-dimensional compact submanifold of Rn. The boundary of M, ∂M, is itself a C¹ compact (n−1)-dimensional submanifold of Rn. A carefully chosen set of deformations of ∂M defines a complete subspace consisting of boundaries of compact n-dimensional submanifolds of Rn, thus the Baire Category Theorem applies to the subspace. For the typical boundary element ∂W in this space, it is the case that ∂W is simultaneously nowhere-differentiable and of Hausdorff dimension n−1.     

IFS attractors and Cantor sets

We build a metric space which is homeomorphic to a Cantor set but cannot be realized as the attractor of an iterated function system. We give also an example of a Cantor set K in R³ such that every homeomorphism f of R³ which preserves K coincides with the identity on K.     

Universal space in the Cartesian product of Peano curves without free arcs

We prove that there is the universal space for the class of n-dimensional separable metric spaces in the Cartesian product K₁×?×Kn+1 of Peano curves without free arcs. It is also shown that the set of embeddings of any n-dimensional separable metric space X into this universal space is a residual set in C(X,K₁×?×Kn+1). Other properties of product of Peano curves without free arcs are also proved.     

Examples of cell-like decompositions of the infinite-dimensional manifolds σ and Σ

Denote by σ the subspace of Hilbert space {(x_i)?l₂:x_i=0 for all but finitely many i}. Examples of cell-like decompositions of σ are constructed that have decomposition spaces that are not homeomorphic to σ. At one extreme is a cell-like decomposition G of σ produced using ghastly finite dimensional examples such that the decomposition space σ?G contains no embedded 2-cell but (σ?G)×$\text{R}$ is homeomorphic to σ. At the other extreme is a cell-like decomposition G of σ satisfying: (a) the nondegeneracy set N_G={g?G:g≠point} consists of countably many arcs (necessarily tame); (b) the nondegeneracy set N_G is a closed subset of the decomposition space σ?G; (c) each map f:B²→σ?G of a 2-cell into σ?G can be approximated arbitrarily closely by an embedding; (d) σ?G is not homeomorphic to σ but (σ?G)×$\text{R}$ is homeomorphic to σ. The fact that both conditions (a) and (b) can be satisfied (and have (d) hold) is directly attributable to σ’s incompleteness as a topological space.     

Basic homogeneity in the class of zero-dimensional compact spaces

We show that under the continuum hypothesis there is a compact zero-dimensional space which admits a base of pairwise homeomorphic clopen subsets but it is not an h-homogeneous space (i.e. not all of its nonempty clopen subsets are homeomorphic), partially answering a question of M.V. Matveev. Under Jensen's ? principle, we can even make the space hereditarily separable and hence, by a result of Matveev, an S-space.     

Transitive points via Furstenberg family

Let (X,T) be a topological dynamical system and F be a Furstenberg family (a collection of subsets of Z₊ with hereditary upward property). A point x∈X is called an F-transitive one if {n∈Z₊:Tnx∈U}∈F for every non-empty open subset U of X; the system (X,T) is called F-point transitive if there exists some F-transitive point. In this paper, we aim to classify transitive systems by F-point transitivity. Among other things, it is shown that (X,T) is a weakly mixing E-system (resp. weakly mixing M-system, HY-system) if and only if it is {D-sets}-point transitive (resp. {central sets}-point transitive, {weakly thick sets}-point transitive).It is shown that every weakly mixing system is Fip-point transitive, while we construct an Fip-point transitive system which is not weakly mixing. As applications, we show that every transitive system with dense small periodic sets is disjoint from every totally minimal system and a system is Δ^?(Fwt)-transitive if and only if it is weakly disjoint from every P-system.     

On the division by R n

Summary In this paper we prove that, ifS ×R ⁿ is homeomorphic toR ^{n + 1}, thenS is homeomorphic toR.     

Spaces N ∪ R and their dimensions

About spaces N∪$\text{R}$ (see [2, Exercise 5I]), the following are proved: (1) dim $\text{N∪}\text{R}\text{= dim β(N∪}\text{R}\text{)?N∪}\text{R}\text{,(2)if|β(N∪}\text{R}\text{)?N∪}\text{R}\text{|<2}{}^{\mathrm{?}}{}^{\mathrm{o}}$, then no real-valued continuous fu ction on N∪$\text{R}$ is onto (and hence, dim $\text{N∪}\text{R}\text{=0}$), (3) any compact metric space without isolated points is homeomorphic to some $\text{β(N∪}\text{R}\text{)?N∪}\text{R}$ and (4)there are spaces X,X₁ and X₂ of the form N∪$\text{R}$ such that X=X₁∪X₂,X₂andX₂ are zero sets of X, and dim X=n, dimX₁=dimX₂=0, where n=1,2,… or ∞.     

The topological structure of fuzzy sets with sendograph metric

For a non-degenerate convex subset Y of the n  -dimensional Euclidean space Rⁿ${\mathbb{R}}^n$, let F(Y)$\mathbb{F}(Y)$ be the family of all fuzzy sets of Rⁿ${\mathbb{R}}^n$ which are upper semicontinuous, fuzzy convex and normal with compact supports contained in Y  . We show that the space F(Y)$\mathbb{F}(Y)$ with the topology of sendograph metric is homeomorphic to the separable Hilbert space ?²${?}^2$ if Y   is compact; and the space F(Rⁿ)$\mathbb{F}({\mathbb{R}}^n)$ is also homeomorphic to ?²${?}^2$.     

Lelek maps and n-dimensional maps from compacta to polyhedra

For a natural number m?0, a map from a compactum X to a metric space Y is an m-dimensional Lelek map if the union of all non-trivial continua contained in the fibers of f is of dimension ?m. In [M. Levin, Certain finite-dimensional maps and their application to hyperspaces, Israel J. Math. 105 (1998) 257-262], Levin proved that in the space C(X,I) of all maps of an n-dimensional compactum X to the unit interval I=[0,1], almost all maps are (n−1)-dimensional Lelek maps. Moreover, he showed that in the space C(X,Ik) of all maps of an n-dimensional compactum X to the k-dimensional cube Ik (k?1), almost all maps are (n−k)-dimensional Lelek maps. In this paper, we generalize Levin's result. For any (separable) metric space Y, we define the piecewise embedding dimension ped(Y) of Y and we prove that in the space C(X,Y) of all maps of an n-dimensional compactum X to a complete metric ANR Y, almost all maps are (n−k)-dimensional Lelek maps, where k=ped(Y). As a corollary, we prove that in the space C(X,Y) of all maps of an n-dimensional compactum X to a Peano curve Y, almost all maps are (n−1)-dimensional Lelek maps and in the space C(X,M) of all maps of an n-dimensional compactum X to a k-dimensional Menger manifold M, almost all maps are (n−k)-dimensional Lelek maps. It is known that k-dimensional Lelek maps are k-dimensional maps for k?0.     

Higher-dimensional Bruckner-Garg type theorem

In this paper, we investigate several properties of maps from a compactum X to an n-dimensional (combinatorial) manifold Mn. We introduce the notions of stable point and locally extreme point of map, and we prove a higher-dimensional Bruckner-Garg type theorem for the fiber structure of a generic map in the space C(X,Mn) of maps from a compactum X with dimX?n to an n-dimensional manifold Mn (n?1). As applications, we also study the spaces of Bing maps, Lelek maps, k-dimensional maps and Krasinkiewicz maps in C(X,Mn).     

A classification of CO spaces which are continuous images of compact ordered spaces

A topological space X is called a CO space, if every closed subset of X is homeomorphic to some clopen subset of X. Every ordinal with its order topology is a CO space. This work gives a complete classification of CO spaces which are continuous images of compact ordered spaces.     

Splitting manifolds as M × R where M has a k-fold end structure

Let X be a locally finite simplicial complex of dimension n, n? 5, equipped with a k-fold end structure [4] and consider a piecewise linear (n + 1)-dimensional manifold M that is proper homotopy equivalent to X × R by F:M → X × R, where R is the set of real numbers. The question arises as to whether or not the manifold M can be split, i.e., written as M = N × R where N is a n-manifold and where there is a proper homotopy between F and (p₁ ° F₀) × id:N × R → X × R, preserving the natural (k+1)-fold end structure, where F₀ is F|_N and p₁ is the projection X × R → X. Of particular significance is the fact that X is noncompact. When the construction of such splittings is attempted, algebraic obstructions arise, which vanish if and only if the construction can be completed. This paper develops such an obstruction theory by utilizing methods of L.C. Siebenmann and the k-fold end structures of F. Waldhausen.     

Ordinal remainders of ψ-spaces

We consider which ordinals, with the order topology, can be Stone-?ech remainders of which spaces of the form ψ(κ,M), where ω?κ is a cardinal number and M⊂ω[κ] is a maximal almost disjoint family of countable subsets of κ (MADF). The cardinality of the continuum, denoted c, and its successor cardinal, c⁺, play important roles. We show that if κ>c⁺, then no ψ(κ,M) has any ordinal as a Stone-?ech remainder. If κ?c then for every ordinal δ<κ⁺ there exists Mδ⊂ω[κ], a MADF, such that βψ(κ,Mδ)?ψ(κ,Mδ) is homeomorphic to δ+1. For κ=c⁺, βψ(κ,Mδ)?ψ(κ,Mδ) is homeomorphic to δ+1 if and only if c⁺?δ<c⁺⋅ω.     

Embedding Tn-like continua in Euclidean space

Many authors have been concerned with embedding ∏-like continua in Rⁿ where ∏ is some collection of polyhedra or manifolds. A similar concern has been embedding ∏-like continua in Rⁿ up to shape. In this paper we prove two main theorems. Theorem: If n ? 2 and X is Tⁿ-like, then X embeds in R²ⁿ. This result was conjectured by McCord for the case H¹(X) finitely generated and proved by McCord for the case that H¹(X) = 0 using a theorem of Isbell. The second theorem is a shape embedding theorem. Theorem: If X is Tⁿ-like, then X embeds in Rⁿ⁺² up to shape. This theorem is proved by showing that an n-dimensional compact connected abelian topological group embeds in Rⁿ⁺². Any Tⁿ-like continuum is shape equivalent to a k-dimensional compact connected abelian topological group for some 0 ? k ? n.     

Finite dimensional polish spaces are extreme boundaries of convex bodies in Euclidean space

It is proved that everyn-dimensional Polish space is homeomorphic to the set of extreme points of a compact convex set inR ^18(n+1). The contribution of M. Levin to this paper is a part of his Ph.D. thesis prepared at the University of Haifa under the supervision of Y. Sternfeld.     

O-minimal Hauptvermutung for polyhedra I

Milnor discovered two compact polyhedra which are homeomorphic but not PL homeomorphic (a counterexample to the Hauptvermutung). He constructed the homeomorphism by a finite procedure repeated infinitely often. Informally, we call a procedure constructive if it consists of an explicit procedure that is repeated only finitely many times. In this sense, Milnor did not give a constructive procedure to define the homeomorphism between the two polyhedra. In the case where the homeomorphism is semialgebraic, the author and Yokoi proved that the polyhedra in R ⁿ are PL homeomorphic. In that article, the required PL homeomorphism was not constructively defined from the given homeomorphism. In the present paper we obtain the PL homeomorphism by a constructive procedure starting from the homeomorphism. We prove in fact that for any ordered field R equipped with any o-minimal structure, two definably homeomorphic compact polyhedra in R ⁿ are PL homeomorphic (the o-minimal Hauptvermutung theorem 1.1). Together with the fact that any compact definable set is definably homeomorphic to a compact polyhedron we can say that o-minimal topology is “tame”.     

Gelfand pairs on the Heisenberg group and Schwartz functions

Let Hn be the (2n+1)-dimensional Heisenberg group and K a compact group of automorphisms of Hn such that (K?Hn,K) is a Gelfand pair. We prove that the Gelfand transform is a topological isomorphism between the space of K-invariant Schwartz functions on Hn and the space of Schwartz function on a closed subset of Rs homeomorphic to the Gelfand spectrum of the Banach algebra of K-invariant integrable functions on Hn.