تکیه‌گاه (ریاضی)

تکیه‌گاه در ریاضی، یک تابع مجموعه‌ای از نقاط است که تابع به ازای آنها صفر نباشد. اگر تابع روی یک فضای توپولوژیک تعریف شده باشد آنوقت تکیه گاه تابع، بستار (یا closure) مجموعه‌ای از نقاط است که تابع به ازای آنها صفر نباشد. این مفهوم به‌طور گسترده‌ای در آنالیز ریاضی استفاده می‌شود؛ و نقش مهمی در انواع مختلف تئوری‌های دوگانگی (duality) در ریاضیات دارد.

فرمول‌بندی 
فرض کنید  یک تابع حقیقی‌مقدار است که دامنه تابع مجموعه دلخواه  است.
تکیه‌گاه  که آن را به صورت  نمایش می‌دهند، مجموعه‌ای از نقاط  است که در آن  مقدار غیرصفر به خود می‌گیرد. به بیان دیگر :

تکیه‌گاه  کوچکترین زیرمجموعه‌ی  است که در آن تابع  مقدار غیر صفر به خود می‌گیرد. متمم این مجموعه،مجموعه نقاطی از  است که در آن  برابر صفر است.

تکیه‌گاه بسته 
زمانی که  فضای توپولوژی و  تابع پیوسته و حقیقی‌مقدار (مختلط مقدار) باشد، در این‌صورت تکیه‌گاه  به صورت توپولوژیک، بستار زیرمجموعه‌هایی از  است که در آن  مقدار ناصفر به خود می‌گیرد.

از آنجایی که اشتراک مجموعه‌های بسته خود مجموعه‌ای بسته است،  اشتراک تمام مجموعه‌های بسته‌ای است که شامل تکیه‌گاه  می‌شوند.

تکیه‌گاه فشرده 
توابع با تکیه‌گاه فشرده بر روی فضای توپولوژی  توابعی هستند که تکیه‌گاه بسته‌ی آن‌ها یک زیرمجموعه فشرده از  است.اگر  یک خط حقیقی و یا فضای  بعدی اقلیدسی باشد، آن‌گاه تابع تکیه‌گاه فشرده دارد اگر و فقط اگر تکیه‌گاه کران‌دار داشته باشد؛ زیرا زیرمجموعه‌های  فشرده هستند اگر و فقط اگر بسته و کراندار باشند.

منابع 

 ویکی‌پدیای انگلیسی

آنالیز حقیقی
توابع و نگاشت‌ها
توپولوژی
توپولوژی فضای توابع
نظریه مجموعه‌ها