Egoroff’s Theorem

Pole DC	Wartość	Język
dc.contributor.author	Endou, Noboru	-
dc.contributor.author	Shidama, Yasunari	-
dc.contributor.author	Narita, Keiko	-
dc.date.accessioned	2026-07-30T07:55:25Z	-
dc.date.available	2026-07-30T07:55:25Z	-
dc.date.issued	2008	-
dc.identifier.citation	Formalized Mathematics, Volume 16, Issue 1, Pages 57-63	pl
dc.identifier.issn	1426-2630	-
dc.identifier.uri	http://hdl.handle.net/11320/20684	-
dc.description.abstract	The goal of this article is to prove Egoroff’s Theorem [13]. However, there are not enough theorems related to sequence of measurable func tions in Mizar Mathematical Library. So we proved many theorems about them. At the end of this article, we showed Egoroff’s theorem.	pl
dc.language.iso	en	pl
dc.publisher	University of Białystok	pl
dc.rights	Attribution-ShareAlike 4.0 International (CC BY-SA 4.0)	-
dc.rights.uri	https://creativecommons.org/licenses/by-sa/4.0/	-
dc.title	Egoroff’s Theorem	pl
dc.type	Article	pl
dc.rights.holder	© 2009 Noboru Endou, Yasunari Shidama, Keiko Narita, published by University of Białystok	pl
dc.rights.holder	This work is licensed under the Creative Commons License.	pl
dc.identifier.doi	10.2478/v10037-008-0009-z	-
dc.description.Affiliation	Noboru Endou - Gifu National College of Technology, Japan	pl
dc.description.Affiliation	Yasunari Shidama - Shinshu University, Nagano, Japan	pl
dc.description.Affiliation	Keiko Narita - Hirosaki-city, Aomori, Japan	pl
dc.description.references	Grzegorz Bancerek. The fundamental properties of natural numbers. Formalized Mathematics, 1(1):41–46, 1990.	pl
dc.description.references	Grzegorz Bancerek. K¨onig’s theorem. Formalized Mathematics, 1(3):589–593, 1990.	pl
dc.description.references	Grzegorz Bancerek. The ordinal numbers. Formalized Mathematics, 1(1):91–96, 1990.	pl
dc.description.references	Józef Białas. Series of positive real numbers. Measure theory. Formalized Mathematics, 2(1):173–183, 1991.	pl
dc.description.references	Józef Białas. The σ-additive measure theory. Formalized Mathematics, 2(2):263–270, 1991.	pl
dc.description.references	Józef Białas. Some properties of the intervals. Formalized Mathematics, 5(1):21–26, 1996.	pl
dc.description.references	Czesław Byliński. Functions from a set to a set. Formalized Mathematics, 1(1):153–164, 1990.	pl
dc.description.references	Czesław Byliński. Partial functions. Formalized Mathematics, 1(2):357–367, 1990.	pl
dc.description.references	Noboru Endou and Yasunari Shidama. Integral of measurable function. Formalized Mathematics, 14(2):53–70, 2006.	pl
dc.description.references	Noboru Endou, Katsumi Wasaki, and Yasunari Shidama. Basic properties of extended real numbers. Formalized Mathematics, 9(3):491–494, 2001.	pl
dc.description.references	Noboru Endou, Katsumi Wasaki, and Yasunari Shidama. Definitions and basic properties of measurable functions. Formalized Mathematics, 9(3):495–500, 2001.	pl
dc.description.references	Adam Grabowski. On the Kuratowski limit operators. Formalized Mathematics, 11(4):399–409, 2003.	pl
dc.description.references	P. R. Halmos. Measure Theory. Springer-Verlag, 1987.	pl
dc.description.references	Jarosław Kotowicz and Yuji Sakai. Properties of partial functions from a domain to the set of real numbers. Formalized Mathematics, 3(2):279–288, 1992.	pl
dc.description.references	Andrzej Nędzusiak. σ-fields and probability. Formalized Mathematics, 1(2):401–407, 1990.	pl
dc.description.references	Beata Padlewska. Families of sets. Formalized Mathematics, 1(1):147–152, 1990.	pl
dc.description.references	Beata Perkowska. Functional sequence from a domain to a domain. Formalized Mathematics, 3(1):17–21, 1992.	pl
dc.description.references	Zinaida Trybulec. Properties of subsets. Formalized Mathematics, 1(1):67–71, 1990.	pl
dc.description.references	Edmund Woronowicz. Relations and their basic properties. Formalized Mathematics, 1(1):73–83, 1990.	pl
dc.description.references	Edmund Woronowicz. Relations defined on sets. Formalized Mathematics, 1(1):181–186, 1990	pl
dc.description.references	Hiroshi Yamazaki, Noboru Endou, Yasunari Shidama, and Hiroyuki Okazaki. Inferior limit, superior limit and convergence of sequences of extended real numbers. Formalized Mathematics, 15(4):231–236, 2007.	pl
dc.description.references	Bo Zhang, Hiroshi Yamazaki, and Yatsuka Nakamura. Limit of sequence of subsets. Formalized Mathematics, 13(2):347–352, 2005	pl
dc.identifier.eissn	1898-9934	-
dc.description.volume	16	pl
dc.description.issue	1	pl
dc.description.firstpage	57	pl
dc.description.lastpage	63	pl
dc.identifier.citation2	Formalized Mathematics	pl
Występuje w kolekcji(ach):	Formalized Mathematics, 2008, Volume 16, Issue 1

Pliki w tej pozycji:

Plik	Opis	Rozmiar	Format
Egoroff's_Theorem.pdf		250,18 kB	Adobe PDF	Otwórz

Pokaż uproszczony widok rekordu Zobacz statystyki

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