التابع المتباين – الغامر – التقابل

التابع المتباين – الغامر – التقابل
(T: Birebir – Örten – Birebir Örten Fonksiyon)
(E: One to one – Onto – Bijective Function )
(E: Injective – Surjective – Bijective Function )

التابع المتباين (T: Birebir Fonksiyon) (E: Injective Function ) (E: One to One )
ليكن لدينا التابع :
\[f: A \rightarrow B : x \mapsto f(x)\]
عندئذٍ نقول عن هذا التابع أنه تابع متباين إذا تحقق الشرط:
\[\forall x_1,x_2 \in A: f(x_1)=f(x_2) \Rightarrow x_1=x_2\]
التابع الغامر (T: Örten Fonksiyon) (E: Surjective Function ) (E: Onto )
ليكن لدينا التابع :
\[f: A \rightarrow B : x \mapsto f(x)\]
عندئذٍ نقول عن هذا التابع أنه تابع غامر إذا تحقق الشرط:
\[\forall y \in B: \exists x \in A: f(x)=y\]
التابع التقابل (T: Birebir Örten Fonksiyon) (E: Bijective Function )
ليكن لدينا التابع :
\[f: A \rightarrow B : x \mapsto f(x)\]
عندئذٍ نقول عن هذا التابع أنه تقابل إذا كان تابع متباين وغامر معاً.

مقالات ذات صلة:
تعريف التابع
العمليات على التوابع