Applications of some results of infinite-dimensional topology to the topological classification of operator images

Taras Banakh; Tadeusz Dobrowolski; Anatoliĭ Plichko

Displaying similar documents to “Applications of some results of infinite-dimensional topology to the topological classification of operator images”

On the complexity of subspaces of $S_{ω}$

Carlos Uzcátegui (2003)

Fundamenta Mathematicae

Similarity:

Let (X,τ) be a countable topological space. We say that τ is an analytic (resp. Borel) topology if τ as a subset of the Cantor set $2^{X}$ (via characteristic functions) is an analytic (resp. Borel) set. For example, the topology of the Arkhangel’skiĭ-Franklin space $S_{ω}$ is $F_{σ δ}$ . In this paper we study the complexity, in the sense of the Borel hierarchy, of subspaces of $S_{ω}$ . We show that $S_{ω}$ has subspaces with topologies of arbitrarily high Borel rank and it also has subspaces with a non-Borel topology....

On topological groups with a small base and metrizability

Saak Gabriyelyan, Jerzy Kąkol, Arkady Leiderman (2015)

Fundamenta Mathematicae

Similarity:

A (Hausdorff) topological group is said to have a -base if it admits a base of neighbourhoods of the unit, $U_{α} : α \in ℕ^{ℕ}$ , such that $U_{α} \subset U_{β}$ whenever β ≤ α for all $α, β \in ℕ^{ℕ}$ . 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...

The Lindelöf property in Banach spaces

B. Cascales, I. Namioka, J. Orihuela (2003)

Studia Mathematica

Similarity:

A topological space (T,τ) is said to be fragmented by a metric d on T if each non-empty subset of T has non-empty relatively open subsets of arbitrarily small d-diameter. The basic theorem of the present paper is the following. Let (M,ϱ) be a metric space with ϱ bounded and let D be an arbitrary index set. Then for a compact subset K of the product space $M^{D}$ the following four conditions are equivalent: (i) K is fragmented by $d_{D}$ , where, for each S ⊂ D, $d_{S} (x, y) = s u p ϱ (x (t), y (t)) : t \in S$ . (ii) For each countable subset...

The Ascoli property for function spaces and the weak topology of Banach and Fréchet spaces

S. Gabriyelyan, J. Kąkol, G. Plebanek (2016)

Studia Mathematica

Similarity:

Following Banakh and Gabriyelyan (2016) we say that a Tychonoff space X is an Ascoli space if every compact subset of $C_{k} (X)$ is evenly continuous; this notion is closely related to the classical Ascoli theorem. Every $k_{ℝ}$ -space, hence any k-space, is Ascoli. Let X be a metrizable space. We prove that the space $C_{k} (X)$ is Ascoli iff $C_{k} (X)$ is a $k_{ℝ}$ -space iff X is locally compact. Moreover, $C_{k} (X)$ endowed with the weak topology is Ascoli iff X is countable and discrete. Using some basic concepts from probability...

Modifications of the double arrow space and related Banach spaces C(K)

Witold Marciszewski (2008)

Studia Mathematica

Similarity:

We consider the class of compact spaces $K_{A}$ which are modifications of the well known double arrow space. The space $K_{A}$ is obtained from a closed subset K of the unit interval [0,1] by “splitting” points from a subset A ⊂ K. The class of all such spaces coincides with the class of separable linearly ordered compact spaces. We prove some results on the topological classification of $K_{A}$ spaces and on the isomorphic classification of the Banach spaces $C (K_{A})$ .

Nonnormality of remainders of some topological groups

Aleksander V. Arhangel&#039;skii, J. van Mill (2016)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

It is known that every remainder of a topological group is Lindelöf or pseudocompact. Motivated by this result, we study in this paper when a topological group $G$ has a normal remainder. In a previous paper we showed that under mild conditions on $G$ , the Continuum Hypothesis implies that if the Čech-Stone remainder $G^{*}$ of $G$ is normal, then it is Lindelöf. Here we continue this line of investigation, mainly for the case of precompact groups. We show that no pseudocompact group, whose weight...

Banach spaces of bounded Szlenk index

