On the product of relatively weakly almost Lindelöf subsets

The purpose of this note is to show that there exist two Tychonoff spaces X, Y, a subset A of X and a subset B of Y such that A is weakly almost Lindelöf in X and B is weakly almost Lindelöf in Y, but A × B is not weakly almost Lindelöf in X × Y.     

Remarks on discretely absolutely star-Lindelöf spaces

In this paper, we prove the following statements(1) There exists a Hausdorff Lindelöf space X such that the Alexandroff duplicate A(X) of X is not discretely absolutely star-Lindelöf.(2) If X is a regular Lindelöf space, then A(X) is discretely absolutely star-Lindelöf.(3) If X is a normal discretely star-Lindelöf space with e(X) < ω ₁, then A(X) is discretely absolutely star-Lindelöf.     

A broader view of the almost Lindelöf property

By first finding necessary and sufficient conditions for the realcompact coreflection, νL, and the regular Lindelöf coreflection, λL, of a completely regular frame L to be isomorphic, we define a frame L to be almost Lindelöf if it is Lindelöf or λL → L is a one-point extension. This agrees with the condition “νL is Lindelöf and L is realcompact or νL is a one-point extension”, which would be a frame version of what are called almost Lindelöf spaces. Thus, the condition “νX is Lindelöf”, which is added in the definition of almost Lindelöf spaces, serves only to compensate for the lack of the regular Lindelöf reflection in Top, and can be dispensed with by concentrating on the frame \({\mathfrak {O}X}\) instead of the space X.     

On the extent of star countable spaces

For a topological property P, we say that a space X is star Pif for every open cover Uof the space X there exists Y ? X such that St(Y,U) = X and Y has P. We consider star countable and star Lindelöf spaces establishing, among other things, that there exists first countable pseudocompact spaces which are not star Lindelöf. We also describe some classes of spaces in which star countability is equivalent to countable extent and show that a star countable space with a dense σ-compact subspace can have arbitrary extent. It is proved that for any ω ₁-monolithic compact space X, if C _p (X)is star countable then it is Lindelöf.     

The uniformly normal spaces

A topological space X is uniformly normal if the family U of all symmetric neighborhoods of the diagonal Δ ? X × X forms a uniformity on X. A neighborhood of the diagonal is any subset whose interior contains the diagonal. It is proved that the Σ-product of Lindelöf p-spaces of countable tightness is uniformly normal.     

Monotone weak Lindelöfness

The definition of monotone weak Lindelöfness is similar to monotone versions of other covering properties: X is monotonically weakly Lindelöf if there is an operator r that assigns to every open cover U a family of open sets r(U) so that (1) ∪r(U) is dense in X, (2) r(U) refines U, and (3) r(U) refines r(V) whenever U refines V. Some examples and counterexamples of monotonically weakly Lindelöf spaces are given and some basic properties such as the behavior with respect to products and subspaces are discussed.     

Cyclic cohomology of certain nuclear Fréchet algebras and DF algebras

We give explicit formulae for the continuous Hochschild and cyclic homology and cohomology of certain \(\hat \otimes\)-algebras. We use well-developed homological techniques together with some niceties of the theory of locally convex spaces to generalize the results known in the case of Banach algebras and their inverse limits to wider classes of topological algebras. To this end we show that, for a continuous morphism ?: x → y of complexes of complete nuclear DF-spaces, the isomorphism of cohomology groups H ⁿ(?): H ⁿ (x) → H ⁿ (y) is automatically topological. The continuous cyclic-type homology and cohomology are described up to topological isomorphism for the following classes of biprojective \(\hat \otimes\)-algebras: the tensor algebra E \(\hat \otimes\) F generated by the duality (E,F,<·,·>) for nuclear Fréchet spaces E and F or for nuclear DF-spaces E and F; nuclear biprojective Köthe algebras λ(P) which are Fréchet spaces or DF-spaces; the algebra of distributions ε^*(G) on a compact Lie group G.     

Some Notes on <Emphasis Type="Italic">C</Emphasis>- and <Emphasis Type="Italic">C</Emphasis>*-quotients of Frames

We characterise C*-quotients and C-quotients of completely regular frames in terms of ?ech-Stone compactifications and Lindelöfications, respectively. The latter is a frame-theoretic result with no spatial counterpart. We also characterise C*-quotients and dense C-quotients of completely regular frames in terms of normal covers.     

