The orthogonal projection and the Riesz representation theorem
type: Item
instance of: scholarly article
title: The orthogonal projection and the Riesz representation theorem
zbMATH Open document ID: 1321.46022
author: Keiko Narita
author: Noboru Endou
author: Yasunari Shidama
published in: Formalized Mathematics
publication date: 2015-10-07T00:00:00Z
Mathematics Subject Classification ID: 46C05
Mathematics Subject Classification ID: 46E20
Mathematics Subject Classification ID: 03B35
zbMATH DE Number: 6490785
zbMATH Keywords: normed linear spaces
zbMATH Keywords: Banach spaces
zbMATH Keywords: duality
zbMATH Keywords: orthogonal projection
zbMATH Keywords: Riesz representation
describes a project that uses: Mizar
MaRDI profile type: Publication
full work available at URL: forma-2015-0020
OpenAlex ID: W2294649372
cites work: Semantics of MML query -- ordering
cites work: Functional analysis, Sobolev spaces and partial differential equations
cites work: Dual spaces and Hahn-Banach theorem
cites work: Q4340096
cites work: Q5203581
cites work: Q3874718
DOI: 10.1515/FORMA-2015-0020
description: scientific article; zbMATH DE number 6490785