E. Odell, Th. Schlumprecht, A. Zsák (2007)

Studia Mathematica

Similarity:

For a countable ordinal α we denote by $_{α}$ the class of separable, reflexive Banach spaces whose Szlenk index and the Szlenk index of their dual are bounded by α. We show that each $_{α}$ admits a separable, reflexive universal space. We also show that spaces in the class $_{ω^{α \cdot ω}}$ embed into spaces of the same class with a basis. As a consequence we deduce that each $_{α}$ is analytic in the Effros-Borel structure of subspaces of C[0,1].

Failure of the Factor Theorem for Borel pre-Hilbert spaces

Tadeusz Dobrowolski, Witold Marciszewski (2002)

Fundamenta Mathematicae

Similarity:

In every infinite-dimensional Fréchet space X, we construct a linear subspace E such that E is an $F_{σ δ σ}$ -subset of X and contains a retract R so that $R \times E^{ω}$ is not homeomorphic to $E^{ω}$ . This shows that Toruńczyk’s Factor Theorem fails in the Borel case.

A note on $R_{0}$ -topological spaces

K. K. Dube (1974)

Matematički Vesnik

Similarity:

Homeomorphism groups of Sierpiński carpets and Erdős space

Jan J. Dijkstra, Dave Visser (2010)

Fundamenta Mathematicae

Similarity:

Erdős space is the “rational” Hilbert space, that is, the set of vectors in ℓ² with all coordinates rational. Erdős proved that is one-dimensional and homeomorphic to its own square × , which makes it an important example in dimension theory. Dijkstra and van Mill found topological characterizations of . Let $M ₙ^{n + 1}$ , n ∈ ℕ, be the n-dimensional Menger continuum in $ℝ^{n + 1}$ , also known as the n-dimensional Sierpiński carpet, and let D be a countable dense subset of $M ₙ^{n + 1}$ . We consider the topological group...

Borel parts of the spectrum of an operator and of the operator algebra of a separable Hilbert space

Piotr Niemiec (2012)

Studia Mathematica

Similarity:

For a linear operator T in a Banach space let $σ_{p} (T)$ denote the point spectrum of T, let $σ_{p, n} (T)$ for finite n > 0 be the set of all $λ \in σ_{p} (T)$ such that dim ker(T - λ) = n and let $σ_{p, \infty} (T)$ be the set of all $λ \in σ_{p} (T)$ for which ker(T - λ) is infinite-dimensional. It is shown that $σ_{p} (T)$ is $ℱ_{σ}$ , $σ_{p, \infty} (T)$ is $ℱ_{σ δ}$ and for each finite n the set $σ_{p, n} (T)$ is the intersection of an $ℱ_{σ}$ set and a $_{δ}$ set provided T is closable and the domain of T is separable and weakly σ-compact. For closed densely defined operators in a separable Hilbert space a more...

On the Hausdorff Dimension of Topological Subspaces

Tomasz Szarek, Maciej Ślęczka (2006)

Bulletin of the Polish Academy of Sciences. Mathematics

Similarity:

It is shown that every Polish space X with $d i m_{T} X \geq d$ admits a compact subspace Y such that $d i m_{H} Y \geq d$ where $d i m_{T}$ and $d i m_{H}$ denote the topological and Hausdorff dimensions, respectively.

Hyperspaces of Finite Sets in Universal Spaces for Absolute Borel Classes

Kotaro Mine, Katsuro Sakai, Masato Yaguchi (2005)

Bulletin of the Polish Academy of Sciences. Mathematics

Similarity:

By Fin(X) (resp. $F i n^{k} (X)$ ), we denote the hyperspace of all non-empty finite subsets of X (resp. consisting of at most k points) with the Vietoris topology. Let ℓ₂(τ) be the Hilbert space with weight τ and $ℓ ₂^{f} (τ)$ the linear span of the canonical orthonormal basis of ℓ₂(τ). It is shown that if $E = ℓ ₂^{f} (τ)$ or E is an absorbing set in ℓ₂(τ) for one of the absolute Borel classes $_{α} (τ)$ and $_{α} (τ)$ of weight ≤ τ (α > 0) then Fin(E) and each $F i n^{k} (E)$ are homeomorphic to E. More generally, if X is a connected E-manifold then Fin(X)...

