REPOZYTORIUM UNIWERSYTETU
W BIAŁYMSTOKU
UwB

Proszę używać tego identyfikatora do cytowań lub wstaw link do tej pozycji: http://hdl.handle.net/11320/3718
Pełny rekord metadanych
Pole DCWartośćJęzyk
dc.contributor.authorJaeger, Peter-
dc.date.accessioned2015-12-09T20:41:01Z-
dc.date.available2015-12-09T20:41:01Z-
dc.date.issued2014-
dc.identifier.citationFormalized Mathematics, Volume 22, Issue 3, 2014, Pages 199-204-
dc.identifier.issn1426-2630-
dc.identifier.issn1898-9934-
dc.identifier.urihttp://hdl.handle.net/11320/3718-
dc.description.abstractWe 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).-
dc.language.isoen-
dc.publisherDe Gruyter Open-
dc.subjectevent-
dc.subjectBorel set-
dc.subjectrandom variable-
dc.titleEvents of Borel Sets, Construction of Borel Sets and Random Variables for Stochastic Finance-
dc.typeArticle-
dc.identifier.doi10.2478/forma-2014-0022-
dc.description.AffiliationSiegmund-Schacky-Str. 18a 80993 Munich, Germany-
dc.description.referencesGrzegorz Bancerek. The fundamental properties of natural numbers. Formalized Mathematics, 1(1):41-46, 1990.-
dc.description.referencesGrzegorz Bancerek. The ordinal numbers. Formalized Mathematics, 1(1):91-96, 1990.-
dc.description.referencesSiegfried Bosch. Lineare Algebra. Springer, Berlin, Heidelberg, 4 edition, 2008.-
dc.description.referencesCzesław Bylinski. Functions and their basic properties. Formalized Mathematics, 1(1): 55-65, 1990.-
dc.description.referencesCzesław Bylinski. Functions from a set to a set. Formalized Mathematics, 1(1):153-164, 1990.-
dc.description.referencesCzesław Bylinski. Partial functions. Formalized Mathematics, 1(2):357-367, 1990.-
dc.description.referencesCzesław Bylinski. Some basic properties of sets. Formalized Mathematics, 1(1):47-53, 1990.-
dc.description.referencesGerd Fischer. Lineare Algebra. Vieweg, Braunschweig, Wiesbaden, 13 edition, 2002.-
dc.description.referencesHans F¨ollmer and Alexander Schied. Stochastic Finance: An Introduction in Discrete Time, volume 27 of Studies in Mathematics. de Gruyter, Berlin, 2nd edition, 2004.-
dc.description.referencesOtto Forster. Analysis 1. Vieweg-Verlag, Braunschweig/Wiesbaden, 6th edition, 2001.-
dc.description.referencesHans-Otto Georgii. Stochastik, Einf¨uhrung in die Wahrscheinlichkeitstheorie und Statistik. deGruyter, Berlin, 2nd edition, 2004.-
dc.description.referencesAdam Grabowski. On the subcontinua of a real line. Formalized Mathematics, 11(3): 313-322, 2003.-
dc.description.referencesHarro Heuser. Lehrbuch der Analysis. Teil 1. Teubner, Stuttgart, Leipzig, Wiesbaden, 15 edition, 2003.-
dc.description.referencesKrzysztof Hryniewiecki. Basic properties of real numbers. Formalized Mathematics, 1(1): 35-40, 1990.-
dc.description.referencesPeter Jaeger. Elementary introduction to stochastic finance in discrete time. Formalized Mathematics, 20(1):1-5, 2012. doi:10.2478/v10037-012-0001-5.-
dc.description.referencesAchim Klenke. Wahrscheinlichkeitstheorie. Springer-Verlag, Berlin, Heidelberg, 2006.-
dc.description.referencesAndrzej Kondracki. Basic properties of rational numbers. Formalized Mathematics, 1(5): 841-845, 1990.-
dc.description.referencesJarosław Kotowicz. Convergent real sequences. Upper and lower bound of sets of real numbers. Formalized Mathematics, 1(3):477-481, 1990.-
dc.description.referencesAndrzej Nedzusiak. σ-fields and probability. Formalized Mathematics, 1(2):401-407, 1990.-
dc.description.referencesHiroyuki Okazaki and Yasunari Shidama. Random variables and product of probability spaces. Formalized Mathematics, 21(1):33-39, 2013. doi:10.2478/forma-2013-0003.-
dc.description.referencesBeata Padlewska. Families of sets. Formalized Mathematics, 1(1):147-152, 1990.-
dc.description.referencesKonrad Raczkowski and Andrzej Nedzusiak. Real exponents and logarithms. Formalized Mathematics, 2(2):213-216, 1991.-
dc.description.referencesKonrad Raczkowski and Andrzej Nedzusiak. Series. Formalized Mathematics, 2(4):449-452, 1991.-
dc.description.referencesKonrad Raczkowski and Paweł Sadowski. Topological properties of subsets in real numbers. Formalized Mathematics, 1(4):777-780, 1990.-
dc.description.referencesAndrzej Trybulec. On the sets inhabited by numbers. Formalized Mathematics, 11(4): 341-347, 2003.-
dc.description.referencesAndrzej Trybulec and Agata Darmochwał. Boolean domains. Formalized Mathematics, 1 (1):187-190, 1990.-
dc.description.referencesMichał J. Trybulec. Integers. Formalized Mathematics, 1(3):501-505, 1990.-
dc.description.referencesZinaida Trybulec. Properties of subsets. Formalized Mathematics, 1(1):67-71, 1990.-
dc.description.referencesEdmund Woronowicz. Relations and their basic properties. Formalized Mathematics, 1 (1):73-83, 1990.-
dc.description.referencesBo Zhang, Hiroshi Yamazaki, and Yatsuka Nakamura. Set sequences and monotone class. Formalized Mathematics, 13(4):435-441, 2005.-
Występuje w kolekcji(ach):Formalized Mathematics, 2014, Volume 22, Issue 3

Pliki w tej pozycji:
Plik Opis RozmiarFormat 
forma-2014-0022.pdf242,46 kBAdobe PDFOtwórz
Pokaż uproszczony widok rekordu Zobacz statystyki


Pozycja ta dostępna jest na podstawie licencji Licencja Creative Commons CCL Creative Commons