大きさについての無矛盾性
量子化学分野において、大きさについての無矛盾性(おおきさについてのむむじゅんせい、英: size consistency)および示量性(しりょうせい、英: size extensivity)は系の大きさが変化した場合の計算結果の振る舞いを表す概念である。大きさについての無矛盾性(あるいは英: strict separabilityとも)は、距離が離れるなどして分子系における相互作用が無くなった場合、エネルギーの振る舞いが無矛盾であることを保証する。Bartlettにより導入された示量性は、電子数の増加に対して正確に(線形に)スケールするという形式的な数学的性質である。
例えばAとBを相互作用の2つの系としよう。ある理論がエネルギーについて大きさについて無矛盾であるとき、電子密度が共有されていないほど十分にAとBが離れたようなA+Bの系のエネルギーは、Aの系のエネルギーとBの系のエネルギーの和と一致する。
E ( A + B ) = E ( A ) + E ( B ) {\displaystyle E(A+B)=E(A)+E(B)}