On universality of countable and weak products of sigma hereditarily disconnected spaces

Taras Banakh, Robert Cauty (2001)

Fundamenta Mathematicae

Similarity:

Suppose a metrizable separable space Y is sigma hereditarily disconnected, i.e., it is a countable union of hereditarily disconnected subspaces. We prove that the countable power $X^{ω}$ of any subspace X ⊂ Y is not universal for the class ₂ of absolute $G_{δ σ}$ -sets; moreover, if Y is an absolute $F_{σ δ}$ -set, then $X^{ω}$ contains no closed topological copy of the Nagata space = W(I,ℙ); if Y is an absolute $G_{δ}$ -set, then $X^{ω}$ contains no closed copy of the Smirnov space σ = W(I,0). On the other hand, the countable...

Remarks on flat and differential $K$ -theory

Man-Ho Ho (2014)

Annales mathématiques Blaise Pascal

Similarity:

In this note we prove some results in flat and differential $K$ -theory. The first one is a proof of the compatibility of the differential topological index and the flat topological index by a direct computation. The second one is the explicit isomorphisms between Bunke-Schick differential $K$ -theory and Freed-Lott differential $K$ -theory.

Borel classes of uniformizations of sets with large sections

Petr Holický (2010)

Fundamenta Mathematicae

Similarity:

We give several refinements of known theorems on Borel uniformizations of sets with “large sections”. In particular, we show that a set B ⊂ [0,1] × [0,1] which belongs to $Σ ⁰_{α}$ , α ≥ 2, and which has all “vertical” sections of positive Lebesgue measure, has a $Π ⁰_{α}$ uniformization which is the graph of a $Σ ⁰_{α}$ -measurable mapping. We get a similar result for sets with nonmeager sections. As a corollary we derive an improvement of Srivastava’s theorem on uniformizations for Borel sets with $G_{δ}$ sections. ...

Decomposing Borel functions using the Shore-Slaman join theorem

Takayuki Kihara (2015)

Fundamenta Mathematicae

Similarity:

Jayne and Rogers proved that every function from an analytic space into a separable metrizable space is decomposable into countably many continuous functions with closed domains if and only if the preimage of each $F_{σ}$ set under that function is again $F_{σ}$ . Many researchers conjectured that the Jayne-Rogers theorem can be generalized to all finite levels of Borel functions. In this paper, by using the Shore-Slaman join theorem on the Turing degrees, we show the following variant of the Jayne-Rogers...

Linear topological properties of the Lumer-Smirnov class of the polydisc

Marek Nawrocki (1992)

Studia Mathematica

Similarity:

Linear topological properties of the Lumer-Smirnov class $L N_{*} (^{n})$ of the unit polydisc $^{n}$ are studied. The topological dual and the Fréchet envelope are described. It is proved that $L N_{*} (^{n})$ has a weak basis but it is nonseparable in its original topology. Moreover, it is shown that the Orlicz-Pettis theorem fails for $L N_{*} (^{n})$ .

An irrational problem

Franklin D. Tall (2002)

Fundamenta Mathematicae

Similarity:

Given a topological space ⟨X,⟩ ∈ M, an elementary submodel of set theory, we define $X_{M}$ to be X ∩ M with topology generated by $U \cap M : U \in \cap M$ . Suppose $X_{M}$ is homeomorphic to the irrationals; must $X = X_{M}$ ? We have partial results. We also answer a question of Gruenhage by showing that if $X_{M}$ is homeomorphic to the “Long Cantor Set”, then $X = X_{M}$ .

James boundaries and σ-fragmented selectors

B. Cascales, M. Muñoz, J. Orihuela (2008)

Studia Mathematica

Similarity:

We study the boundary structure for w*-compact subsets of dual Banach spaces. To be more precise, for a Banach space X, 0 < ϵ < 1 and a subset T of the dual space X* such that ⋃ B(t,ϵ): t ∈ T contains a James boundary for $B_{X *}$ we study different kinds of conditions on T, besides T being countable, which ensure that $X * = {\bar{s p a n T}}^{| | \cdot | |}$ . (SP) We analyze two different non-separable cases where the equality (SP) holds: (a) if $J : X \to 2^{B_{X *}}$ is the duality mapping and there exists a σ-fragmented map f: X → X* such that...

