For each natural number n ≥ 1 and each pair of ordinals α,β with n ≤ α ≤ β ≤ ω(⁺), where ω(⁺) is the first ordinal of cardinality ⁺, we construct a continuum $S_{n,\alpha ,\beta }$ such that (a) $dim{S}_{n,\alpha ,\beta }=n$; (b) $trDg{S}_{n,\alpha ,\beta }=trDgo{S}_{n,\alpha ,\beta }=\alpha$; (c) $trind{S}_{n,\alpha ,\beta }=trInd₀S_{n,\alpha ,\beta }=\beta$; (d) if β < ω(⁺), then $S_{n,\alpha ,\beta }$ is separable and first countable; (e) if n = 1, then $S_{n,\alpha ,\beta }$ can be made chainable or hereditarily decomposable; (f) if α = β < ω(⁺), then $S_{n,\alpha ,\beta }$ can be made hereditarily indecomposable; (g) if n = 1 and α = β < ω(⁺), then $S_{n,\alpha ,\beta }$ can be made chainable and hereditarily indecomposable. In...

A metric continuum $X$ is said to be continuously homogeneous provided that for every two points $p,q\in X$ there exists a continuous surjective function $f:X\to X$ such that $f\left(p\right)=q$. Answering a question by W.J. Charatonik and Z. Garncarek, in this paper we show a continuum $X$ such that the hyperspace of subcontinua of $X$, $C\left(X\right)$, is not continuously homogeneous.

For metrizable continua, there exists the well-known notion of a Whitney map. If $X$ is a nonempty, compact, and metric space, then any Whitney map for any closed subset of $2^X$ can be extended to a Whitney map for $2^X$ [3, 16.10 Theorem]. The main purpose of this paper is to prove some generalizations of this theorem.

We show that if n is a positive integer and $2^{\aleph ₀}\le \aleph ₙ$, then for every positive integer m and for every real constant c > 0 there are functions $f₁,...,f_{n+m}:ℝⁿ\to ℝ$ such that $(f₁,...,f_{n+m})\left(ℝⁿ\right)={ℝ}^{n+m}$ and for every x ∈ ℝⁿ there exists a strictly increasing sequence (i₁,...,iₙ) of numbers from 1,...,n+m and a w ∈ ℤⁿ such that $(f_{i₁},...,f_{iₙ})\left(y\right)=y+w$ for $y\in x+(-c,c)\times {ℝ}^{n-1}$.

