F. Riesz theorem

DOI10.1515/FORMA-2017-0017zbMath1381.46025OpenAlexW2779493305MaRDI QIDQ1688743

Keiko Narita, Kazuhisa Nakasho, Yasunari Shidama

Publication date: 11 January 2018

Published in: Formalized Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1515/forma-2017-0017

zbMATH Keywords

continuous functionsdual spacesF. Riesz theorem

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Banach spaces of continuous, differentiable or analytic functions (46E15) Duality and reflexivity in normed linear and Banach spaces (46B10)

Uses Software

• Mizar

Cites Work

• Four decades of {\textsc{Mizar}}. Foreword
• Dual spaces and Hahn-Banach theorem
• Riemann-Stieltjes integral
• The basic existence theorem of Riemann-Stieltjes integral
• Functional analysis, Sobolev spaces and partial differential equations
• Mizar: State-of-the-art and Beyond
• Unnamed Item
• Unnamed Item

This page was built for publication: F. Riesz theorem