2
$\begingroup$

Let $A\subseteq\mathbb N$, as usual we define the Beurling density $d(A)=\lim_{n\rightarrow\infty}\frac{|A\cap[1,n]|}{n}$, when it exists. It seems to me it is well-known that the family of subsets which have density is not closed under intersection, but I have been not able to find an explicit counter-example so far. Could anybody give me one?

Thanks in advance, Valerio.

$\endgroup$

3 Answers 3

5
$\begingroup$

Let $A$ be the set of even numbers, and construct $B$ as follows. Let $B\cap[2^n, 2^{n+1})$ consist of the even numbers in $[2^n, 2^{n+1})$ if $n$ is even, and the odd numbers in $[2^n, 2^{n+1})$ for $n$ odd. Then both $A$ and $B$ have density $1/2$, but $A\cap B$ consists of even numbers whose binary representation has odd length; it is easy to check that this set has no density.

$\endgroup$
2
  • 4
    $\begingroup$ To phrase it slightly differently : consider C a set with no density. Then set A=2\mathbb{N} and B=2C+(2(\mathbb{N}∖C)+1). Then A and B both have density 1/2. But A∩B=2C. Therefore you just have to pick for C your favorite subset with no density. $\endgroup$
    – camomille
    Apr 7, 2011 at 8:18
  • $\begingroup$ Sure, though I think concreteness can't hurt. $\endgroup$ Apr 7, 2011 at 17:24
3
$\begingroup$

Let $A$ be the set of odd integers $\geq 0$, and let $B$ be the set of those integers $n$ which are odd if $2^m \leq n < 2^{m+1}$ for an odd $m$ and even if $2^m \leq n < 2^{m+1}$ for an odd $m$. Both sets $A$ and $B$ have naive density $\frac12$ (you call it Beurling density).

The intersection $A\cap B$ has no density: its upper density (limsup...) is $\frac 12$ while its lower density is zero.

$\endgroup$
2
  • 2
    $\begingroup$ nah, now you have it twice. $\endgroup$
    – Xandi Tuni
    Apr 7, 2011 at 7:35
  • 1
    $\begingroup$ We think alike, you and I (and apparently have very similar typing speed). $\endgroup$ Apr 7, 2011 at 17:25
0
$\begingroup$

Take $A$ the set of even numbers, $B$ the set of odd numbers. Than $d(A) = d(B) = \frac{1}{2}$, while $d(A \cap B) = 0$ since $A \cap B = \emptyset$.

$\endgroup$
3
  • 1
    $\begingroup$ $0$ is a density. $\endgroup$ Apr 7, 2011 at 7:25
  • $\begingroup$ I'm sorry, maybe my question was not clear, but this is not an example: I would need a pair of sets $A,B$ with density such that $d(A\cap B)$ does not exist. $\endgroup$ Apr 7, 2011 at 7:33
  • $\begingroup$ Oh, I'm sorry, I understood the question wrong... $\endgroup$
    – felix
    Apr 7, 2011 at 8:21

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.