INFORMAZIONI SU QUESTO ARTICOLO

Cita

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

eISSN:
1898-9934
ISSN:
1426-2630
Lingua:
Inglese
Frequenza di pubblicazione:
4 volte all'anno
Argomenti della rivista:
Computer Sciences, other, Mathematics, General Mathematics