  We prove boundary inequalities in arbitrary bounded Lipschitz domains on the
trace space of Sobolev spaces. For that, we make use of the trace operator, its
Moore-Penrose inverse, and of a special inner product. We show that our trace
inequalities are particularly useful to prove harmonic inequalities, which
serve as powerful tools to characterize the harmonic functions on Sobolev
spaces of non-integer order.
