סריג (מבנה סדור)

בתורת הקבוצות, סריג הוא קבוצה עם יחס סדר חלקי, שבו לכל שני איברים עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle a,b} יש אינפימום וסופרמום. פירושו של דבר שיש איבר גדול ביותר מבין כל אלה המקיימים עיבוד הנוסחה נכשל (שגיאת המרה. השרת ("https://en.wikipedia.org/api/rest_") השיב: "Cannot get mml. Server problem."): {\displaystyle x\leq a,b} , ואיבר קטן ביותר מבין כל אלה המקיימים עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle a,b\le x} .

בצורה זו מתקבלות שתי פעולות בינאריות על איברי הקבוצה הסדורה:

פעולת המצרף (join) המחזירה לכל זוג איברים את הסופרמום של שניהם. פעולה זו מסומנת עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle a\or b} .
פעולת המפגש (meet) המחזירה לכל זוג איברים את האינפימום של שניהם. פעולה זו מסומנת $a\land b$ .

אחת הדוגמאות הבסיסיות לסריג הוא אוסף תתי־הקבוצות של קבוצה עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle X} , עם פעולות האיחוד והחיתוך כמצרף ומפגש. גם אוסף תת-הקבוצות הסופיות הוא סריג. כל יחס סדר מלא הוא סריג כי בו המצרף של שני איברים הוא הגדול מביניהם, והמפגש של שני איברים הוא הקטן מביניהם.

סריגים שלמים

בסריג אפשר להגדיר מצרף ומפגש של כל קבוצה סופית. אם לכל קבוצה יש אינפימום וסופרמום הסריג נקרא שלם. כל סריג שלם הוא חסום: יש בו איבר קטן ביותר (הסופרמום של הקבוצה הריקה), ואיבר גדול ביותר (האינפימום שלה). סריג תתי־הקבוצות של עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle X} הוא סריג שלם; לא כל אלגברה בוליאנית היא שלמה. הסריג שמגדיר יחס סדר מלא הוא שלם, אם ורק אם הסדר וההפכי לו שניהם יחסי סדר טובים.

סריגים־למחצה

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

הגדרה אלגברית

פעולת המצרף מקיימת שלוש תכונות אלגבריות חשובות:

אסוציאטיביות עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle (a\or b)\or c=a\or(b\or c)}
קומוטטיביות עיבוד הנוסחה נכשל (שגיאת המרה. השרת ("https://en.wikipedia.org/api/rest_") השיב: "Cannot get mml. Server problem."): {\displaystyle a\lor b=b\lor a}
אידמפוטנטיות עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle a\or a=a}

מאידך, בכל קבוצה עם פעולה בינארית עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \bullet} המקיימת את שלוש התכונות האלה, אפשר להגדיר יחס סדר (עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle a\le b} אם ורק אם עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle a\bullet b=a} ), שביחס אליו עיבוד הנוסחה נכשל (שגיאת המרה. השרת ("https://en.wikipedia.org/api/rest_") השיב: "Cannot get mml. Server problem."): {\displaystyle a\bullet b} הוא המצרף של עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle a,b} . לכן יש התאמה מלאה בין סריגים־למחצה לבין קבוצות עם פעולה אסוציאטיבית, קומוטטיבית ואידמפוטנטית. למשל, פעולת החיתוך של קבוצות עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle A\bullet B=A\cap B} היא אסוציאטיבית, קומוטטיבית ואידמפוטנטית; ויחס הסדר שהיא מגדירה, עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle A\le B} אם ורק אם $A\cap B=A$ , אינו אלא יחס ההכלה הרגיל.

באופן דומה לזה, יש התאמה מלאה בין סריגים לבין אלגברות בוליאניות.

סריגים מודולריים

בכל סריג, אם עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle a\le b} , אז לכל $c$ מתקיים עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle a\or(c\and b)\le(a\or c)\and b} . אם זהו תמיד שוויון, הסריג נקרא מודולרי. המודולריות משותפת לסריגים חשובים רבים, כגון סריג תתי־החבורות הנורמליות של חבורה, או סריג תתי־המודולים של מודול.

אומרים כי איבר עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle a} בקבוצה סדורה מכסה את האיבר $b$ , אם $b<a$ ולא קיים עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle b<x<a} . אם המצרף עם עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle x} שומר על היחס "מכסה או שווה" (ובאופן שקול: אם עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle a\or b} מכסה את $b$ כל אימת ש־עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle a} מכסה את $a\land b$ ), אז הסריג נקרא מודולרי־למחצה עליון. אם המפגש עם עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle x} שומר על היחס "מכסה או שווה", אז הסריג הוא מודולרי־למחצה תחתון. כל סריג מודולרי הוא גם מודולרי למחצה עליון ותחתון. ולהפך: אם אין בסריג שרשראות אינסופיות, והוא מודולרי־למחצה עליון ותחתון, אז הוא מודולרי.

כאשר אין בסריג שרשראות אינסופיות, מן המודולריות למחצה (מאחד הטיפוסים) נובע שכל השרשראות המקסימליות מ־עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle a} ל־ $b$ הן באותו אורך. אם עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle a\le b} , אפשר להגדיר את המרחק עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle d(a,b)} כארכה של השרשרת הקצרה ביותר מ־עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle a} ל־ $b$ . סריג הוא מודולרי־למחצה עליון, אם ורק אם $d(a\land b,a)\geq d(b,a\lor b)$ לכל עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle a,b} ; ומודולרי אם ורק אם $d(a\land b,a)=d(b,a\lor b)$ לכל עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle a,b} .

ראו גם

סריג חופשי

לקריאה נוספת

Steven Roman, 2008. Lattices and Ordered Sets.

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

ראו מדיה וקבצים בנושא זה בוויקישיתוף.

This article is issued from Hamichlol. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.