English
Related papers

Related papers: On perfectly meager sets

200 papers

We discuss removability problems concerning differentiability and pointwise Lipschitz conditions for functions of a real variable. We prove that, in each of the settings under consideration, a set is removable if and only if it has no…

Functional Analysis · Mathematics 2014-12-22 J. Craig , J. F. Feinstein , P. Patrick

A set $A$ is dually Dedekind finite if every surjection from $A$ onto $A$ is injective; otherwise, $A$ is dually Dedekind infinite. An amorphous set is an infinite set that cannot be partitioned into two infinite subsets. A strictly…

Logic · Mathematics 2025-10-16 Yifan Hu , Ruihuan Mao , Guozhen Shen

We show that an ideal $\mathcal{I}$ on the positive integers is meager if and only if there exists a bounded nonconvergent real sequence $x$ such that the set of subsequences [resp. permutations] of $x$ which preserve the set of…

General Topology · Mathematics 2021-09-14 Marek Balcerzak , Szymon Glab , Paolo Leonetti

We show that the Dual Borel Conjecture implies that ${\mathfrak d}> \aleph_1$ and find some topological characterizations of perfectly meager and universally meager sets.

Logic · Mathematics 2007-05-23 Tomek Bartoszynski

A set $P\subset \mathbb N$ is called predictive if for any zero entropy finite-valued stationary process $(X_i)_{i\in \mathbb Z}$, $X_0$ is measurable with respect to $(X_i)_{i\in P}$. We know that $\mathbb N$ is a predictive set. In this…

Dynamical Systems · Mathematics 2020-10-13 Nishant Chandgotia , Benjamin Weiss

An $R$-module $M$ is called absolutely self pure if for any finitely generated left ideal of $R$ whose kernel is in the filter generated by the set of all left ideals $L$ of $R$ with $L \supseteq$ ann $(m)$ for some $m \in M$, any map from…

Rings and Algebras · Mathematics 2015-04-15 Mohanad Farhan Hamid

We show that it is consistent with ZFC that all filters which have the Baire property are Lebesgue measurable. We also show that the existence of a Sierpinski set implies that there exists a nonmeasurable filter which has the Baire…

Logic · Mathematics 2009-09-25 Tomek Bartoszyński , Martin Goldstern , Haim Judah , Saharon Shelah

We show that the problem of counting perfect matchings remains #P-complete even if we restrict the input to very dense graphs, proving the conjecture in [5]. Here "dense graphs" refer to bipartite graphs of bipartite independence number…

Data Structures and Algorithms · Computer Science 2022-10-28 Nicolas El Maalouly , Yanheng Wang

We prove that if $A,B$ are compact subsets of $\mathbb{R}$ such that the upper density of $B$ is positive at every point of $B$, then there is a closed null set $N\subset A$ such that $N+B=A+B$. As a corollary we find that if $A,B\subset…

Classical Analysis and ODEs · Mathematics 2026-02-03 M. Laczkovich

A positive integer n is said to be perfect if sigma(n)=2n, where sigma denotes the sum of the divisors of n. In this article, we show that if n is an even perfect number, then any integer m<=n is expressed as a sum of some of divisors of n.

History and Overview · Mathematics 2009-12-31 Yu Tsumura

Work in the measure algebra of the Lebesgue measure on the Cantor space: for comeager many $[A]$ the set of points $x$ such that the density of $x $ at $A$ is not defined is $\Sigma^{0}_{3}$-complete; for some compact $K$ the set of points…

Logic · Mathematics 2018-08-15 Alessandro Andretta , Riccardo Camerlo , Camillo Costantini

Let G be a reductive linear algebraic group over an algebraically closed field of characteristic p > 0. A subgroup of G is said to be separable in G if its global and infinitesimal centralizers have the same dimension. We study the…

Group Theory · Mathematics 2008-08-12 Michael Bate , Benjamin Martin , Gerhard Roehrle , Rudolf Tange

In this note we prove that for every sequence $(m_q)_{q}$ of positive integers and for every real $0<\delta\leqslant1$ there is a sequence $(n_q)_{q}$ of positive integers such that for every sequence $(H_q)_{q}$ of finite sets such that…

Combinatorics · Mathematics 2012-11-19 Stevo Todorcevic , Konstantinos Tyros

We prove theorems of the following form: if $A\subseteq {\mathbb R}^2$ is a big set, then there exists a big set $P\subseteq {\mathbb R}$ and a perfect set $Q\subseteq {\mathbb R}$ such that $P\times Q\subseteq A$. We discuss cases where…

General Topology · Mathematics 2007-05-23 Szymon Zeberski

We answer the question if the continuous product of square matrices $M(t)$ over $t\in [0,1]$ can be correctly defined. The case where all $M(t)$ are taken from a finite set $\Sigma$ is studied. We find necessary and sufficient conditions on…

Dynamical Systems · Mathematics 2016-03-03 A. Vladimirov

In the paper we will show how to construct a Haar meager set (consequently meager) which is not Haar null, and conversely, a meager Haar null set which is not Haar meager in spaces of sequences: $l_p$ with $p\geq1$, $c_0$ or $c$. It refers…

General Topology · Mathematics 2014-05-14 Eliza Jabłońska

A set of reals $X$ is $\mathfrak{b}$-concentrated if it has cardinality at least $\mathfrak{b}$ and it contains a countable set $D\subseteq X$ such that each closed subset of $X$ disjoint with $D$ has size smaller than $\mathfrak{b}$. We…

General Topology · Mathematics 2025-11-13 Valentin Haberl , Piotr Szewczak , Lyubomyr Zdomskyy

In this paper we introduce the concept of completeness of sets. We study this property on the set of integers. We examine how this property is preserved as we carry out various operations compatible with sets. We also introduce the problem…

General Mathematics · Mathematics 2021-08-24 Theophilus Agama

Many mathematical statements have the following form. If something is true for all finite subsets of an infinite set $I$, then it is true for all of $I$. This paper describes some old and new results on infinite sets of linear and…

Combinatorics · Mathematics 2024-09-24 Melvyn B. Nathanson

We show in ZF that: (i) Every subcompact metrizable space is completely metrizable, and every completely metrizable space is countably subcompact. (ii) A metrizable space X=(X,T) is countably compact iff it is countably subcompact relative…

General Topology · Mathematics 2021-02-23 Kyriakos Keremedis