Duffus wrote in his 1978 Ph.D. thesis, “It is not obvious that $P$ is connected and $P^P\cong Q^Q$ imply that $Q$ is connected”, where $P$ and $Q$ are finite nonempty posets. We show that, indeed, under these hypotheses $Q$ is connected and $P\cong Q$.

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.

A connected topological space $Z$ is unicoherent provided that if $Z=A\cup B$ where $A$ and $B$ are closed connected subsets of $Z$, then $A\cap B$ is connected. Let $Z$ be a unicoherent space, we say that $z\in Z$ makes a hole in $Z$ if $Z-\left\{z\right\}$ is not unicoherent. In this work the elements that make a hole to the cone and the suspension of a metric space are characterized. We apply this to give the classification of the elements of hyperspaces of some continua that make them hole.

Given a compact manifold $N^n\subset {ℝ}^{\nu }$ and real numbers $s\ge 1$ and $1\le p\&lt;\infty$, we prove that the class $C^{\infty }({\overline{Q}}^m;N^n)$ of smooth maps on the cube with values into $N^n$ is strongly dense in the fractional Sobolev space $W^{s,p}(Q^m;N^n)$ when $N^n$ is $\lfloor sp\rfloor$ simply connected. For $sp$ integer, we prove weak sequential density of $C^{\infty }({\overline{Q}}^m;N^n)$ when $N^n$ is $sp-1$ simply connected. The proofs are based on the existence of a retraction of ${ℝ}^{\nu }$ onto $N^n$ except for a small subset of $N^n$ and on a pointwise estimate of fractional derivatives of composition of maps in $W^{s,p}\cap W^{1,sp}$.

Given a topological space $X$, let $𝒰X$ and ${\eta }_X:X\to 𝒰X$ denote, respectively, the Salbany compactification of $X$ and the compactification map called the Salbany map of $X$. For every continuous function $f:X\to Y$, there is a continuous function $𝒰f:𝒰X\to 𝒰Y$, called the Salbany lift of $f$, satisfying $\left(𝒰f\right)\circ {\eta }_X={\eta }_Y\circ f$. If a continuous function $f:X\to Y$ has a stably compact codomain $Y$, then there is a Salbany extension $F:𝒰X\to Y$ of $f$, not necessarily unique, such that $F\circ {\eta }_X=f$. In this paper, we give a condition on a space such that its Salbany map is open. In...

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.

In this note we shall prove that for a continuous function $\varphi :\Delta \to {ℝ}^n$, where $\Delta \subset ℝ$,  the paratingent of $\varphi$ at $a\in \Delta$ is a non-empty and compact set in ${ℝ}^n$ if and only if $\varphi$ satisfies Lipschitz condition in a neighbourhood of $a$. Moreover, in this case the paratingent is a connected set.

For $n=2m\ge 4$, let $\Omega \in {ℝ}^n$ be a bounded smooth domain and $𝒩\subset {ℝ}^L$ a compact smooth Riemannian manifold without boundary. Suppose that $\left\{u_k\right\}\in W^{m,2}(\Omega ,𝒩)$ is a sequence of weak solutions in the critical dimension to the perturbed $m$-polyharmonic maps $$\frac{\mathrm{d}}{\mathrm{d}t}{|}_{t=0}{E}_m\left(\Pi (u+t\xi )\right)=0$$ with ${\Phi }_k\to 0$ in ${\left(W^{m,2}(\Omega ,𝒩)\right)}^{*}$ and $u_k\rightharpoonup u$ weakly in $W^{m,2}(\Omega ,𝒩)$. Then $u$ is an $m$-polyharmonic map. In particular, the space of $m$-polyharmonic maps is sequentially compact for the weak-$W^{m,2}$ topology.

Let $X$ be a continuum and $n$ a positive integer. Let $C_n\left(X\right)$ be the hyperspace of all nonempty closed subsets of $X$ with at most $n$ components, endowed with the Hausdorff metric. For $K$ compact subset of $X$, define the hyperspace ${C_n}_K\left(X\right)=\{A\in C_n\left(X\right):K\subset A\}$. In this paper, we consider the hyperspace $C_K^n\left(X\right)=C_n\left(X\right)/{C_n}_K\left(X\right)$, which can be a tool to study the space $C_n\left(X\right)$. We study this hyperspace in the class of finite graphs and in general, we prove some properties such as: aposyndesis, local connectedness, arcwise disconnectedness, and contractibility. ...

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 consider $C^2$ families $t\mapsto f_t$ of $C^4$ unimodal maps $f_t$ whose critical point is slowly recurrent, and we show that the unique absolutely continuous invariant measure ${\mu }_t$ of $f_t$ depends differentiably on $t$, as a distribution of order $1$. The proof uses transfer operators on towers whose level boundaries are mollified via smooth cutoff functions, in order to avoid artificial discontinuities. We give a new representation of ${\mu }_t$ for a Benedicks-Carleson map $f_t$, in terms of a single smooth function and the...

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

Let $G$ be a unitary group defined over a non-Archimedean local field of odd residue characteristic and let $H$ be the centralizer of a semisimple rational Lie algebra element of $G.$ We prove that the Bruhat-Tits building ${𝔅}^1\left(H\right)$ of $H$ can be affinely and $G$-equivariantly embedded in the Bruhat-Tits building ${𝔅}^1\left(G\right)$ of $G$ so that the Moy-Prasad filtrations are preserved. The latter property forces uniqueness in the following way. Let $j$ and $j^{\prime }$ be maps from ${𝔅}^1\left(H\right)$ to ${𝔅}^1\left(G\right)$ which preserve the Moy–Prasad filtrations....

Let H and K be complex complete indefinite inner product spaces, and ℬ(H,K) (ℬ(H) if K = H) the set of all bounded linear operators from H into K. For every T ∈ ℬ(H,K), denote by $T^{†}$ the indefinite conjugate of T. Suppose that Φ: ℬ(H) → ℬ(K) is a bijective linear map. We prove that Φ satisfies $\Phi \left(A\right)\Phi \left(B\right)=\Phi \left(B\right)\Phi {\left(A\right)}^{†}$ for all A, B ∈ ℬ(H) with $AB=B{A}^{†}$ if and only if there exist a nonzero real number c and a generalized indefinite unitary operator U ∈ ℬ(H,K) such that $\Phi \left(A\right)=cUA{U}^{†}$ for all A ∈ ℬ(H).