משפט הייצוג של סטון

מתוך ויקיפדיה, האנציקלופדיה החופשית
קפיצה אל: ניווט, חיפוש

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

P mathematics.svg ערך זה הוא קצרמר בנושא מתמטיקה. אתם מוזמנים לתרום לוויקיפדיה ולהרחיב אותו.