An example of a non-zero non-atomic translation-invariant Borel measure ${\nu }_p$ on the Banach space ${\ell }_p\left(1\le p\le \infty \right)$ is constructed in Solovay’s model. It is established that, for 1 ≤ p < ∞, the condition "${\nu }_p$-almost every element of ${\ell }_p$ has a property P" implies that “almost every” element of ${\ell }_p$ (in the sense of [4]) has the property P. It is also shown that the converse is not valid.

Let ℳ be a von Neumann factor of type II1 with a normalized trace τ. In 1983 L. G. Brown showed that to every operator T∈ℳ one can in a natural way associate a spectral distribution measure μ T (now called the Brown measure of T), which is a probability measure in ℂ with support in the spectrum σ(T) of T. In this paper it is shown that for every T∈ℳ and every Borel set B in ℂ, there is a unique closed T-invariant subspace $𝒦={𝒦}_{\mathrm{T}}\left(B\right)$ affiliated with ℳ, such that the Brown measure of ${\mathrm{T}|}_{𝒦}$ is concentrated...

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

By Fin(X) (resp. $Fi{n}^k\left(X\right)$), 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 $\ell {₂}^f\left(\tau \right)$ the linear span of the canonical orthonormal basis of ℓ₂(τ). It is shown that if $E=\ell {₂}^f\left(\tau \right)$ or E is an absorbing set in ℓ₂(τ) for one of the absolute Borel classes ${}_{\alpha }\left(\tau \right)$ and ${}_{\alpha }\left(\tau \right)$ of weight ≤ τ (α > 0) then Fin(E) and each $Fi{n}^k\left(E\right)$ are homeomorphic to E. More generally, if X is a connected E-manifold then Fin(X)...

We establish an explicit connection between the perimeter measure of an open set $E$ with $C^1$ boundary and the spherical Hausdorff measure $S^{Q-1}$ restricted to $\partial E$, when the ambient space is a stratified group endowed with a left invariant sub-Riemannian metric and $Q$ denotes the Hausdorff dimension of the group. Our formula implies that the perimeter measure of $E$ is less than or equal to $S^{Q-1}\left(\partial E\right)$ up to a dimensional factor. The validity of this estimate positively answers a conjecture raised by Danielli,...

Let $𝔐$ and $\Re$ be algebras of subsets of a set $\Omega$ with $𝔐\subset \Re$, and denote by $E\left(\mu \right)$ the set of all quasi-measure extensions of a given quasi-measure $\mu$ on $𝔐$ to $\Re$. We give some criteria for order boundedness of $E\left(\mu \right)$ in $ba\left(\Re \right)$, in the general case as well as for atomic $\mu$. Order boundedness implies weak compactness of $E\left(\mu \right)$. We show that the converse implication holds under some assumptions on $𝔐$, $\Re$ and $\mu$ or $\mu$ alone, but not in general.

We study the generalized Cantor space ${}^{\kappa }2$ and the generalized Baire space ${}^{\kappa }\kappa$ as analogues of the classical Cantor and Baire spaces. We equip ${}^{\kappa }\kappa$ with the topology where a basic neighborhood of a point η is the set ν: (∀j < i)(ν(j) = η(j)), where i < κ. We define the concept of a strong measure zero set of ${}^{\kappa }2$. We prove for successor $\kappa ={\kappa }^{<\kappa }$ that the ideal of strong measure zero sets of ${}^{\kappa }2$ is ${}_{\kappa }$-additive, where ${}_{\kappa }$ is the size of the smallest unbounded family in ${}^{\kappa }\kappa$, and that the generalized Borel...

Let $(X_i,i=1,2,...)$ be the normalized gaussian system such that $X_i\in N(0,1)$, i = 1,2,... and let the correlation matrix ${\rho }_{ij}=E\left(X_i{X}_j\right)$ satisfy the following hypothesis: $C=su{p}_{i\ge 1}{\sum }_{j=1}^{\infty }\left|{\rho }_{i,j}\right|<\infty$. We present Gebelein’s inequality and some of its consequences: Borel-Cantelli type lemma, iterated log law, Levy’s norm for the gaussian sequence etc. The main result is that (f(X₁) + ⋯ + f(Xₙ))/n → 0 a.s. for f ∈ L¹(ν) with (f,1)ν = 0.

