2025.01.03 Friday @BJ
上一篇回顾了“圆周率整数倍的小数部分”,这个结论的一般情形是 Kronecker 逼近定理,我最近的两篇论文都用到这个结论,一篇是已经发表在 ICML2024 上的,用来构造函数逼近的有限词汇表,另一篇是在投的论文,也是构造逼近性质的。
下面来考虑两个问题:
问题 1:对于矩阵
,何时有
在
中稠密?
问题 2:对于矩阵,何时有
在
中稠密?
显然,当 时是不可能稠密的,因此只要考虑
的情形。
由 Kronecker 逼近定理,假设矩阵 的
个
维行向量与坐标向量一起是有理线性无关的,即:
则有 在
中稠密(备注:而且可以证明是等分布的)。
于是乎,取 ,以及
则有下面的推论:
推论:矩阵
使得
在
中稠密,当且仅当矩阵
满足
.
举个例子:经典版本的 Kronecker 逼近定理指出,如果 在
上线性无关,则当
取遍全体整数时,
在
中是稠密的。 写成矩阵的版本,是取
,
,以及
回到问题 1 和问题 2,两个问题的区别在于取全体自然数还是取全体整数。对于上面这个特殊的矩阵 ,如果
都是负数,则该矩阵
同时满足问题 1 和问题 2 的要求。也就是说,最小的
就是取
。
如果只是要构造一个矩阵 ,那么上面的矩阵
就够了。如果是要找出矩阵
要满足的充要条件,那就得再进一步讨论一下。
首先,上面的推论已经对 的情形给出了充要条件,只是假定了
具有特定的分块形式。注意到将矩阵
换成
并不会影响稠密性,只要
是非奇异矩阵,
是置换矩阵。而任何秩为
的矩阵
都可以写为
的形式,因此对于问题 2,我们可以写出完整的答案如下:
问题 2 答案:对于秩为
的矩阵
,存在可逆矩阵
和置换矩阵
使得
。要使
在
中稠密,当且仅当矩阵
满足
.
对于问题 1,由于指标限定取自然数,不能取负的整数,所以需要对 再加些条件。
当 的情形,检查 Kronecker 逼近定理的证明,实际上有下面的结论:
推论 ':矩阵
使得
在
中稠密,当且仅当矩阵
满足
.
这里对 的条件没有变,只是将
换成了
。为了将
中的
也能换成自然数,关键是避免
有的分量被限制在了半空间中。
举个例子:形如 , 的数在
中是稠密的,但形如
, 的数在
中不是稠密的(实际上是离散的)。
一般情形,似乎再加个条件 就可以了。显然这是个必要条件。充分性的话,以后有空再讨论吧。
网友评论