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