W BIAŁYMSTOKU
Proszę używać tego identyfikatora do cytowań lub wstaw link do tej pozycji:
http://hdl.handle.net/11320/20684| Tytuł: | Egoroff’s Theorem |
| Autorzy: | Endou, Noboru Shidama, Yasunari Narita, Keiko |
| Data wydania: | 2008 |
| Data dodania: | 30-lip-2026 |
| Wydawca: | University of Białystok |
| Źródło: | Formalized Mathematics, Volume 16, Issue 1, Pages 57-63 |
| Abstrakt: | 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. |
| Afiliacja: | Noboru Endou - Gifu National College of Technology, Japan Yasunari Shidama - Shinshu University, Nagano, Japan Keiko Narita - Hirosaki-city, Aomori, Japan |
| URI: | http://hdl.handle.net/11320/20684 |
| DOI: | 10.2478/v10037-008-0009-z |
| ISSN: | 1426-2630 |
| e-ISSN: | 1898-9934 |
| Typ Dokumentu: | Article |
| metadata.dc.rights.uri: | https://creativecommons.org/licenses/by-sa/4.0/ |
| Właściciel praw: | © 2009 Noboru Endou, Yasunari Shidama, Keiko Narita, published by University of Białystok This work is licensed under the Creative Commons License. |
| 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 |
Pozycja ta dostępna jest na podstawie licencji Licencja Creative Commons CCL