Pisier's inequality revisited

Tuomas Hytönen, Assaf Naor (2013)

Studia Mathematica

Similarity:

Given a Banach space X, for n ∈ ℕ and p ∈ (1,∞) we investigate the smallest constant ∈ (0,∞) for which every n-tuple of functions f₁,...,fₙ: -1,1ⁿ → X satisfies $\int_{- 1, 1 ⁿ} | | \sum_{j = 1}^{n} \partial_{j} f_{j} {(ε) | |}^{p} d μ (ε) \leq^{p} \int_{- 1, 1 ⁿ} \int_{- 1, 1 ⁿ} | | \sum_{j = 1}^{n} δ_{j} Δ f_{j} (ε) {| |}^{p} d μ (ε) d μ (δ)$ , where μ is the uniform probability measure on the discrete hypercube -1,1ⁿ, and ${\partial_{j}}_{j = 1}^{n}$ and $Δ = \sum_{j = 1}^{n} \partial_{j}$ are the hypercube partial derivatives and the hypercube Laplacian, respectively. Denoting this constant by $ⁿ_{p} (X)$ , we show that $ⁿ_{p} (X) \leq \sum_{k = 1}^{n} 1 / k$ for every Banach space (X,||·||). This extends the classical Pisier inequality, which corresponds to the special...

On monotonic functions from the unit interval into a Banach space with uncountable sets of points of discontinuity

Artur Michalak (2003)

Studia Mathematica

Similarity:

We say that a function f from [0,1] to a Banach space X is increasing with respect to E ⊂ X* if x* ∘ f is increasing for every x* ∈ E. We show that if f: [0,1] → X is an increasing function with respect to a norming subset E of X* with uncountably many points of discontinuity and Q is a countable dense subset of [0,1], then (1) $\bar{l i n f ([0, 1])}$ contains an order isomorphic copy of D(0,1), (2) $\bar{l i n f (Q)}$ contains an isomorphic copy of C([0,1]), (3) $\bar{l i n f ([0, 1])} / \bar{l i n f (Q)}$ contains an isomorphic copy of c₀(Γ) for some uncountable...

On Some Properties of Separately Increasing Functions from [0,1]ⁿ into a Banach Space

Artur Michalak (2014)

Bulletin of the Polish Academy of Sciences. Mathematics

Similarity:

We say that a function f from [0,1] to a Banach space X is increasing with respect to E ⊂ X* if x* ∘ f is increasing for every x* ∈ E. A function $f : {[0, 1]}^{m} \to X$ is separately increasing if it is increasing in each variable separately. We show that if X is a Banach space that does not contain any isomorphic copy of c₀ or such that X* is separable, then for every separately increasing function $f : {[0, 1]}^{m} \to X$ with respect to any norming subset there exists a separately increasing function $g : {[0, 1]}^{m} \to ℝ$ such that the sets of...

Infinite-Dimensionality modulo Absolute Borel Classes

Vitalij Chatyrko, Yasunao Hattori (2008)

Bulletin of the Polish Academy of Sciences. Mathematics

Similarity:

For each ordinal 1 ≤ α < ω₁ we present separable metrizable spaces $X_{α}$ , $Y_{α}$ and $Z_{α}$ such that (i) $f X_{α}, f Y_{α}, f Z_{α} = ω ₀$ , where f is either trdef or ₀-trsur, (ii) $A (α) - t r i n d X_{α} = \infty$ and $M (α) - t r i n d X_{α} = - 1$ , (iii) $A (α) - t r i n d Y_{α} = - 1$ and $M (α) - t r i n d Y_{α} = \infty$ , and (iv) $A (α) - t r i n d Z_{α} = M (α) - t r i n d Z_{α} = \infty$ and $A (α + 1) \cap M (α + 1) - t r i n d Z_{α} = - 1$ . We also show that there exists no separable metrizable space $W_{α}$ with $A (α) - t r i n d W_{α} \neq \infty$ , $M (α) - t r i n d W_{α} \neq \infty$ and $A (α) \cap M (α) - t r i n d W_{α} = \infty$ , where A(α) (resp. M(α)) is the absolutely additive (resp. multiplicative) Borel class.

