It is shown that every Polish space X with $di{m}_{T}X\ge d$ admits a compact subspace Y such that $di{m}_{H}Y\ge d$ where $di{m}_T$ and $di{m}_H$ denote the topological and Hausdorff dimensions, respectively.

We prove that $trt{K}_{\omega }>\omega +1$, where trt stands for the transfinite extension of Steinke’s separation dimension. This answers a question of Chatyrko and Hattori.

Let f₀(z) = z²+1/4. We denote by ₀ the set of parameters σ ∈ ℂ for which the critical point 0 escapes from the filled-in Julia set K(f₀) in one step by the Lavaurs map $g_{\sigma }$. We prove that if σ₀ ∈ ∂₀, then the Hausdorff dimension of the Julia-Lavaurs set $J_{0,\sigma }$ is continuous at σ₀ as the function of the parameter $\sigma \in \overline{₀}$ if and only if $HD\left(J_{0,\sigma ₀}\right)\ge 4/3$. Since $HD\left(J_{0,\sigma }\right)>4/3$ on a dense set of parameters which correspond to preparabolic points, the lower semicontinuity implies the continuity of $HD\left(J_{0,\sigma }\right)$ on an open and dense subset of...

This paper is motivated by the problem of dependence of the Hausdorff dimension of the Julia-Lavaurs sets $J_{0,\sigma }$ for the map f₀(z) = z²+1/4 on the parameter σ. Using homographies, we imitate the construction of the iterated function system (IFS) whose limit set is a subset of $J_{0,\sigma }$, given by Urbański and Zinsmeister. The closure of the limit set of our IFS ${\varphi }_{\sigma ,\alpha }^{n,k}$ is the closure of some family of circles, and if the parameter σ varies, then the behavior of the limit set is similar to the behavior of...

Let $(M,d)$ be a bounded countable metric space and $c>0$ a constant, such that $d(x,y)+d(y,z)-d(x,z)\ge c$, for any pairwise distinct points $x,y,z$ of $M$. For such metric spaces we prove that they can be isometrically embedded into any Banach space containing an isomorphic copy of ${\ell }_{\infty }$.

