Element

Element[x,dom]

或者 x∈dom 声明 x 是定义域 dom 的一个元素.

Element[x,reg]

或者 x∈reg 声明 x 是值域 reg 的一个元素.

Element[x1|x2|…,dom]

声明所有 xi 是 dom 的元素.

Element[patt,dom]

声明匹配模式 patt 的任意表达式是 dom 的元素.

更多信息

  • x∈dom 可以用 x eldom 或 x \[Element]dom 输入.
  • Element 可以用来在 Simplify 和其相关函数中建立假定.
  • dom 可能是 中的数值定义域或者值域.
  • 可能的定义域 dom 是：
  • Algebraics代数数
    BooleansTrue 或 False
    Complexes复数
    Integers整数
    Primes素数
    Rationals有理数
    Reals实数
  • 可能的值域 reg 根据 RegionQ 定义.
  • x∈dom 当 x 是数值时，如果可能立即计算.
  • 对于定义域 dom, {x1,x2,…}∈dom 等价于 (x1|x2|…)∈dom.
  • 对于值域 reg，{x1,x2,…}∈reg 声明具有坐标 x1,x2,… 的点属于 reg.
  • {x1,x2,…}∈dom 按 (x1|x2|…)∈dom 计算，如果其真实性不能被立即确定.

范例

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

基本范例  (5)

测试 是否是实数元素：

检验点 是否属于单位圆盘：

表明一个表达式的成员域：

声明点 属于单位球：

使用元素声明在值域上求积分：

或者在区域上进行最优化：

用 elem 输入：

范围  (9)

测试域成员：

检验区域成员属性：

绘制图线：

域成员假定：

表示区域成员属性：

用假设测试域成员：

使用假定检验区域成员属性：

指定可变域：

在匹配模式的对象上指定假设：

TraditionalForm 格式化：

属性和关系  (2)

对于一个单个变量，否定 Element 将自动转换到 NotElement：

对于多重变量，否定 Element 不是自动化简：

用 LogicalExpand 求根据 NotElement 的表示：

Element 声明区域成员属性：

RegionMember 给出显式的区域成员条件：

可能存在的问题  (1)

当域成员不能决定时，Element 将保持不计算：

Wolfram Research (1999)，Element，Wolfram 语言函数，https://reference.wolfram.com/language/ref/Element.html （更新于 2014 年）.

文本

Wolfram Research (1999)，Element，Wolfram 语言函数，https://reference.wolfram.com/language/ref/Element.html （更新于 2014 年）.

CMS

Wolfram 语言. 1999. "Element." Wolfram 语言与系统参考资料中心. Wolfram Research. 最新版本 2014. https://reference.wolfram.com/language/ref/Element.html.

APA

Wolfram 语言. (1999). Element. Wolfram 语言与系统参考资料中心. 追溯自 https://reference.wolfram.com/language/ref/Element.html 年

BibTeX

@misc{reference.wolfram_2024_element, author="Wolfram Research", title="{Element}", year="2014", howpublished="\url{https://reference.wolfram.com/language/ref/Element.html}", note=[Accessed: 22-November-2024 ]}

BibLaTeX

@online{reference.wolfram_2024_element, organization={Wolfram Research}, title={Element}, year={2014}, url={https://reference.wolfram.com/language/ref/Element.html}, note=[Accessed: 22-November-2024 ]}