Advanced Search

In the paper we compare two notions of porosity: the R-ball porosity $\left(R0\right)$ defined by Preiss and Zajı́ček, and the porosity which was introduced by Olevskii (here it will be called the O-porosity). We find this comparison interesting since in the literature there are two similar results concerning these two notions. We restrict our discussion to normed linear spaces since the R-ball porosity was originally defined in such spaces.

We prove that density preserving homeomorphisms form a Π11-complete subset in the Polish space ℍ of all increasing autohomeomorphisms of unit interval.

We consider the following notion of largeness for subgroups of $S_{\infty }$. A group G is large if it contains a free subgroup on generators. We give a necessary condition for a countable structure A to have a large group Aut(A) of automorphisms. It turns out that any countable free subgroup of $S_{\infty }$ can be extended to a large free subgroup of $S_{\infty }$, and, under Martin’s Axiom, any free subgroup of $S_{\infty }$ of cardinality less than can also be extended to a large free subgroup of $S_{\infty }$. Finally, if Gₙ are countable groups, then...

Jachymski showed that the set $$\left\{(x,y)\in {𝐜}_0\times {𝐜}_0:{\left(\sum _{i=1}^n\alpha \left(i\right)x\left(i\right)y\left(i\right)\right)}_{n=1}^{\infty }\text{is}\text{bounded}\right\}$$ is either a meager subset of ${𝐜}_0\times {𝐜}_0$ or is equal to ${𝐜}_0\times {𝐜}_0$. In the paper we generalize this result by considering more general spaces than ${𝐜}_0$, namely ${𝐂}_0\left(X\right)$, the space of all continuous functions which vanish at infinity, and ${𝐂}_b\left(X\right)$, the space of all continuous bounded functions. Moreover, we replace the meagerness by $\sigma$-porosity.

Assume that L p,q, $L^{p_1,q_1},...,L^{p_n,q_n}$ are Lorentz spaces. This article studies the question: what is the size of the set $E=\{(f_1,...,f_n)\in L^{p_{1,}{q}_1}\times \cdots \times L^{p_n,q_n}:f_1\cdots f_n\in L^{p,q}\}$. We prove the following dichotomy: either $E=L^{p_1,q_1}\times \cdots \times L^{p_n,q_n}$ or E is σ-porous in $L^{p_1,q_1}\times \cdots \times L^{p_n,q_n}$, provided 1/p ≠ 1/p 1 + … + 1/p n. In general case we obtain that either $E=L^{p_1,q_1}\times \cdots \times L^{p_n,q_n}$ or E is meager. This is a generalization of the results for classical L p spaces.