On countably {\mu}-paracompact spaces

A topological space X is countably paracompact if and only if X satisfies the condition (A): For any decreasing sequence {F_i} of non-empty closed sets with \({\bigcap_{i=1}^{\infty} F_{i} = \emptyset}\) there exists a sequence {G_i} of open sets such that \({\bigcap_{i=1}^{\infty}\overline{G_{i}}=\emptyset}\) and \({F_{i} \subset G_{i}}\) for every i. We will show, by an example, that this is not true in generalized topological spaces. In fact there is a \({\mu}\)-normal generalized topological space satisfying the analogue of A which is not even countably \({\mu}\)-metacompact. Then we study the relationships between countably \({\mu}\)-paracompactness, countably \({\mu}\)-metacompactness and the condition corresponding to condition A in generalized topological spaces.     

Disintegration of positive isometric group representations on $$\varvec{\mathrm {L}^{p}}$$-spaces

Let G be a Polish locally compact group acting on a Polish space \({{X}}\) with a G-invariant probability measure \(\mu \). We factorize the integral with respect to \(\mu \) in terms of the integrals with respect to the ergodic measures on X, and show that \(\mathrm {L}^{p}({{X}},\mu )\) (\(1\le p<\infty \)) is G-equivariantly isometrically lattice isomorphic to an \({\mathrm {L}^p}\)-direct integral of the spaces \(\mathrm {L}^{p}({{X}},\lambda )\), where \(\lambda \) ranges over the ergodic measures on X. This yields a disintegration of the canonical representation of G as isometric lattice automorphisms of \(\mathrm {L}^{p}({{X}},\mu )\) as an \({\mathrm {L}^p}\)-direct integral of order indecomposable representations. If \(({{X}}^\prime ,\mu ^\prime )\) is a probability space, and, for some \(1\le q<\infty \), G acts in a strongly continuous manner on \(\mathrm {L}^{q}({{X}}^\prime ,\mu ^\prime )\) as isometric lattice automorphisms that leave the constants fixed, then G acts on \(\mathrm {L}^{p}({{X}}^{\prime },\mu ^{\prime })\) in a similar fashion for all \(1\le p<\infty \). Moreover, there exists an alternative model in which these representations originate from a continuous action of G on a compact Hausdorff space. If \(({{X}}^\prime ,\mu ^\prime )\) is separable, the representation of G on \(\mathrm {L}^p(X^\prime ,\mu ^\prime )\) can then be disintegrated into order indecomposable representations. The notions of \({\mathrm {L}^p}\)-direct integrals of Banach spaces and representations that are developed extend those in the literature.     

On the connectivity of infinite graphs

Let \({\mu \geq \omega}\) be regular, assume the Generalized Continuum Hypothesis and the principle \({\square_\lambda}\) holds for every singular \({\lambda}\) with \({{\rm cf}(\lambda) \leq \mu}\). Let X be a graph with chromatic number greater than \({\mu^+}\). Then X contains a \({\mu}\)-connected subgraph Y of X whose chromatic number is greater than \({\mu^+}\).     

Rational approximation to surfaces defined by polynomials in one variable

For a Tychonoff space X, we denote by C _p (X) the space of all real-valued continuous functions on X with the topology of pointwise convergence.

In this paper we prove that:

• If every finite power of X is Lindelöf then C _p (X) is strongly sequentially separable iff X is \({\gamma}\)-set.
• \({B_{\alpha}(X)}\) (= functions of Baire class \({\alpha}\) (\({1 < \alpha \leq \omega_1}\)) on a Tychonoff space X with the pointwise topology) is sequentially separable iff there exists a Baire isomorphism class \({\alpha}\) from a space X onto a \({\sigma}\)-set.
• \({B_{\alpha}(X)}\) is strongly sequentially separable iff \({iw(X)=\aleph_0}\) and X is a \({Z^{\alpha}}\)-cover \({\gamma}\)-set for \({0 < \alpha \leq \omega_1}\).
• There is a consistent example of a set of reals X such that C _p (X) is strongly sequentially separable but B₁(X) is not strongly sequentially separable.
• B(X) is sequentially separable but is not strongly sequentially separable for a \({\mathfrak{b}}\)-Sierpiński set X.

     

Gravitational Field Equations on Fefferman Space–Times

