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

Asymmetric tie-points and almost clopen subsets of $ℕ^{*}$

Alan S. Dow, Saharon Shelah (2018)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

A tie-point of compact space is analogous to a cut-point: the complement of the point falls apart into two relatively clopen non-compact subsets. We review some of the many consistency results that have depended on the construction of tie-points of $ℕ^{*}$ . One especially important application, due to Veličković, was to the existence of nontrivial involutions on $ℕ^{*}$ . A tie-point of $ℕ^{*}$ has been called symmetric if it is the unique fixed point of an involution. We define the notion of an almost...

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

Special sets of reals and weak forms of normality on Isbell--Mrówka spaces

Vinicius de Oliveira Rodrigues, Victor dos Santos Ronchim, Paul J. Szeptycki (2023)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

We recall some classical results relating normality and some natural weakenings of normality in $Ψ$ -spaces over almost disjoint families of branches in the Cantor tree to special sets of reals like $Q$ -sets, $λ$ -sets and $σ$ -sets. We introduce a new class of special sets of reals which corresponds to the corresponding almost disjoint family of branches being $ℵ_{0}$ -separated. This new class fits between $λ$ -sets and perfectly meager sets. We also discuss conditions for an almost disjoint family $𝒜$ being...

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

Remotely $c$ -almost periodic type functions in $ℝ^{n}$

Marco Kostić, Vipin Kumar (2022)

Archivum Mathematicum

Similarity:

In this paper, we relate the notions of remote almost periodicity and quasi-asymptotical almost periodicity; in actual fact, we observe that a remotely almost periodic function is nothing else but a bounded, uniformly continuous quasi-asymptotically almost periodic function. We introduce and analyze several new classes of remotely $c$ -almost periodic functions in $ℝ^{n},$ slowly oscillating functions in $ℝ^{n},$ and further analyze the recently introduced class of quasi-asymptotically $c$ -almost periodic...

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.