Zbiór X R jest silnie pierwszej kategorii (ang. strongly meager), jeżeli dla każdego zbioru N pełnej miary Lebesgue'a istnieje t R takie, że X t + N.
Zbiór X R jest bardzo pierwszej kategorii (ang. very meager), jeżeli dla każdego zbioru N pełnej miary Lebesgue'a istnieje zbiór przeliczalny T R taki, że X T + N.
Problem: czy każdy zbiór bardzo pierwszej kategorii jest przeliczalną sumą zbiorów silnie pierwszej kategorii?
Marcin Kysiak, 23 grudnia 2004
Link do oryginalnej dyskusji: [1]