Ensemble absorbant - Absorbing set
En analyse fonctionnelle et dans les domaines mathématiques connexes, un ensemble absorbant dans un espace vectoriel est un ensemble S qui peut être « gonflé » ou « mis à l'échelle » pour éventuellement toujours inclure un point donné de l'espace vectoriel. Les termes alternatifs sont ensemble radial ou absorbant .
Définition
Supposons que soit un espace vectoriel sur le corps des nombres réels ou des nombres complexes
Notation
- Produits de scalaires et de vecteurs
Pour toute location
Pour tous les sous - ensembles et et tout et définir
Un ensemble absorbant un autre
Si et sont des sous-ensembles de then, on dit qu'il absorbe s'il satisfait à l'une des conditions équivalentes suivantes :
-
Définition : Il existe un réel pour tout scalaire satisfaisant
- Si le champ scalaire est alors intuitivement, « absorbe » signifie que si est perpétuellement « mis à l' échelle » ou « gonflé » ( se référant à des ) puis finalement , tout contiendra (pour suffisamment grand); de même, tout finira aussi par contenir (pour suffisamment grand).
- Cette définition dépend de la norme canonique sur le champ scalaire sous-jacent, qui lie cette définition à la topologie euclidienne habituelle sur le champ scalaire.
- Il existe un réel pour chaque scalaire satisfaisant
- S'il est connu que la restriction peut être supprimée, en donnant la caractérisation : Il existe un réel pour chaque scalaire satisfaisant
- Il existe un vrai
- La boule fermée (avec l'origine supprimée) peut être utilisée à la place de la boule ouverte, donnant la caractérisation suivante.
- Il existe un vrai
Si est un ensemble équilibré, alors à cette liste peut être ajouté :
- Il existe un scalaire
- Il existe un scalaire
On dit qu'un ensemble absorbe un point si et seulement s'il absorbe l' ensemble singleton Un ensemble absorbe l'origine si et seulement s'il contient l'origine ; c'est-à-dire si et seulement si
Ensemble absorbant
Un sous - ensemble d'un espace vectoriel sur un champ est appelé absorbant ou absorbant dans s'il satisfait l'une des conditions équivalentes suivantes (ici ordonnées de sorte que chaque condition soit une conséquence facile de la précédente, à commencer par la définition) :
-
Définition : Pour chaque absorbe
- Donc en particulier, ne peut pas être absorbant si
- Pour tout il existe un réel pour tout scalaire satisfaisant
- Pour tout il existe un réel pour tout scalaire satisfaisant
- Pour chaque il existe un vrai
- Voici la boule ouverte de rayon en centrée à l'origine et
- La boule fermée peut être utilisée à la place de la boule ouverte.
- Pour chaque il existe un réel où
- Preuve : Ceci découle de la condition précédente puisque de sorte que si et seulement si
- Connexion à la topologie : Si on donne sa topologie euclidienne de Hausdorff habituelle alors l'ensemble est un voisinage de l'origine dans donc, il existe un réel si et seulement si est un voisinage de l'origine dans
- Chaque sous-espace vectoriel à 1 dimension de est de la forme pour certains non nuls et si cet espace à 1 dimension est doté de l'unique topologie vectorielle de Hausdorff, alors l'application définie par est nécessairement un isomorphisme TVS (où, comme d'habitude, a le topologie euclidienne normée).
-
contient l'origine et pour chaque sous-espace vectoriel à une dimension de est un voisinage de l'origine dans quand est donné sa topologie vectorielle de Hausdorff unique .
- La topologie vectorielle de Hausdorff sur un espace vectoriel à 1 dimension est nécessairement TVS-isomorphe à sa
- Intuition : Cette condition montre qu'il est naturel que tout voisinage de 0 dans n'importe quel espace vectoriel topologique (TVS) soit absorbant : si est un voisinage de l'origine dans alors il serait pathologique s'il existait un sous-espace vectoriel à 1 dimension dans lequel n'était pas un voisinage de l'origine dans au moins certaines topologies TVS sur Les seules topologies TVS sur sont la topologie euclidienne de Hausdorff et la topologie triviale, qui est un sous-ensemble de la topologie euclidienne. Par conséquent, il est naturel de s'attendre à être un voisinage de dans la topologie euclidienne pour tous les sous-espaces vectoriels à une dimension, ce qui est exactement la condition qui est absorbante dans Le fait que tous les voisinages de l'origine dans tous les TVS soient nécessairement absorbants signifie que ce le comportement pathologique ne se produit pas. La raison pour laquelle la topologie euclidienne est distinguée est finalement due à l'exigence de définition sur les topologies TVS que la multiplication scalaire soit continue lorsque le champ scalaire reçoit la topologie euclidienne.
- Cette condition est équivalente à : For every est un voisinage de in quand est donnée sa topologie TVS de Hausdorff unique.
-
contient l'origine et pour chaque sous-espace vectoriel à une dimension de est absorbant dans le
- Ici, "absorber" signifie absorber selon toute condition de définition autre que celle-ci.
- Cela montre que la propriété d'être absorbant dans dépend uniquement de la façon dont se comporte par rapport aux sous-espaces vectoriels de dimension 1 (ou 0) de En revanche, si un sous-espace vectoriel de dimension finie de a une dimension alors être absorbant dans n'est plus suffisant pour garantir que est un quartier de l'origine dans quand est doté de sa topologie TVS de Hausdorff unique (bien que ce soit toujours une condition nécessaire). Pour que cela se produise, il suffit d'être un tonneau dans ce Hausdorff TVS (car tout espace euclidien de dimension finie est un espace tonneau ).
Si alors à cette liste peuvent être annexés :
- L' intérieur algébrique de contient l'origine (c'est-à-dire ).
Si est équilibré alors à cette liste peut être ajouté :
- Pour chaque il existe un scalaire
Si est convexe ou équilibré alors à cette liste peut être ajouté :
- Pour tout il existe un réel positif
- La preuve qu'un ensemble équilibré satisfaisant cette condition est nécessairement absorbant est presque immédiate à partir de la définition d'un "ensemble équilibré".
- La preuve qu'un ensemble convexe satisfaisant cette condition est nécessairement absorbant en est moins triviale (mais pas difficile). Une preuve détaillée est donnée dans cette note de bas de page et un résumé est donné ci-dessous.
- Résumé de la preuve : Par hypothèse, pour tout non nul il est possible de choisir un réel positif et tel que et de telle sorte que l'ensemble convexe contienne le sous-intervalle ouvert qui contient l'origine (l'ensemble est aussi appelé un intervalle car tout non- sous-ensemble convexe vide de est un intervalle). Donnez sa topologie vectorielle de Hausdorff unique pour qu'il reste à montrer qu'il s'agit d'un voisinage de l'origine dans Si alors nous avons terminé, supposons donc que L'ensemble est une union de deux intervalles, dont chacun contient un sous-intervalle ouvert qui contient l'origine ; de plus, l'intersection de ces deux intervalles est précisément l'origine. Ainsi, dont l'enveloppe convexe est contenue dans l'ensemble convexe contient clairement une boule ouverte autour de l'origine.
- Pour tout il existe un réel positif
- Cette condition est équivalente à : chaque appartient à l'ensemble Cela se produit si et seulement si ce qui donne la caractérisation suivante.
-
- On peut montrer que pour tout sous - ensemble de si et seulement si
- Pour chaque où
Si (ce qui est nécessaire pour être absorbant) alors il suffit de vérifier l'une des conditions ci-dessus pour tous les non nuls plutôt que tous
Exemples et conditions suffisantes
Pour qu'un ensemble en absorbe un autre
Soit une application linéaire entre les espaces vectoriels et soit des ensembles équilibrés. Puis absorbe si et seulement si absorbe
Si un ensemble absorbe un autre ensemble alors tout surensemble de absorbe également Un ensemble absorbe l'origine si et seulement si l'origine est un élément de
Pour qu'un ensemble soit absorbant
Dans un espace vectoriel semi-normé la boule unité est absorbante. Plus généralement, si est un espace vectoriel topologique (TVS) alors tout voisinage de l'origine dans est absorbant dans Ce fait est l'une des principales motivations pour définir même la propriété « absorbant dans »
Si est un disque dans alors de sorte qu'en particulier, est un sous-ensemble absorbant de Ainsi si est un disque dans alors est absorbant dans si et seulement si
Tout surensemble d'un ensemble absorbant est absorbant. Ainsi, l'union de toute famille d'ensembles absorbants (un ou plusieurs) est absorbante. L'intersection d'une famille finie de (un ou plusieurs) ensembles absorbants est absorbante.
L'image d'un ensemble absorbant sous un opérateur linéaire surjectif est à nouveau absorbante. L'image inverse d'un sous-ensemble absorbant (du codomaine) sous un opérateur linéaire est à nouveau absorbante (dans le domaine).
Propriétés
Chaque ensemble absorbant contient l'origine.
Si est un disque absorbant dans un espace vectoriel alors il existe un disque absorbant dans de telle sorte que
Voir également
- Intérieur algébrique – Concept mathématique
- Ensemble absolument convexe
- Ensemble équilibré – Construire en analyse fonctionnelle
- Ensemble bornivore - Un ensemble qui peut absorber n'importe quel sous-ensemble limité
- Ensemble borné (espace vectoriel topologique)
- Ensemble convexe - En géométrie, ensemble qui coupe chaque ligne en un seul segment de ligne
- Espace vectoriel topologique localement convexe - Un espace vectoriel avec une topologie définie par des ensembles ouverts convexes
- Ensemble radial
- Domaine étoilé
- Ensemble symétrique
- Espace vectoriel topologique – Espace vectoriel avec une notion de proximité
Remarques
Citations
Les références
- Berberian, Sterling K. (1974). Cours d'Analyse Fonctionnelle et Théorie des Opérateurs . Textes d'études supérieures en mathématiques. 15 . New York : Springer. ISBN 978-0-387-90081-0. OCLC 878109401 .
- Bourbaki, Nicolas (1987) [1981]. Sur certains espaces vectoriels topologiques [ Espaces vectoriels topologiques : chapitres 1 à 5 ]. Annales de l'Institut Fourier . Éléments de mathématique . 2 . Traduit par Eggleston, HG; Madan, S. Berlin New York : Springer-Verlag. ISBN 978-3-540-42338-6. OCLC 17499190 .
- Nicolas, Bourbaki (2003). Espaces vectoriels topologiques Chapitre 1-5 (Traduction en anglais) . New York : Springer-Verlag. p. I.7. ISBN 3-540-42338-9.
- Conway, John (1990). Un cours d'analyse fonctionnelle . Textes d'études supérieures en mathématiques . 96 (2e éd.). New York : Springer-Verlag . ISBN 978-0-387-97245-9. OCLC 21195908 .
- Diestel, Joe (2008). La théorie métrique des produits tensoriels : le résumé de Grothendieck revisité . 16 . Providence, RI : Société mathématique américaine . ISBN 9781470424831. OCLC 185095773 .
- Dineen, Seán (1981). Analyse complexe dans des espaces localement convexes . Études de mathématiques en Hollande du Nord. 57 . Amsterdam New York New York : Pub de Hollande du Nord. Co., Elsevier Science Pub. Cie ISBN 978-0-08-087168-4. OCLC 16549589 .
- Dunford, Nelson ; Schwartz, Jacob T. (1988). Opérateurs linéaires . Mathématiques pures et appliquées . 1 . New York : Wiley-Interscience . ISBN 978-0-471-60848-6. OCLC 18412261 .
- Edwards, Robert E. (1995). Analyse fonctionnelle : théorie et applications . New York : Publications de Douvres. ISBN 978-0-486-68143-6. OCLC 30593138 .
- Grothendieck, Alexandre (1973). Espaces vectoriels topologiques . Traduit par Chaljub, Orlando. New York : Gordon et Breach Science Publishers. ISBN 978-0-677-30020-7. OCLC 886098 .
- Hogbe-Nlend, Henri (1977). Bornologies et Analyse Fonctionnelle : Cours d'Introduction à la Théorie de la Topologie de la Dualité-Bornologie et son utilisation en Analyse Fonctionnelle . Études de mathématiques en Hollande du Nord. 26 . Amsterdam New York New York : Hollande du Nord. ISBN 978-0-08-087137-0. OCLC 316549583 .
- Hogbe-Nlend, Henri ; Moscatelli, VB (1981). Espaces Nucléaires et Conucléaires : Cours d'Introduction aux Espaces Nucléaires et Conucléaires à la Lumière de la Dualité "topologie-bornologie" . Études de mathématiques en Hollande du Nord. 52 . Amsterdam New York New York : Hollande du Nord. ISBN 978-0-08-087163-9. OCLC 316564345 .
- Husain, Taqdir ; Khaleelulla, SM (1978). Barrellité dans les espaces vectoriels topologiques et ordonnés . Notes de cours en mathématiques . 692 . Berlin, New York, Heidelberg : Springer-Verlag . ISBN 978-3-540-09096-0. OCLC 4493665 .
- Jarchow, Hans (1981). Espaces localement convexes . Stuttgart : BG Teubner. ISBN 978-3-519-02224-4. OCLC 8210342 .
- Keller, Hans (1974). Calcul différentiel dans les espaces localement convexes . Notes de cours en mathématiques . 417 . Berlin New York : Springer-Verlag . ISBN 978-3-540-06962-1. OCLC 1103033 .
- Khaleelulla, SM (1982). Contre-exemples dans les espaces vectoriels topologiques . Notes de cours en mathématiques . 936 . Berlin, Heidelberg, New York : Springer-Verlag . ISBN 978-3-540-11565-6. OCLC 8588370 .
- Jarchow, Hans (1981). Espaces localement convexes . Stuttgart : BG Teubner. ISBN 978-3-519-02224-4. OCLC 8210342 .
- Köthe, Gottfried (1983) [1969]. Espaces vectoriels topologiques I . Grundlehren der mathematischen Wissenschaften. 159 . Traduit par Garling, DJH New York : Springer Science & Business Media. ISBN 978-3-642-64988-2. MR 0248498 . OCLC 840293704 .
- Köthe, Gottfried (1979). Espaces vectoriels topologiques II . Grundlehren der mathematischen Wissenschaften. 237 . New York : Springer Science & Business Media. ISBN 978-0-387-90400-9. OCLC 180577972 .
- Narici, Laurent ; Beckenstein, Edouard (2011). Espaces vectoriels topologiques . Mathématiques pures et appliquées (deuxième éd.). Boca Raton, Floride : CRC Press. ISBN 978-1584888666. OCLC 144216834 .
- Pietsch, Albrecht (1979). Espaces localement convexes nucléaires . Ergebnisse der Mathematik und ihrer Grenzgebiete. 66 (deuxième éd.). Berlin, New York : Springer-Verlag . ISBN 978-0-387-05644-9. OCLC 539541 .
- Robertson, Alex P.; Robertson, Wendy J. (1980). Espaces vectoriels topologiques . Cambridge Tracts en mathématiques . 53 . Cambridge Angleterre : Cambridge University Press . ISBN 978-0-521-29882-7. OCLC 589250 .
- Robertson, AP; WJ Robertson (1964). Espaces vectoriels topologiques . Cambridge Tracts en mathématiques. 53 . Presse de l'Université de Cambridge . p. 4.
- Rudin, Walter (1991). Analyse fonctionnelle . Série Internationale de Mathématiques Pures et Appliquées. 8 (Deuxième éd.). New York, NY : McGraw-Hill Science/Ingénierie/Maths . ISBN 978-0-07-054236-5. OCLC 21163277 .
- Thompson, Anthony C. (1996). Géométrie Minkowski . Encyclopédie des mathématiques et de ses applications. Presse de l'Université de Cambridge . ISBN 0-521-40472-X.
- Schaefer, Helmut H. (1971). Espaces vectoriels topologiques . GTM . 3 . New York : Springer-Verlag. p. 11. ISBN 0-387-98726-6.
- Schaefer, Helmut H. ; Wolff, Manfred P. (1999). Espaces vectoriels topologiques . GTM . 8 (Deuxième éd.). New York, NY : Springer New York Mentions légales Springer. ISBN 978-1-4612-7155-0. OCLC 840278135 .
- Schechter, Éric (1996). Manuel d'analyse et ses fondements . San Diego, Californie : Presse académique. ISBN 978-0-12-622760-4. OCLC 175294365 .
- Schaefer, HH (1999). Espaces vectoriels topologiques . New York, NY : Springer New York Mentions légales Springer. ISBN 978-1-4612-7155-0. OCLC 840278135 .
- Swartz, Charles (1992). Introduction à l'analyse fonctionnelle . New York : M. Dekker. ISBN 978-0-8247-8643-4. OCLC 24909067 .
- Trèves, François (2006) [1967]. Espaces vectoriels topologiques, distributions et noyaux . Mineola, NY : Publications de Douvres. ISBN 978-0-486-45352-1. OCLC 853623322 .
- Wilansky, Albert (2013). Méthodes modernes dans les espaces vectoriels topologiques . Mineola, New York : Dover Publications, Inc. ISBN 978-0-486-49353-4. OCLC 849801114 .
- Wong, Yau Chuen (1979). Espaces de Schwartz, espaces nucléaires et produits tensoriels . Notes de cours en mathématiques . 726 . Berlin New York : Springer-Verlag . ISBN 978-3-540-09513-2. OCLC 5126158 .