Is the graph of a Brownian motion over an interval measurable? Let $n \in \mathbb{N}_1 := \{1, 2, \dots\}$ and let $B:\Omega \times [0, \infty) \rightarrow \mathbb{R}^n$ be a standard, $n$-dimensional Brownian motion over the probability space $(\Omega, \mathcal{F}, P)$. Let $t \in (0, \infty)$ and consider the following set:
$$
S := \{(\omega, x) \in \Omega\times\mathbb{R}^n \mid: \exists s \in [0,t], x = B(\omega, s)\}
$$
Is $S$ $\mathcal{F} \otimes \mathcal{B}_n$-measurable? ($\mathcal{B}_n$ denotes the Borel field over $\mathbb{R}^n$ generated by the Euclidean topology.)

MOTIVATION
I'm trying to understand why equation (2) in saz's answer makes sense; specifically, why the integrand $1_{B([0,1])}(x,y)$ is measurable.
 A: For simplicity (of notation), we assume $n=2$, i.e. that $(B_s)_{s \geq 0}$ is a $2$-dimensional Brownian motion, and $t=1$. For $k,j \in \mathbb{Z}$ and $m \in \mathbb{N}$ set
$$A_{k,j}^m := \left[ \frac{k}{2^m}, \frac{k+1}{2^m} \right) \times \left[ \frac{j}{2^m}, \frac{j+1}{2^m} \right)$$
and
$$B_{k,j}^m := \left[ \frac{k-1}{2^m}, \frac{k+2}{2^m} \right] \times \left[ \frac{j-1}{2^m}, \frac{j+2}{2^m} \right].$$
We define random variables
$$X_m(x,\omega) := \sum_{\ell=0}^{2^{8m}} \sum_{k,j} 1_{B_{k,j}^m}(x) \cdot 1_{A_{k,j}^m}(B(\ell/2^{8m},\omega)).$$
(Note that for fixed $(x,\omega)$ and $\ell \in \{0,\ldots,2^{8m}\}$ exactly one of the terms in the series does not equal zero; in particular, the random variable is well-defined.) 
$\hspace{80pt}$
We claim that $$X := \limsup_{m \to \infty} X_m \in [0,\infty]$$ (which is a measurable) satisfies $\{X \neq 0\}=S$. Indeed: Since $B(\cdot,\omega)$ is continuous, we know that $B([0,1],\omega)$ is compact. Hence, $$(x,\omega) \in S \Leftrightarrow x \in B([0,1],\omega) \Leftrightarrow d:=d(x,B([0,1],\omega))=0.$$


*

*Pick $x \in \mathbb{R}^2$, $\omega \in \Omega$ and suppose that $d>0$. Then it follows straight from the definition that $1_{B_{k,j}^m}(x) \cdot 1_{A_{k,j}^m}(B(\ell/2^{8m},\omega))=0$ for any $\ell \in \{0,\ldots,2^{8m}\}$ and $m \geq m_0=m_0(x,\omega)$ sufficiently large. Hence, $X(x,\omega)=0$.

*Now suppose that $d=0$. Then there exists $t \in [0,1]$ such that $x=B(t,\omega)$. Since the Brownian motion has almost surely Hölder continuous sample paths of order $<1/2$ (see e.g. René Schilling & Lothar Partzsch: Brownian Motion - An Introduction to Stochastic Processes, Chapter 9), there exists a constant $C=C(\omega)$ such that $$|B_t(\omega)-B_s(\omega)| \leq C(\omega) |t-s|^{1/4}.$$ In particular, $$|B_t(\omega)-B_{t_m}(\omega)| \leq C(\omega) 2^{-2m} = (C(\omega) 2^{-m}) \cdot 2^{-m}$$ where $t_m := \lfloor t 2^{8m} \rfloor/2^{8m}$. This shows that $$x=B_t(\omega) \in B(B(t_m,\omega),2^{-m})$$ for $m$ sufficiently large. Hence, $x \in B_{k,j}^m$ for $k,j$ such that $B(t_m,\omega) \in A_{k,j}^m$. In particular, we see that $X(x,\omega) \geq 1$.


Remark Since $(x,\omega) \mapsto 1_{B([0,1],\omega)}(x)$ is jointly measurable, this implies, by Fubini's theorem, that $$\omega \mapsto \lambda(B([0,1],\omega))$$ is measurable.
A: Here is an alternative approach to show that $1_{B[0,1]}(x)$ is measurable as a function from $\Omega\times \mathbb{R}^n$ to $\mathbb{R}.$
Define $\mathcal{A}_\varepsilon:\mathscr{C}_0^n\times \mathbb{R}^n\rightarrow \{0,1\}\subseteq\mathbb{R}$ by letting $\mathcal{A}_\varepsilon(f,x) = 1_{N(f[0,1],\varepsilon)}(x)$. Here $N(\cdot,\varepsilon)$ is the $\varepsilon$-neighborhood so that $N(A,\varepsilon) = \{x\in \mathbb{R}^n: d(x,A)<\varepsilon\}$.
One can easily verify that $\{(f,x): \mathcal{A}_\varepsilon(f,x) = 1\}$ is open in the product topology of $\mathscr{C}_{0}^n\times \mathbb{R}^n$ and hence $\mathcal{A}_\varepsilon$ is measurable. Taking the pointwise limit $\lim_{\varepsilon\downarrow 0}\mathcal{A}_\varepsilon$ we obtain, the necessarily measurable function, $(f,x)\mapsto 1_{f[0,1]}(x)$, since $f[0,1]$ is closed.
Given an $n$-dimensional Brownian motion $B(t)$ let $\Psi:\Omega\rightarrow \mathscr{C}_0^n$ be defined by $\Psi(\omega) = B(\cdot,\omega)$. Then $(\omega,x)\mapsto 1_{\Psi(\omega)[0,1]}(x)$ is measurable since $\Psi$ is.
Here is an alternative approach to proving directly that $\mathcal{L}_2(B([0,1]))$ is $\mathcal{F}$-measurable
Let $\mathcal{L}_2$ denote the area function on $\mathscr{B}(\mathbb{R}^2)$ and $\mathcal{C}_0$ denote the space of $\mathbb{R}^2$-valued continuous functions on $\mathbb{R}$, given the uniform topology. We claim that the function
\begin{equation*}
  \mathcal{C}_0\ni f \mapsto \mathcal{L}_2(f[0,1])\in [0,\infty)
 \end{equation*}
is measurable. Indeed suppose that
\begin{equation*}
  f_0\in\{f\in \mathcal{C}_0:\mathcal{L}_2(f[0,1])<a\} 
 \end{equation*}
using regularity of Lebesuge measure, pick an open set $U$ such that $f_0[0,1]\subseteq U$ while $\mathcal{L}_2(U)<a$. Now the Euclidean distance from $f_0[0,1]$ to $\partial U$ is positive, say $>\delta$ and hence if $\sup_{t\in [0,1]}|f(t)-f_0(t)|<\delta$ then $f[0,1]\subseteq U$ implying that the $\delta$-ball around $f_0$ is contained in $\{f\in \mathcal{C}_0:\mathcal{L}_2(f[0,1])<a\}$ and hence the function $f\mapsto \mathcal{L}_2(f[0,1])$ is measurable.
Let $(B(t))$ denote a planar Brownian motion and let $\Psi:\Omega\rightarrow \mathcal{C}_0$ be the function $\Psi(\omega) = B(\cdot,\omega)$. Then $\Psi$ is measurable and hence $\mathcal{L}_2\circ \Psi = \mathcal{L}_2(B([0,1],\cdot))$ is measurable.
