  In this paper we study Hardy and Poincar\'e inequalities and their weak
versions for quadratic forms satisfying the first Beurling-Deny criterion. We
employ these inequalities to establish a criticality theory for such forms.
