Compactness and extreme points of the set of quasi-measure extensions of a quasi-measure

Zbigniew Lipecki

Displaying similar documents to “Compactness and extreme points of the set of quasi-measure extensions of a quasi-measure”

Order boundedness and weak compactness of the set of quasi-measure extensions of a quasi-measure

Zbigniew Lipecki (2015)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

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

Nearstandardness on a finite set

Lyantse V.

Similarity:

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....

Univoque sets for real numbers

Fan Lü, Bo Tan, Jun Wu (2014)

Fundamenta Mathematicae

Similarity:

For x ∈ (0,1), the univoque set for x, denoted (x), is defined to be the set of β ∈ (1,2) such that x has only one representation of the form x = x₁/β + x₂/β² + ⋯ with $x_{i} \in 0, 1$ . We prove that for any x ∈ (0,1), (x) contains a sequence ${β_{k}}_{k \geq 1}$ increasing to 2. Moreover, (x) is a Lebesgue null set of Hausdorff dimension 1; both (x) and its closure $\bar{(x)}$ are nowhere dense.

Order-theoretic properties of some sets of quasi-measures

Zbigniew Lipecki (2017)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

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

Boundedness of sublinear operators in Triebel-Lizorkin spaces via atoms

Liguang Liu, Dachun Yang (2009)

Studia Mathematica

Similarity:

Let s ∈ ℝ, p ∈ (0,1] and q ∈ [p,∞). It is proved that a sublinear operator T uniquely extends to a bounded sublinear operator from the Triebel-Lizorkin space $Ḟ_{p, q}^{s} (ℝ ⁿ)$ to a quasi-Banach space ℬ if and only if sup ${| | T (a) | |}_{ℬ}$ : a is an infinitely differentiable (p,q,s)-atom of $Ḟ_{p, q}^{s} (ℝ ⁿ)$ < ∞, where the (p,q,s)-atom of $Ḟ_{p, q}^{s} (ℝ ⁿ)$ is as defined by Han, Paluszyński and Weiss.

On an Invariant Borel Measure in Hilbert Space

G. Pantsulaia (2004)

Bulletin of the Polish Academy of Sciences. Mathematics

Similarity:

An example of a nonzero σ-finite Borel measure μ with everywhere dense linear manifold $_{μ}$ of admissible (in the sense of invariance) translation vectors is constructed in the Hilbert space ℓ₂ such that μ and any shift $μ^{(a)}$ of μ by a vector $a \in ℓ ₂ ∖_{μ}$ are neither equivalent nor orthogonal. This extends a result established in [7].

Duality of measures of non-𝒜-compactness

Juan Manuel Delgado, Cándido Piñeiro (2015)

Studia Mathematica

Similarity:

Let be a Banach operator ideal. Based on the notion of -compactness in a Banach space due to Carl and Stephani, we deal with the notion of measure of non–compactness of an operator. We consider a map $χ_{}$ (respectively, $n_{}$ ) acting on the operators of the surjective (respectively, injective) hull of such that $χ_{} (T) = 0$ (respectively, $n_{} (T) = 0$ ) if and only if the operator T is -compact (respectively, injectively -compact). Under certain conditions on the ideal , we prove an equivalence inequality involving...

Characteristic points, rectifiability and perimeter measure on stratified groups

Valentino Magnani (2006)

Journal of the European Mathematical Society

Similarity:

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} (\partial E)$ up to a dimensional factor. The validity of this estimate positively answers a conjecture raised by Danielli,...

Lattice copies of c₀ and $ℓ^{\infty}$ in spaces of integrable functions for a vector measure

S. Okada, W. J. Ricker, E. A. Sánchez Pérez

Similarity:

The spaces L¹(m) of all m-integrable (resp. $L ¹_{w} (m)$ of all scalarly m-integrable) functions for a vector measure m, taking values in a complex locally convex Hausdorff space X (briefly, lcHs), are themselves lcHs for the mean convergence topology. Additionally, $L ¹_{w} (m)$ is always a complex vector lattice; this is not necessarily so for L¹(m). To identify precisely when L¹(m) is also a complex vector lattice is one of our central aims. Whenever X is sequentially complete, then this is the case. If,...

Algebraic genericity of strict-order integrability

Luis Bernal-González (2010)

Studia Mathematica

Similarity:

We provide sharp conditions on a measure μ defined on a measurable space X guaranteeing that the family of functions in the Lebesgue space $L^{p} (μ, X)$ (p ≥ 1) which are not q-integrable for any q > p (or any q < p) contains large subspaces of $L^{p} (μ, X)$ (without zero). This improves recent results due to Aron, García, Muñoz, Palmberg, Pérez, Puglisi and Seoane. It is also shown that many non-q-integrable functions can even be obtained on any nonempty open subset of X, assuming that X is a topological...

