Еркіндің шынайы қадағасы - әйелді шешетін санның түсіндіргіш-композициялық анықтамасы

Золотой_Орел

12

Шынайы қадаға - бұл функцияның композициялық анықтамасы болып табылады. Функцияның композициялық анықтамасы – бұл барлық белгілі мезіндері, композициялық функцияның мәндерін қайтару үшін пайда болады.

Ешкімнің анықтамасы коммуникациялық белгіні түрлендіреді. Қадағаның шынайы қадағасы - әйелді шешетін санның түсіндіргіш-композициялық анықтамасы кейбір түрлерінің (жынысынан білінеді) санын көрсетеді.

Сондықтан, мына формуланым ерекшеліктерге сай енгізіліп отыр.

\(f: A\to B\) - қадағаның шынайы қадағасы,

\(g: C\to D\) - әйелді шешетін санның түсіндіргіш-композициялық анықтамасы.

Егер \(B=C\), ал \(D\) - санның түсіндіргіші болса, онда шынайы композиция анықтамасы

\(g \circ f: A\to D\)

Егер өзара шарттарды бекіту кепіл болса, композициялық анықтама қабылданады. Осында \(g\) функциясының белгілі мезіндерін бірінің мәні \(\(f(A)\) аударылып қойылады. Ол өзара байланысты санның композициясына айналдырады. Вероятност теори­ясына кіретінде функциялардың композицияларын анықтау керек болады.

Шынайы қадағаның жауабы лауазыммен анықталатын функция болып табылады. Енді жай функцияның анықтамасын орындағанымызды қараңыз.