dbe5602677de216b.tex
1: \begin{abstract}
2: In this paper we prove the complete characterization
3: of a.s. convergence of orthogonal series in terms
4: of existence of a majorizing measure. It means that for a given
5: $(a_n)^{\infty}_{n=1}$,
6: $a_n>0$, series $\sum^{\infty}_{n=1}a_n\varphi_n$ is a.e. convergent for
7: each orthonormal
8: sequence $(\varphi_n)^{\infty}_{n=1}$ if and only if there exists a
9: measure $m$ on
10: %
11: \[
12: T=\{0\}\cup\Biggl\{\sum^m_{n=1}a_n^2, m\gs1\Biggr\}
13: \]
14: %
15: such that
16: %
17: \[
18: \sup_{t\in T}\int^{\sqrt{D(T)}}_0 (m(B(t,r^2)))^{-{1}/{2}}\,dr<\infty,
19: \]
20: %
21: where $D(T)=\sup_{s,t\in T}|s-t|$ and $B(t,r)=\{s\in T\dvtx  |s-t|\ls r\}$.
22: The presented approach is based on weakly majorizing measures and a
23: certain partitioning scheme.
24: \end{abstract}