Eintrag weiter verarbeiten
Weak Convergence and Weak Convergence
Gespeichert in:
| Zeitschriftentitel: | Formalized Mathematics |
|---|---|
| Personen und Körperschaften: | , , |
| In: | Formalized Mathematics, 23, 2015, 3, S. 231-241 |
| Format: | E-Article |
| Sprache: | Englisch |
| veröffentlicht: |
Walter de Gruyter GmbH
|
| Schlagwörter: |
| author_facet |
Narita, Keiko Shidama, Yasunari Endou, Noboru Narita, Keiko Shidama, Yasunari Endou, Noboru |
|---|---|
| author |
Narita, Keiko Shidama, Yasunari Endou, Noboru |
| spellingShingle |
Narita, Keiko Shidama, Yasunari Endou, Noboru Formalized Mathematics Weak Convergence and Weak Convergence Applied Mathematics Computational Mathematics |
| author_sort |
narita, keiko |
| spelling |
Narita, Keiko Shidama, Yasunari Endou, Noboru 1898-9934 Walter de Gruyter GmbH Applied Mathematics Computational Mathematics http://dx.doi.org/10.1515/forma-2015-0019 <jats:title>Abstract</jats:title> <jats:p>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], we regarded sequences of real numbers as sequences of RNS_Real. So we proved the last theorem in this section using the theorem (8) from [25]. In Section 3, we defined weak sequential compactness of real normed spaces. We showed some lemmas for the proof and proved the theorem of weak sequential compactness of reflexive real Banach spaces. We referred to [36], [23], [24] and [3] in the formalization.</jats:p> Weak Convergence and Weak Convergence Formalized Mathematics |
| doi_str_mv |
10.1515/forma-2015-0019 |
| facet_avail |
Online Free |
| finc_class_facet |
Mathematik |
| format |
ElectronicArticle |
| fullrecord |
blob:ai-49-aHR0cDovL2R4LmRvaS5vcmcvMTAuMTUxNS9mb3JtYS0yMDE1LTAwMTk |
| id |
ai-49-aHR0cDovL2R4LmRvaS5vcmcvMTAuMTUxNS9mb3JtYS0yMDE1LTAwMTk |
| institution |
DE-Brt1 DE-Zwi2 DE-D161 DE-Gla1 DE-Zi4 DE-15 DE-Pl11 DE-Rs1 DE-105 DE-14 DE-Ch1 DE-L229 DE-D275 DE-Bn3 |
| imprint |
Walter de Gruyter GmbH, 2015 |
| imprint_str_mv |
Walter de Gruyter GmbH, 2015 |
| issn |
1898-9934 |
| issn_str_mv |
1898-9934 |
| language |
English |
| mega_collection |
Walter de Gruyter GmbH (CrossRef) |
| match_str |
narita2015weakconvergenceandweakconvergence |
| publishDateSort |
2015 |
| publisher |
Walter de Gruyter GmbH |
| recordtype |
ai |
| record_format |
ai |
| series |
Formalized Mathematics |
| source_id |
49 |
| title |
Weak Convergence and Weak Convergence |
| title_unstemmed |
Weak Convergence and Weak Convergence |
| title_full |
Weak Convergence and Weak Convergence |
| title_fullStr |
Weak Convergence and Weak Convergence |
| title_full_unstemmed |
Weak Convergence and Weak Convergence |
| title_short |
Weak Convergence and Weak Convergence |
| title_sort |
weak convergence and weak convergence |
| topic |
Applied Mathematics Computational Mathematics |
| url |
http://dx.doi.org/10.1515/forma-2015-0019 |
| publishDate |
2015 |
| physical |
231-241 |
| description |
<jats:title>Abstract</jats:title>
<jats:p>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], we regarded sequences of real numbers as sequences of RNS_Real. So we proved the last theorem in this section using the theorem (8) from [25]. In Section 3, we defined weak sequential compactness of real normed spaces. We showed some lemmas for the proof and proved the theorem of weak sequential compactness of reflexive real Banach spaces. We referred to [36], [23], [24] and [3] in the formalization.</jats:p> |
| container_issue |
3 |
| container_start_page |
231 |
| container_title |
Formalized Mathematics |
| container_volume |
23 |
| format_de105 |
Article, E-Article |
| format_de14 |
Article, E-Article |
| format_de15 |
Article, E-Article |
| format_de520 |
Article, E-Article |
| format_de540 |
Article, E-Article |
| format_dech1 |
Article, E-Article |
| format_ded117 |
Article, E-Article |
| format_degla1 |
E-Article |
| format_del152 |
Buch |
| format_del189 |
Article, E-Article |
| format_dezi4 |
Article |
| format_dezwi2 |
Article, E-Article |
| format_finc |
Article, E-Article |
| format_nrw |
Article, E-Article |
| _version_ |
1792343919668756480 |
| geogr_code |
not assigned |
| last_indexed |
2024-03-01T16:59:21.804Z |
| geogr_code_person |
not assigned |
| openURL |
url_ver=Z39.88-2004&ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fvufind.svn.sourceforge.net%3Agenerator&rft.title=Weak+Convergence+and+Weak+Convergence&rft.date=2015-09-01&genre=article&issn=1898-9934&volume=23&issue=3&spage=231&epage=241&pages=231-241&jtitle=Formalized+Mathematics&atitle=Weak+Convergence+and+Weak+Convergence&aulast=Endou&aufirst=Noboru&rft_id=info%3Adoi%2F10.1515%2Fforma-2015-0019&rft.language%5B0%5D=eng |
| SOLR | |
| _version_ | 1792343919668756480 |
| author | Narita, Keiko, Shidama, Yasunari, Endou, Noboru |
| author_facet | Narita, Keiko, Shidama, Yasunari, Endou, Noboru, Narita, Keiko, Shidama, Yasunari, Endou, Noboru |
| author_sort | narita, keiko |
| container_issue | 3 |
| container_start_page | 231 |
| container_title | Formalized Mathematics |
| container_volume | 23 |
| description | <jats:title>Abstract</jats:title> <jats:p>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], we regarded sequences of real numbers as sequences of RNS_Real. So we proved the last theorem in this section using the theorem (8) from [25]. In Section 3, we defined weak sequential compactness of real normed spaces. We showed some lemmas for the proof and proved the theorem of weak sequential compactness of reflexive real Banach spaces. We referred to [36], [23], [24] and [3] in the formalization.</jats:p> |
| doi_str_mv | 10.1515/forma-2015-0019 |
| facet_avail | Online, Free |
| finc_class_facet | Mathematik |
| format | ElectronicArticle |
| format_de105 | Article, E-Article |
| format_de14 | Article, E-Article |
| format_de15 | Article, E-Article |
| format_de520 | Article, E-Article |
| format_de540 | Article, E-Article |
| format_dech1 | Article, E-Article |
| format_ded117 | Article, E-Article |
| format_degla1 | E-Article |
| format_del152 | Buch |
| format_del189 | Article, E-Article |
| format_dezi4 | Article |
| format_dezwi2 | Article, E-Article |
| format_finc | Article, E-Article |
| format_nrw | Article, E-Article |
| geogr_code | not assigned |
| geogr_code_person | not assigned |
| id | ai-49-aHR0cDovL2R4LmRvaS5vcmcvMTAuMTUxNS9mb3JtYS0yMDE1LTAwMTk |
| imprint | Walter de Gruyter GmbH, 2015 |
| imprint_str_mv | Walter de Gruyter GmbH, 2015 |
| institution | DE-Brt1, DE-Zwi2, DE-D161, DE-Gla1, DE-Zi4, DE-15, DE-Pl11, DE-Rs1, DE-105, DE-14, DE-Ch1, DE-L229, DE-D275, DE-Bn3 |
| issn | 1898-9934 |
| issn_str_mv | 1898-9934 |
| language | English |
| last_indexed | 2024-03-01T16:59:21.804Z |
| match_str | narita2015weakconvergenceandweakconvergence |
| mega_collection | Walter de Gruyter GmbH (CrossRef) |
| physical | 231-241 |
| publishDate | 2015 |
| publishDateSort | 2015 |
| publisher | Walter de Gruyter GmbH |
| record_format | ai |
| recordtype | ai |
| series | Formalized Mathematics |
| source_id | 49 |
| spelling | Narita, Keiko Shidama, Yasunari Endou, Noboru 1898-9934 Walter de Gruyter GmbH Applied Mathematics Computational Mathematics http://dx.doi.org/10.1515/forma-2015-0019 <jats:title>Abstract</jats:title> <jats:p>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], we regarded sequences of real numbers as sequences of RNS_Real. So we proved the last theorem in this section using the theorem (8) from [25]. In Section 3, we defined weak sequential compactness of real normed spaces. We showed some lemmas for the proof and proved the theorem of weak sequential compactness of reflexive real Banach spaces. We referred to [36], [23], [24] and [3] in the formalization.</jats:p> Weak Convergence and Weak Convergence Formalized Mathematics |
| spellingShingle | Narita, Keiko, Shidama, Yasunari, Endou, Noboru, Formalized Mathematics, Weak Convergence and Weak Convergence, Applied Mathematics, Computational Mathematics |
| title | Weak Convergence and Weak Convergence |
| title_full | Weak Convergence and Weak Convergence |
| title_fullStr | Weak Convergence and Weak Convergence |
| title_full_unstemmed | Weak Convergence and Weak Convergence |
| title_short | Weak Convergence and Weak Convergence |
| title_sort | weak convergence and weak convergence |
| title_unstemmed | Weak Convergence and Weak Convergence |
| topic | Applied Mathematics, Computational Mathematics |
| url | http://dx.doi.org/10.1515/forma-2015-0019 |