We show that, whenever $\Gamma$ is a countable abelian group and $\Delta$ is a finitely-generated subgroup of $\Gamma$, a generic measure-preserving action of $\Delta$ on a standard atomless probability space $(X,\mu )$ extends to a free measure-preserving action of $\Gamma$ on $(X,\mu )$. This extends a result of Ageev, corresponding to the case when $\Delta$ is infinite cyclic.

Let $\beta >1$ be a non-integer. We consider expansions of the form ${\sum }_{i=1}^{\infty }{d}_i/{\beta }^i$, where the digits ${\left(d_i\right)}_{i\ge 1}$ are generated by means of a Borel map $K_{\beta }$ defined on ${\{0,1\}}^{\mathbb{N}}\times [0,\lfloor \beta \rfloor \left(\beta -1\right)]$. We show existence and uniqueness of a $K_{\beta }$-invariant probability measure, absolutely continuous with respect to $m_p\otimes \lambda$, where $m_p$ is the Bernoulli measure on ${\{0,1\}}^{\mathbb{N}}$ with parameter $p$ ($0<p<1$) and $\lambda$ is the normalized Lebesgue measure on $[0,\lfloor \beta \rfloor (\beta -1\left)\right]$. Furthermore, this measure is of the form $m_p\otimes {\mu }_{\beta ,p}$, where ${\mu }_{\beta ,p}$ is equivalent to $\lambda$. We prove that the measure of maximal entropy and $m_p\otimes \lambda$ are mutually...

For a linear operator T in a Banach space let ${\sigma }_p\left(T\right)$ denote the point spectrum of T, let ${\sigma }_{p,n}\left(T\right)$ for finite n > 0 be the set of all $\lambda \in {\sigma }_p\left(T\right)$ such that dim ker(T - λ) = n and let ${\sigma }_{p,\infty }\left(T\right)$ be the set of all $\lambda \in {\sigma }_p\left(T\right)$ for which ker(T - λ) is infinite-dimensional. It is shown that ${\sigma }_p\left(T\right)$ is ${ℱ}_{\sigma }$, ${\sigma }_{p,\infty }\left(T\right)$ is ${ℱ}_{\sigma \delta }$ and for each finite n the set ${\sigma }_{p,n}\left(T\right)$ is the intersection of an ${ℱ}_{\sigma }$ set and a ${}_{\delta }$ 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...

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 $\Sigma {⁰}_{\alpha }$, α ≥ 2, and which has all “vertical” sections of positive Lebesgue measure, has a $\Pi {⁰}_{\alpha }$ uniformization which is the graph of a $\Sigma {⁰}_{\alpha }$-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_{\delta }$ sections. ...

Let β ∈ (1,2) and x ∈ [0,1/(β-1)]. We call a sequence ${\left({ϵ}_i\right)}_{i=1}^{\infty }\in {0,1}^{\mathbb{N}}$ a β-expansion for x if $x={\sum }_{i=1}^{\infty }{ϵ}_i{\beta }^{-i}$. We call a finite sequence ${\left({ϵ}_i\right)}_{i=1}^n\in {0,1}^n$ an n-prefix for x if it can be extended to form a β-expansion of x. In this paper we study how good an approximation is provided by the set of n-prefixes. Given $\Psi :\mathbb{N}\to {ℝ}_{\ge 0}$, we introduce the following subset of ℝ: $W_{\beta }\left(\Psi \right):={\bigcap }_{m=1}^{\infty }{\bigcup }_{n=m}^{\infty }{\bigcup }_{{\left({ϵ}_i\right)}_{i=1}^n\in {0,1}^n}[{\sum }_{i=1}^n\left({ϵ}_i\right)/\left({\beta }^i\right),{\sum }_{i=1}^n\left({ϵ}_i\right)/\left({\beta }^i\right)+\Psi \left(n\right)]$In other words, $W_{\beta }\left(\Psi \right)$ is the set of x ∈ ℝ for which there exist infinitely many solutions to the inequalities $0\le x-{\sum }_{i=1}^n\left({ϵ}_i\right)/\left({\beta }^i\right)\le \Psi \left(n\right)$. When ${\sum }_{n=1}^{\infty }{2}^n\Psi \left(n\right)<\infty$, the Borel-Cantelli lemma tells us that the Lebesgue measure...

