>>10569922What is your set? Test functions have compact support, and as long as your domain is an open subset of a locally compact hausdorff space, it is a basic topological result that you get open sets separating its boundary from the compact set.
