Weak convergence and weak\(^\ast\) convergence
type: Item
instance of: scholarly article
title: Weak convergence and weak\(^\ast\) convergence
zbMATH Open document ID: 1321.46026
author: Keiko Narita
author: Yasunari Shidama
author: Noboru Endou
published in: Formalized Mathematics
publication date: 2015-10-07T00:00:00Z
Mathematics Subject Classification ID: 46E15
Mathematics Subject Classification ID: 46B10
Mathematics Subject Classification ID: 03B35
zbMATH DE Number: 6490784
zbMATH Keywords: normed linear spaces
zbMATH Keywords: Banach spaces
zbMATH Keywords: duality and reflexivity
zbMATH Keywords: weak topologies
zbMATH Keywords: weak\(^\ast\) topologies
describes a project that uses: Mizar
MaRDI profile type: Publication
full work available at URL: forma-2015-0019
OpenAlex ID: W2248414690
cites work: Semantics of MML query -- ordering
cites work: Functional analysis, Sobolev spaces and partial differential equations
cites work: Topological properties of real normed space
cites work: Dual spaces and Hahn-Banach theorem
cites work: Bidual spaces and reflexivity of real normed spaces
cites work: Q5653193
cites work: Q4340096
cites work: Q5203581
cites work: Q3874718
DOI: 10.1515/FORMA-2015-0019
description: scientific article; zbMATH DE number 6490784