Effective decomposition of σ-continuous Borel functions

Gabriel Debs (2014)

Fundamenta Mathematicae

Similarity:

We prove that if a Δ¹₁ function f with Σ¹₁ domain X is σ-continuous then one can find a Δ¹₁ covering ${(A ₙ)}_{n \in ω}$ of X such that $f_{| A ₙ}$ is continuous for all n. This is an effective version of a recent result by Pawlikowski and Sabok, generalizing an earlier result of Solecki.

A solution to Comfort's question on the countable compactness of powers of a topological group

Artur Hideyuki Tomita (2005)

Fundamenta Mathematicae

Similarity:

In 1990, Comfort asked Question 477 in the survey book “Open Problems in Topology”: Is there, for every (not necessarily infinite) cardinal number $α \leq 2^{}$ , a topological group G such that $G^{γ}$ is countably compact for all cardinals γ < α, but $G^{α}$ is not countably compact? Hart and van Mill showed in 1991 that α = 2 answers this question affirmatively under $M A_{c o u n t a b l e}$ . Recently, Tomita showed that every finite cardinal answers Comfort’s question in the affirmative, also from $M A_{c o u n t a b l e}$ . However, the question has...

Topological properties of some spaces of continuous operators

Marian Nowak (2016)

Discussiones Mathematicae, Differential Inclusions, Control and Optimization

Similarity:

Let X be a completely regular Hausdorff space, E and F be Banach spaces. Let $C_{b} (X, E)$ be the space of all E-valued bounded continuous functions on X, equipped with the strict topology β. We study topological properties of the space $L_{β} (C_{b} (X, E), F)$ of all $(β, | | \cdot | |_{F})$ -continuous linear operators from $C_{b} (X, E)$ to F, equipped with the topology $τ_{s}$ of simple convergence. If X is a locally compact paracompact space (resp. a P-space), we characterize $τ_{s}$ -compact subsets of $L_{β} (C_{b} (X, E), F)$ in terms of properties of the corresponding sets of the representing...

Algebraic and topological properties of some sets in ℓ₁

Taras Banakh, Artur Bartoszewicz, Szymon Głąb, Emilia Szymonik (2012)

Colloquium Mathematicae

Similarity:

For a sequence x ∈ ℓ₁∖c₀₀, one can consider the set E(x) of all subsums of the series $\sum_{n = 1}^{\infty} x (n)$ . Guthrie and Nymann proved that E(x) is one of the following types of sets: () a finite union of closed intervals; () homeomorphic to the Cantor set; homeomorphic to the set T of subsums of $\sum_{n = 1}^{\infty} b (n)$ where b(2n-1) = 3/4ⁿ and b(2n) = 2/4ⁿ. Denote by ℐ, and the sets of all sequences x ∈ ℓ₁∖c₀₀ such that E(x) has the property (ℐ), () and ( ), respectively. We show that ℐ and are strongly -algebrable and is -lineable....

Reflexivity and approximate fixed points

Eva Matoušková, Simeon Reich (2003)

Studia Mathematica

Similarity:

A Banach space X is reflexive if and only if every bounded sequence xₙ in X contains a norm attaining subsequence. This means that it contains a subsequence $x_{n_{k}}$ for which $s u p_{f \in S_{X *}} l i m s u p_{k \to \infty} f (x_{n_{k}})$ is attained at some f in the dual unit sphere $S_{X *}$ . A Banach space X is not reflexive if and only if it contains a normalized sequence xₙ with the property that for every $f \in S_{X *}$ , there exists $g \in S_{X *}$ such that $l i m s u p_{n \to \infty} f (x ₙ) < l i m i n f_{n \to \infty} g (x ₙ)$ . Combining this with a result of Shafrir, we conclude that every infinite-dimensional Banach space contains an unbounded...