From restricted type to strong type estimates on quasi-Banach rearrangement invariant spaces

María Carro, Leonardo Colzani, Gord Sinnamon (2007)

Studia Mathematica

Similarity:

Let X be a quasi-Banach rearrangement invariant space and let T be an (ε,δ)-atomic operator for which a restricted type estimate of the form $∥ T χ_{E} ∥_{X} \leq D (| E |)$ for some positive function D and every measurable set E is known. We show that this estimate can be extended to the set of all positive functions f ∈ L¹ such that ${| | f | |}_{\infty} \leq 1$ , in the sense that $∥ T f ∥_{X} \leq D (| | f | | ₁)$ . This inequality allows us to obtain strong type estimates for T on several classes of spaces as soon as some information about the galb of the space X is known....

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...

Čech-Stone-like compactifications for general topological spaces

Miroslav Hušek (1992)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

The problem whether every topological space $X$ has a compactification $Y$ such that every continuous mapping $f$ from $X$ into a compact space $Z$ has a continuous extension from $Y$ into $Z$ is answered in the negative. For some spaces $X$ such compactifications exist.

Extensions of generic measure-preserving actions

Julien Melleray (2014)

Annales de l’institut Fourier

Similarity:

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

Denseness and Borel complexity of some sets of vector measures

Zbigniew Lipecki (2004)

Studia Mathematica

Similarity:

Let ν be a positive measure on a σ-algebra Σ of subsets of some set and let X be a Banach space. Denote by ca(Σ,X) the Banach space of X-valued measures on Σ, equipped with the uniform norm, and by ca(Σ,ν,X) its closed subspace consisting of those measures which vanish at every ν-null set. We are concerned with the subsets $_{ν} (X)$ and $_{ν} (X)$ of ca(Σ,X) defined by the conditions |φ| = ν and |φ| ≥ ν, respectively, where |φ| stands for the variation of φ ∈ ca(Σ,X). We establish necessary and sufficient...

Unique Bernoulli $g$ -measures

Anders Johansson, Anders Öberg, Mark Pollicott (2012)

Journal of the European Mathematical Society

Similarity:

We improve and subsume the conditions of Johansson and Öberg and Berbee for uniqueness of a $g$ -measure, i.e., a stationary distribution for chains with complete connections. In addition, we prove that these unique $g$ -measures have Bernoulli natural extensions. We also conclude that we have convergence in the Wasserstein metric of the iterates of the adjoint transfer operator to the $g$ -measure.

Relations between Shy Sets and Sets of $ν_{p}$ -Measure Zero in Solovay’s Model

G. Pantsulaia (2004)

Bulletin of the Polish Academy of Sciences. Mathematics

Similarity:

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

On strong measure zero subsets of $^{κ} 2$

Aapo Halko, Saharon Shelah (2001)

Fundamenta Mathematicae

Similarity:

We study the generalized Cantor space $^{κ} 2$ and the generalized Baire space $^{κ} κ$ as analogues of the classical Cantor and Baire spaces. We equip $^{κ} κ$ 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 $^{κ} 2$ . We prove for successor $κ = κ^{< κ}$ that the ideal of strong measure zero sets of $^{κ} 2$ is $_{κ}$ -additive, where $_{κ}$ is the size of the smallest unbounded family in $^{κ} κ$ , and that the generalized Borel...

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...

A uniqueness result for the continuity equation in two dimensions

Giovanni Alberti, Stefano Bianchini, Gianluca Crippa (2014)

Journal of the European Mathematical Society

Similarity:

We characterize the autonomous, divergence-free vector fields $b$ on the plane such that the Cauchy problem for the continuity equation $\partial_{t} u + \frac{.}{\dot{}} (b u) = 0$ admits a unique bounded solution (in the weak sense) for every bounded initial datum; the characterization is given in terms of a property of Sard type for the potential $f$ associated to $b$ . As a corollary we obtain uniqueness under the assumption that the curl of $b$ is a measure. This result can be extended to certain non-autonomous vector fields $b$ with...

Interpolating sequences, Carleson measures and Wirtinger inequality

Eric Amar (2008)

Annales Polonici Mathematici

Similarity:

Let S be a sequence of points in the unit ball of ℂⁿ which is separated for the hyperbolic distance and contained in the zero set of a Nevanlinna function. We prove that the associated measure $μ_{S} : = \sum_{a \in S} (1 - | a | ²) ⁿ δ_{a}$ is bounded, by use of the Wirtinger inequality. Conversely, if X is an analytic subset of such that any δ -separated sequence S has its associated measure $μ_{S}$ bounded by C/δⁿ, then X is the zero set of a function in the Nevanlinna class of . As an easy consequence, we prove that if S is a dual...