主题：开个帖作为学术翻译问题请教专帖 -- 冰与火

我的形式化理论中,有大量的概念和定义,用我已有的数学知识已经表达不过来了.考虑引入拓扑中,但估计得等这篇文章投出去后再慢慢搞.

这里我用latex的语法来表示数学符号,大家应该都能看懂吧.

现在的问题是,有一组随机变量x_1,x_2,...,x_n组成一个向量\vec{x},我从这组随机变量中取m个元素组成一个新的向量\vec{x^*},这个向量和\vec{x}之间应该叫什么关系?(我现在定义第二个向量为第一个向量的一个m维投影,是否确切?),这组随机变量中拿掉这些变量后剩余的变量所组成的向量,该叫什么?(想叫它\vec{x^*}针对\vec{x}的补向量,是否合适?)

另外,想用\bot来表示投影关系,但我在另一篇可信计算的形式化模型中,对可信计算的支撑关系使用了\perp,觉得这两个符号太近似,有没有合适的符号来表示投影关系呢?