Let d be a positive integer and μ a generalized Cantor measure satisfying $\mu ={\sum }_{j=1}^m{a}_j\mu \circ S_j^{-1}$, where $0<a_j<1$, ${\sum }_{j=1}^m{a}_j=1$, $S_j=\rho R+b_j$ with 0 < ρ < 1 and R an orthogonal transformation of ${ℝ}^d$. Then ⎧1 < p ≤ 2 ⇒ ⎨$su{p}_{r>0}{r}^{d(1/{\alpha }^{\text{'}}-1/p^{\text{'}})}({\int }_{J_x^r}{\left|\mu ̂\left(y\right)\right|}^{p^{\text{'}}}{dy)}^{1/p^{\text{'}}}\le D₁{\rho }^{-d/{\alpha }^{\text{'}}}$, $x\in {ℝ}^d$, ⎩ p = 2 ⇒ infr≥1 rd(1/α’-1/2) (∫J₀r|μ̂(y)|² dy)1/2 ≥ D₂ρd/α’$,$where $J_x^r={\prod }_{i=1}^d(x_i-r/2,x_i+r/2)$, α’ is defined by ${\rho }^{d/{\alpha }^{\text{'}}}={\left({\sum }_{j=1}^m{a}_j^p\right)}^{1/p}$ and the constants D₁ and D₂ depend only on d and p.

We determine the distribution over square-free integers $n$ of the pair $({dim}_{{𝔽}_2}{\mathrm{Sel}}^{\Phi }(E_n/\mathbb{Q}),{dim}_{{𝔽}_2}{\mathrm{Sel}}^{\widehat{\Phi }}(E_n^{\text{'}}/\mathbb{Q}))$, where $E_n$ is a curve in the congruent number curve family, $E_n^{\text{'}}:y^2=x^3+4n^{2}x$ is the image of isogeny $\Phi :E_n\to E_n^{\text{'}}$, $\Phi (x,y)=(y^2/x^2,y(n^2-x^2)/x^2)$, and $\widehat{\Phi }$ is the isogeny dual to $\Phi$.

In this paper the following two propositions are proved: (a) If $X_{\alpha }$, $\alpha \in A$, is an infinite system of connected spaces such that infinitely many of them are nondegenerated completely Hausdorff topological spaces then the box product ${\square }_{\alpha \in A}{X}_{\alpha }$ can be decomposed into continuum many disjoint nonempty open subsets, in particular, it is disconnected. (b) If $X_{\alpha }$, $\alpha \in A$, is an infinite system of Brown Hausdorff topological spaces then the box product ${\square }_{\alpha \in A}{X}_{\alpha }$ is also Brown Hausdorff, and hence, it is connected. A space...

Let $G$ be a finite abelian group with identity element $1_G$ and $L={⨁}_{g\in G}{L}^g$ be an infinite dimensional $G$-homogeneous vector space over a field of characteristic $0$. Let $E=E\left(L\right)$ be the Grassmann algebra generated by $L$. It follows that $E$ is a $G$-graded algebra. Let $\left|G\right|$ be odd, then we prove that in order to describe any ideal of $G$-graded identities of $E$ it is sufficient to deal with $G^{\text{'}}$-grading, where $|G^{\text{'}}|\le |G|$, ${dim}_F{L}^{1_{G^{\text{'}}}}=\infty$ and ${dim}_F{L}^{g^{\text{'}}}<\infty$ if $g^{\text{'}}\ne 1_{G^{\text{'}}}$. In the same spirit of the case $\left|G\right|$ odd, if $\left|G\right|$ is even it is sufficient to study only those $G$-gradings...

Let J ⊂ ℝ² be the set of couples (x,q) with q > 1 such that x has at least one representation of the form $x={\sum }_{i=1}^{\infty }{c}_i{q}^{-i}$ with integer coefficients $c_i$ satisfying $0\le c_i<q$, i ≥ 1. In this case we say that $\left(c_i\right)=c₁c₂...$ is an expansion of x in base q. Let U be the set of couples (x,q) ∈ J such that x has exactly one expansion in base q. In this paper we deduce some topological and combinatorial properties of the set U. We characterize the closure of U, and we determine its Hausdorff dimension. For (x,q) ∈ J, we also...

For x ∈ (0,1), the univoque set for x, denoted (x), is defined to be the set of β ∈ (1,2) such that x has only one representation of the form x = x₁/β + x₂/β² + ⋯ with $x_i\in 0,1$. We prove that for any x ∈ (0,1), (x) contains a sequence ${{\beta }_k}_{k\ge 1}$ increasing to 2. Moreover, (x) is a Lebesgue null set of Hausdorff dimension 1; both (x) and its closure $\overline{\left(x\right)}$ are nowhere dense.

A (Hausdorff) topological group is said to have a -base if it admits a base of neighbourhoods of the unit, $U_{\alpha }:\alpha \in {\mathbb{N}}^{\mathbb{N}}$, such that $U_{\alpha }\subset U_{\beta }$ whenever β ≤ α for all $\alpha ,\beta \in {\mathbb{N}}^{\mathbb{N}}$. The class of all metrizable topological groups is a proper subclass of the class $T{G}_{}$ of all topological groups having a -base. We prove that a topological group is metrizable iff it is Fréchet-Urysohn and has a -base. We also show that any precompact set in a topological group $G\in T{G}_{}$ is metrizable, and hence G is strictly angelic. We deduce from...

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...

Let ${fₙ}_{n\ge 1}$ be an infinite iterated function system on [0,1] satisfying the open set condition with the open set (0,1) and let Λ be its attractor. Then to any x ∈ Λ (except at most countably many points) corresponds a unique sequence ${aₙ\left(x\right)}_{n\ge 1}$ of integers, called the digit sequence of x, such that $x=li{m}_{n\to \infty }{f}_{a₁\left(x\right)}\circ \cdots \circ f_{aₙ\left(x\right)}\left(1\right)$. We investigate the growth speed of the digits in a general infinite iterated function system. More precisely, we determine the dimension of the set $x\in \Lambda :aₙ\left(x\right)\in B\left(\forall n\ge 1\right),li{m}_{n\to \infty }aₙ\left(x\right)=\infty$ for any infinite subset B ⊂ ℕ, a question posed by...

Given a metric space ⟨X,ρ⟩, consider its hyperspace of closed sets CL(X) with the Wijsman topology ${\tau }_{W\left(\rho \right)}$. It is known that $⟨CL\left(X\right),{\tau }_{W\left(\rho \right)}⟩$ is metrizable if and only if X is separable, and it is an open question by Di Maio and Meccariello whether this is equivalent to $⟨CL\left(X\right),{\tau }_{W\left(\rho \right)}⟩$ being normal. We prove that if the weight of X is a regular uncountable cardinal and X is locally separable, then $⟨CL\left(X\right),{\tau }_{W\left(\rho \right)}⟩$ is not normal. We also solve some questions by Cao, Junnila and Moors regarding isolated points in Wijsman hyperspaces. ...

Let f: X → Y be a closed n-dimensional surjective map of metrizable spaces. It is shown that if Y is a C-space, then: (1) the set of all maps g: X → ⁿ with dim(f △ g) = 0 is uniformly dense in C(X,ⁿ); (2) for every 0 ≤ k ≤ n-1 there exists an $F_{\sigma }$-subset $A_k$ of X such that $dim{A}_k\le k$ and the restriction $f\left|\right(X\setminus A_k)$ is (n-k-1)-dimensional. These are extensions of theorems by Pasynkov and Toruńczyk, respectively, obtained for finite-dimensional spaces. A generalization of a result due to Dranishnikov and Uspenskij...

Let $r(G_1,G_2)$ be the Ramsey number of the two graphs $G_1$ and $G_2$. For $n_1\ge n_2\ge 1$ let $S(n_1,n_2)$ be the double star given by $V\left(S(n_1,n_2)\right)=\{v_0,v_1,...,v_{n_1},w_0$, $w_1,...,w_{n_2}\}$ and $E\left(S(n_1,n_2)\right)=\{v_0{v}_1,...,v_0{v}_{n_1},v_0{w}_0,w_0{w}_1,...,w_0{w}_{n_2}\}$. We determine $r(K_{1,m-1},$ $S(n_1,n_2))$ under certain conditions. For $n\ge 6$ let $T_n^3=S(n-5,3)$, $T_n^{\text{'}\text{'}}=(V,E_2)$ and $T_n^{\text{'}\text{'}\text{'}}=(V,E_3)$, where $V=\{v_0,v_1,...,v_{n-1}\}$, $E_2=\{v_0{v}_1,...,v_0{v}_{n-4},v_1{v}_{n-3}$, $v_1{v}_{n-2},v_2{v}_{n-1}\}$ and $E_3=\{v_0{v}_1,...,v_0{v}_{n-4},v_1{v}_{n-3},$ $v_2{v}_{n-2},v_3{v}_{n-1}\}$. We also obtain explicit formulas for $r(K_{1,m-1},T_n)$, $r(T_m^{\text{'}},T_n)$ $(n\ge m+3)$, $r(T_n,T_n)$, $r(T_n^{\text{'}},T_n)$ and $r(P_n,T_n)$, where $T_n\in \{T_n^{\text{'}\text{'}},T_n^{\text{'}\text{'}\text{'}},T_n^3\}$, $P_n$ is the path on $n$ vertices and $T_n^{\text{'}}$ is the unique tree with $n$ vertices and maximal degree $n-2$.

We construct a Hausdorff topological group $G$ such that ${\aleph }_1$ is a precalibre of $G$ (hence, $G$ has countable cellularity), all countable subsets of $G$ are closed and $C$-embedded in $G$, but $G$ is not $ℝ$-factorizable. This solves Problem 8.6.3 from the book “Topological Groups and Related Structures" (2008) in the negative.

Let $K_{s,t}$ be the complete bipartite graph with partite sets $\{x_1,...,x_s\}$ and $\{y_1,...,y_t\}$. A split bipartite-graph on $(s+s^{\text{'}})+(t+t^{\text{'}})$ vertices, denoted by ${\mathrm{SB}}_{s+s^{\text{'}},t+t^{\text{'}}}$, is the graph obtained from $K_{s,t}$ by adding $s^{\text{'}}+t^{\text{'}}$ new vertices $x_{s+1},...,x_{s+s^{\text{'}}}$, $y_{t+1},...,y_{t+t^{\text{'}}}$ such that each of $x_{s+1},...,x_{s+s^{\text{'}}}$ is adjacent to each of $y_1,...,y_t$ and each of $y_{t+1},...,y_{t+t^{\text{'}}}$ is adjacent to each of $x_1,...,x_s$. Let $A$ and $B$ be nonincreasing lists of nonnegative integers, having lengths $m$ and $n$, respectively. The pair $(A;B)$ is potentially ${\mathrm{SB}}_{s+s^{\text{'}},t+t^{\text{'}}}$-bigraphic if there is a simple bipartite graph containing ${\mathrm{SB}}_{s+s^{\text{'}},t+t^{\text{'}}}$ (with $s+s^{\text{'}}$ vertices $x_1,...,x_{s+s^{\text{'}}}$ in the part of size $m$...

Let $G$ be any group containing an infinite elementary amenable subgroup and let $2\&lt;p\&lt;\infty$. We construct an exhaustion of ${\ell }^{p}G$ by closed invariant subspaces which all intersect trivially a fixed non-trivial closed invariant subspace. This is an obstacle to ${\ell }^p$-dimension and gives an answer to a question of Gaboriau.