BelHadjAli, HichemHichemBelHadjAliBenAmor, AliAliBenAmorSeifert, ChristianChristianSeifertThabet, AminaAminaThabet2019-07-012019-07-012019-09-01Journal of Functional Analysis 5 (277): 1334-1361 (2019-09-01)http://hdl.handle.net/11420/2859We elaborate a new method for constructing traces of quadratic forms in the framework of Hilbert and Dirichlet spaces. Our method relies on monotone convergence of quadratic forms and the canonical decomposition into regular and singular part. We give various situations where the trace can be described more explicitly and compute it for some illustrating examples. We then show that Mosco convergence of Dirichlet forms implies Mosco convergence of a subsequence of their approximating traces.en0022-12362019513341361Journal Article10.1016/j.jfa.2019.05.017Other