“…Yoshida proved without any assumption that the hermitian form
is positive definite on
if
is sufficiently small ([
33, Lemma 2]). Connes–Consani [
4] provides an operator theoretic conceptual reason for this result. Yoshida also proved that, for given
and
, there exists
such that
for every
and
([
33, Lemma 3]).…”