积极的现实

积极的现实

表示严格正实数的域。

细节

  • x个∈积极的现实如果x个是一个数字量。
  • 简化[快递∈积极的现实,驴]可用于尝试确定在给定假设下表达式是否对应于正实数。
  • (x个1|x个2|…)∈积极的现实和{x个1,x个2,…}∈积极的现实测试是否所有x个我是正实数。
  • 积极的现实输出为标准格式和传统形式作为。可以使用预赛.

示例

全部打开全部关闭

基本示例  (3)

是一个正实数：

如果那么是一个实数是一个正实数：

求方程的正实解：

范围  (4)

测试数字量是否为正数：

假设域成员身份：

指定函数应在其上运行的默认域：

测试几个数字是否为正实数：

如果任何数字显式不是正数，则结果为False（错误）:

应用  (1)

测试积极领域的成员资格是验证大型列表积极性的快速方法：

属性和关系  (4)

中的成员积极的现实相当于中的成员资格雷亚尔积极的一面：

积极的现实包含积极理性和正整数:

积极的现实包含在中复合物:

积极的现实与分离非积极现实和消极现实:

Wolfram Research（2019），积极现实，Wolfram语言功能，https://reference.wolfram.com/language/ref/PositiveReals.html。

文本

Wolfram Research（2019），PositiveReals，Wolfram语言函数，https://reference.wolfram.com/language/ref/PositiveReals.html。

CMS公司

沃尔夫拉姆语言。2019.《积极现实》，Wolfram语言与系统文档中心。Wolfram研究。https://reference.wolfram.com/language/ref/PositiveReals.html。

亚太地区

沃尔夫拉姆语言。(2019). 积极现实。Wolfram语言与系统文档中心。检索自https://reference.wolfram.com/language/ref/PositiveReals.html

BibTeX公司

@misc{reference.wolfram_2024_positivereals，author=“wolfram Research”，title=“{positivereals}”，year=“2019”，howpublished=“\url{https://reference.jolfram.com/language/ref/PositiveReales.html}”]}

BibLaTeX公司

@在线{reference.wolfram_2024_positiverals，organization={wolfram Research}，title={positivereals}，year={2019}，url={https://reference.wolfram.com/language/ref/positivereals.html}，note=[访问时间：2024年6月20日]}