Two hyperfinite constructions of the brownian bridge

Infinitesimal Analysis is used to give two constructions of the brownian bridge process. In the first construction a hyperfinite tied down random walk is used and a brownian bridge is obtained via the standard part map. As a consequence it is shown that the brownian bridge is the weak limit of a sequence of normalized tied down random walks. The second construction is based on a hyperfinite uniform empirical process. This construction gives an almost trivial proof of Donsker's Invariance Principle for the uniform empirical process