קבוצה בולעת

במתמטיקה, ובפרט באנליזה פונקציונלית, קבוצה בולעת היא קבוצה במרחב וקטורי מעל הממשיים או המרוכבים, שניתן להרחיב אותה עד לנקודה שבה תכיל כל איבר מהמרחב.

לקבוצות מסוג זה חשיבות רבה, בפרט עבור מרחבים וקטוריים טופולוגיים בהם כל סביבה פתוחה של הראשית היא קבוצה בולעת.

בערך זה נסמן ב-<math>V</math> מרחב וקטורי כלשהו. נסמן ב-<math>\mathbb{K}</math> את השדה מעליו פועל <math>V</math> כאשר <math>\mathbb{K}=\mathbb{R}</math> (שדה הממשיים) או <math>\mathbb{K}=\mathbb{C}</math> (שדה המרוכבים). כמו כן, עבור <math>A,B\subseteq V</math>, <math>v\in V</math> ו-<math>\lambda \in \mathbb{K}</math> נסמן:

<math>A+B:=\{a+b\mid a\in A,b \in B\}</math>

<math>A+v=v+A:=\{a+v\mid a\in A\}</math>

<math>\lambda A:=\{\lambda a\mid a\in A\}</math>

== הגדרות מתמטיות ==
=== קבוצה בולעת קבוצה ===
בהינתן שתי קבוצות <math>A,B\subseteq V</math> מוגדר כי <math>A</math> בולעת את <math>B</math> אם ורק אם מתקיימים התנאים השקולים הבאים<ref></ref>:

# קיים <math>r>0</math> כך שלכל <math>c\in \mathbb{K}</math> עבורו <math>|c|>r</math> מתקיים <math>B\subseteq cA</math>.
# קיים <math>r>0</math> כך שלכל <math>c\in \mathbb{K}</math> עבורו <math>|c|\ge r</math> מתקיים <math>B\subseteq cA</math>.
# קיים <math>r>0</math> כך שלכל <math>0\ne c\in \mathbb{K}</math> עבורו <math>|c|< r</math> מתקיים <math>cB\subseteq A</math>.
# קיים <math>r>0</math> כך שלכל <math>0\ne c\in \mathbb{K}</math> עבורו <math>|c|\le r</math> מתקיים <math>cB\subseteq A</math>.

התנאי ש-<math>c\ne 0</math> בתנאים 3 ו-4 הוא תנאי הכרחי.

משמעות ההגדרה היא ש-<math>A</math> בולעת את <math>B</math> אם ורק אם ניתן להרחיב את <math>A</math> עד לנקודה שממנה היא תמיד מכילה את <math>B</math>, או לחלופין ניתן לכווץ את <math>B</math> עד לנקודה אשר ממנה היא תמיד תהיה מוכלת ב-<math>A</math>.

=== קבוצה בולעת נקודה ===
בהינתן קבוצה <math>A\subseteq V</math> ונקודה <math>v\in V</math> מוגדר כי <math>A</math> בולעת את <math>v</math> אם ורק אם מתקיימים התנאים השקולים הבאים:

# הקבוצה <math>A</math> בולעת את הקבוצה <math>\{v\}</math>
# קיים <math>r>0</math> כך שלכל <math>c\in \mathbb{K}</math> עבורו <math>|c|>r</math> מתקיים <math>v\in cA</math>.
# קיים <math>r>0</math> כך שלכל <math>c\in \mathbb{K}</math> עבורו <math>|c|\ge r</math> מתקיים <math>v\in cA</math>.
# קיים <math>r>0</math> כך שלכל <math>0\ne c\in \mathbb{K}</math> עבורו <math>|c|< r</math> מתקיים <math>cv\in A</math>.
# קיים <math>r>0</math> כך שלכל <math>0\ne c\in \mathbb{K}</math> עבורו <math>|c|\le r</math> מתקיים <math>cv\in A</math>.

גם כאן התנאי ש-<math>c\ne 0</math> בתנאים 4 ו-5 הוא תנאי הכרחי.