The total space \({\mathfrak M} \approx {\mathbb H}_1 \times S^1\) of the canonical circle bundle over the 3-dimensional Heisenberg group \({\mathbb H}_1\) is a space–time with the Lorentzian metric \(F_{\theta _0}\) (Fefferman’s metric) associated to the canonical Tanaka–Webster flat contact form \(\theta _0\) on \({\mathbb H}_1\). The matter and energy content of \(\mathfrak M\) is described by the energy-momentum tensor \({T}_{\mu \nu }\) (the trace-less Ricci tensor of \(F_{\theta _0}\)) as an effect of the non flat nature of Feferman’s metric \(F_{\theta _0}\). We study the gravitational field equations \(R_{\mu \nu } - (1/2) \, R \, g_{\mu \nu } = {T}_{\mu \nu }\) on \({\mathfrak M}\). We consider the first order perturbation \(g = F_{\theta _0} + \epsilon \, h\), \(\epsilon<< 1\), and linearize the field equations about \(F_{\theta _0}\). We determine a Lorentzian metric g on \({\mathfrak M}\) which solves the linearized field equations corresponding to a diagonal perturbation h.     

Limit theorems for multidimensional renewal sets

Given a sequence \({\mathcal{U} =\{U_n: n \in \omega\}}\) of non-empty open subsets of a space X, a set \({\{x_n : n \in \omega\}}\) is a selection of \({\mathcal{U}}\) if \({x_n \in U_n}\) for every \({n \in \omega}\). We show that a space X is uncountable if and only if every sequence of non-empty open subsets of C _p (X) has a closed discrete selection. The same statement is not true for \({C_p(X,[0,1])}\) so we study when the above selection property (which we call discrete selectivity) holds in \({C_p(X,[0,1])}\). We prove, among other things, that \({C_p(X, [0,1])}\) is discretely selective if X is an uncountable Lindelöf \({\Sigma}\)-space. We also give a characterization, in terms of the topology of X, of discrete selectivity of \({C_p(X,[0,1])}\) if X is an \({\omega}\)-monolithic space of countable tightness.     

<Emphasis Type="Italic">k</Emphasis>-Extreme Points in Symmetric Spaces of Measurable Operators

