Page 1

Displaying 1 – 1 of 1

Showing per page

Weak Convergence and Weak Convergence

Keiko Narita, Yasunari Shidama, Noboru Endou (2015)

Formalized Mathematics

In this article, we deal with weak convergence on sequences in real normed spaces, and weak* convergence on sequences in dual spaces of real normed spaces. In the first section, we proved some topological properties of dual spaces of real normed spaces. We used these theorems for proofs of Section 3. In Section 2, we defined weak convergence and weak* convergence, and proved some properties. By RNS_Real Mizar functor, real normed spaces as real number spaces already defined in the article [18],...

Currently displaying 1 – 1 of 1

Page 1