Have a personal or library account? Click to login
Events of Borel Sets, Construction of Borel Sets and Random Variables for Stochastic Finance Cover

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

Formalized Mathematics
Volume 22 (2014): Issue 3 (September 2014)
By: Peter Jaeger  
Open Access
|Mar 2014

References

  1. [1] Grzegorz Bancerek. The fundamental properties of natural numbers. Formalized Mathematics, 1(1):41-46, 1990.
    Search in Google Scholar
  2. [2] Grzegorz Bancerek. The ordinal numbers. Formalized Mathematics, 1(1):91-96, 1990.
    Search in Google Scholar
  3. [3] Siegfried Bosch. Lineare Algebra. Springer, Berlin, Heidelberg, 4 edition, 2008.
    Search in Google Scholar
  4. [4] Czesław Bylinski. Functions and their basic properties. Formalized Mathematics, 1(1): 55-65, 1990.
    Search in Google Scholar
  5. [5] Czesław Bylinski. Functions from a set to a set. Formalized Mathematics, 1(1):153-164, 1990.
    Search in Google Scholar
  6. [6] Czesław Bylinski. Partial functions. Formalized Mathematics, 1(2):357-367, 1990.
    Search in Google Scholar
  7. [7] Czesław Bylinski. Some basic properties of sets. Formalized Mathematics, 1(1):47-53, 1990.
    Search in Google Scholar
  8. [8] Gerd Fischer. Lineare Algebra. Vieweg, Braunschweig, Wiesbaden, 13 edition, 2002.10.1007/978-3-322-91933-5
    Search in Google Scholar
  9. [9] Hans F¨ollmer and Alexander Schied. Stochastic Finance: An Introduction in Discrete Time, volume 27 of Studies in Mathematics. de Gruyter, Berlin, 2nd edition, 2004.
    Search in Google Scholar
  10. [10] Otto Forster. Analysis 1. Vieweg-Verlag, Braunschweig/Wiesbaden, 6th edition, 2001.
    Search in Google Scholar
  11. [11] Hans-Otto Georgii. Stochastik, Einf¨uhrung in die Wahrscheinlichkeitstheorie und Statistik. deGruyter, Berlin, 2nd edition, 2004.
    Search in Google Scholar
  12. [12] Adam Grabowski. On the subcontinua of a real line. Formalized Mathematics, 11(3): 313-322, 2003.
    Search in Google Scholar
  13. [13] Harro Heuser. Lehrbuch der Analysis. Teil 1. Teubner, Stuttgart, Leipzig, Wiesbaden, 15 edition, 2003.
    Search in Google Scholar
  14. [14] Krzysztof Hryniewiecki. Basic properties of real numbers. Formalized Mathematics, 1(1): 35-40, 1990.
    Search in Google Scholar
  15. [15] Peter Jaeger. Elementary introduction to stochastic finance in discrete time. Formalized Mathematics, 20(1):1-5, 2012. doi:10.2478/v10037-012-0001-5.10.2478/v10037-012-0001-5
    Search in Google Scholar
  16. [16] Achim Klenke. Wahrscheinlichkeitstheorie. Springer-Verlag, Berlin, Heidelberg, 2006.
    Search in Google Scholar
  17. [17] Andrzej Kondracki. Basic properties of rational numbers. Formalized Mathematics, 1(5): 841-845, 1990.
    Search in Google Scholar
  18. [18] Jarosław Kotowicz. Convergent real sequences. Upper and lower bound of sets of real numbers. Formalized Mathematics, 1(3):477-481, 1990.
    Search in Google Scholar
  19. [19] Andrzej Nedzusiak. σ-fields and probability. Formalized Mathematics, 1(2):401-407, 1990.
    Search in Google Scholar
  20. [20] Hiroyuki Okazaki and Yasunari Shidama. Random variables and product of probability spaces. Formalized Mathematics, 21(1):33-39, 2013. doi:10.2478/forma-2013-0003.10.2478/forma-2013-0003
    Search in Google Scholar
  21. [21] Beata Padlewska. Families of sets. Formalized Mathematics, 1(1):147-152, 1990.
    Search in Google Scholar
  22. [22] Konrad Raczkowski and Andrzej Nedzusiak. Real exponents and logarithms. Formalized Mathematics, 2(2):213-216, 1991.
    Search in Google Scholar
  23. [23] Konrad Raczkowski and Andrzej Nedzusiak. Series. Formalized Mathematics, 2(4):449-452, 1991.
    Search in Google Scholar
  24. [24] Konrad Raczkowski and Paweł Sadowski. Topological properties of subsets in real numbers. Formalized Mathematics, 1(4):777-780, 1990.
    Search in Google Scholar
  25. [25] Andrzej Trybulec. On the sets inhabited by numbers. Formalized Mathematics, 11(4): 341-347, 2003.
    Search in Google Scholar
  26. [26] Andrzej Trybulec and Agata Darmochwał. Boolean domains. Formalized Mathematics, 1 (1):187-190, 1990.
    Search in Google Scholar
  27. [27] Michał J. Trybulec. Integers. Formalized Mathematics, 1(3):501-505, 1990.
    Search in Google Scholar
  28. [28] Zinaida Trybulec. Properties of subsets. Formalized Mathematics, 1(1):67-71, 1990.
    Search in Google Scholar
  29. [29] Edmund Woronowicz. Relations and their basic properties. Formalized Mathematics, 1 (1):73-83, 1990.
    Search in Google Scholar
  30. [30] Bo Zhang, Hiroshi Yamazaki, and Yatsuka Nakamura. Set sequences and monotone class. Formalized Mathematics, 13(4):435-441, 2005.
    Search in Google Scholar
DOI: https://doi.org/10.2478/forma-2014-0022 | Journal eISSN: 1898-9934 | Journal ISSN: 1426-2630
Journal RSS Feed
Language: English
Page range: 199 - 204
Submitted on: Jul 10, 2014
Published on: Mar 31, 2014
Published by: University of Białystok
In partnership with: Paradigm Publishing Services
Publication frequency: 1 issue per year
Keywords:
event,
Borel set,
random variable
Related subjects:
Computer sciences,
Computer sciences, other,
Mathematics,
General mathematics

© 2014 Peter Jaeger, published by University of Białystok
This work is licensed under the Creative Commons Attribution-ShareAlike 3.0 License.

Previous articleVolume 22 (2014): Issue 3 (September 2014)Next article