Enable JavaScript to interact with content and submit forms on Wolfram websites. Learn how

VectorGreaterEqual

xy 或 VectorGreaterEqual[{x,y}]

对于长度为 n 的向量，如果对于所有的元素 x_i≥y_i 成立，则给出 True.

x_κy 或 VectorGreaterEqual[{x,y},κ]

对于 x 和 y，如果 x-y∈κ，则给出 True，其中 κ 为正常凸锥.

更多信息

VectorGreaterEqual 给出向量、矩阵和数组的偏序，与向量空间运算兼容，因而对于所有的，和即意味着 .
VectorGreaterEqual 通常用于指定约束优化、不等式求解和积分的向量不等式.
当 x 和 y 为 -向量时，xy 等价于 . 即为了使关系式成立，x 的每个元素都大于或等于 y 的相应元素.
当 x 和 y 是维数为的数组时，xy 等价于 . 即为了使关系式成立，x 的每个元素都大于或等于 y 的相应元素.
如果 x 或 y 有非数字元素，xy 不会进行计算；否则通常会给出 True 或 False.
x 是长度为 n 的向量，y 为标量时，如果对于所有的元素 x_i≥y 成立，xy 给出 True.
通过使用字符  （用 v>= 或 \[VectorGreaterEqual] 输入），可用以下方式输入带有下标的向量不等式：
VectorGreaterEqual[{x,y}] 标准向量不等式

VectorGreaterEqual[{x,y},κ] 由锥 κ 定义的向量不等式
一般情况下，可以用合适的凸锥 κ 指定向量不等式. 集合与 κ 相同.
对于向量 x，中可能的锥规范 κ 包括：

	{"NonNegativeCone", n}		中使得的元素
	{"NormCone", n}		中使得 Norm[{x₁,…,x_n-1}]≤x_n 的元素
	"ExponentialCone"		中使得的元素
	"DualExponentialCone"		中使得或的元素
	{"PowerCone",α}		中使得的元素
	{"DualPowerCone",α}		中使得的元素

对于矩阵 x，中可能的锥规范 κ 包括：
"NonNegativeCone" 中使得的元素

{"SemidefiniteCone", n} 对称半正定矩阵
对于数组 x，中可能的锥规范 κ 包括：
"NonNegativeCone" 中使得的元素
对于精确数量，VectorGreaterEqual 在内部使用数值近似对数字进行排序. 此过程可能被全局变量 $MaxExtraPrecision 的设置所影响.

范例

打开所有单元关闭所有单元

基本范例 (3)

如果对于所有 i=1,…,n，x_i≥y_i 为 True，xy 给出 True：

如果对于任一 i=1,…,n，x_i<y_i 为 True，xy 给出 False：

表示向量不等式：

当 v 被替换为数值向量空间元素时，不等式给出 True 或 False：

也可用给出圆锥：

也可用给出圆锥：

也可用给出长方体：

范围 (7)

确定是否向量中的所有元素都为非负数：

确定是否所有元素都小于或等于 1：

!xy 并不意味着 xy：

对于每个元素，!x_i≥y_i 意味着 x_i<y_i：

比较两个矩阵的元素：

比较对称矩阵：

表示条件 Norm[{x,y}]<=1：

表示条件：

显示，其中 x,y 非负，α 位于 0 和 1 之间：

应用 (1)

VectorGreaterEqual 是比较许多元素大小的捷径：

属性和关系 (3)

VectorGreaterEqual 与向量空间运算兼容：

两边同时加上任意向量，：

两边都乘以任意正的常数，：

x_κy 是（非严格）偏序，即具有自反性、反对称和传递性：

自反性，即对于所有元素，：

反对称性，即如果和，则：

传递性，即如果和，则：

x_κy 是偏序而不是全序，所以有不可比的元素：

或都不成立，因为和是不可比的元素：

和的向量集合. 这些是可与进行比较的元素：

顶部