פונקציה מציינת

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

הפונקציה המציינת $1_{A}:X\to \{0,1\}$ מוגדרת באופן הבא:

$1_{A}(x)={\begin{cases}1&:x\in A\\0&:x\notin A\end{cases}}$

הפונקציה המציינת מסומנת לעיתים גם $\chi _{A}(x),I_{A}(x)$ , או $[x\in A]$ באמצעות סוגריי אייברסון. במקרה הפרטי של הפונקציה עבור $X=\mathbb {N} ,A=\{1\}$ , הפונקציה נקראת פונקציית היחידה.

תכונות בסיסיות

אם $A,B$ תתי-קבוצות של $X$ אזי:

• תכונת החיתוך: $1_{A\cap B}=\min\{1_{A},1_{B}\}=1_{A}\cdot 1_{B}$
• תכונת האיחוד: הפענוח נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle 1_{A\cup B}=\max\{{1_A,1_B}\}=1_A+1_B-1_A\cdot 1_B} (עקרון ההכלה וההפרדה)
• תכונת המשלים: $1_{A^{c}}=1-1_{A}$

מסקנות:

• תכונת ההפרש הסימטרי: הפענוח נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle 1_{A\delta B}=1_A+1_B-2(1_A\cdot 1_B)}

או לחלופין: $1_{A\triangle B}=1_{A}+1_{B}{\pmod {2}}$

רציפות

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

הקשר לקבוצת החזקה

קבוצת הפונקציות המציינות, הפענוח נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \{0,1\}^X=\bigl\{1_A:X\to\{0,1\}|A\sube X\bigr\}} , הנה איזומורפית לקבוצת החזקה הפענוח נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle P(X)} . האיזומורפיזם בין הקבוצות מובהק ואף מוטמע בסימון של הפונקציה המציינת. ניתן להבין את הקשר באופן הבא: הפענוח נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle a\in A\iff 1_A(a)=1} , כלומר אבר שייך לתת-קבוצה אם ורק אם הפונקציה המציינת המתאימה לקבוצה מקבלת 1 עבור האבר. מכאן נובע כי הפענוח נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle |P(A)|=2^{|A|}} (ראו עוצמה).

תכולה וקשר לאינטגרל

עבר הפענוח נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle A} קבוצה המוכלת בקטע $[a,b]$ , נגדיר את התכולה הפנימית של הפענוח נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle A} להיות האינטגרל התחתון של הפונקציה המציינת של הפענוח נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle A} בקטע הפענוח נכשל (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} על בסיס אינטגרל עליון. אם התכולה הפנימית והתכולה החיצונית של קבוצה הן שוות, אז הן נקראות פשוט התכולה של הפענוח נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle A} . ניתן לראות כי לכל קבוצה בת מנייה יש תכולה אפס, או בצורה כללית יותר, לקבוצה יש תכולה אפס אם"ם קיימת קבוצה סופית של קטעים סגורים כך שאיחודם מכיל את הקבוצה אך סכום האורכים הוא קטן כרצוננו. משפט חשוב בנושא החשבון האינטגרלי הוא שאם לפונקציה חסומה יש קבוצת אי-רציפויות שלה היא בעלת תכולה אפס, אז היא אינטגרבילית.

ראו גם

• מידה (מתמטיקה)
• תורת הקבוצות
• תורת המידה
• אלגברה בוליאנית

הערך באדיבות ויקיפדיה העברית, קרדיט,
רשימת התורמים
רישיון cc-by-sa 3.0

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