Let $(B_t , 0 ≤ t ≤ 1)$ be a standard Brownian motion in 1 dimension. We let $(Z_t^y = yt + (B_t − tB_1 ), 0 ≤ t ≤ 1)$ for any $y \in R$ and call it the Brownian bridge from $0$ to $y$. Let $W_0^y$ be the law of $(Z_t^y, 0 ≤ t ≤ 1)$ on $C([0, 1])$. Show that for any non-negative measurable function $F : C([0, 1]) → R_+$ for $f(y)$ = $W_0^y (F)$, we have $\mathbb{E}[F (B)|B_1 ] = f (B_1 )$
I have a problem with $f(B_1)$ = $W_0^{B_1}(F)$, which is $\mathbb{P}(Z_t^{B_1} \in F)$ according to my lecture notes. However this is nonsense, as $F$ is not a set of functions. Any hints?