Compact covers and function spaces

For a Tychonoff space X  , we denote by _Cp(X)$C_p(X)$ and _Cc(X)$C_c(X)$ the space of continuous real-valued functions on X equipped with the topology of pointwise convergence and the compact-open topology respectively. Providing a characterization of the Lindelöf Σ-property of X   in terms of _Cp(X)$C_p(X)$, we extend Okunev?s results by showing that if there exists a surjection from _Cp(X)$C_p(X)$ onto _Cp(Y)$C_p(Y)$ (resp. from _Lp(X)$L_p(X)$ onto _Lp(Y)$L_p(Y)$) that takes bounded sequences to bounded sequences, then υY is a Lindelöf Σ-space (respectively K-analytic) if υX has this property. In the second part, applying Christensen?s theorem, we extend Pelant?s result by proving that if X is a separable completely metrizable space and Y   is first countable, and there is a quotient linear map from _Cc(X)$C_c(X)$ onto _Cc(Y)$C_c(Y)$, then Y   is a separable completely metrizable space. We study also a non-separable case, and consider a different approach to the result of J. Baars, J. de Groot, J. Pelant and V. Valov, which is based on the combination of two facts: Complete metrizability is preserved by _?p${?}_p$-equivalence in the class of metric spaces (J. Baars, J. de Groot, J. Pelant). If X   is completely metrizable and _?p${?}_p$-equivalent to a first-countable Y, then Y is metrizable (V. Valov). Some additional results are presented.     

On convergence rates in approximation theory for operator semigroups

We create a new, functional calculus, approach to approximation formulas for _C0$C_0$-semigroups on Banach spaces restricted to the domains of fractional powers of their generators. This approach allows us to equip the approximation formulas with rates which appear to be optimal in a natural sense. In the case of analytic semigroups, we improve our general results obtaining better convergence rates which are optimal in that case too. The setting of analytic semigroups includes also the case of convergence on the whole space. As an illustration of our approach, we deduce optimal convergence rates in classical approximation formulas for _C0$C_0$-semigroups restricted to the domains of fractional powers of their generators.     

The real-rootedness and log-concavities of coordinator polynomials of Weyl group lattices

It is well-known that the coordinator polynomials of the classical root lattice of type _An$A_n$ and those of type _Cn$C_n$ are real-rooted. They can be obtained, either by the Aissen–Schoenberg–Whitney theorem, or from their recurrence relations. In this paper, we develop a trigonometric substitution approach which can be used to establish the real-rootedness of coordinator polynomials of type _Dn$D_n$. We also find the coordinator polynomials of type _Bn$B_n$ are not real-rooted in general. As a conclusion, we obtain that all coordinator polynomials of Weyl group lattices are log-concave.     

Uniform hypergraphs containing no grids

A hypergraph is called an r×r$r\times r$grid   if it is isomorphic to a pattern of r$r$ horizontal and r$r$ vertical lines, i.e., a family of sets {_A1,…,_Ar,_B1,…,_Br}$\{A_1,\dots ,A_r,B_1,\dots ,B_r\}$ such that _Ai∩_Aj=_Bi∩_Bj=0?$A_i\cap A_j=B_i\cap B_j=0?$ for 1≤i<j≤r$1\le i<j\le r$ and |_Ai∩_Bj|=1$|A_i\cap B_j|=1$ for 1≤i,j≤r$1\le i,j\le r$. Three sets _C1,_C2,_C3$C_1,C_2,C_3$ form a triangle   if they pairwise intersect in three distinct singletons, |_C1∩_C2|=|_C2∩_C3|=|_C3∩_C1|=1$|C_1\cap C_2|=|C_2\cap C_3|=|C_3\cap C_1|=1$, _C1∩_C2≠_C1∩_C3$C_1\cap C_2\ne C_1\cap C_3$. A hypergraph is linear  , if |E∩F|≤1$|E\cap F|\le 1$ holds for every pair of edges E≠F$E\ne F$.     

Unbounded asymmetry of stretch factors

A result of Handel–Mosher guarantees that the ratio of logarithms of stretch factors of any fully irreducible automorphism of the free group F_N$F_N$ and its inverse is bounded by a constant C_N$C_N$. In this short note, we show that this constant C_N$C_N$ cannot be chosen independent of the rank N.     

Representation theorems for Banach algebras

For a space X   denote by _Cb(X)$C_b(X)$ the Banach algebra of all continuous bounded scalar-valued functions on X   and denote by _C0(X)$C_0(X)$ the set of all elements in _Cb(X)$C_b(X)$ which vanish at infinity.     

The homotopy type of the polyhedral product for shifted complexes

