本文引入了一类用于有限时间跨度线性行为的距离。这些距离可以用于比较由可能具有不同维度的矩阵表示的有限时间跨度线性行为。它们在坐标变换、旋转和平移下保持不变，确保了对输入-输出划分的独立性。此外，它们自然地编码了线性时不变（LTI）行为的复杂度-拟合度权衡，为行为系统理论中的一个长期难题提供了原则性的解决方案。由此产生的框架将建模描述为最小距离问题，将最有力未被证伪模型（MPUM）识别为给定数据集未被任何系统证伪的所有系统的最优解。

The paper introduces a class of distances for linear behaviors over finite time horizons. These distances allow for comparisons between finite-horizon linear behaviors represented by matrices of possibly different dimensions. They remain invariant under coordinate changes, rotations, and permutations, ensuring independence from input-output partitions. Moreover, they naturally encode complexity-misfit trade-offs for Linear Time-Invariant (LTI) behaviors, providing a principled solution to a longstanding puzzle in behavioral systems theory. The resulting framework characterizes modeling as a minimum distance problem, identifying the Most Powerful Unfalsified Model (MPUM) as optimal among all systems unfalsified by a given dataset.