Let m,n be positive integers such that m < n and let G(n,m) be the Grassmann manifold of all m-dimensional subspaces of ℝⁿ. For V ∈ G(n,m) let ${\pi }_V$ denote the orthogonal projection from ℝⁿ onto V. The following characterization of purely unrectifiable sets holds. Let A be an ${}^m$-measurable subset of ℝⁿ with ${}^m\left(A\right)<\infty$. Then A is purely m-unrectifiable if and only if there exists a null subset Z of the universal bundle $(V,v)\left|V\in G\right(n,m),v\in V$ such that, for all P ∈ A, one has ${}^{m(n-m)}\left(V\in G(n,m)\left|\right(V,{\pi }_V\left(P\right))\in Z\right)>0$. One can replace “for all P ∈ A” by “for...

In many recent articles, medians have been used as a replacement of integral averages when the function fails to be locally integrable. A point $x$ in a metric measure space $(X,d,\mu )$ is called a generalized Lebesgue point of a measurable function $f$ if the medians of $f$ over the balls $B(x,r)$ converge to $f\left(x\right)$ when $r$ converges to $0$. We know that almost every point of a measurable, almost everywhere finite function is a generalized Lebesgue point and the same is true for every point of a continuous function....

Let $\mu$ be a probability measure on $[0,1]$ which is invariant and ergodic for $T_a\left(x\right)=ax\mathrm{𝚖𝚘𝚍}1$, and $0<\mathrm{𝚍𝚒𝚖}\mu <1$. Let $f$ be a local diffeomorphism on some open set. We show that if $E\subseteq ℝ$ and $\left(f\mu \right){\left|{}_E\sim \mu \right|}_E$, then $f^{\text{'}}\left(x\right)\in \left\{\pm a^r:r\in \mathbb{Q}\right\}$ at $\mu$-a.e. point $x\in f^{-1}E$. In particular, if $g$ is a piecewise-analytic map preserving $\mu$ then there is an open $g$-invariant set $U$ containing supp $\mu$ such that $g\left|{}_U\right.$ is piecewise-linear with slopes which are rational powers of $a$. In a similar vein, for $\mu$ as above, if $b$ is another integer and $a,b$ are not powers of a common integer, and if $\nu$ is...

We consider Akatsuka’s zeta Mahler measure as a generating function of the higher Mahler measure $m_k\left(P\right)$ of a polynomial $P,$ where $m_k\left(P\right)$ is the integral of $lo{g}^k\left|P\right|$ over the complex unit circle. Restricting ourselves to P(x) = x - r with |r| = 1 we show some new asymptotic results regarding $m_k\left(P\right)$, in particular $|m_k\left(P\right)|/k!\to 1/\pi$ as k → ∞.

Let ${\alpha }_i,{\beta }_i>0$, 1 ≤ i ≤ n, and for t > 0 and x = (x₁,...,xₙ) ∈ ℝⁿ, let $t•x=(t^{\alpha ₁}x₁,...,t^{\alpha ₙ}xₙ)$, $t\circ x=(t^{\beta ₁}x₁,...,t^{\beta ₙ}xₙ)$ and $\left|\right|x\left|\right|={\sum }_{i=1}^n{\left|x_i\right|}^{1/{\alpha }_i}$. Let φ₁,...,φₙ be real functions in $C^{\infty }(ℝⁿ-0)$ such that φ = (φ₁,..., φₙ) satisfies φ(t • x) = t ∘ φ(x). Let γ > 0 and let μ be the Borel measure on ${ℝ}^{2n}$ given by $\mu \left(E\right)={\int }_{ℝⁿ}{\chi }_E{(x,\phi \left(x\right))\left|\right|x\left|\right|}^{\gamma -\alpha }dx$, where $\alpha ={\sum }_{i=1}^n{\alpha }_i$ and dx denotes the Lebesgue measure on ℝⁿ. Let $T_{\mu }f=\mu \ast f$ and let $\left|\right|T_{\mu }{\left|\right|}_{p,q}$ be the operator norm of $T_{\mu }$ from $L^p\left({ℝ}^{2n}\right)$ into $L^q\left({ℝ}^{2n}\right)$, where the $L^p$ spaces are taken with respect to the Lebesgue measure. The type set $E_{\mu }$ is defined by $E_{\mu }=(1/p,1/q):\left|\right|T_{\mu }{\left|\right|}_{p,q}<\infty ,1\le p,q\le \infty$. In the case ${\alpha }_i\ne {\beta }_k$ for 1 ≤ i,k ≤ n we characterize the...

We investigate the connections between Ramsey properties of Fraïssé classes and the universal minimal flow $M(G_{)}$ of the automorphism group $G$ of their Fraïssé limits. As an extension of a result of Kechris, Pestov and Todorcevic (2005) we show that if the class has finite Ramsey degree for embeddings, then this degree equals the size of $M(G_{)}$. We give a partial answer to a question of Angel, Kechris and Lyons (2014) showing that if is a relational Ramsey class and $G$ is amenable, then $M(G_{)}$ admits...

AbstractLet T be a finite set for which card T is a natural nonstandard number. The linear space ${ℂ}^T$ of complex-valued functions on T is nonstandard. For the analysis on ${ℂ}^T$ we need a concept of nearstandardness in this space. A version how to introduce such a concept is proposed. Some elementary examples are given. CONTENTSIntroduction.................................................................................................................50. Preliminary notes....................................................................................................7 0.1....

Suppose M is a noncompact connected n-manifold and ω is a good Radon measure of M with ω(∂M) = 0. Let ℋ(M,ω) denote the group of ω-preserving homeomorphisms of M equipped with the compact-open topology, and ${\mathscr{H}}_E(M,\omega )$ the subgroup consisting of all h ∈ ℋ(M,ω) which fix the ends of M. S. R. Alpern and V. S. Prasad introduced the topological vector space (M,ω) of end charges of M and the end charge homomorphism $c^{\omega }:{\mathscr{H}}_E(M,\omega )\to (M,\omega )$, which measures for each $h\in {\mathscr{H}}_E(M,\omega )$ the mass flow toward ends induced by h. We show that the...

Let $L\left(H\right)$ denote the algebra of operators on a complex infinite dimensional Hilbert space $H$. For $A,B\in L\left(H\right)$, the generalized derivation ${\delta }_{A,B}$ and the elementary operator ${\Delta }_{A,B}$ are defined by ${\delta }_{A,B}\left(X\right)=AX-XB$ and ${\Delta }_{A,B}\left(X\right)=AXB-X$ for all $X\in L\left(H\right)$. In this paper, we exhibit pairs $(A,B)$ of operators such that the range-kernel orthogonality of ${\delta }_{A,B}$ holds for the usual operator norm. We generalize some recent results. We also establish some theorems on the orthogonality of the range and the kernel of ${\Delta }_{A,B}$ with respect to the wider class of unitarily invariant...

Let $\mu$ be a positive Borel measure on the complex plane ${ℂ}^n$ and let $j=(j_1,\cdots ,j_n)$ with $j_i\in \mathbb{N}$. We study the generalized Toeplitz operators $T_{\mu }^{\left(j\right)}$ on the Fock space $F_{\alpha }^2$. We prove that $T_{\mu }^{\left(j\right)}$ is bounded (or compact) on $F_{\alpha }^2$ if and only if $\mu$ is a Fock-Carleson measure (or vanishing Fock-Carleson measure). Furthermore, we give a necessary and sufficient condition for $T_{\mu }^{\left(j\right)}$ to be in the Schatten $p$-class for $1\le p<\infty$.

Let $𝔐$ and $\Re$ be algebras of subsets of a set $\Omega$ with $𝔐\subset \Re$, and denote by $E\left(\mu \right)$ the set of all quasi-measure extensions of a given quasi-measure $\mu$ on $𝔐$ to $\Re$. We show that $E\left(\mu \right)$ is order bounded if and only if it is contained in a principal ideal in $ba\left(\Re \right)$ if and only if it is weakly compact and $extrE\left(\mu \right)$ is contained in a principal ideal in $ba\left(\Re \right)$. We also establish some criteria for the coincidence of the ideals, in $ba\left(\Re \right)$, generated by $E\left(\mu \right)$ and $extrE\left(\mu \right)$.