Element 
Element
更多信息
- x∈dom 可以用 x
el
dom 或 x \[Element]dom 输入. - Element 可以用来在 Simplify 和其相关函数中建立假定.
- dom 可能是
中的数值定义域或者值域. - 可能的定义域 dom 是：
-
Algebraics 代数数 Booleans True 或 False Complexes 复数 Integers 整数 Primes 素数 Rationals 有理数 Reals 实数 - 可能的值域 reg 根据 RegionQ 定义.
- x∈dom 当 x 是数值时，如果可能立即计算.
- 对于定义域 dom, {x1,x2,…}∈dom 等价于 (x1x2…)∈dom.
- 对于值域 reg，{x1,x2,…}∈reg 声明具有坐标 x1,x2,… 的点属于 reg.
- {x1,x2,…}∈dom 按 (x1x2…)∈dom 计算，如果其真实性不能被立即确定.
范例
打开所有单元 关闭所有单元基本范例 (5)
Pi ∈ Reals
{1 / 2, 1 / 3}∈Disk[]Element[x + y, Reals]
Element[{x, y, z}, Ball[]]Integrate[1, {x, y, z}∈Ball[]]MinValue[x + y, {x, y, z}∈Ball[]]
输入：x∈Reals范围 (9)
Element[Sqrt[2], #]& /@ {Complexes, Algebraics, Reals, Rationals, Integers, Primes}Subscript[ℛ, 1] = Disk[{1, 1}];
Subscript[ℛ, 2] = Rectangle[{0, 0}, {1, 1}];
Subscript[ℛ, 3] = ImplicitRegion[x ^ 2 ≤ y ^ 3 + 1, {x, y}];
Subscript[ℛ, 4] = RegionUnion[Disk[{-1, 0}], Line[{{0, 0}, {2, 2}}]];Element[{3 / 2, 3 / 2}, #]& /@ {Subscript[ℛ, 1], Subscript[ℛ, 2], Subscript[ℛ, 3], Subscript[ℛ, 4]}Show[{DiscretizeRegion[Subscript[ℛ, 3]], Graphics[{{Opacity[0.5], {Orange, Subscript[ℛ, 1]}, {Yellow, Subscript[ℛ, 2]}, {Green, Disk[{-1, 0}], Line[{{0, 0}, {2, 2}}]}}, {Red, PointSize[Large], Point[{3 / 2, 3 / 2}]}}]}]Refine[Sin[Pi x], Element[x, Integers]]Integrate[Abs[1 - Abs[x + 2]], x, Assumptions -> Element[x, Reals]]Refine[Sqrt[(x + y - 2) ^ 2], Element[{x, y}, Disk[]]]Solve[x + y == 1 / 2 && Element[{x, y}, Circle[]], {x, y}]Integrate[1, Element[{x, y}, Circle[]]]Refine[Element[x ^ y + Log[x + y], Reals], x > 0 && y > 0]Refine[Element[{x, y}, Rectangle[{-1, -1}, {1, 1}]], x ^ 2 + y ^ 2 ≤ 1]Reduce[E ^ x - 2x == 3 && Element[x, Reals], x]FindInstance[x ^ 2 - 2y ^ 2 == 1 && x > 10 ^ 10 && Element[x | y, Integers], {x, y}]Minimize[{x - y, x ^ 2 + y ^ 2 ≤ 100 && Element[x | y, Integers]}, {x, y}]Simplify[Sin[2Pi x[1] + 4x[2]x[3] ^ 2Pi + a Pi], Element[x[_], Integers]]TraditionalForm 格式化：
Element[x, Reals]//TraditionalForm属性和关系 (2)
对于一个单个变量，否定 Element 将自动转换到 NotElement：
!Element[a, Reals]对于多重变量，否定 Element 不是自动化简：
!Element[a | b | c, Reals]用 LogicalExpand 求根据 NotElement 的表示：
LogicalExpand[%]Element 声明区域成员属性：
Element[{x, y}, Disk[]]RegionMember 给出显式的区域成员条件：
RegionMember[Disk[], {x, y}]可能存在的问题 (1)
当域成员不能决定时，Element 将保持不计算：
Element[I ^ Pi, Algebraics]
NKS|Online
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 年