Advanced Search

An embedding X ⊂ G of a topological space X into a topological group G is called functorial if every homeomorphism of X extends to a continuous group homomorphism of G. It is shown that the interval [0, 1] admits no functorial embedding into a finite-dimensional or metrizable topological group.

For a Tikhonov space X we denote by Pc(X) the semilattice of all continuous pseudometrics on X. It is proved that compact Hausdorff spaces X and Y are homeomorphic if and only if there is a positive-homogeneous (or an additive) semi-lattice isomorphism T:Pc(X) → Pc(Y). A topology on Pc(X) is called admissible if it is intermediate between the compact-open and pointwise topologies on Pc(X). Another result states that Tikhonov spaces X and Y are homeomorphic if and only if there exists a positive-homogeneous...

We show that the strong dual X’ to an infinite-dimensional nuclear (LF)-space is homeomorphic to one of the spaces: ${ℝ}^{\omega }$, ${ℝ}^{\infty }$, $Q\times {ℝ}^{\infty }$, ${ℝ}^{\omega }\times {ℝ}^{\infty }$, or ${\left({ℝ}^{\infty }\right)}^{\omega }$, where ${ℝ}^{\infty }=lim{ℝ}^n$ and $Q={[-1,1]}^{\omega }$. In particular, the Schwartz space D’ of distributions is homeomorphic to ${\left({ℝ}^{\infty }\right)}^{\omega }$. As a by-product of the proof we deduce that each infinite-dimensional locally convex space which is a direct limit of metrizable compacta is homeomorphic either to ${ℝ}^{\infty }$ or to $Q\times {ℝ}^{\infty }$. In particular, the strong dual to any metrizable infinite-dimensional Montel space is homeomorphic either...

Given a group X we study the algebraic structure of the compact right-topological semigroup λ(X) consisting of all maximal linked systems on X. This semigroup contains the semigroup β(X) of ultrafilters as a closed subsemigroup. We construct a faithful representation of the semigroup λ(X) in the semigroup ${\left(X\right)}^{\left(X\right)}$ of all self-maps of the power-set (X) and show that the image of λ(X) in ${\left(X\right)}^{\left(X\right)}$ coincides with the semigroup $En{d}_{\lambda }\left(\left(X\right)\right)$ of all functions f: (X) → (X) that are equivariant, monotone and symmetric in the sense...

Given a pair (M,X) of spaces we investigate the connections between the (strong) universality of (M,X) and that of the space X. We apply this to prove Enlarging, Deleting, and Strong Negligibility Theorems for strongly universal and absorbing spaces. Given an absorbing space Ω we also study the question of topological uniqueness of the pair (M,X), where $M={[0,1]}^{\omega }$ or $M={(0,1)}^{\omega }$ and X is a copy of Ω in M having a locally homotopy negligible complement in M.

General position properties play a crucial role in geometric and infinite-dimensional topologies. Often such properties provide convenient tools for establishing various universality results. One of well-known general position properties is DDⁿ, the property of disjoint n-cells. Each Polish $L{C}^{n-1}$-space X possessing DDⁿ contains a topological copy of each n-dimensional compact metric space. This fact implies, in particular, the classical Lefschetz-Menger-Nöbeling-Pontryagin-Tolstova embedding theorem...

We calculate the cardinal characteristics of the $\sigma$-ideal $\mathscr{H}𝒩\left(G\right)$ of Haar null subsets of a Polish non-locally compact group $G$ with invariant metric and show that $cov\left(\mathscr{H}𝒩\right(G\left)\right)\le 𝔟\le max\{𝔡,non(𝒩\left)\right\}\le non\left(\mathscr{H}𝒩\right(G\left)\right)\le cof\left(\mathscr{H}𝒩\right(G\left)\right)>min\{𝔡,non(𝒩\left)\right\}$. If $G={\prod }_{n\ge 0}{G}_n$ is the product of abelian locally compact groups $G_n$, then $add\left(\mathscr{H}𝒩\right(G\left)\right)=add\left(𝒩\right)$, $cov\left(\mathscr{H}𝒩\right(G\left)\right)=min\{𝔟,cov(𝒩\left)\right\}$, $non\left(\mathscr{H}𝒩\right(G\left)\right)=max\{𝔡,non(𝒩\left)\right\}$ and $cof\left(\mathscr{H}𝒩\right(G\left)\right)\ge cof\left(𝒩\right)$, where $𝒩$ is the ideal of Lebesgue null subsets on the real line. Martin Axiom implies that $cof\left(\mathscr{H}𝒩\left(G\right)\right)>2^{{\aleph }_0}$ and hence $G$ contains a Haar null subset that cannot be enlarged to a Borel or projective Haar null subset of $G$. This gives a negative (consistent) answer to a question of...

It is proven that an infinite-dimensional Banach space (considered as an Abelian topological group) is not topologically isomorphic to a subgroup of a product of $\sigma$-compact (or more generally, $o$-bounded) topological groups. This answers a question of M. Tkachenko.

