Борелевские множества. А борелевские ли их проекции?

[loldop]

Дано:
$S_{n+1}$ - борелевское множество из пространства $R^{n+1}$
Вопрос:
Ортогональная проекция этого множества будет ли борелевским множеством?
$s_{n}$ - ортогональная проекция из пространства $R^n$

[Null]

Цитата:

В своём мемуаре Лебег утверждал, что проекция борелевского множества всегда является борелевским множеством. А Лузин с Суслиным показали, что это не так. Лебег выразил удовольствие, что его ошибка оказалась столь плодотворной.