A note on transitively <Emphasis Type="Italic">D</Emphasis>-spaces

In this note, we show that if for any transitive neighborhood assignment φ for X there is a point-countable refinement ? such that for any non-closed subset A of X there is some V ∈ ? such that |V ∩ A| ? ω, then X is transitively D. As a corollary, if X is a sequential space and has a point-countable wcs*-network then X is transitively D, and hence if X is a Hausdorff k-space and has a point-countable k-network, then X is transitively D. We prove that if X is a countably compact sequential space and has a pointcountable wcs*-network, then X is compact. We point out that every discretely Lindelöf space is transitively D. Let (X, τ) be a space and let (X, ?) be a butterfly space over (X, τ). If (X, τ) is Fréchet and has a point-countable wcs*-network (or is a hereditarily meta-Lindelöf space), then (X, ?) is a transitively D-space.     

X-quasinormal subgroups

Considering two subgroups A and B of a group G and ? ≠ X ? G, we say that A is X-permutable with B if AB ^x = B ^x A for some element x ∈ X. We use this concept to give new characterizations of the classes of solvable, supersolvable, and nilpotent finite groups.     

Translation Invariant Asymptotic Homomorphisms and Extensions of <Emphasis Type="Italic">C</Emphasis>*-Algebras

Let A and B be C*-algebras, let A be separable, and let B be σ-unital and stable. We introduce the notion of translation invariance for asymptotic homomorphisms from S A = C₀(?) ? A to B and show that the Connes—Higson construction applied to any extension of A by B is homotopic to a translation invariant asymptotic homomorphism. In the other direction we give a construction which produces extensions of A by B from a translation invariant asymptotic homomorphism. This leads to our main result that the homotopy classes of extensions coincide with the homotopy classes of translation invariant asymptotic homomorphisms.     

A predual of a predual of <Emphasis Type="Italic">B</Emphasis><Subscript><Emphasis Type="Italic">σ</Emphasis></Subscript> and its applications to commutators

A predual of B_σ-spaces is investigated. A predual of a predual of B_σ-spaces is also investigated, which can be used to investigate the boundedness property of the commutators. The relation between Herz spaces and local Morrey spaces is discussed. As an application of the duality results, one obtains the boundedness of the singular integral operators, the Hardy-Littlewood maximal operators and the fractional integral operators, as well as the commutators generated by the bounded mean oscillation (BMO) and the singular integral operators. What is new in this paper is that we do not have to depend on the specific structure of the operators. The results on the boundedness of operators are formulated in terms of ?_σ-spaces and B_σ-spaces together with the detailed comparison of the ones in Herz spaces and local Morrey spaces. Another application is the nonsmooth atomic decomposition adapted to B_σ-spaces.     

On nonregular ideals and <Emphasis Type="Italic">z</Emphasis>°-ideals in <Emphasis Type="Italic">C</Emphasis>(<Emphasis Type="Italic">X</Emphasis>)

The spaces X in which every prime z°-ideal of C(X) is either minimal or maximal are characterized. By this characterization, it turns out that for a large class of topological spaces X, such as metric spaces, basically disconnected spaces and one-point compactifications of discrete spaces, every prime z°-ideal in C(X) is either minimal or maximal. We will also answer the following questions: When is every nonregular prime ideal in C(X) a z°-ideal? When is every nonregular (prime) z-ideal in C(X) a z°-ideal? For instance, we show that every nonregular prime ideal of C(X) is a z°-ideal if and only if X is a ?-space (a space in which the boundary of any zeroset is contained in a zeroset with empty interior).     

The number of weakly compact sets which generate a Banach space

We consider the cardinal invariant CG(X) of the minimal number of weakly compact subsets which generate a Banach space X. We study the behavior of this index when passing to subspaces, its relation with the Lindelöf number in the weak topology and other related questions.     

Extending Lipschitz maps into <Emphasis Type="Italic">C</Emphasis>(<Emphasis Type="Italic">K</Emphasis>)-spaces

We show that if K is a compact metric space then C(K) is a 2-absolute Lipschitz retract. We then study the best Lipschitz extension constants for maps into C(K) from a given metric space M, extending recent results of Lancien and Randrianantoanina. They showed that a finite-dimensional normed space which is polyhedral has the isometric extension property for C(K)-spaces; here we show that the same result holds for spaces with Gateaux smooth norm or of dimension two; a three-dimensional counterexample is also given. We also show that X is polyhedral if and only if every subset E of X has the universal isometric extension property for C(K)-spaces. We also answer a question of Naor on the extension of Hölder continuous maps.     

