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

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.

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.

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

CONTENTSIntroduction.......................................................................................................51. Preliminaries.................................................................................................6  A. Mappings....................................................................................................6  B. Arc-like continua.........................................................................................8  C. Pseudosuspensions...................................................................................8  D....

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

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

It is shown that there exists a $\sigma$-compact topological group which cannot be represented as a continuous image of a Lindelöf $p$-group, see Example 2.8. This result is based on an inequality for the cardinality of continuous images of Lindelöf $p$-groups (Theorem 2.1). A closely related result is Corollary 4.4: if a space $Y$ is a continuous image of a Lindelöf $p$-group, then there exists a covering $\gamma$ of $Y$ by dyadic compacta such that $\left|\gamma \right|\le 2^{\omega }$. We also show that if a homogeneous compact space $Y$ is...

Let 1 < p < ∞, q = p/(p-1) and for $f\in L^p(0,\infty )$ define $F\left(x\right)=(1/x){ʃ}_0^{x}f\left(t\right)dt$, x > 0. Moser’s Inequality states that there is a constant $C_p$ such that $su{p}_{a\le 1}su{p}_{f\in B_p}{ʃ}_0^{\infty }exp[a{x}^q{\left|F\left(x\right)\right|}^q-x]dx=C_p$ where $B_p$ is the unit ball of $L^p$. Moreover, the value a = 1 is sharp. We observe that $F=K_1$ f where the integral operator $K_1$ has a simple kernel K. We consider the question of for what kernels K(t,x), 0 ≤ t, x < ∞, this result can be extended, and proceed to discuss this when K is non-negative and homogeneous of degree -1. A sufficient condition on K is found for...

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^j={\sum }_k{a}_{k}f(2^{j+1}x-2k)$, where the sum is taken over the lattice of all points k in ${ℝ}^n$ having integer-valued components, j∈ℕ and $a_k\in ℂ$. Let $A_{pq}^s$ be either $B_{pq}^s$ or $F_{pq}^s$ (s ∈ ℝ, 0 < p < ∞, 0 < q ≤ ∞) on ${ℝ}^n.$ The aim of the paper is to clarify under what conditions $\parallel f^j|A_{pq}^s\parallel$ is equivalent to $2^{j(s-n/p)}({\sum }_k|a_k{|}^p{)}^{1/p}\parallel f|A_{pq}^s\parallel$.

In a Tychonoff space $X$, the point $p\in X$ is called a $C^{*}$-point if every real-valued continuous function on $C\setminus \left\{p\right\}$ can be extended continuously to $p$. Every point in an extremally disconnected space is a $C^{*}$-point. A classic example is the space ${𝐖}^{*}={\omega }_1+1$ consisting of the countable ordinals together with ${\omega }_1$. The point ${\omega }_1$ is known to be a $C^{*}$-point as well as a $P$-point. We supply a characterization of $C^{*}$-points in totally ordered spaces. The remainder of our time is aimed at studying when a point in a product space...

We show that every operator from ${\ell }_s$ to ${\ell }_p\otimes ̂{\ell }_q$ is compact when 1 ≤ p,q < s and that every operator from ${\ell }_s$ to ${\ell }_p\widehat{\otimes ̂}{\ell }_q$ is compact when 1/p + 1/q > 1 + 1/s.