בתורת הקבוצות, חלוקה (לפעמים נקראת חלוקה זרה) של קבוצה X, היא אוסף של תת קבוצות לא ריקות של X , שהן זרות בזוגות ומכסות את X (כלומר X שווה לאיחוד שלהן).
על אוסף החלוקות של קבוצה מוגדר יחס סדר חלקי הנקרא "יחס העידון"; חלוקה אחת מעודנת יותר מהשנייה אם קבוצותיה מוכלות בקבוצות החלוקה השנייה. באופן הזה החלוקה המעודנת יותר היא למעשה איחוד של חלוקות של קבוצות החלוקה הפחות מעודנת. באופן פורמלי, חלוקה מעודנת יותר מחלוקה אם ורק אם לכל קיימת עבורה . יחס העידון הופך את אוסף החלוקות של הקבוצה לסריג שהמינימום והמקסימום שלו הן החלוקות הטריוויאליות.
לחלוקות של קבוצת המספרים יש חשיבות רבה בקומבינטוריקה ותחומים אחרים של המתמטיקה.
בתורת החבורות, כאשר חבורה פועלת על קבוצה, ניתן לדבר על חלוקות שהן אינווריאנטיות תחת אותה חבורה או ועל חלוקות שאינן כאלו. חלוקה נקראת -אינווריאנטית אם לכל מתקיים:
כלומר איברי החבורה לכל היותר מחליפים בין קבוצות החלוקה אך לא לוקחים קבוצה מהחלוקה המקורית לקבוצה שלא נמצאת בחלוקה. חבורות שהחלוקות האינווריאנטיות היחידות שלהן הן החלוקות הטריוויאליות נקראות חבורות פרימיטיביות.
This article uses material from the Wikipedia עברית article חלוקה (תורת הקבוצות), which is released under the Creative Commons Attribution-ShareAlike 3.0 license ("CC BY-SA 3.0"); additional terms may apply (view authors). התוכן זמין לפי תנאי CC BY-SA 4.0 אלא אם כן נאמר אחרת. Images, videos and audio are available under their respective licenses.
®Wikipedia is a registered trademark of the Wiki Foundation, Inc. Wiki עברית (DUHOCTRUNGQUOC.VN) is an independent company and has no affiliation with Wiki Foundation.