We discuss the discrete $p$-Laplacian eigenvalue problem, $$\left\{\begin{array}{c}\Delta \left({\phi }_p\left(\Delta u(k-1)\right)\right)+\lambda a\left(k\right)g\left(u\left(k\right)\right)=0,k\in \{1,2,...,T\},\hfill \\ u\left(0\right)=u(T+1)=0,\hfill \end{array}\right.$$ where $T>1$ is a given positive integer and ${\phi }_p\left(x\right):={\left|x\right|}^{p-2}x$, $p>1$. First, the existence of an unbounded continuum $𝒞$ of positive solutions emanating from $(\lambda ,u)=(0,0)$ is shown under suitable conditions on the nonlinearity. Then, under an additional condition, it is shown that the positive solution is unique for any $\lambda >0$ and all solutions are ordered. Thus the continuum $𝒞$ is a monotone continuous curve globally defined for all $\lambda >0$.

CONTENTSIntroduction................................................................................................................................................................................3I. General properties of k-to-one functions on locally compact spaces1. Multi-valued functions Ф and ψ......................................................................................................................................... 62. The proof of (I.11)..................................................................................................................................................................

Let $f_s$ and $f_t$ be tent maps on the unit interval. In this paper we give a new proof of the fact that if the critical points of $f_s$ and $f_t$ are periodic and the inverse limit spaces $(I,f_s)$ and $(I,f_t)$ are homeomorphic, then s = t. This theorem was first proved by Kailhofer. The new proof in this paper simplifies the proof of Kailhofer. Using the techniques of the paper we are also able to identify certain isotopies between homeomorphisms on the inverse limit space.

This paper is concerned with the isomorphic structure of the Banach space ${\ell }_{\infty }/c₀$ and how it depends on combinatorial tools whose existence is consistent with but not provable from the usual axioms of ZFC. Our main global result is that it is consistent that ${\ell }_{\infty }/c₀$ does not have an orthogonal ${\ell }_{\infty }$-decomposition, that is, it is not of the form ${\ell }_{\infty }\left(X\right)$ for any Banach space X. The main local result is that it is consistent that ${\ell }_{\infty }\left(c₀\left(\right)\right)$ does not embed isomorphically into ${\ell }_{\infty }/c₀$, where is the cardinality of the continuum,...

A space $X$ is said to have the Rothberger property (or simply $X$ is Rothberger) if for every sequence $\langle {𝒰}_n:n\in \omega \rangle$ of open covers of $X$, there exists $U_n\in {𝒰}_n$ for each $n\in \omega$ such that $X={\bigcup }_{n\in \omega }{U}_n$. For any $n\in \omega$, necessary and sufficient conditions are obtained for $C_p{(\Psi \left(𝒜\right),2)}^n$ to have the Rothberger property when $𝒜$ is a Mrówka mad family and, assuming CH (the Continuum Hypothesis), we prove the existence of a maximal almost disjoint family $𝒜$ for which the space $C_p{(\Psi \left(𝒜\right),2)}^n$ is Rothberger for all $n\in \omega$.

A new ⋄-like principle ${\diamond }_{}$ consistent with the negation of the Continuum Hypothesis is introduced and studied. It is shown that $\neg {\diamond }_{}$ is consistent with CH and that in many models of = ω₁ the principle ${\diamond }_{}$ holds. As ${\diamond }_{}$ implies that there is a MAD family of size ℵ₁ this provides a partial answer to a question of J. Roitman who asked whether = ω₁ implies = ω₁. It is proved that ${\diamond }_{}$ holds in any model obtained by adding a single Laver real, answering a question of J. Brendle who asked whether = ω₁...

Let $D$ be a ${𝒞}^d$ $q$-convex intersection, $d\ge 2$, $0\le q\le n-1$, in a complex manifold $X$ of complex dimension $n$, $n\ge 2$, and let $E$ be a holomorphic vector bundle of rank $N$ over $X$. In this paper, ${𝒞}^k$-estimates, $k=2,3,\cdots ,\infty$, for solutions to the $\overline{\partial }$-equation with small loss of smoothness are obtained for $E$-valued $(0,s)$-forms on $D$ when $n-q\le s\le n$. In addition, we solve the $\overline{\partial }$-equation with a support condition in ${𝒞}^k$-spaces. More precisely, we prove that for a $\overline{\partial }$-closed form $f$ in ${𝒞}_{0,q}^k(X\setminus D,E)$, $1\le q\le n-2$, $n\ge 3$, with compact support and for $\epsilon$ with $0<\epsilon <1$ there...

The first author has recently proved that if f: X → Y is a k-dimensional map between compacta and Y is p-dimensional (0 ≤ k, p < ∞), then for each 0 ≤ i ≤ p + k, the set of maps g in the space $C(X,I^{p+2k+1-i})$ such that the diagonal product $f\times g:X\to Y\times I^{p+2k+1-i}$ is an (i+1)-to-1 map is a dense $G_{\delta }$-subset of $C(X,I^{p+2k+1-i})$. In this paper, we prove that if f: X → Y is as above and $D_j$ (j = 1,..., k) are superdendrites, then the set of maps h in $C(X,{\prod }_{j=1}^k{D}_j\times I^{p+1-i})$ such that $f\times h:X\to Y\times \left({\prod }_{j=1}^k{D}_j\times I^{p+1-i}\right)$ is (i+1)-to-1 is a dense $G_{\delta }$-subset of $C(X,{\prod }_{j=1}^k{D}_j\times I^{p+1-i})$ for each 0 ≤ i ≤ p.

CONTENTSPREFACE..........................................................................................................................................................................3INTRODUCTION............................................................................................................................................................. 41. Notation. 2. Subject of the paper.Chapter I. DECOMPOSITION OF Σ INTO ${\Sigma }_1$, ${\Sigma }_2$, ${\Sigma }_3$, ${\Sigma }_4$ INESSENTIAL RESTRICTIONOF GENERALITY ...............................................................................................................................................................

In this paper we prove the following theorems in incidence geometry. 1. There is $\delta >0$ such that for any $P_1,\cdots ,P_4$, and $Q_1,\cdots ,Q_n\in {ℂ}^2$, if there are $\le n^{(1+\delta )/2}$ many distinct lines between $P_i$ and $Q_j$ for all $i$, $j$, then $P_1,\cdots ,P_4$ are collinear. If the number of the distinct lines is $<c{n}^{1/2}$ then the cross ratio of the four points is algebraic. 2. Given $c>0$, there is $\delta >0$ such that for any $P_1,P_2,P_3\in {ℂ}^2$ noncollinear, and $Q_1,\cdots ,Q_n\in {ℂ}^2$, if there are $\le c{n}^{1/2}$ many distinct lines between $P_i$ and $Q_j$ for all $i$, $j$, then for any $P\in {ℂ}^2\setminus \{P_1,P_2,P_3\}$, we have $\delta n$ distinct lines between $P$ and $Q_j$. 3. Given...