Name
Abstract | ||
|---|---|---|
We have been working on the formalization of the probability and the randomness. In [15] and [16], we formalized some theorems concerning the real-valued random variables and the product of two probability spaces. In this article, we present the generalized formalization of [15] and [16]. First, we formalize the random variables of arbitrary set and prove the equivalence between random variable on Sigma, Borel sets and a real-valued random variable on Sigma. Next, we formalize the product of countably infinite probability spaces. |
Year | DOI | Venue |
|---|---|---|
2013 | 10.2478/forma-2013-0003 | FORMALIZED MATHEMATICS |
Field | DocType | Volume |
Random element,Discrete mathematics,Convergence of random variables,Random variate,Random variable,Combinatorics,Algebra of random variables,Mathematical analysis,Multivariate random variable,Sum of normally distributed random variables,Mathematics,Random compact set | Journal | 21 |
Issue | ISSN | Citations |
1 | 1898-9934 | 2 |
PageRank | References | Authors |
0.84 | 4 | 2 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Hiroyuki Okazaki | 1 | 2 | 0.84 |
| Yasunari Shidama | 2 | 166 | 72.47 |