Comparing the closed almost disjointness and dominating numbers

Dilip Raghavan; Saharon Shelah

Displaying similar documents to “Comparing the closed almost disjointness and dominating numbers”

Template iterations and maximal cofinitary groups

Vera Fischer, Asger Törnquist (2015)

Fundamenta Mathematicae

Similarity:

Jörg Brendle (2003) used Hechler’s forcing notion for adding a maximal almost disjoint family along an appropriate template forcing construction to show that (the minimal size of a maximal almost disjoint family) can be of countable cofinality. The main result of the present paper is that $_{g}$ , the minimal size of a maximal cofinitary group, can be of countable cofinality. To prove this we define a natural poset for adding a maximal cofinitary group of a given cardinality, which enjoys...

Maximal almost disjoint families of functions

Dilip Raghavan (2009)

Fundamenta Mathematicae

Similarity:

We study maximal almost disjoint (MAD) families of functions in $ω^{ω}$ that satisfy certain strong combinatorial properties. In particular, we study the notions of strongly and very MAD families of functions. We introduce and study a hierarchy of combinatorial properties lying between strong MADness and very MADness. Proving a conjecture of Brendle, we show that if $c o v (ℳ) <_{}$ , then there no very MAD families. We answer a question of Kastermans by constructing a strongly MAD family from = . Next, we...

A MAD Q-set

Arnold W. Miller (2003)

Fundamenta Mathematicae

Similarity:

A MAD (maximal almost disjoint) family is an infinite subset of the infinite subsets of ω = 0,1,2,... such that any two elements of intersect in a finite set and every infinite subset of ω meets some element of in an infinite set. A Q-set is an uncountable set of reals such that every subset is a relative $G_{δ}$ -set. It is shown that it is relatively consistent with ZFC that there exists a MAD family which is also a Q-set in the topology it inherits as a subset of $P (ω) = 2^{ω}$ .

Ordinal remainders of classical ψ-spaces

Alan Dow, Jerry E. Vaughan (2012)

Fundamenta Mathematicae

Similarity:

Let ω denote the set of natural numbers. We prove: for every mod-finite ascending chain $T_{α} : α < λ$ of infinite subsets of ω, there exists $ℳ \subset {[ω]}^{ω}$ , an infinite maximal almost disjoint family (MADF) of infinite subsets of the natural numbers, such that the Stone-Čech remainder βψ∖ψ of the associated ψ-space, ψ = ψ(ω,ℳ ), is homeomorphic to λ + 1 with the order topology. We also prove that for every λ < ⁺, where is the tower number, there exists a mod-finite ascending chain $T_{α} : α < λ$ , hence a ψ-space with...

A note on rare maximal functions

Paul Alton Hagelstein (2003)

Colloquium Mathematicae

Similarity:

A necessary and sufficient condition is given on the basis of a rare maximal function $M_{l}$ such that $M_{l} f \in L ¹ ([0, 1])$ implies f ∈ L log L([0,1]).

Induced almost continuous functions on hyperspaces

Alejandro Illanes (2006)

Colloquium Mathematicae

Similarity:

For a metric continuum X, let C(X) (resp., $2^{X}$ ) be the hyperspace of subcontinua (resp., nonempty closed subsets) of X. Let f: X → Y be an almost continuous function. Let C(f): C(X) → C(Y) and $2^{f} : 2^{X} \to 2^{Y}$ be the induced functions given by $C (f) (A) = c l_{Y} (f (A))$ and $2^{f} (A) = c l_{Y} (f (A))$ . In this paper, we prove that: • If $2^{f}$ is almost continuous, then f is continuous. • If C(f) is almost continuous and X is locally connected, then f is continuous. • If X is not locally connected, then there exists an almost continuous function f: X → [0,1]...

The almost Daugavet property and translation-invariant subspaces

Simon Lücking (2014)

Colloquium Mathematicae

Similarity:

Let G be a metrizable, compact abelian group and let Λ be a subset of its dual group Ĝ. We show that $C_{Λ} (G)$ has the almost Daugavet property if and only if Λ is an infinite set, and that $L ¹_{Λ} (G)$ has the almost Daugavet property if and only if Λ is not a Λ(1) set.

Problems on averages and lacunary maximal functions

Andreas Seeger, James Wright (2011)

