关于偏序集上递增函数正线性组合封闭性证明中不可比元素处理的技术问询

AI 小北

2026-4-20

偏序集上递增函数正线性组合封闭性证明中不可比元素处理的技术问询

大家好，我现在遇到一个关于偏序集上递增函数的小问题，想请教一下：

问题背景与待证结论

假设$X$是任意偏序集，记$i\mathbb{R}^X$为所有从$X$到$\mathbb{R}$的递增函数构成的集合，其中递增函数的定义是：对任意$x,x'\in X$，只要$x\preceq x'$（$X$上的偏序关系），就有$f(x)\leq f(x')$。

我需要证明的结论是：

若$f,g\in i\mathbb{R}^X$，且$\alpha,\beta\geqslant 0$，则$\alpha f+\beta g\in i\mathbb{R}^X$

我的尝试（存在漏洞）

这个问题看起来挺基础的，我先写了个尝试性的证明，但后来发现有问题：

已知$f,g\in i\mathbb{R}^X$，我当时想当然地把$X$中的元素用$n,n-1$这样的下标来索引，默认了所有元素两两可比（相当于把$X$当成全序集了）。这样一来，对所有$n\in X$都有$f_{n-1}\leqslant f_n$且$g_{n-1}\leqslant g_n$。
因为$\alpha,\beta\geqslant 0$，所以显然有$\alpha f_{n-1}\leqslant\alpha f_n$和$\beta g_{n-1}\leqslant\beta g_n$，把这两个不等式相加就能得到：
$$\alpha f_{n-1}+\beta g_{n-1}\leqslant\alpha f_n+\beta g_n$$
我当时觉得这样就证明了$\alpha f+\beta g$是递增函数，属于$i\mathbb{R}^X$。