yxd19

@huzhikuizainali 有的人把随机向量的协方差矩阵也叫它的方差[1]。具体的书推荐不出来了...

[1] 维基 Covariance_matrix

为方便，假设随机向量 x 满足 Ex=0 。此时，Var(x)=E(xx')。对于任意的向量或者矩阵 c ，由于 E(c'x)=c'Ex=0 ，所以有 Var(c'x) = E(c'xx'c)。再根据 E 的线性性，E(c'xx'c)=c'E(xx')c=c'Var(x)c 。

之所以把 Var(x)定义成 E((x-Ex)(x-Ex)')（而不是像 E((x-Ex)'(x-Ex))之类的东西）是因为 E((x-Ex)(x-Ex)')中包含了随机向量 x 的所有二阶信息。

你截图中不就是二维情形下的严格证明吗？

@geelaw 我大概明白了，你之前说“不能推断任何事情”是说“编译器不能推断任何事情”吗？这样的话，针对你的三个点，编译器可以知道 complete 和 close 相不相等；有可能是提醒“x.getProcessStatus() != complete || x.getProcessStatus() != close”恒为真因此跟 scopes 是否非空没关系；倒是认为两次 getProcessStatus()结果一样确实比较武断。但这里输出的应该是个 info 啊 note 之类的，所以可能宁滥勿缺？我也不知道是啥语言。

@geelaw 是在聊形式逻辑，可是不添加足够多的前提假设怎么聊形式逻辑呀。比如要讨论“去买一斤橘子，如果有西瓜就买一个”这句话的逻辑，当然要首先靠常识（“编程最佳实践”）把这个不严密的说法改写成（相对）严密的说法（去买一斤橘子；如果有西瓜就买一个西瓜），来显露出形式逻辑，然后把重点放到逻辑上，而不是宣称这句话可能有两种不同的理解方式啊。

我想你也知道 lz 只不过是突然发现「天不是甲或天不是乙」恒为真这件事，你当然可以认为这件事是初等的、没啥可讨论的，但是也没必要把讨论拉到 lz 在这个帖子中并不关注的另一部分。这对于其他人理解 lz 的重点没啥好处。

上次自己换 led 灯盘 还是很有成就感的。新时代换灯泡。