We prove a conjecture of Bahri, Bendersky, Cohen and Gitler: if K$K$ is a shifted simplicial complex on n$n$ vertices, _X1,…,_Xn$X_1,\dots ,X_n$ are pointed connected CW$CW$-complexes and C_Xi$C{X}_i$ is the cone on  _Xi$X_i$, then the polyhedral product determined by K$K$ and the pairs (C_Xi,_Xi)$(C{X}_i,X_i)$ is homotopy equivalent to a wedge of suspensions of smashes of the _Xi$X_i$’s. Earlier work of the authors dealt with the special case where each _Xi$X_i$ is a loop space. New techniques are introduced to prove the general case. These have the advantage of simplifying the earlier results and of being sufficiently general to show that the conjecture holds for a substantially larger class of simplicial complexes. We discuss connections between polyhedral products and toric topology, combinatorics, and classical homotopy theory.     

Hypergroups and invariant complemented subspaces

Let K   be a hypergroup with a Haar measure. The purpose of the present paper is to initiate a systematic approach to the study of the class of invariant complemented subspaces of _L∞(K)$L_{\infty }(K)$ and _C0(K)$C_0(K)$, the class of left translation invariant w^?$w^{?}$-subalgebras of _L∞(K)$L_{\infty }(K)$ and finally the class of non-zero left translation invariant C^?$C^{?}$-subalgebras of _C0(K)$C_0(K)$ in the hypergroup context with the goal of finding some relations between these function spaces. Among other results, we construct two correspondences: one, between closed Weil subhypergroups and certain left translation invariant w^?$w^{?}$-subalgebras of _L∞(K)$L_{\infty }(K)$, and another, between compact subhypergroups and a specific subclass of the class of left translation invariant C^?$C^{?}$-subalgebras of _C0(K)$C_0(K)$. By the help of these two characterizations, we extract some results about invariant complemented subspaces of _L∞(K)$L_{\infty }(K)$ and _C0(K)$C_0(K)$.     

A monotone version of the Sokolov property and monotone retractability in function spaces

We introduce the monotone Sokolov property and show that it is dual to monotone retractability in the sense that X   is monotonically retractable if and only if _Cp(X)$C_p(X)$ is monotonically Sokolov. Besides, a space X   is monotonically Sokolov if and only if _Cp(X)$C_p(X)$ is monotonically retractable. Monotone retractability and monotone Sokolov property are shown to be preserved by R$\mathbb{R}$-quotient images and _Fσ$F_{\sigma }$-subspaces. Furthermore, every monotonically retractable space is Sokolov so it is collectionwise normal and has countable extent. We also establish that if X   and _Cp(X)$C_p(X)$ are Lindelöf Σ-spaces then they are both monotonically retractable and have the monotone Sokolov property. An example is given of a space X   such that _Cp(X)$C_p(X)$ has the Lindelöf Σ-property but neither X   nor _Cp(X)$C_p(X)$ is monotonically retractable. We also establish that every Lindelöf Σ-space with a unique non-isolated point is monotonically retractable. On the other hand, each Lindelöf space with a unique non-isolated point is monotonically Sokolov.     

Structural instability of cookie-cutter sets

It is proved that the cookie-cutter set in R$\mathbb{R}$ is structurally instable in C¹$C^1$ topology, that means for the invariant set E$E$ of the IFS _{fi}i${\left\{f_i\right\}}_i$, we can always perturb _{fi}i${\left\{f_i\right\}}_i$ arbitrarily small in C¹$C^1$ topology to provide an IFS _{gi}i${\left\{g_i\right\}}_i$ with its invariant set F$F$, such that _dimHE=_dimHF${dim}_{H}E={dim}_{H}F$ and E,F$E,F$ are not Lipschitz equivalent.     

Weakly compact operators and strict topologies

Let X   be a completely regular Hausdorff space and _Cb(X)$C_b(X)$ be the Banach space of all real-valued bounded continuous functions on X, endowed with the uniform norm. It is shown that every weakly compact operator T   from _Cb(X)$C_b(X)$ to a quasicomplete locally convex Hausdorff space E   can be uniquely decomposed as T=_T1+_T2+_T3+_T4$T=T_1+T_2+T_3+T_4$, where _Tk:_Cb(X)→E$T_k:C_b(X)\to E$(k=1,2,3,4)$(k=1,2,3,4)$ are weakly compact operators, and _T1$T_1$ is tight, _T2$T_2$ is purely τ  -additive, _T3$T_3$ is purely σ  -additive and _T4$T_4$ is purely finitely additive. Moreover, we derive a generalized Yosida–Hewitt decomposition for E-valued strongly bounded regular Baire measures.     

Error estimation of a kind of rational spline

This paper deals with the approximation properties of a kind of rational spline with linear denominator when the function being interpolated is C³$C^3$ in an interpolating interval. Error estimate expressions of interpolating functions are derived, convergence is established, the optimal error coefficient, _ci$c_i$, is proved to be symmetric about the parameters of the rational interpolation and it is bounded. Finally, the precise jump measurements of the second derivatives of the interpolating function at the knots are given.