Existence of indecomposable members in indecomposable spaces of operators

In this paper we prove that if S is a set of operators acting on a separable L _p -space X, 1 ≤ p < ∞ (or, more generally, on any separable Köthe function space) such that S is indecomposable (that is, no non-trivial subspace of X of the form L _p (A), where A is measurable, is a common S-invariant subspace), then \(\overline {span} \) S admits an indecomposable operator. As applications, we obtain some new results about transitive algebas on separable Hilbert spaces, as well as an extension of the simultaneous Wielandt theorem to semigroups of operators acting on separable L _p -spaces.     

On stabilizability of evolution systems of partial differential equations on ℝ<Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>×[0,+∞) by time-delayed feedback controlsby time-delayed feedback controls

In this work we obtain sufficient conditions for stabilizability by time-delayed feedback controls for the system

$\frac{{\partial w\left( {x,t} \right)}}{{\partial t}} = A(D_x )w(x,t) - A(D_x )u(x,t), x \in \mathbb{R}^n , t > h, $

where D _x =(-i?/?x ₁,...-i?/?x _n ), A(σ) and B(σ) are polynomial matrices (m×m), det B(σ)≡0 on ? ⁿ , w is an unknown function, u(·,t)=P(D _x )w(·,t?h) is a control, h>0. Here P is an infinite differentiable matrix (m×m), and the norm of each of its derivatives does not exceed Γ(1+|σ|²)^γ for some Γ, γ∈? depending on the order of this derivative. Necessary conditions for stabilizability of this system are also obtained. In particular, we study the stabilizability problem for the systems corresponding to the telegraph equation, the wave equation, the heat equation, the Schrödinger equation and another model equation. To obtain these results we use the Fourier transform method, the Lojasiewicz inequality and the Tarski—Seidenberg theorem and its corollaries. To choose an appropriate P and stabilize this system, we also prove some estimates of the real parts of the zeros of the quasipolynomial det {Iλ-A(σ)+B(σ)P(σ)e ^-hλ.

     

On two questions of the theory of retracts

We establish that condition (Γ) on brick decomposition is indecomposable. This answers K. Borsuk’s question [1]. We prove that there exist metric spaces X and Y and a point (a, b) ∈ X × Y such that (a, b) is an r-point of the product X × Y; moreover, a is not an r-point of X. This answers A. Kosinski’s question [2].     

On isomorphisms of some Köthe function <Emphasis Type="Italic">F</Emphasis>-spaces

We prove that if Köthe F-spaces X and Y on finite atomless measure spaces (Ω _X ; Σ _X , µ _X ) and (Ω _Y ; Σ _Y ; µ _Y ), respectively, with absolute continuous norms are isomorphic and have the property

$\mathop {\lim }\limits_{\mu (A) \to 0} \left\| {\mu (A)^{ - 1} 1_A } \right\| = 0$

(for µ = µ _X and µ = µ _Y , respectively) then the measure spaces (Ω _X ; Σ _X ; µ _X ) and (Ω _Y ; Σ _Y ; µ _Y ) are isomorphic, up to some positive multiples. This theorem extends a result of A. Plichko and M. Popov concerning isomorphic classification of L _p (µ)-spaces for 0 < p < 1. We also provide a new class of F-spaces having no nonzero separable quotient space.

     

A Mayer–Vietoris Formula for Persistent Homology with an Application to Shape Recognition in the Presence of Occlusions

In algebraic topology it is well known that, using the Mayer–Vietoris sequence, the homology of a space X can be studied by splitting X into subspaces A and B and computing the homology of A, B, and A∩B. A natural question is: To what extent does persistent homology benefit from a similar property? In this paper we show that persistent homology has a Mayer–Vietoris sequence that is generally not exact but only of order 2. However, we obtain a Mayer–Vietoris formula involving the ranks of the persistent homology groups of X, A, B, and A∩B plus three extra terms. This implies that persistent homological features of A and B can be found either as persistent homological features of X or of A∩B. As an application of this result, we show that persistence diagrams are able to recognize an occluded shape by showing a common subset of points.