<abstract xml:lang="en" xmlns="http://www.w3.org/1999/xhtml"><p>The goal of this article is to prove Egoroff's Theorem [13]. However, there are not enough theorems related to sequence of measurable functions in Mizar Mathematical Library. So we proved many theorems about them. At the end of this article, we showed Egoroff's theorem.</p><p>MML identifier: MESFUNC8, version: 7.8.10 4.100.1011</p></abstract>

The goal of this article is to prove Egoroff's Theorem [13]. However, there are not enough theorems related to sequence of measurable functions in Mizar Mathematical Library. So we proved many theorems about them. At the end of this article, we showed Egoroff's theorem.MML identifier: MESFUNC8, version: 7.8.10 4.100.1011

Egoroff's Theorem

Gifu National College of Technology, Japan

Formalized Mathematics

{"article-title":"Egoroff's Theorem"}

The goal of this article is to prove Egoroff's Theorem [13]. However, there are not enough theorems related to sequence of measurable functions in Mizar...

Egoroff's Theorem

Publicado en línea: 20 mar 2009

Páginas: 57 - 63

DOI: https://doi.org/10.2478/v10037-008-0009-z

This content is open access.