Banach Center Publications

Similarity:

We prove three results concerning convolution operators and lacunary maximal functions associated to dilates of measures. First we obtain an H¹ to $L^{1, \infty}$ bound for lacunary maximal operators under a dimensional assumption on the underlying measure and an assumption on an $L^{p}$ regularity bound for some p > 1. Secondly, we obtain a necessary and sufficient condition for L² boundedness of lacunary maximal operator associated to averages over convex curves in the plane. Finally we prove an $L^{p}$ ...

MAD families and $P$ -points

Salvador García-Ferreira, Paul J. Szeptycki (2007)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

The Katětov ordering of two maximal almost disjoint (MAD) families $𝒜$ and $ℬ$ is defined as follows: We say that $𝒜 \leq_{K} ℬ$ if there is a function $f : ω \to ω$ such that $f^{- 1} (A) \in ℐ (ℬ)$ for every $A \in ℐ (𝒜)$ . In [Garcia-Ferreira S., Hrušák M., Ordering MAD families a la Katětov, J. Symbolic Logic 68 (2003), 1337–1353] a MAD family is called $K$ -uniform if for every $X \in ℐ {(𝒜)}^{+}$ , we have that ${𝒜 |}_{X} \leq_{K} 𝒜$ . We prove that CH implies that for every $K$ -uniform MAD family $𝒜$ there is a $P$ -point $p$ of $ω^{*}$ such that the set of all Rudin-Keisler predecessors of $p$ is dense...

A note on an approximative scheme of finding almost homoclinic solutions for Newtonian systems

Robert Krawczyk (2014)

Banach Center Publications

Similarity:

In this work we will be concerned with the existence of almost homoclinic solutions for a Newtonian system $q ̈ + \nabla_{q} V (t, q) = f (t)$ , where t ∈ ℝ, q ∈ ℝⁿ. It is assumed that a potential V: ℝ × ℝⁿ → ℝ is C¹-smooth and its gradient map $\nabla_{q} V : ℝ \times ℝ ⁿ \to ℝ ⁿ$ is bounded with respect to t. Moreover, a forcing term f: ℝ → ℝⁿ is continuous, bounded and square integrable. We will show that the approximative scheme due to J. Janczewska (see [J2]) for a time periodic potential extends to our case.

Almost Prüfer v-multiplication domains and the ring $D + X D_{S} [X]$

Qing Li (2010)

Colloquium Mathematicae

Similarity:

This paper is a continuation of the investigation of almost Prüfer v-multiplication domains (APVMDs) begun by Li [Algebra Colloq., to appear]. We show that an integral domain D is an APVMD if and only if D is a locally APVMD and D is well behaved. We also prove that D is an APVMD if and only if the integral closure D̅ of D is a PVMD, D ⊆ D̅ is a root extension and D is t-linked under D̅. We introduce the notion of an almost t-splitting set. $D^{(S)}$ denotes the ring $D + X D_{S} [X]$ , where S is a multiplicatively...

Local integrability of strong and iterated maximal functions

Paul Alton Hagelstein (2001)

Studia Mathematica

Similarity:

Let $M_{S}$ denote the strong maximal operator. Let $M_{x}$ and $M_{y}$ denote the one-dimensional Hardy-Littlewood maximal operators in the horizontal and vertical directions in ℝ². A function h supported on the unit square Q = [0,1]×[0,1] is exhibited such that $\int_{Q} M_{y} M_{x} h < \infty$ but $\int_{Q} M_{x} M_{y} h = \infty$ . It is shown that if f is a function supported on Q such that $\int_{Q} M_{y} M_{x} f < \infty$ but $\int_{Q} M_{x} M_{y} f = \infty$ , then there exists a set A of finite measure in ℝ² such that $\int_{A} M_{S} f = \infty$ .

Another ⋄-like principle

Michael Hrušák (2001)

Fundamenta Mathematicae

Similarity:

A new ⋄-like principle $⋄_{}$ consistent with the negation of the Continuum Hypothesis is introduced and studied. It is shown that $\neg ⋄_{}$ is consistent with CH and that in many models of = ω₁ the principle $⋄_{}$ holds. As $⋄_{}$ implies that there is a MAD family of size ℵ₁ this provides a partial answer to a question of J. Roitman who asked whether = ω₁ implies = ω₁. It is proved that $⋄_{}$ holds in any model obtained by adding a single Laver real, answering a question of J. Brendle who asked whether = ω₁...

