وظيفة Cliquish

في الرياضيات ، يُشابه مفهوم الدالة المتصلة مفهوم الدالة المتصلة وشبه المتصلة ، ولكنه أضعف منه . فجميع الدوال المتصلة (أو شبه المتصلة) هي دوال متصلة، ولكن العكس ليس صحيحًا بشكل عام.

تعريف

يتركX{\displaystyle X}ليكن فضاءً طوبولوجيًا . دالة ذات قيم حقيقيةو:XR{\displaystyle f:X\rightarrow \mathbb {R} }يصبح الأمر أشبه بالتكتلات في مرحلة ماxX{\displaystyle x\in X}إن كان ذلك لأي سببϵ>0{\displaystyle \epsilon >0}وأي حي مفتوحيو{\displaystyle U}لx{\displaystyle x}توجد مجموعة مفتوحة غير فارغةجييو{\displaystyle G\subset U}بحيث

|و(y)-و(z)|<ϵy،zجي{\displaystyle |f(y)-f(z)|<\epsilon \;\;\;\;\forall y,z\in G}

لاحظ أنه في التعريف أعلاه، ليس من الضروري أنxجي{\displaystyle x\in G}.

ملكيات

  • لوو:XR{\displaystyle f:X\rightarrow \mathbb {R} }إذا كانت متصلة (شبه متصلة)و{\displaystyle f}هو متكتلة.
  • لوو:XR{\displaystyle f:X\rightarrow \mathbb {R} }وز:XR{\displaystyle g:X\rightarrow \mathbb {R} }إذا كانت شبه متصلة،و+ز{\displaystyle f+g}هو متكتلة.
  • لوو:XR{\displaystyle f:X\rightarrow \mathbb {R} }هل هذا يعني أنه انقسام؟و{\displaystyle f}هي مجموع دالتين شبه متصلتين.

مثال

ضع في اعتبارك الدالةو:RR{\displaystyle f:\mathbb {R} \rightarrow \mathbb {R} }محدد بواسطةو(x)=0{\displaystyle f(x)=0}حينماx0{\displaystyle x\leq 0}وو(x)=1{\displaystyle f(x)=1}حينماx>0{\displaystyle x>0}من الواضح أن الدالة f متصلة في كل مكان باستثناء x=0، وبالتالي فهي مجموعة مغلقة في كل مكان باستثناء (على الأكثر) x=0. عند x=0، نأخذ أي جوار مفتوح U للنقطة x. عندئذٍ توجد مجموعة مفتوحةجييو{\displaystyle G\subset U}بحيثy،z<0y،zجي{\displaystyle y,z<0\;\forall y,z\in G}من الواضح أن هذا يؤدي إلى |و(y)-و(z)|=0yجي{\displaystyle |f(y)-f(z)|=0\;\forall y\in G}وبالتالي فإن f عبارة عن مجموعة متكتلة.

في المقابل، الوظيفة ز:RR{\displaystyle g:\mathbb {R} \rightarrow \mathbb {R} }محدد بواسطةز(x)=0{\displaystyle g(x)=0}حينماx{\displaystyle x}هو عدد نسبي وز(x)=1{\displaystyle g(x)=1}حينماx{\displaystyle x}العدد غير النسبي ليس مجموعة منعزلة في أي مكان، لأن كل مجموعة مفتوحة غير فارغةجي{\displaystyle G}يحتوي على بعضy1،y2{\displaystyle y_{1},y_{2}}مع|ز(y1)-ز(y2)|=1{\displaystyle |g(y_{1})-g(y_{2})|=1}.

مراجع