REPOZYTORIUM UNIWERSYTETU
W BIAŁYMSTOKU
UwB

Proszę używać tego identyfikatora do cytowań lub wstaw link do tej pozycji: http://hdl.handle.net/11320/3570
Tytuł: On Lp Space Formed by Real-Valued Partial Functions
Autorzy: Watase, Yasushige
Endou, Noboru
Shidama, Yasunari
Data wydania: 2010
Data dodania: 2-gru-2015
Wydawca: De Gruyter Open
Źródło: Formalized Mathematics, Volume 18, Issue 3, 2010, Pages 159-169
Abstrakt: This article is the continuation of [31]. We define the set of Lp integrable functions - the set of all partial functions whose absolute value raised to the p-th power is integrable. We show that Lp integrable functions form the Lp space. We also prove Minkowski's inequality, Hölder's inequality and that Lp space is Banach space ([15], [27]).
Afiliacja: Watase Yasushige - Graduate School of Science and Technology, Shinshu University, Nagano, Japan
Endou Noboru - Gifu National College of Technology, Japan
Shidama Yasunari - Shinshu University, Nagano, Japan
URI: http://hdl.handle.net/11320/3570
DOI: 10.2478/v10037-010-0018-6
ISSN: 1426-2630
1898-9934
Typ Dokumentu: Article
Występuje w kolekcji(ach):Formalized Mathematics, 2010, Volume 18, Issue 3

Pliki w tej pozycji:
Plik Opis RozmiarFormat 
v10037-010-0018-6.pdf276,1 kBAdobe PDFOtwórz
Pokaż pełny widok rekordu Zobacz statystyki


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