קבוצה מאוזנת

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

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

בערך זה נסמן ב-<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\subseteq V</math> תקרא קבוצה מאוזנת אם ורק אם לכל <math>a\in A</math> ולכל <math>c\in\mathbb{K}</math> עבורו <math>|c|\le 1</math> מתקיים כי <math>ca\in A</math>.<ref></ref>

במקרה שבו <math>\mathbb{K}=\mathbb{R}</math>, ההגדרה שקולה לכך ששני התנאים הבאים מתקיימים:

* <math>A</math> סגורה לכיווץ: לכל <math>a\in A</math> ולכל <math>0\le c\le 1</math> מתקיים <math>ca\in A</math>
* <math>A</math> סימטרית: לכל <math>a\in A</math> מתקיים כי <math>-a\in A</math>.

במקרה שבו <math>\mathbb{K}=\mathbb{C}</math>, ההגדרה שקולה לכך ששני התנאים הללו מתקיימים ובנוסף מתקיים התנאי:

* <math>A</math> סגורה לסיבוב מרוכב: לכל <math>a\in A</math> ולכל <math>0\le \theta\le 2\pi</math> מתקיים <math>e^{i\theta}a\in A</math>.

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

אין להתבלבל בין קבוצה מאוזנת לקבוצה פתוחה או סגורה. למעשה, קבוצות מאוזנות יכולות שלא להיות פתוחות (סגורות) וקבוצות פתוחות (סגורות) יכולות שלא להיות מאוזנות.

== קליפה מאוזנת וליבה מאוזנת ==
בהינתן קבוצה <math>A\subseteq V</math> כלשהי (לאו דווקא מאוזנת), ניתן להגדיר:

<math>\operatorname{Bal}(A):=\bigcup_{c\in\mathbb{K},|c|\le 1}{cA}</math>

<math>\operatorname{Balcore}(A):=\bigcap_{c\in\mathbb{K},|c|\ge 1}{cA}</math>

הקבוצה <math>\operatorname{Bal}(A)</math> נקראת הקליפה המאוזנת של <math>A</math> (balanced hull) והקבוצה <math>\operatorname{Balcore}(A)</math> נקראת הליבה המאוזנת של <math>A</math> (balanced core). ניתן להוכיח כי <math>\operatorname{Bal}(A)</math> ו-<math>\operatorname{Balcore}(A)</math> שתיהן קבוצות מאוזנות ומתקיים <math>\operatorname{Balcore}(A)\subseteq A \subseteq \operatorname{Bal}(A)</math>. כלומר, ניתן להרחיב או לצמצם כל קבוצה על-מנת שתהיה קבוצה מאוזנת. יתרה מכך, <math>\operatorname{Bal}(A)</math> היא הקבוצה המאוזנת המינימלית המכילה את <math>A</math> בעוד <math>\operatorname{Balcore}(A)</math> היא הקבוצה המאוזנת המקסימלית המוכלת ב-<math>A</math>. ניתן להוכיח כי התנאים הבאים שקולים:

# <math>A</math> קבוצה מאוזנת
# <math>A=\operatorname{Bal}(A)</math>
# <math>A=\operatorname{Balcore}(A)</math>

== תכונות ==
* עבור מרחב וקטורי <math>V</math>, <math>V</math> עצמו הוא קבוצה מאוזנת, <math>\{0\}</math> היא קבוצה מאוזנת (באופן טריוויאלי) וכן הקבוצה הריקה <math>\emptyset</math> היא קבוצה מאוזנת באופן ריק.
* כל קבוצה מאוזנת ולא ריקה מכילה את הראשית. כלומר, אם <math>\emptyset\ne 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\subseteq V</math> היא קבוצה מאוזנת ו-<math>\lambda \in \mathbb{K}</math> כך ש-<math>|\lambda| = 1</math>, אז בהכרח <math>\lambda A=A</math>. הדבר נכון בפרט עבור <math>-A</math>.
* אם <math>A,B\subseteq V</math> שתיהן קבוצות מאוזנות אז הקבוצות <math>A+B</math>, <math>A\cup B</math> ו-<math>A\cap B</math> כולן מאוזנות.
* בהינתן מרחב נורמי, כל כדור פתוח או סגור סביב הראשית הוא קבוצה מאוזנת.
* במקרה שבו <math>V</math> הוא מרחב וקטורי טופולוגי ו-<math>A\subseteq V</math> קבוצה פתוחה כלשהי, <math>\operatorname{Bal}(A)</math> היא קבוצה פתוחה (נובע מרציפות הכפלה בסקלר). אם לחלופין <math>A\subseteq V</math> היא קבוצה סגורה, אז <math>\operatorname{Balcore}(A)</math> היא קבוצה סגורה.

== ראו גם ==
* קבוצה בולעת
* קבוצה חסומה
* קבוצה קומפקטית
* קבוצה פתוחה
* קבוצה סגורה

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

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

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

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