...
首页> 外文期刊>Formalized Mathematics >Events of Borel Sets, Construction of Borel Sets and Random Variables for Stochastic Finance
【24h】

Events of Borel Sets, Construction of Borel Sets and Random Variables for Stochastic Finance

机译:Borel集的事件,Borel集的构建和随机金融的随机变量

获取原文
           

摘要

We consider special events of Borel sets with the aim to prove, that the set of the irrational numbers is an event of the Borel sets. The set of the natural numbers, the set of the integer numbers and the set of the rational numbers are countable, so we can use the literature [10] (pp. 78-81) as a basis for the similar construction of the proof. Next we prove, that different sets can construct the Borel sets [16] (pp. 9-10). Literature [16] (pp. 9-10) and [11] (pp. 11-12) gives an overview, that there exists some other sets for this construction. Last we define special functions as random variables for stochastic finance in discrete time. The relevant functions are implemented in the article [15], see [9] (p. 4). The aim is to construct events and random variables, which can easily be used with a probability measure. See as an example theorems (10) and (14) in [20]. Then the formalization is more similar to the presentation used in the book [9]. As a background, further literatures is [3] (pp. 9-12), [13] (pp. 17-20), and [8] (pp.32-35).
机译:我们考虑Borel集的特殊事件,目的是证明无理数集是Borel集的事件。自然数的集合,整数​​的集合和有理数的集合都是可数的,因此我们可以使用文献[10](pp。78-81)作为类似证明的基础。接下来我们证明,不同的集合可以构造Borel集[16](第9-10页)。文献[16](第9-10页)和[11](第11-12页)给出了一个概述,即该构造还有其他一些设置。最后,我们将特殊功能定义为离散时间随机金融随机变量。相关功能在文章[15]中实现,请参见[9](p。4)。目的是构造事件和随机变量,可以很容易地将其与概率度量一起使用。参见[20]中的定理(10)和(14)的例子。然后,形式化与本书[9]中使用的表示形式更加相似。作为背景,进一步的文献是[3](第9-12页),[13](第17-20页)和[8](第32-35页)。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号