Ziemowit Kostana

# Ziemowit Kostana: Non-measurabity of algebraic sum

11/10/17 23:05

Tuesday, October 17, 2017 17:15

It is not hard to prove that positive answer to 2. implies positive answer to 1, both for measure and category. We answer 2. affirmatively for category, while version for measure turns out to be independent of ZFC. The latter was essentially proved last year by A. RosÅ‚anowski and S. Shelah. Both results holds for Cantor space with coordinatewise addition mod. 2 as well.

*Room:*D1-215*Ziemowit Kostana*

Speaker:Speaker:

*Title*: Non-measurabity of algebraic sum*Abstract*. Consider following problems:- If \(A\) is meagre (null) subset of real line, does there necessarily exist set \(B\) such that algebraic sum \(A+B\) doesn't have Baire property (is non-measurable)?
- If \(A\) is meagre (null) subset of real line, does there necessarily exist non-meagre (non-null) additive subgroup, disjoint with some translation of \(A\)?

It is not hard to prove that positive answer to 2. implies positive answer to 1, both for measure and category. We answer 2. affirmatively for category, while version for measure turns out to be independent of ZFC. The latter was essentially proved last year by A. RosÅ‚anowski and S. Shelah. Both results holds for Cantor space with coordinatewise addition mod. 2 as well.