Brauner tilaa
Funktionaalisessa analyysissä ja siihen liittyvissä matematiikan osa-alueilla Brauner-avaruus on täydellinen lokaalikonveksi k - avaruus , jossa on sarja kompakteja joukkoja siten, että mikä tahansa kompakti joukko sisältyy joihinkin .
![X](https://wikimedia.org/api/rest_v1/media/math/render/svg/68baa052181f707c662844a465bfeeb135e82bab)
![K_n](https://wikimedia.org/api/rest_v1/media/math/render/svg/ea2b988ea630d2c5571afe47efa3d3b251708acb)
![{\displaystyle T\subseteq X}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9a4e963e3d202098eac16189719b043a2a3a0517)
![K_n](https://wikimedia.org/api/rest_v1/media/math/render/svg/ea2b988ea630d2c5571afe47efa3d3b251708acb)
Brauner-tilat on nimetty Kalman Braunerin mukaan [1] , joka tutki niitä ensimmäisenä. Kaikki Brauner-tilat ovat stereotyyppisiä ja ovat stereotyyppisessä kaksinaisuudessa Fréchet-avaruuksien kanssa [2] [3] :
- mille tahansa Fréchet-avaruudelle sen stereotyyppinen kaksoisavaruus [4] on Brauner-avaruus,
![{\displaystyle X^{\tähti ))](https://wikimedia.org/api/rest_v1/media/math/render/svg/b7e61f747e46a210fc53ab24d3c136201e42339a)
- päinvastoin mille tahansa Brauner-avaruudelle sen stereotyyppinen kaksoisavaruus on Fréchet-avaruus.
![X](https://wikimedia.org/api/rest_v1/media/math/render/svg/68baa052181f707c662844a465bfeeb135e82bab)
![{\displaystyle X^{\tähti ))](https://wikimedia.org/api/rest_v1/media/math/render/svg/b7e61f747e46a210fc53ab24d3c136201e42339a)
Esimerkkejä
- Olkoon -kompakti paikallisesti kompakti topologinen avaruus ja olkoon jatkuvien funktioiden avaruus (arvoilla in tai ), jolla on tavallinen tasaisen konvergenssin topologia kompakteissa osajoukoissa . Kompaktisti tuettujen mittojen kaksoisavaruus , jossa on tasaisen konvergenssin topologia kompakteissa joukoissa avaruudessa, on Brauner-avaruus.
![M](https://wikimedia.org/api/rest_v1/media/math/render/svg/f82cade9898ced02fdd08712e5f0c0151758a0dd)
![\sigma](https://wikimedia.org/api/rest_v1/media/math/render/svg/59f59b7c3e6fdb1d0365a494b81fb9a696138c36)
![{\displaystyle {\mathcal {C}}(M)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4f9ffd9c8eeb8626db6d5e9ceefd9b4f9f377b8c)
![M](https://wikimedia.org/api/rest_v1/media/math/render/svg/f82cade9898ced02fdd08712e5f0c0151758a0dd)
![{\displaystyle {\mathbb {R} }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c35d4fb24ff006be5c264f4a3cf7760653a06b30)
![{{\mathbb C}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3305fec9f3b6ffe055c6d75f0a2c8e4f947dbe76)
![M](https://wikimedia.org/api/rest_v1/media/math/render/svg/f82cade9898ced02fdd08712e5f0c0151758a0dd)
![{\displaystyle {\mathcal {C}}^{\star }(M)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/09d0d9eeda0d057b65ebd5be7d3e3ef4e6c416f7)
![M](https://wikimedia.org/api/rest_v1/media/math/render/svg/f82cade9898ced02fdd08712e5f0c0151758a0dd)
![{\displaystyle {\mathcal {C}}(M)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4f9ffd9c8eeb8626db6d5e9ceefd9b4f9f377b8c)
- Olkoon tasainen monisto ja se on tasaisten funktioiden tila (arvoilla tai ), joilla on tavallinen tasaisen konvergenssin topologia kunkin johdannaisen suhteen kompakteissa joukoissa . Kompaktisti tuettujen jakaumien kaksoisavaruus , jossa on tasaisen konvergenssin topologia avaruudessa rajoitetuissa joukoissa, on Brauner-avaruus.
![M](https://wikimedia.org/api/rest_v1/media/math/render/svg/f82cade9898ced02fdd08712e5f0c0151758a0dd)
![{\displaystyle {\mathcal {E}}(M)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8279b0d26577696a955dc383a5ec0ba1cff6d9c4)
![M](https://wikimedia.org/api/rest_v1/media/math/render/svg/f82cade9898ced02fdd08712e5f0c0151758a0dd)
![{\displaystyle {\mathbb {R} }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c35d4fb24ff006be5c264f4a3cf7760653a06b30)
![{{\mathbb C}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3305fec9f3b6ffe055c6d75f0a2c8e4f947dbe76)
![M](https://wikimedia.org/api/rest_v1/media/math/render/svg/f82cade9898ced02fdd08712e5f0c0151758a0dd)
![{\displaystyle {\mathcal {E}}^{\star }(M)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a1bcd0d170ab8e39aa3699ffa49802d4a790e9a4)
![M](https://wikimedia.org/api/rest_v1/media/math/render/svg/f82cade9898ced02fdd08712e5f0c0151758a0dd)
![{\displaystyle {\mathcal {E}}(M)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8279b0d26577696a955dc383a5ec0ba1cff6d9c4)
- Olkoon Stein-monisto ja holomorfisten funktioiden tila, jolla on tavallinen tasaisen konvergenssin topologia kompakteissa joukoissa . Analyyttisten funktionaalisten funktioiden kaksoisavaruus , jossa on tasaisen konvergenssin topologia avaruuden rajatuissa joukoissa, on Brauner-avaruus.
![M](https://wikimedia.org/api/rest_v1/media/math/render/svg/f82cade9898ced02fdd08712e5f0c0151758a0dd)
![{{\mathcal O}} (M)](https://wikimedia.org/api/rest_v1/media/math/render/svg/84fff48af4c0694fcb3f73a58422215818e43dfd)
![M](https://wikimedia.org/api/rest_v1/media/math/render/svg/f82cade9898ced02fdd08712e5f0c0151758a0dd)
![M](https://wikimedia.org/api/rest_v1/media/math/render/svg/f82cade9898ced02fdd08712e5f0c0151758a0dd)
![{\displaystyle {\mathcal {O}}^{\star }(M)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/73048402fc65747eb0d0b8449bb318eedcaf93f7)
![M](https://wikimedia.org/api/rest_v1/media/math/render/svg/f82cade9898ced02fdd08712e5f0c0151758a0dd)
![{{\mathcal O}} (M)](https://wikimedia.org/api/rest_v1/media/math/render/svg/84fff48af4c0694fcb3f73a58422215818e43dfd)
- Olkoon tiiviisti generoitu Stein-ryhmä. Eksponentiaalista tyyppiä olevien holomorfisten funktioiden avaruus on Brauner-avaruus suhteessa luonnolliseen topologiaan. [3]
![G](https://wikimedia.org/api/rest_v1/media/math/render/svg/f5f3c8921a3b352de45446a6789b104458c9f90b)
![{\displaystyle {\mathcal {O}}_{\exp }(G)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/465e405938e2d9cb764eb2ad9d323675ed3da00a)
![G](https://wikimedia.org/api/rest_v1/media/math/render/svg/f5f3c8921a3b352de45446a6789b104458c9f90b)
Muistiinpanot
- ↑ K. Brauner, 1973.
- ↑ SSAkbarov, 2003.
- ↑ 1 2 S.S. Akbarov, 2009.
- ↑ Lokaalikonveksin avaruuden stereotyyppinen kaksoisavaruus on kaikkien lineaaristen jatkuvien funktionaalisten funktioiden avaruus , joilla on tasaisen konvergenssin topologia täysin rajatuissa joukoissa .
![X](https://wikimedia.org/api/rest_v1/media/math/render/svg/68baa052181f707c662844a465bfeeb135e82bab)
![{\displaystyle X^{\tähti ))](https://wikimedia.org/api/rest_v1/media/math/render/svg/b7e61f747e46a210fc53ab24d3c136201e42339a)
![{\displaystyle f:X\to \mathbb {C} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/a57fe120f564b03d50ef328f6a5e09d0e860781e)
Kirjallisuus
- Schaefer, Helmuth H. Topologiset vektoriavaruudet. - New York: The MacMillan Company , 1966. - ISBN 0-387-98726-6 .
- Robertson AP, Robertson, WJ Topologiset vektoriavaruudet. - Cambridge University Press , 1964. - V. 53. - (Cambridge Tracts in Mathematics).
- Brauner, K. Frechet-avaruuksien duaalit ja Banach-Dieudonnen lauseen yleistys (englanniksi) // Duke Math. Jour. : päiväkirja. - 1973. - Voi. 40 , ei. 4 . - s. 845-855 . - doi : 10.1215/S0012-7094-73-04078-7 .