On the Rademacher maximal function

Mikko Kemppainen (2011)

Studia Mathematica

Similarity:

This paper studies a new maximal operator introduced by Hytönen, McIntosh and Portal in 2008 for functions taking values in a Banach space. The $L^{p}$ -boundedness of this operator depends on the range space; certain requirements on type and cotype are present for instance. The original Euclidean definition of the maximal function is generalized to σ-finite measure spaces with filtrations and the $L^{p}$ -boundedness is shown not to depend on the underlying measure space or the filtration. Martingale...

Spaces with maximal projection constants

Hermann König, Nicole Tomczak-Jaegermann (2003)

Studia Mathematica

Similarity:

We show that n-dimensional spaces with maximal projection constants exist not only as subspaces of $l_{\infty}$ but also as subspaces of l₁. They are characterized by a rigid set of vector conditions. Nevertheless, we show that, in general, there are many non-isometric spaces with maximal projection constants. Several examples are discussed in detail.

On the maximal Fejér operator for double Fourier series of functions in Hardy spaces

Ferenc Móricz (1995)

Studia Mathematica

Similarity:

We consider the Fejér (or first arithmetic) means of double Fourier series of functions belonging to one of the Hardy spaces $H^{(1, 0)} (^{2})$ , $H^{(0, 1)} (^{2})$ , or $H^{(1, 1)} (^{2})$ . We prove that the maximal Fejér operator is bounded from $H^{(1, 0)} (^{2})$ or $H^{(0, 1)} (^{2})$ into weak- $L^{1} (^{2})$ , and also bounded from $H^{(1, 1)} (^{2})$ into $L^{1} (^{2})$ . These results extend those by Jessen, Marcinkiewicz, and Zygmund, which involve the function spaces $L^{1} l o g^{+} L (^{2})$ , $L^{1} {(l o g^{+} L)}^{2} (^{2})$ , and $L^{μ} (^{2})$ with 0 < μ < 1, respectively. We establish analogous results for the maximal conjugate Fejér operators. On closing, we formulate...

Weak-type inequalities for maximal operators acting on Lorentz spaces

Adam Osękowski (2014)

Banach Center Publications

Similarity:

We prove sharp a priori estimates for the distribution function of the dyadic maximal function ℳ ϕ, when ϕ belongs to the Lorentz space $L^{p, q}$ , 1 < p < ∞, 1 ≤ q < ∞. The approach rests on a precise evaluation of the Bellman function corresponding to the problem. As an application, we establish refined weak-type estimates for the dyadic maximal operator: for p,q as above and r ∈ [1,p], we determine the best constant $C_{p, q, r}$ such that for any $ϕ \in L^{p, q}$ , ${| | ℳ ϕ | |}_{r, \infty} \leq C_{p, q, r} {| | ϕ | |}_{p, q}$ .

Radial maximal function characterizations for Hardy spaces on RD-spaces

Loukas Grafakos, Liguang Liu, Dachun Yang (2009)

Bulletin de la Société Mathématique de France

Similarity:

An RD-space $𝒳$ is a space of homogeneous type in the sense of Coifman and Weiss with the additional property that a reverse doubling property holds. The authors prove that for a space of homogeneous type $𝒳$ having “dimension” $n$ , there exists a $p_{0} \in (n / (n + 1), 1)$ such that for certain classes of distributions, the $L^{p} (𝒳)$ quasi-norms of their radial maximal functions and grand maximal functions are equivalent when $p \in (p_{0}, \infty]$ . This result yields a radial maximal function characterization for Hardy spaces on $𝒳$ . ...

Une inégalité maximale sous-gaussienne sur les espaces de tentes

E. Labeye-Voisin (2003)

Studia Mathematica

Similarity:

We introduce a maximal function (denoted by π̅ ) on the tent spaces $T^{p} (ℝ ₊^{n + 1})$ , 0 < p < ∞, of Coifman, Meyer and Stein [8]. We prove a good-λ estimate of subgaussian type for this maximal function and for the square function of tent spaces, leading to integrability results for π̅. We deduce convergence results for the singular integral defining π.

