Theorem. If A and B are sets of integers having positive upper Banach density, ...... [B-M86] A. Bertrand-Mathis, Ensembles intersectifs et recurrence de Poincar e ...
1 2 0 3 24 ,- ) H . % $) "( #() H6 @ ) .1
( ) 6# . % $ (" ) (" ) "
( ) 6# . % $ (" ) (" ) "
; ( 5 " " ($ % ( I"J (""$ $ " - ( ) # " ( # $) $ "" (# * - - (# * - K ) - * 9;*: # "$ " %" K? $ > *- - " 5 . ) # ! -
" 5.
? S .
0 !3 *- - " 5. ? " ' ' # 3 *- ! # S $5 #
- @ 5 - / 8 . ! / # 3 ! 0 - )02 - 8 3 - 8 - . = - / - - 8 R , S ? / - ! % / 3 8 - . S 8 3 - ! = - ! / #=
- 3# ! - G ! ) H 7 >; - " 5 X. - ) # ! - " 5 . # 3 X S - 2- " 92# # ! - - X @' 2 )0 3 X &# A ) # - !# ) # ! # 3 $
7 >A - / 8 . - ) - " 5 X.
- - ! 2 - ! - & & & @ AI ? /
8 - V .8 - V . 8 - V .
-?.
S $5
% $ X -?.D X S S $ : - . S 8 - V .8 - V . 8 - V . -?. : ) % $
X ( X S X (
# X X X
"$ *" ) 6 """ 2( #) * = ;
- " 5 . $ - / 8 - " 5 X. / S T? ,U 8 - . S - . , 3 ! 7 >B ! - / - ,
# - - - / 7 >C - ; . - - / 8 . - ! - / D / ; - 8 K " >D % ! - / 8 . 0
# ) - 3 #
- 3
- " 5 X. 3 Y 8 - . Y , > YZ S Y S YZ 8 Y 8 S - 8 -?. 8 - . 8 -?. . 8Z S -8 8 . YZ S 9 ? Æ < S -/. /
D - . S - V ?. " / ' < ' $ < D < S ?E *- - " 5 X. # ) - ! = * 0 " - ! " " 0 ) , -= ". - , * , -= ". -? =.-/ " V ?. - -/ " V ?. - # " / =2 2# - )
> " , $ / $
% ' - $ $ $ .
- - ) ? >J % Æ ' 3 X X $ -? = .-/ " V ?. 5= ' 6 $ = X ' =
$ -? =.-/ " V ?. $ = '' ='' " X + " ' $5
?
"
$5
$5
"$ *" ) 6 """ 2( #) * = ;
3 # " ;- . S : - V !. ; : $ '
$ ?
/
; - . $5
S /?
? ;- . ;- . / /
?
"
V $5
$5
$5
$5
" 2 ;- . $5 ! "#$
@? ( " ! K ( # ,'2 " @? 2# S 3 2 @ A ) [ % - I [ - . S 0 $ -%. *
S D S D - . S ? R 7 - . # ; > # 4 2 T3 QU -# 7. - . 4 # 7 -7- . ; . # 2 ( % R S 8 ) ? 7 ' $ #
@
"$ *" ) 6 """ 2( #) * = ;
( )
% $ % $ ,'2
- ;? / / - # , , ) ! /
/ -!# Æ, Æ , ' = ÆÆ 7 - % V ! 7 7 V % 7
- , , 3 % 7 S -% . 7
V S % & # , V , % ,, ÆÆ 7 , V , ÆÆ , V , / , 7 S 7 7 7 V - %. S /
%
" ;> / ! @4- ? BA / 3 * Æ / 3 Æ * % ! - # S - V % . '2"
K # M/ 3 ) # V ) 7
- ;@ L ? # - -
- S ? / B
- /
/ , BG // - / ? . - " 5 ?. 5- . * 6 6 6 @ @ @ S -@ V 6 . , ? , V 7 ! D 4 @ V 6
V 7 2 ) & R , ( 4 @ V 6 V 7 > S D 4 @ V 6 S $ V7 7 S " 4 @ V6 4 @ V6
$ - .4 7 ! D 4 - . 7 S
"$ *" ) 6 """ 2( #) * = ;
- . ! ! + $ - .! S - . 2 ( $ * + , # !
$ %% ? $ J 9 - BM. $ - . * ,2 $ 9 / ) $ ' % ' $ $ # 58 ' 6 58 6 D > - " 5 . $ # 4 # 4 # AD # $ 0 $ # A- . S A-. V 4 % B #[ # S B Æ A D - . S B-A-.V 4. S B-4. -. ! - " 5. $ -# 4. - - " 5 . $ B-4. "# # S - . $ - " 5 . 3! 0#
$ ? # $ ' $ # ) 7 A? ) - " 5 X. 8 ' - 2 # - ! #- - ) ) - X S 1 1 S ? -. - " 5. ) S 1 S 1 $ 8 '
X $ P " 9' $
) 5 6 '8 '
5* # " ( # & $
A
'8 ' 8 ' " A> - / 8 . # - # ) - " 5 X. 4 ! Y # ) - # - # -
- " 5. ' = #- - 1 Y 2 - ; . # ; - . S 1 ) - # ] S
) - " 5 X ]. 3 2 ) - 8 ; . 3 # - - " 5 X ]. % # 4 ? % $ 4 5 6 X S X ] ] ] ; ; ; ; $ K ( $ $ 5='' 6 ( - " 5 X ]. = ' " $ X Æ )4 ' $ # $ - / 8 . - " 5 X. 4 $ 1 3 # S 1 S ? " $ (# ' $ ; ; - . S 1 4 - ) S ? K
( $ / $ X ) ='' - /. % ' $ # ) $ $ (# $ $ $ $ X X / # X X S X ( - $ / / 5=''2' 6 - " 5 X ) .
$ X 8
2
?
/ 8 - .1
)
$$
' =
-M.
S ='' # =''2' $ / , = 2 % -M.
"$ *" ) 6 """ 2( #) * = ;
- A@ 4 4 4 . )0 - - S
? /
#
+- . S
?
.
4 4
- Æ-= ". * - = * " - +- . ? ' Æ -= ". - " (@ ?
.
- $ ?
.
4 4 S .? S .? S
4 @ ' =
-4 4 . -4 4 .
-?.
+
-?.
4
4 4 4
-! ! .+-" ! " ! .
# -" V ?. # +-! !. ! ! " $ +-! ! . S ? 4 S ? " # $ 4 S ? ( Æ-= ". * ?
.
?
.
4 4
' =
2 # $ ' = @ S 4
- - M ? $ $ $ # $ / / Æ ,
-M. $ $ X S 1 8 - . $ / # 5 6 ? 2 K ( /M X 9' " - " 5 X. X # - " 5. ' " ? " ' ' # = * ( 9 X *9 * ' = ! S ! -2. J # : - . 9 $ (
5* # " ( # & $
?
/
: - .
%
: - .
: - V .
: - V .
&
B
9 9 % -9 9 & .$5
- . & > B " S / . S C / D C ? / 4 S 1 : - V .: - .
: S : C , $ +- . S
? ?
/ C
'
1 : - V . : - V . : - . : - .
, ' # =
?
C
'
'
1 - .$5 S
1 9 9 -9 9 .$5
?
C
'
1 - .$5 S ?
= S = -= . = 9 # $ / V / J S 1 0$ = Æ ( > B , ( @ ? ? 1 : - V .: - . @ ' = -Q. C /
= $ -Q. ? ? : - V .: - .: - . 1 @ : - . S C /
? ?
C /
-1 :
V .: - . @ : - . += 3
3 S : - . S : - . : - . - . 3 9 $5 , ' " *9 * ' = # ' -? V = . G , ? ? : - V .: - . 1 @ : - . ' /+= -J.
C /
3 ? ? : - V . 1 @ : - . C /
"$ *" ) 6 """ 2( #) * = ;
? ? : - V .: - . : - V . C /
) , ' -I.
-I.
9 9 /9 9 V 9
-? .
$5
# 9 $ ( # -? . (= -I.
, 7 -J. $ ? ? : - V . 1 @ : - . ' = S = -= . C /
, = -= . = P 0
*+* *-* *+* V *-* *+ -*
( , ? C
?
/
: - V . C? /? @ : - . ( +=
@ ? 9 $ = * ( 9 : - . D D S ? , Æ C ? ? : - V . 1 D : - . ' = C /
-M. ? 2
8 - .
? ?
C /
:
8
V . 1 D : - .
V .
-??.
S - .- V V + V . , # -??. = S
? ?
C /
: - V .
: - . 8 - V .
5* # " ( # & $
% 8 # , '
'
C
9 9 $5
$ !-2. /2+V / *9 * ' ? # -??. ( ** = ( S ( -2. % $ $ ' C / $ $ ' 3 / $ $ # /3 3 , . / V ? V C ? / ' ? : C
V . 1
D : - .
8
V .
+
' /( ** = -?/.
/I 9( ? 2 X X
$ : - . 8 - . Æ * $ C Æ , ' ? : C
V . 8 - V . 9
$5
-?B.
'Æ
/ $ / , C -?/. -?B. . $ ' ? 1 D : C
. 8 - V .
9 $5
+
' Æ V /( ** =
" ) S 1 D : - . ' ? 1 8 C
V . )
9 $5
+ -?G.
' ) Æ V /( ** =
. -?G. $ ' ? 1 8 C
V . )
$5
'
-?M.
) Æ V /( ** += V ) ) ** *9 *
% / $ V ? V ? -?M. -M.
) ? )
"$ *" ) 6 """ 2( #) * = ;
$ 9 *9 * ( /
-?M. ) S D : - . ? . : . / % Æ *9 Æ* $ - : 9. : - . ? ' 3 3 * / 2 ? : - . ? 9 ? $5 C
, ' # *9 * $ /
A5 *- # ) 2 ) # 3 ! #- ) ! ) 1 - - ! /
" $ 8 ' - " 5 X. Y $ % 8 - " 5 . # S Y[ ( ) AD # 1 Y S 1 ; - . S 1 4 # S Y[ Y D 4-1. S 1 ; S ; ; $ S -. S -. -. ( A-.-1. S -. A-. Y[ S # $ A- .-1. S - . S 1 -. S 4-1.A -.-1. S -4 V A -..-1.R A - . S A-. V 4 A $ # 8
Q 1 Y ( B Æ A B # $ B- . S -1. # (
Y[ B-A-.. S A-.-1. S -. ( A " 1 S B- 4. D
% A; , # - 2 ) )
- A ) - - -# 4. - ! - # Æ A & X 3 ) ! - 4.
- #
- " 5 X.
- " . + , # !
> - " 5 X. 8 ' - / 8 . $ ' $
5* # " ( # & $ ? 8 - .
/
=- " 5. 8 X 2 $5 " ' - " 5 .
? $5
/
/ 9 8 ' # ' 2 H - 4. * Æ Æ * '
? - .? - .
? - .
? - .
? - . ?
$ / S 0
,'2 $ , J?
"$ *" ) 6 """ 2( #) * = ;
0 .!! 1 #
$ %% ? W ' S / B & ' 7 D? *- 3 3 W - . - - S - & S 0 & ' 3 * - 3# > ( 9BB:) 5 *" ) 6'" ) ( " -"$ 5 ") % ? & $ ## " $ 9"( #() H6) BB : BF) , .! % ' / 0) M($ ) *" ) BB )
5* # " ( # & $ C*2BE C* "(BAE C*5E C* BE C*AE C2O"0@E C2(AE C2(E CM4E C6" E C E CD0E CD!+Q!AE C4(E C+AE
A
*" ) 6 2( #) 4 ( ) 5 -"$ " ( ) + 9BB: 0) B F BA@ / * "() 1 - % $) 0 1 + 9BBA: 5A0 1 * 5 ) ? #" ( +) ' 0
9B:) @FB *" (#N) ( G("G( -- + + G( -G( -5 ) / ! 9B B:) B0F0 & * ) 1 # " $ """$ K (-) / 0 9BA:) 0FB ? 2O" ) M " *" (#N -" " #" (-) ! 9B0@:) 0FB 6 2( #) , = $) " ) -#5 " - -- M ) * > 4 ") 6 - ) % + ) ; 5 "$) / 9B: 6 6" ) ) 1 5;"$ 4 ) 1) 9B : 4 ) & ( - ) / 9:) ) 00F . D ") + ) , M($ ( ) ) ;" M($ P ) *" ) 9B0: % L 0A D!+Q!) > - 5 % - R "( *" S -#" ) 2 9BA: ) @0F0 4() . #( ) - % -"$ " N ) 1 + ) BTB) ?