Let \({\mathcal{M}}\) be a semifinite von Neumann algebra with a faithful, normal, semifinite trace \({\tau}\) and E be a strongly symmetric Banach function space on \({[0,\tau({\bf 1}))}\) . We show that an operator x in the unit sphere of \({E(\mathcal{M}, \tau)}\) is k-extreme, \({k \in {\mathbb{N}}}\) , whenever its singular value function \({\mu(x)}\) is k-extreme and one of the following conditions hold (i) \({\mu(\infty, x) = \lim_{t\to\infty}\mu(t, x) = 0}\) or (ii) \({n(x)\mathcal{M}n(x^*) = 0}\) and \({|x| \geq \mu(\infty, x)s(x)}\) , where n(x) and s(x) are null and support projections of x, respectively. The converse is true whenever \({\mathcal{M}}\) is non-atomic. The global k-rotundity property follows, that is if \({\mathcal{M}}\) is non-atomic then E is k-rotund if and only if \(E(\mathcal{M}, \tau)\) is k-rotund. As a consequence of the noncommutative results we obtain that f is a k-extreme point of the unit ball of the strongly symmetric function space E if and only if its decreasing rearrangement \({\mu(f)}\) is k-extreme and \({|f| \geq \mu(\infty,f)}\) . We conclude with the corollary on orbits Ω(g) and Ω′(g). We get that f is a k-extreme point of the orbit \({\Omega(g),\,g \in L_1 + L_{\infty}}\) , or \({\Omega'(g),\,g \in L_1[0, \alpha),\,\alpha < \infty}\) , if and only if \({\mu(f) = \mu(g)}\) and \({|f| \geq \mu(\infty, f)}\) . From this we obtain a characterization of k-extreme points in Marcinkiewicz spaces.     

Mean dimension of $${\mathbb{Z}^k}$$-actions

Mean dimension is a topological invariant for dynamical systems that is meaningful for systems with infinite dimension and infinite entropy. Given a \({\mathbb{Z}^k}\)-action on a compact metric space X, we study the following three problems closely related to mean dimension.

1. (1)
   When is X isomorphic to the inverse limit of finite entropy systems?
    
2. (2)
   Suppose the topological entropy \({h_{\rm top}(X)}\) is infinite. How much topological entropy can be detected if one considers X only up to a given level of accuracy? How fast does this amount of entropy grow as the level of resolution becomes finer and finer?
    
3. (3)
   When can we embed X into the \({\mathbb{Z}^k}\)-shift on the infinite dimensional cube \({([0,1]^D)^{\mathbb{Z}^k}}\)?
    

These were investigated for \({\mathbb{Z}}\)-actions in Lindenstrauss (Inst Hautes Études Sci Publ Math 89:227–262, 1999), but the generalization to \({\mathbb{Z}^k}\) remained an open problem. When X has the marker property, in particular when X has a completely aperiodic minimal factor, we completely solve (1) and a natural interpretation of (2), and give a reasonably satisfactory answer to (3).A key ingredient is a new method to continuously partition every orbit into good pieces.     

Complex homomorphisms on self-conjugate algebras of functions

Let X be a non-void set and A be a subalgebra of \({\mathbb{C}^{X}}\) . We call a \({\mathbb{C}}\) -linear functional \({\varphi}\) on A a 1-evaluation if \({\varphi(f) \in f(X) }\) for all \({f\in A}\) . From the classical Gleason–Kahane–?elazko theorem, it follows that if X in addition is a compact Hausdorff space then a mapping \({\varphi}\) of \({C_{\mathbb{C}}(X) }\) into \({\mathbb{C}}\) is a 1-evaluation if and only if \({\varphi}\) is a \({\mathbb{C}}\) -homomorphism. In this paper, we aim to investigate the extent to which this equivalence between 1-evaluations and \({\mathbb{C}}\) -homomorphisms can be generalized to a wider class of self-conjugate subalgebras of \({\mathbb{C}^{X}}\) . In this regards, we prove that a \({\mathbb{C}}\) -linear functional on a self-conjugate subalgebra A of \({\mathbb{C}^{X}}\) is a positive \({\mathbb{C}}\) -homomorphism if and only if \({\varphi}\) is a \({\overline{1}}\) -evaluation, that is, \({\varphi(f) \in\overline{f\left(X\right)}}\) for all \({f\in A}\) . As consequences of our general study, we prove that 1-evaluations and \({\mathbb{C}}\) -homomorphisms on \({C_{\mathbb{C}}\left( X\right)}\) coincide for any topological space X and we get a new characterization of realcompact topological spaces.     

Ordinal indices of Small Subspaces of <Emphasis Type="Italic">L</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis></Subscript>

We calculate the ordinal L _p index defined in [3] for Rosenthal’s space X _p , \({\ell_p}\) and \({\ell_2}\). We show that an infinite-dimensional subspace of L _p \({(2 < p < \infty)}\) non-isomorphic to \({\ell_2}\) embeds in \({\ell_p}\) if and only if its ordinal index is the minimal possible. We also give a sufficient condition for a \({\mathcal{L}_p}\) subspace of \({\ell_p \oplus \ell_2}\) to be isomorphic to X _p .     

On von Neumann regular elements in <Emphasis Type="Italic">f</Emphasis>-rings

Let B be an Archimedean reduced f-ring. A positive element \({\omega}\) in B is said to satisfy the property \({(\ast)}\) if for every f-ring A with identity e and every \({\ell}\)-group homomorphism \({\gamma : A \rightarrow B}\) with \({\gamma(e) = \omega}\), there exists a unique \({\ell}\)-ring homomorphism \({\rho: B \rightarrow B}\) such that \({\gamma = \omega \rho}\) and \({\rho(e)^{\perp \perp} = \omega^{\perp \perp}}\). Boulabiar and Hager proved that any (positive) von Neumann regular element in B satisfies the property \({(\ast)}\) and proved that the converse holds in the C(X)-case. In this regard, they asked about this converse in the general case. Our main purpose in this note is to prove, via a counter-example, that the converse in question fails in general. In addition, we shall take the opportunity to extend the direct result obtained by Boulabiar and Hager, and to get the C(X)-case we were talking about in an easier way.     

Positive Isometric Averaging Operators on {\ell^2(\mathbb{Z}, \mu)}

We show that positive isometric averaging operators on the sequence space \({\ell^2(\mathbb{Z}, \mu)}\) are determined by very subtle arithmetic conditions on \({\mu}\) (even for very simple examples), contrary to what happens in the continuous case \({L^2({\mathbb{R}}^+)}\), where any possible average value is realized by a suitable positive isometry.     

Unions of left-separated spaces

A space is left-separated if it has a well ordering for which initial segments are closed. We explore when the union of two left-separated spaces must be left-separated. We prove that if X and Y are left-separated and \({X \cup Y}\) is locally countable, then whenever \({{\rm ord}_\ell(Y ) \leq \omega_{1}, X \cup Y}\) is left-separated. In 1986, Fleissner [2] proved that if a space has a point-countable base, then it is left-separated if and only if it is \({\sigma}\)-weakly separated. We provide a new proof of this result using elementary submodels and add an additional characterization.     

Linear extensions of some Baire-one functions

Let X be a Hausdorff topological space, and let \({\mathscr {B}}_1(X)\) denote the space of all real Baire-one functions defined on X. Let A be a nonempty subset of X endowed with the topology induced from X, and let \({\mathscr {F}}(A)\) be the set of functions \(A\rightarrow {\mathbb R}\) with a property \({\mathscr {F}}\) making \({\mathscr {F}}(A)\) a linear subspace of \({\mathscr {B}}_1(A)\). We give a sufficient condition for the existence of a linear extension operator \(T_A:{\mathscr {F}}(A)\rightarrow {\mathscr {F}}(X)\), where \({\mathscr {F}}\) means to be piecewise continuous on a sequence of closed and \(G_\delta \) subsets of X and is denoted by \({\mathscr {P}_0}\). We show that \(T_A\) restricted to bounded elements of \({\mathscr {F}}(A)\) endowed with the supremum norm is an isometry. As a consequence of our main theorem, we formulate the conclusion about existence of a linear extension operator for the classes of Baire-one-star and piecewise continuous functions.     

Evolution of curvatures on a surface with boundary to prescribed functions

Let (M, g ₀) be a compact Riemann surface with boundary and with negative Euler characteristic. Let f(x) be a strictly negative smooth function on \({\bar{M}}\) and denote by \({\sigma(x)}\) the value of f in the interior and \({\zeta(x)}\) the value of f on the boundary. By studying the evolution of curvatures on M, we prove that there exist a constant \({\lambda_\infty}\) and a conformal metric \({g_\infty}\) such that \({\lambda_\infty\sigma(x)}\) and \({\lambda_\infty\zeta(x)}\) can be realized as the Gaussian curvature and boundary geodesic curvature of \({g_\infty}\) respectively.     

Properties of singular integral operators $$\varvec{S}_{\varvec{\alpha ,\beta }}$$

For \(\alpha , \beta \in L^{\infty } (S^1),\) the singular integral operator \(S_{\alpha ,\beta }\) on \(L^2 (S^1)\) is defined by \(S_{\alpha ,\beta }f:= \alpha Pf+\beta Qf\), where P denotes the orthogonal projection of \(L^2(S^1)\) onto the Hardy space \(H^2(S^1),\) and Q denotes the orthogonal projection onto \(H^2(S^1)^{\perp }\). In a recent paper, Nakazi and Yamamoto have studied the normality and self-adjointness of \(S_{\alpha ,\beta }\). This work has shown that \(S_{\alpha ,\beta }\) may have analogous properties to that of the Toeplitz operator. In this paper, we study several other properties of \(S_{\alpha ,\beta }\).     

Some Properties of Approximately Dual Frames in Hilbert Spaces

In this paper, a new characterization is obtained for approximately dual frames of a given frame. Among other things, it is proved that if the sequence \({\Psi=(\psi_n)_n}\) is sufficiently close to the frame \({\Phi=(\varphi_n)_n}\), then \({\Psi}\) is a frame for \({\mathcal{H}}\) and approximately dual frames \({\Phi^{ad}=(\varphi^{ad}_n)_n}\) and \({\Psi^{ad}=(\psi^{ad}_n)_n}\) can be found which are close to each other and \({T_\Phi U_{\Phi^{ad}}=T_\Psi U_{\Psi^{ad}}}\), where T_X and U_X denote the synthesis and analysis operators of the frame X, respectively. Finally, the results are applied to Gabor systems to obtain some practical examples.     

Arens regularity of projective tensor products

For completely contractive Banach algebras A and B (respectively operator algebras A and B), the necessary and sufficient conditions for the operator space projective tensor product \({A\widehat{\otimes}B}\) (respectively the Haagerup tensor product \({A\otimes^{h}B}\)) to be Arens regular are obtained. Using the non-commutative Grothendieck inequality, we show that, for C*-algebras A and B, \({A\otimes^{\gamma} B}\) is Arens regular if \({A\widehat{\otimes}B}\) and \({A\widehat{\otimes}B^{op}}\) are Arens regular whereas \({A\widehat{\otimes}B}\) is Arens regular if and only if \({A\otimes^{h}B}\) and \({B\otimes^{h}A}\) are, where \({\otimes^h}\), \({\otimes^{\gamma}}\), and \({\widehat{\otimes}}\) are the Haagerup, the Banach space projective tensor norm, and the operator space projective tensor norm, respectively.     

Reducing Subspaces of Multiplication Operators on the Dirichlet Space

In this paper, we study the reducing subspaces for the multiplication operator by a finite Blaschke product \({\phi}\) on the Dirichlet space D. We prove that any two distinct nontrivial minimal reducing subspaces of \({M_\phi}\) are orthogonal. When the order n of \({\phi}\) is 2 or 3, we show that \({M_\phi}\) is reducible on D if and only if \({\phi}\) is equivalent to \({z^n}\). When the order of \({\phi}\) is 4, we determine the reducing subspaces for \({M_\phi}\), and we see that in this case \({M_\phi}\) can be reducible on D when \({\phi}\) is not equivalent to \({z^4}\). The same phenomenon happens when the order n of \({\phi}\) is not a prime number. Furthermore, we show that \({M_\phi}\) is unitarily equivalent to \({M_{z^n} (n > 1)}\) on D if and only if \({\phi = az^n}\) for some unimodular constant a.