For any measurable set $H \subset R$ , we define the sequence $a_n(H)$ by the formula: $$a_n(H) = \lambda \bigg([0,1] \setminus \bigcup_{k = n}^{2n} (H + \log_2 k) \bigg)$$ where $\lambda$ denotes the Lebesgue measure and $\log_2$ denotes the binary logarithm. Prove that there is a measurable, 1-periodic, positive measure set $H \subset R$ , such that the sequence $a_n( H )$ does not belong to any space $l_p$ ($1 \leq p < \infty$). [hide=not sure about this part]For what numbers $1 \leq p <\infty$ is it true that whenever H is 1-periodic, positive measure, the sequence $a_n( H )$ belongs to the space $l_p$?[/hide]

Show that if n is an arbitrary natural number and $\sqrt n \leq K \leq \frac{n}{2}$, then there exist n distinct integers, $k_j$ ( j = 1, ..., n ) such that $\bigg | \sum_ {j = 1} ^ ne ^ {ik_jt} \bigg | \geq K$ is satisfied on a subset of the interval $(- \pi, \pi)$ with Lebesgue measure at least $\frac{cn}{K^2}$ , where c is a suitable absolute constant.

Does the set of real numbers have a well-order $\prec$ such that the intersection of the subset $\{(x,y) : x\prec y\}$ of the plane with every line is Lebesgue measurable on the line?

Let $M(t)$ be measurable and locally bounded function, that is, \[M(t) \le C_{a,b}, \quad \forall 0 \le a \le t \le b<\infty\] with some constant $C_{a,b}$, from $[0,\infty)$ to $[0,\infty)$ such that \[M(t) \le 1+\int_0^t M(t-s)(1+t)^{-1}s^{-1/2} ds, \quad \forall t \ge 0.\] Show that \[M(t) \le 10+2\sqrt{5}, \quad \forall t \ge 0.\]

Let H be a $G_{\delta}$ subset of $\mathbb R$ whose closure has a positive Lebesgue measure. Prove that the set $H + H + H + H = \{ x + y + z + u : x , y , z , u \in H \}$ contains an interval.

Present a family of subsets of the plane such that each one of its members is Lebesgue measurable, each one of its members intersects any circle, and the set of Lebesgue measures of all its members is the set of nonnegative real numbers.

Let $F_1, F_2, ...$ be Borel-measurable sets on the plane whose union is the whole plane. Prove that there is a natural number n and circle S for which the set $S \cap F_n$ is dense in S. Also show that the statement is not necessarily true if we omit the condition for the measurability of sets $F_j$.

Characterize all increasing sequences $(s_n)$ of positive reals for which there exists a set $A\subset \mathbb{R}$ with positive measure such that $\lambda(A\cap I)<\frac{s_n}{n}$ holds for every interval $I$ with length $1/n$, where $\lambda$ denotes the Lebesgue measure.

Let $\mathcal B$ be a family of open balls in $\mathbb R^n$ and $c<\lambda\left(\bigcup\mathcal B\right)$ where $\lambda$ is the $n$-dimensional Lebesgue measure. Show that there exists a finite family of pairwise disjoint balls $\{U_i\}^k_{i=1}\subseteq\mathcal B$ such that $$\sum_{j=1}^k\lambda(U_j)>\frac c{3^n}.$$

Let $ \lambda $ be the Lebesgue measure in the plane, let $ u,v\in\mathbb{R}^2, $ let $ A\subset\mathbb{R}^2 $ such that $ \lambda (A)>0 $ and let be the function $ f:\mathbb{R}\longrightarrow\mathbb{R} $ defined as $$ f(t)=\int_A \chi_{A+tu}\cdot\chi_{A+tv}\cdot d\lambda $$ [b]a)[/b] Show that $ f $ is continuous. [b]b)[/b] Prove that any Lebesgue measurable subset of the plane that has nonzero Lebesgue measure contains the vertices of an equilateral triangle.

Suppose that $f:\mathbb{R} \rightarrow \mathbb{R}$ is continuous and $L=\int_{-\infty}^{\infty} f(x) dx$ exists. Show that $$\int_{-\infty}^{\infty}f\left(x-\frac{1}{x}\right)dx=L.$$

Does there exist a nowhere dense, nonempty compact set $C \subset [0,1]$ such that \[ \liminf_{h \to 0^+} \frac{\lambda(C \cap (x, x+h))}{h} > 0 \quad \text{or} \quad \liminf_{h \to 0^+} \frac{\lambda(C \cap (x-h, x))}{h} > 0 \] holds for every point $x \in C$, where $\lambda(A)$ denotes the Lebesgue measure of $A$?

For problem 11 , i couldn’t find the correct translation , so i just posted the hungarian version . If anyone could translate it ,i would be very thankful . [tip=see hungarian]Az $X$ ́es$ Y$ valo ́s ́ert ́eku ̋ v ́eletlen v ́altoz ́ok maxim ́alkorrel ́acio ́ja az $f(X)$ ́es $g(Y )$ v ́altoz ́ok korrela ́cio ́j ́anak szupr ́emuma az olyan $f$ ́es $g$ Borel m ́erheto ̋, $\mathbb{R} \to \mathbb{R}$ fu ̈ggv ́enyeken, amelyekre $f(X)$ ́es $g(Y)$ v ́eges sz ́ora ́su ́. Legyen U a $[0,2\pi]$ interval- lumon egyenletes eloszl ́asu ́ val ́osz ́ınu ̋s ́egi v ́altozo ́, valamint n ́es m pozit ́ıv eg ́eszek. Sz ́am ́ıtsuk ki $\sin(nU)$ ́es $\sin(mU)$ maxim ́alkorrela ́ci ́oja ́t. [/tip] Edit: [hide=Translation thanks to @tintarn] The maximal correlation of two random variables $X$ and $Y$ is defined to be the supremum of the correlations of $f(X)$ and $g(Y)$ where $f,g:\mathbb{R} \to \mathbb{R}$ are measurable functions such that $f(X)$ and $g(Y)$ is (almost surely?) finite. Let $U$ be the uniformly distributed random variable on $[0,2\pi]$ and let $m,n$ be positive integers. Compute the maximal correlation of $\sin(nU)$ and $\sin(mU)$. (Remark: It seems that to make sense we should require that $E[f(X)]$ and $E[g(Y)]$ as well as $E[f(X)^2]$ and $E[g(Y)^2]$ are finite. In fact, we may then w.l.o.g. assume that $E[f(X)]=E[g(Y)]=0$ and $E[f(Y)^2]=E[g(Y)^2]=1$.)[/hide]

Let $K\subseteq \mathbb{R}$ be compact. Prove that the following two statements are equivalent to each other. (a) For each point $x$ of $K$ we can assign an uncountable set $F_x\subseteq \mathbb{R}$ such that $$\mathrm{dist}(F_x, F_y)\ge |x-y|$$ holds for all $x,y\in K$; (b) $K$ is of measure zero.