Measure on Hilbert Space On $\mathbb{R}^n$, we of course have the usual Lebesgue meausre.  In many ways, separable, infinite-dimesional Hilbert space is the most natural generalization of $\mathbb{R}^n$ to infinite-dimensions, so it is natural to ask, does there exist a Lebesgue-like measure on separable, infinite dimensional Hilbert space?  For the sake of concreteness, is there a natural, Lebesgue-like measure on $\ell ^2$?  (For this purposes of this question, I don't believe it should make a difference whether we are working over $\mathbb{R}$ or $\mathbb{C}$.)
 A: Some authors take local compactness of the space to be part of the definition of Borel measure, so that leaves out infinite-dimensional Hilbert spaces right away.  I think the Mackey-Weil result is talking about $\sigma$-finite measures.  If you don't require that, you might consider $r$-dimensional Hausdorff measure for any nonnegative real $r$.  These are translation-invariant measures, and all Borel sets are measurable.
A: As clarified, you are looking for translation-invariant Borel measures.  Here are two: the zero measure, and counting measure.  Obviously those are not going to satisfy you, but you can't really do better.

Theorem. A translation-invariant Borel measure on an infinite-dimensional separable Banach space is either the zero measure, or assigns infinite measure to every open set.

You can find a proof on Wikipedia, or in Theorem 1.1 of these notes I wrote.
A: The following facts are valid:
Fact 1. There exists  a  sigma-finite Borel measure in $\ell_2$ which is invariant under the group of all eventually zero sequences and takes the value $1$ on the Hilbert cube $\prod_{k \in N}[0,\frac{1}{k}]$.
The proof of Fact 1 can be found in [Kharazishvili A.B., On invariant measures in the Hilbert space.Bull. Acad. Sci.Georgian SSR, 114(1) (1984),41--48 (in Russian)].
Fact 2. There exists  a translation-invariant Borel measure  $\mu$ in $\ell_2$ which  takes the  value $1$ on the Hilbert cube $\prod_{k \in N}[0,\frac{1}{k}]$.
The proof of Fact 2 can be obtained by Baker measure $\lambda$ [Baker R.,  ``Lebesgue measure" on $\mathbb{R}^{ \infty}$. II. \textit{Proc. Amer. Math. Soc.} vol. 132, no. 9, 2003, pp. 2577--2591] as follows:
Let $T:\ell_2 \to \mathbb{R}^{ \infty}$ be defined by $T((x_k)_{k \in N})=(k x_k)_{k \in N}$ for $(x_k)_{k \in N} \in \ell_2$. For each Borel subset $X \subseteq \ell_2$ we set $\mu(X)=\lambda(T(X))$. Then $\mu$ satisfies all conditions of Fact 2.
A: Below I present a new construction of translation-invariant measures in a separable Banach space $B$ with the Schauder basis $(e_k)_{k \in N}$. We say that a Borel measure $\mu$ in $B$ is generator of shy sets(equivalently, Haar null sets) if the condition $\mu(X)=0$ implies that $X$ is shy(equivalently, Haar null).
Definition 1. A universal measurable set $S$ in a
separable Banach space $B$ is said to be an $n$-dimensional
Preiss-Ti$\check{s}$er null set if every Lebesgue measure $\mu$
concentrated on any $n$-dimensional vector space $\Gamma$ is
transverse to $S$.
We denote the class of all n-dimensional Preiss-Ti$\check{s}$er
null sets in $B$  by $$\mathcal{P~T~N}(B, n).$$
Let $(\Gamma_i)_{i \in I}$ be a family of all $n$-dimensional
vector spaces and let $\mu_i$ be an $n$-dimensional Lebesgue
 measure concentrated on $\Gamma_i$  for $i \in I.$
Let $\Gamma_i^{\perp}$ be a linear complement of the vector space
$\Gamma_i$ for $i \in  I$. We put
$$
(\forall X)(X \in  \mathcal{B}(B) \rightarrow
G_{P~\&~T}^{(n)}(X)=\sum_{i \in I }\sum_{g \in
\Gamma_i^{\perp}}\mu_i(X-g \cap \Gamma_i)).
$$
Theorem 1. A functional $G_{P~\&~T}^{(n)}$ is a
translation-invariant quasi-finite generator of shy sets  in $B$ such that
$$\mathcal{P~T~N}(B, n)=\mathcal{N}(\overline{G_{P~\&~T}^{(n)}}).$$
Remark 1. The proof of Theorem 1 can be found in [G.Pantsulaia , On generators of shy sets on  Polish topological vector spaces, New  York   J.  Math.,14 ( 2008) ,  235 – 261]. 