Transference and restriction of maximal multiplier operators on Hardy spaces

Zhixin Liu, Shanzhen Lu (1993)

Studia Mathematica

Similarity:

The aim of this paper is to establish transference and restriction theorems for maximal operators defined by multipliers on the Hardy spaces $H^{p} (ℝ^{n})$ and $H^{p} (^{n})$ , 0 < p ≤ 1, which generalize the results of Kenig-Tomas for the case p > 1. We prove that under a mild regulation condition, an $L^{\infty} (ℝ^{n})$ function m is a maximal multiplier on $H^{p} (ℝ^{n})$ if and only if it is a maximal multiplier on $H^{p} (^{n})$ . As an application, the restriction of maximal multipliers to lower dimensional Hardy spaces is considered. ...

On some representations of almost everywhere continuous functions on $ℝ^{m}$

Ewa Strońska (2006)

Colloquium Mathematicae

Similarity:

It is proved that the following conditions are equivalent: (a) f is an almost everywhere continuous function on $ℝ^{m}$ ; (b) f = g + h, where g,h are strongly quasicontinuous on $ℝ^{m}$ ; (c) f = c + gh, where c ∈ ℝ and g,h are strongly quasicontinuous on $ℝ^{m}$ .

A class of $I_{0}$ -sets

David Grow (1987)

Colloquium Mathematicae

Similarity:

Some remarks on the dyadic Rademacher maximal function

Mikko Kemppainen (2013)

Colloquium Mathematicae

Similarity:

Properties of a maximal function for vector-valued martingales were studied by the author in an earlier paper. Restricting here to the dyadic setting, we prove the equivalence between (weighted) $L^{p}$ inequalities and weak type estimates, and discuss an extension to the case of locally finite Borel measures on ℝⁿ. In addition, to compensate for the lack of an $L^{\infty}$ inequality, we derive a suitable BMO estimate. Different dyadic systems in different dimensions are also considered.

Maximal regularity of discrete and continuous time evolution equations

Sönke Blunck (2001)

Studia Mathematica

Similarity:

We consider the maximal regularity problem for the discrete time evolution equation $u_{n + 1} - T u ₙ = f ₙ$ for all n ∈ ℕ₀, u₀ = 0, where T is a bounded operator on a UMD space X. We characterize the discrete maximal regularity of T by two types of conditions: firstly by R-boundedness properties of the discrete time semigroup ${(T ⁿ)}_{n \in ℕ ₀}$ and of the resolvent R(λ,T), secondly by the maximal regularity of the continuous time evolution equation u’(t) - Au(t) = f(t) for all t > 0, u(0) = 0, where A:= T - I. By recent...

Distinguished subspaces of $L_{p}$ of maximal dimension

Geraldo Botelho, Daniel Cariello, Vinícius V. Fávaro, Daniel Pellegrino, Juan B. Seoane-Sepúlveda (2013)

Studia Mathematica

Similarity:

Weak- and strong-type inequality for the cone-like maximal operator in variable Lebesgue spaces

Kristóf Szarvas, Ferenc Weisz (2016)

Czechoslovak Mathematical Journal

Similarity:

The classical Hardy-Littlewood maximal operator is bounded not only on the classical Lebesgue spaces $L_{p} (ℝ^{d})$ (in the case $p > 1$ ), but (in the case when $1 / p (\cdot)$ is log-Hölder continuous and $p_{-} = inf {p (x) : x \in ℝ^{d}} > 1$ ) on the variable Lebesgue spaces $L_{p (\cdot)} (ℝ^{d})$ , too. Furthermore, the classical Hardy-Littlewood maximal operator is of weak-type $(1, 1)$ . In the present note we generalize Besicovitch’s covering theorem for the so-called $γ$ -rectangles. We introduce a general maximal operator $M_{s}^{γ, δ}$ and with the help of generalized $Φ$ -functions, the strong-...

A characterization of almost continuity and weak continuity

Chrisostomos Petalas, Theodoros Vidalis (2004)

Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica

Similarity:

It is well known that a function $f$ from a space $X$ into a space $Y$ is continuous if and only if, for every set $K$ in $X$ the image of the closure of $K$ under $f$ is a subset of the closure of the image of it. In this paper we characterize almost continuity and weak continuity by proving similar relations for the subsets $K$ of $X$ .