In this paper we introduce perfectly supportable semigroups and prove that they are σ-discrete in each Hausdorff shiftinvariant topology. The class of perfectly supportable semigroups includes each semigroup S such that FSym(X) ⊂ S ⊂ FRel(X) where FRel(X) is the semigroup of finitely supported relations on an infinite set X and FSym(X) is the group of finitely supported permutations of X.

Let X be a topological group or a convex set in a linear metric space. We prove that X is homeomorphic to (a manifold modeled on) an infinite-dimensional Hilbert space if and only if X is a completely metrizable absolute (neighborhood) retract with ω-LFAP, the countable locally finite approximation property. The latter means that for any open cover $$𝒰$$ of X there is a sequence of maps (f n: X → X)nεgw such that each f n is $$𝒰$$ -near to the identity map of X and the family f n(X)n∈ω is locally finite...

A metric space M is said to have the fibered approximation property in dimension n (briefly, M ∈ FAP(n)) if for any ɛ > 0, m ≥ 0 and any map g: $$𝕀$$ m × $$𝕀$$ n → M there exists a map g′: $$𝕀$$ m × $$𝕀$$ n → M such that g′ is ɛ-homotopic to g and dim g′ (z × $$𝕀$$ n) ≤ n for all z ∈ $$𝕀$$ m. The class of spaces having the FAP(n)-property is investigated in this paper. The main theorems are applied to obtain generalizations of some results due to Uspenskij [11] and Tuncali-Valov [10].

A subset of a Polish space X is called universally small if it belongs to each ccc σ-ideal with Borel base on X. Under CH in each uncountable Abelian Polish group G we construct a universally small subset A₀ ⊂ G such that |A₀ ∩ gA₀| = for each g ∈ G. For each cardinal number κ ∈ [5,⁺] the set A₀ contains a universally small subset A of G with sharp packing index $pack♯\left(A_{\kappa }\right)=sup\left|\right|⁺:\subset {gA}_{g\in G}isdisjoint$ equal to κ.

For every metric space X we introduce two cardinal characteristics $co{v}^{♭}\left(X\right)$ and $co{v}^{♯}\left(X\right)$ describing the capacity of balls in X. We prove that these cardinal characteristics are invariant under coarse equivalence, and that two ultrametric spaces X,Y are coarsely equivalent if $co{v}^{♭}\left(X\right)=co{v}^{♯}\left(X\right)=co{v}^{♭}\left(Y\right)=co{v}^{♯}\left(Y\right)$. This implies that an ultrametric space X is coarsely equivalent to an isometrically homogeneous ultrametric space if and only if $co{v}^{♭}\left(X\right)=co{v}^{♯}\left(X\right)$. Moreover, two isometrically homogeneous ultrametric spaces X,Y are coarsely equivalent if and only if $co{v}^{♯}\left(X\right)=co{v}^{♯}\left(Y\right)$...

It is shown that for every integer n the (2n+1)th power of any locally path-connected metrizable space of the first Baire category is 𝓐₁[n]-universal, i.e., contains a closed topological copy of each at most n-dimensional metrizable σ-compact space. Also a one-dimensional σ-compact absolute retract X is found such that the power X^{n+1} is 𝓐₁[n]-universal for every n.

We prove that a closed convex subset C of a complete linear metric space X is polyhedral in its closed linear hull if and only if no infinite subset A ⊂ X∖ C can be hidden behind C in the sense that [x,y]∩ C ≠ ∅ for any distinct x,y ∈ A.

We prove that each non-separable completely metrizable convex subset of a Fréchet space is homeomorphic to a Hilbert space. This resolves a more than 30 years old problem of infinite-dimensional topology. Combined with the topological classification of separable convex sets due to Klee, Dobrowolski and Toruńczyk, this result implies that each closed convex subset of a Fréchet space is homeomorphic to $[0,1]ⁿ\times {[0,1)}^m\times \ell ₂\left(\kappa \right)$ for some cardinals 0 ≤ n ≤ ω, 0 ≤ m ≤ 1 and κ ≥ 0.

We prove that for each dense non-compact linear operator S: X → Y between Banach spaces there is a linear operator T: Y → c₀ such that the operator TS: X → c₀ is not compact. This generalizes the Josefson-Nissenzweig Theorem.

A closed convex subset C of a Banach space X is called approximatively polyhedral if for each ε > 0 there is a polyhedral (= intersection of finitely many closed half-spaces) convex set P ⊂ X at Hausdorff distance < ε from C. We characterize approximatively polyhedral convex sets in Banach spaces and apply the characterization to show that a connected component of the space $Con{v}_{}\left(X\right)$ of closed convex subsets of X endowed with the Hausdorff metric is separable if and only if contains a polyhedral convex...

We prove that a space M with Disjoint Disk Property is a Q-manifold if and only if M × X is a Q-manifold for some C-space X. This implies that the product M × I² of a space M with the disk is a Q-manifold if and only if M × X is a Q-manifold for some C-space X. The proof of these theorems exploits the homological characterization of Q-manifolds due to Daverman and Walsh, combined with the existence of G-stable points in C-spaces. To establish the existence of such points we prove (and afterward...