באופן דומה כפי שזו מוגדרת עבור בליעת קבוצות, בליעת נקודה מתאפשרת על-ידי הרחבת הקבוצה הבולעת או כיווץ הנקודה הנבלעת.

=== קבוצה בולעת ===
בהינתן קבוצה <math>A\subseteq V</math>, <math>A</math> תקרא קבוצה בולעת, אם ורק אם היא מקיימת את התנאים השקולים הבאים:

# הקבוצה <math>A</math> בולעת את <math>v</math> לכל <math>v\in V</math>.
# לכל <math>v\in V</math> קיים <math>r>0</math> כך שלכל <math>c\in \mathbb{K}</math> עבורו <math>|c|>r</math> מתקיים <math>v\in cA</math>.
# לכל <math>v\in V</math> קיים <math>r>0</math> כך שלכל <math>c\in \mathbb{K}</math> עבורו <math>|c|\ge r</math> מתקיים <math>v\in cA</math>.
# לכל <math>v\in V</math> קיים <math>r>0</math> כך שלכל <math>0\ne c\in \mathbb{K}</math> עבורו <math>|c|< r</math> מתקיים <math>cv\in A</math>.
# לכל <math>v\in V</math> קיים <math>r>0</math> כך שלכל <math>0\ne c\in \mathbb{K}</math> עבורו <math>|c|\le r</math> מתקיים <math>cv\in A</math>.

התנאי ש-<math>c\ne 0</math> בתנאים 4 ו-5 הוא תנאי הכרחי. קבוצה בולעת היא למעשה קבוצה שניתן להרחיב אותה עד שתכיל כל נקודה במרחב.

== תכונות ==
* מאחר שכל קבוצה בולעת בולעת גם את הראשית, כל קבוצה בולעת מכילה את הראשית. כלומר, אם <math>A\subseteq V</math> קבוצה בולעת אז בהכרח <math>0\in A</math>.
* עבור כל מרחב וקטורי, המרחב כולו מהווה קבוצה בולעת.
* קבוצה המכילה קבוצה בולעת, היא קבוצה בולעת.
* כיווץ או הרחבה של קבוצה בולעת מהווה קבוצה בולעת. כלומר, אם <math>A\subseteq V</math> ו-<math>0\ne \lambda \in \mathbb{K}</math> אז <math>\lambda A</math> היא קבוצה בולעת.
* חיתוך של שתי קבוצות בולעות היא קבוצה בולעת. כלומר, אם <math>A,B\subseteq V</math> שתיהן קבוצות בולעות אז <math>A\cap B</math> היא קבוצה בולעת.
* נובע מהתכונה לעיל כי כל חיתוך סופי של קבוצות בולעות הוא קבוצה בולעת.
* עבור מרחב וקטורי טופולוגי, כל סביבה פתוחה של הראשית היא קבוצה בולעת.
* עבור כל קבוצה בולעת <math>A\subseteq V</math> קיימת נורמה-למחצה <math>p</math> עבורה <math>A</math> היא בדיוק כדור היחידה לפי <math>p</math>. נורמה למחצה זו היא פונקציונל מינקובסקי של <math>A</math>.
* לכל קבוצה בולעת <math>A\subseteq V</math> קיימת קבוצה בולעת אחרת <math>B\subseteq V</math> כך ש-<math>B+B\subseteq A</math>. למעשה בהכרח גם <math>B\subseteq A</math>.
* קבוצת כל הקבוצות הבולעות עבור מרחב וקטורי כלשהו מהווה מסנן.

== ראו גם ==

* קבוצה מאוזנת
* קבוצה חסומה
* קבוצה קומפקטית
* קבוצה קמורה
* קבוצה קמורה לחלוטין
* קבוצה פתוחה
* קבוצה סגורה

== לקריאה נוספת ==
* 

==קישורים חיצוניים==
* 

== הערות שוליים ==

קטגוריה:אלגברה ליניארית
קטגוריה:אנליזה פונקציונלית
קטגוריה:טופולוגיהיש_בדף_תבנית_MathWorld_טקס