There is no permanent place in the world for ugly mathematics … . It may be very hard to define mathematical beauty but that is just as true of beauty of any kind, we may not know quite what we mean by a beautiful poem, but that does not prevent us from recognising one when we read it. - G. H. Hardy

1.1 भूमिका (Introduction)

स्मरण कीजिए कि कक्षा XI में, संबंध एवं फलन, प्रांत, सहप्रांत तथा परिसर आदि की अवधारणाओं का, विभिन्न प्रकार के वास्तविक मानीय फलनों और उनके आलेखों सहित परिचय कराया जा चुका है। गणित में शब्द ‘संबंध (Relation)’ की सकंल्पना को अंग्रेज़ी भाषा में इस शब्द के अर्थ से लिया गया है, जिसके अनुसार दो वस्तुएँ परस्पर संबंधित होती है, यदि उनके बीच एक अभिज्ञेय (Recognisable) कड़ी हो। मान लीजिए कि $\mathrm{A}$, किसी स्कूल की कक्षा XII के विद्यार्थियों का समुच्चय है तथा $\mathrm{B}$ उसी स्कूल की कक्षा XI के विद्यार्थियों का समुच्चय हैं। अब समुच्चय $\mathrm{A}$ से समुच्चय $\mathrm{B}$ तक के संबंधों के कुछ उदाहरण इस प्रकार हैं

(i) $\{(a, b) \in \mathrm{A} \times \mathrm{B}: a, b$ का भाई है $\}$,

(ii) $\{(a, b) \in \mathrm{A} \times \mathrm{B}: a, b$ की बहन है $\}$,

Lejeune Dirichlet (1805-1859)

(iii) $\{(a, b) \in \mathrm{A} \times \mathrm{B}: a$ की आयु $b$ की आयु से अधिक है $\}$,

(iv) $\{(a, b) \in \mathrm{A} \times \mathrm{B}$ : पिछली अंतिम परीक्षा में $a$ द्वारा प्राप्त पूर्णांक $b$ द्वारा प्राप्त पूर्णांक से कम है $\}$,

(v) $\{(a, b) \in \mathrm{A} \times \mathrm{B}: a$ उसी जगह रहता है जहाँ $b$ रहता है $\}$. तथापि $\mathrm{A}$ से $\mathrm{B}$ तक के किसी संबंध $\mathrm{R}$ को अमूर्तरूप (Abstracting) से हम गणित में $\mathrm{A} \times \mathrm{B}$ के एक स्वेच्छ (Arbitrary) उपसमुच्चय की तरह परिभाषित करते हैं।

यदि $(a, b) \in \mathrm{R}$, तो हम कहते हैं कि संबंध $\mathrm{R}$ के अंतर्गत $a, b$ से संबंधित है और हम इसे $a \mathrm{R} b$ लिखते हैं। सामान्यतः, यदि $(a, b) \in \mathrm{R}$, तो हम इस बात की चिंता नहीं करते हैं कि $a$ तथा $b$ के बीच कोई अभिजेय कड़ी है अथवा नहीं है। जैसा कि कक्षा XI में देख चुके हैं, फलन एक विशेष प्रकार के संबंध होता हैं।

इस अध्याय में, हम विभिन्न प्रकार के संबंधों एवं फलनों, फलनों के संयोजन (composition), व्युत्क्रमणीय (Invertible) फलनों और द्विआधारी संक्रियाओं का अध्ययन करेंगे।

1.2 संबंधों के प्रकार (Types of Relations)

इस अनुच्छेद में हम विभिन्न प्रकार के संबंधों का अध्ययन करेंगे। हमें ज्ञात है कि किसी समुच्चय $\mathrm{A}$ में संबंध, $\mathrm{A} \times \mathrm{A}$ का एक उपसमुच्चय होता है। अतः रिक्त समुच्चय $\phi \subset \mathrm{A} \times \mathrm{A}$ तथा $\mathrm{A} \times \mathrm{A}$ स्वयं, दो अन्त्य संबंध हैं। स्पष्टीकरण हेतु, $\mathrm{R}=\{(a, b): a-b=10\}$ द्वारा प्रदत्त समुच्चय $\mathrm{A}=\{1,2,3,4\}$ पर परिभाषित एक संबंध $\mathrm{R}$ पर विचार कीजिए। यह एक रिक्त समुच्चय है, क्योंकि ऐसा कोई भी युग्म (pair) नहीं है जो प्रतिबंध $a-b=10$ को संतुष्ट करता है। इसी प्रकार $\mathrm{R}^{\prime}=\{(a, b):|a-b| \geq 0\}$, संपूर्ण समुच्चय $\mathrm{A} \times \mathrm{A}$ के तुल्य है, क्योंकि $\mathrm{A} \times \mathrm{A}$ के सभी युग्म $(a, b),|a-b| \geq 0$ को संतुष्ट करते हैं। यह दोनों अन्त्य के उदाहरण हमें निम्नलिखित परिभाषाओं के लिए प्रेरित करते हैं।

परिभाषा 1 समुच्चय $A$ पर परिभाषित संबंध $R$ एक रिक्त संबंध कहलाता है, यदि $A$ का कोई भी अवयव $\mathrm{A}$ के किसी भी अवयव से संबंधित नहीं है, अर्थात् $\mathrm{R}=\phi \subset \mathrm{A} \times \mathrm{A}$.

परिभाषा 2 समुच्चय $A$ पर परिभाषित संबंध $\mathrm{R}$, एक सार्वत्रिक (universal) संबंध कहलाता है, यदि $\mathrm{A}$ का प्रत्येक अवयव $\mathrm{A}$ के सभी अवयवों से संबंधित है, अर्थात् $\mathrm{R}=\mathrm{A} \times \mathrm{A}$.

रिक्त संबंध तथा सार्वत्रिक संबंध को कभी-कभी तुच्छ (trivial) संबंध भी कहते हैं।

उदाहरण 1 मान लीजिए कि $\mathrm{A}$ किसी बालकों के स्कूल के सभी विद्यार्थियों का समुच्चय है। दर्शाइए कि $\mathrm{R}=\{(a, b): a, b$ की बहन है $\}$ द्वारा प्रदत्त संबंध एक रिक्त संबंध है तथा $\mathrm{R}^{\prime}=\{(a, b)$ : $a$ तथा $b$ की ऊँचाईयों का अंतर 3 मीटर से कम है $\}$ द्वारा प्रदत्त संबंध एक सार्वत्रिक संबंध है।

हल प्रश्नानुसार, क्योंकि स्कूल बालकों का है, अतएव स्कूल का कोई भी विद्यार्थी, स्कूल के किसी भी विद्यार्थी की बहन नहीं हो सकता है। अत: $\mathrm{R}=\phi$, जिससे प्रदर्शित होता है कि $\mathrm{R}$ रिक्त संबंध है। यह भी स्पष्ट है कि किन्हीं भी दो विद्यार्थियों की ऊँचाइयों का अंतर 3 मीटर से कम होना ही चाहिए। इससे प्रकट होता है कि $\mathrm{R}^{\prime}=\mathrm{A} \times \mathrm{A}$ सार्वत्रिक संबंध है।

टिप्पणी कक्षा XI में विद्यार्थीगण सीख चुके हैं कि किसी संबंध को दो प्रकार से निरूपित किया जा सकता है, नामतः रोस्टर विधि तथा समुच्चय निर्माण विधि। तथापि बहुत से लेखकों द्वारा समुच्चय $\{1,2,3,4\}$ पर परिभाषित संबंध $\mathrm{R}=\{(a, b): b=a+1\}$ को $a \mathrm{R} b$ द्वारा भी निरूपित किया जाता है, यदि और केवल यदि $b=a+1$ हो। जब कभी सुविधाजनक होगा, हम भी इस संकेतन (notation) का प्रयोग करेंगे।

यदि $(a, b) \in \mathrm{R}$, तो हम कहते हैं कि $a, b$ से संबंधित है’ और इस बात को हम $a \mathrm{R} b$ द्वारा प्रकट करते हैं।

एक अत्यन्त महत्वपूर्ण संबंध, जिसकी गणित में एक सार्थक (significant) भूमिका है, तुल्यता संबंध (Equivalence Relation) कहलाता है। तुल्यता संबंध का अध्ययन करने के लिए हम पहले तीन प्रकार के संबंधों, नामतः स्वतुल्य (Reflexive), सममित (Symmetric) तथा संक्रामक (Transitive) संबंधों पर विचार करते हैं।

परिभाषा 3 समुच्चय $A$ पर परिभाषित संबंध $R$;

(i) स्वतुल्य (reflexive) कहलाता है, यदि प्रत्येक $a \in \mathrm{A}$ के लिए $(a, a) \in \mathrm{R}$,

(ii) सममित (symmetric) कहलाता है, यदि समस्त $a _{1}, a _{2} \in \mathrm{A}$ के लिए $\left(a _{1}, a _{2}\right) \in \mathrm{R}$ से $\left(a _{2}, a _{1}\right) \in \mathrm{R}$ प्राप्त हो।

(iii) संक्रामक (transitive) कहलाता है, यदि समस्त, $a _{1}, a _{2}, a _{3} \in \mathrm{A}$ के लिए $\left(a _{1}, a _{2}\right) \in \mathrm{R}$ तथा $\left(a _{2}, a _{3}\right) \in \mathrm{R}$ से $\left(a _{1}, a _{3}\right) \in \mathrm{R}$ प्राप्त हो।

परिभाषा 4 $\mathrm{~A}$ पर परिभाषित संबंध $\mathrm{R}$ एक तुल्यता संबंध कहलाता है, यदि $\mathrm{R}$ स्वतुल्य, सममित तथा संक्रामक है।

उदाहरण 2 मान लीजिए कि $\mathrm{T}$ किसी समतल में स्थित समस्त त्रिभुजों का एक समुच्चय है। समुच्चय $\mathrm{T}$ में $\mathrm{R}=\left\{\left(\mathrm{T} _{1}, \mathrm{~T} _{2}\right): \mathrm{T} _{1}, \mathrm{~T} _{2}\right.$ के सर्वागंसम है $\}$ एक संबंध है। सिद्ध कीजिए कि $\mathrm{R}$ एक तुल्यता संबंध है।

हल संबंध $\mathrm{R}$ स्वतुल्य है, क्योंकि प्रत्येक त्रिभुज स्वयं के सवार्गंसम होता है। पुन: $\left(\mathrm{T} _{1}, \mathrm{~T} _{2}\right) \in \mathrm{R} \Rightarrow \mathrm{T} _{1}, \mathrm{~T} _{2}$ के सर्वांगम है $\Rightarrow \mathrm{T} _{2}, \mathrm{~T} _{1}$ के सर्वागंसम है $\Rightarrow\left(\mathrm{T} _{2}, \mathrm{~T} _{1}\right) \in \mathrm{R}$. अत: संबंध $\mathrm{R}$ सममित है। इसके अतिरिक्त $\left(\mathrm{T} _{1}, \mathrm{~T} _{2}\right),\left(\mathrm{T} _{2}, \mathrm{~T} _{3}\right) \in \mathrm{R} \Rightarrow \mathrm{T} _{1}, \mathrm{~T} _{2}$ के सर्वागंसम है तथा $\mathrm{T} _{2}, \mathrm{~T} _{3}$ के सर्वागंसम है $\Rightarrow \mathrm{T} _{1}, \mathrm{~T} _{3}$ के सर्वागंसम है $\Rightarrow\left(\mathrm{T} _{1}, \mathrm{~T} _{3}\right) \in \mathrm{R}$. अतः संबंध $\mathrm{R}$ संक्रामक है। इस प्रकार $\mathrm{R}$ एक तुल्यता संबंध है।

उदाहरण 3 मान लीजिए कि $\mathrm{L}$ किसी समतल में स्थित समस्त रेखाओं का एक समुच्चय है तथा $\mathrm{R}=\left\{\left(\mathrm{L} _{1}, \mathrm{~L} _{2}\right): \mathrm{L} _{1}, \mathrm{~L} _{2}\right.$ पर लंब है $\}$ समुच्चय $\mathrm{L}$ में परिभाषित एक संबंध है। सिद्ध कीजिए कि $\mathrm{R}$ सममित है किंतु यह न तो स्वतुल्य है और न संक्रामक है।

हल $\mathrm{R}$ स्वतुल्य नहीं है, क्योंकि कोई रेखा $\mathrm{L} _{1}$ अपने आप पर लंब नहीं हो सकती है, अर्थात् $\left(\mathrm{L} _{1}, \mathrm{~L} _{1}\right) \notin \mathrm{R} . \mathrm{R}$ सममित है, क्योंकि $\left(\mathrm{L} _{1}, \mathrm{~L} _{2}\right) \in \mathrm{R}$

$$ \begin{array}{ll} \Rightarrow & \mathrm{L} _{1}, \mathrm{~L} _{2} \text { पर लंब है } \\ \Rightarrow & \mathrm{L} _{2}, \mathrm{~L} _{1} \text { पर लंब है } \\ \Rightarrow & \left(\mathrm{L} _{2}, \mathrm{~L} _{1}\right) \in \mathrm{R} \end{array} $$

$\mathrm{R}$ संक्रामक नहीं है। निश्चय ही, यदि $\mathrm{L} _{1}, \mathrm{~L} _{2}$ पर लंब है तथा $\mathrm{L} _{2}$, $\mathrm{L} _{3}$ पर लंब है, तो $\mathrm{L} _{1}, \mathrm{~L} _{3}$ पर कभी भी लंब नहीं हो सकती है। वास्तव में ऐसी दशा में $\mathrm{L} _{1}, \mathrm{~L} _{3}$ के समान्तर होगी। अर्थात्, $\left(\mathrm{L} _{1}, \mathrm{~L} _{2}\right) \in \mathrm{R}$, $\left(\mathrm{L} _{2}, \mathrm{~L} _{3}\right) \in \mathrm{R}$ परंतु $\left(\mathrm{L} _{1}, \mathrm{~L} _{3}\right) \notin \mathrm{R}$

आकृति 1.1

उदाहरण 4 सिद्ध कीजिए कि समुच्चय $\{1,2,3\}$ में $\mathrm{R}=\{(1,1),(2,2)$, $(3,3),(1,2),(2,3)\}$ द्वारा प्रदत्त संबंध स्वतुल्य है, परंतु न तो सममित है और न संक्रामक है।

हल $\mathrm{R}$ स्वतुल्य है क्योंकि $(1,1),(2,2)$ और $(3,3), \mathrm{R}$ के अवयव हैं। $\mathrm{R}$ सममित नहीं है, क्योंकि $(1,2) \in \mathrm{R}$ किंतु $(2,1) \notin \mathrm{R}$. इसी प्रकार $\mathrm{R}$ संक्रामक नहीं है, क्योंकि $(1,2) \in \mathrm{R}$ तथा $(2,3) \in \mathrm{R}$ परंतु $(1,3) \notin \mathrm{R}$

उदाहरण 5 सिद्ध कीजिए कि पूर्णांकों के समुच्चय $\mathbf{Z}$ में $\mathrm{R}=\{(a, b)$ : संख्या $2,(a-b)$ को विभाजित करती है द्वारा प्रदत्त संबंध एक तुल्यता संबंध है।

हल $\mathrm{R}$ स्वतुल्य है, क्योंकि समस्त $a \in \mathbf{Z}$ के लिए $2,(a-a)$ को विभाजित करता है। अत: $(a, a) \in \mathrm{R}$. पुन: यदि $(a, b) \in \mathrm{R}$, तो $2, a-b$ को विभाजित करता है । अतएव $b-a$ को भी 2 विभाजित करता है। अत: $(b, a) \in \mathrm{R}$, जिससे सिद्ध होता है कि $\mathrm{R}$ सममित है। इसी प्रकार, यदि $(a, b) \in \mathrm{R}$ तथा $(b, c) \in \mathrm{R}$, तो $a-b$ तथा $b-c$ संख्या 2 से भाज्य है। अब, $a-c=(a-b)+(b-c)$ सम (even) है (क्यों?)। अतः $(a-c)$ भी 2 से भाज्य है। इससे सिद्ध होता है कि $\mathrm{R}$ संक्रामक है। अतः समुच्चय $\mathrm{Z}$ में $\mathrm{R}$ एक तुल्यता संबंध है।

उदाहरण 5 में, नोट कीजिए कि सभी सम पूर्णांक शून्य से संबंधित हैं, क्योंकि $(0, \pm 2)$, $(0, \pm 4), \ldots$ आदि $\mathrm{R}$ में हैं और कोई भी विषम पूर्णांक 0 से संबंधित नहीं है, क्योंकि $(0, \pm 1)$, $(0, \pm 3), \ldots$ आदि $\mathrm{R}$ में नहीं हैं। इसी प्रकार सभी विषम पूर्णांक 1 से संबंधित हैं और कोई भी सम पूर्णांक 1 से संबंधित नहीं है। अतएव, समस्त सम पूर्णांकों का समुच्चय $\mathrm{E}$ तथा समस्त विषम पूर्णांकों का समुच्चय $\mathrm{O}$ समुच्चय $\mathrm{Z}$ के उप समुच्चय हैं, जो निम्नलिखित प्रतिबंधों को संतुष्ट करते हैं।

(i) $\mathrm{E}$ के समस्त अवयव एक दूसरे से संबंधित हैं तथा $\mathrm{O}$ के समस्त अवयव एक दूसरे से संबंधित हैं।

(ii) $\mathrm{E}$ का कोई भी अवयव $\mathrm{O}$ के किसी भी अवयव से संबंधित नहीं है और विलोमतः $\mathrm{O}$ का कोई भी अवयव $\mathrm{E}$ के किसी भी अवयव से संबंधित नहीं है।

(iii) $\mathrm{E}$ तथा $\mathrm{O}$ असंयुक्त है और $\mathbf{Z}=\mathrm{E} \cup \mathrm{O}$ है।

उपसमुच्चय $\mathrm{E}$, शून्य को अंतर्विष्ट (contain) करने वाला तुल्यता-वर्ग (Equivalence Class) कहलाता है और जिसे प्रतीक $[0]$ से निरूपित करते हैं। इसी प्रकार $O, 1$ को अंतर्विष्ट करने वाला तुल्यता-वर्ग है, जिसे [1] द्वारा निरूपित करते हैं। नोट कीजिए कि $[0] \neq[1],[0]=[2 r]$ और $[1]=[2 r+1], r \in \mathbf{Z}$. वास्तव में, जो कुछ हमने ऊपर देखा है, वह किसी भी समुच्चय $\mathrm{X}$ में एक स्वेच्छ तुल्यता संबंध $\mathrm{R}$ के लिए सत्य होता है। किसी प्रदत्त स्वेच्छ समुच्चय $\mathrm{X}$ में प्रदत्त एक स्वेच्छ (arbitrary) तुल्यता संबंध $\mathrm{R}, \mathrm{X}$ को परस्पर असंयुक्त उपसमुच्चयों $\mathrm{A} _{i}$ में विभाजित कर देता है, जिन्हें $\mathrm{X}$ का विभाजन (Partition) कहते हैं ओर जो निम्नलिखित प्रतिबंधों को संतुष्ट करते हैं:

(i) समस्त $i$ के लिए $\mathrm{A} _{i}$ के सभी अवयव एक दूसरे से संबंधित होते हैं।

(ii) $\mathrm{A} _{i}$ का कोई भी अवयव, $\mathrm{A} _{j}$ के किसी भी अवयव से संबंधित नहीं होता है, जहाँ $i \neq j$

(iii) $\cup \mathrm{A} _{j}=\mathrm{X}$ तथा $\mathrm{A} _{i} \cap \mathrm{A} _{j}=\phi, i \neq j$

उपसमुच्चय $\mathrm{A} _{i}$ तुल्यता-वर्ग कहलाते हैं। इस स्थिति का रोचक पक्ष यह है कि हम विपरीत क्रिया भी कर सकते हैं। उदाहरण के लिए $\mathbf{Z}$ के उन उपविभाजनों पर विचार कीजिए, जो $\mathbf{Z}$ के ऐसे तीन परस्पर असंयुक्त उपसमुच्चयों $\mathrm{A} _{1}, \mathrm{~A} _{2}$ तथा $\mathrm{A} _{3}$ द्वारा प्रदत्त हैं, जिनका सम्मिलन (Union) $\mathbf{Z}$ है,

$$ \begin{aligned} & \mathrm{A} _{1}=\{x \in \mathbf{Z}: x \text { संख्या } 3 \text { का गुणज है }\}=\{\ldots,-6,-3,0,3,6, \ldots\} \\ & \mathrm{A} _{2}=\{x \in \mathbf{Z}: x-1 \text { संख्या } 3 \text { का गुणज है }\}=\{\ldots,-5,-2,1,4,7, \ldots\} \\ & \mathrm{A} _{3}=\{x \in \mathbf{Z}: x-2 \text { संख्या } 3 \text { का गुणज है }\}=\{\ldots,-4,-1,2,5,8, \ldots\} \end{aligned} $$

$\mathbf{Z}$ में एक संबंध $\mathrm{R}=\{(a, b): 3, a-b$ को विभाजित करता है $\}$ परिभाषित कीजिए। उदाहरण 5 में प्रयुक्त तर्क के अनुसार हम सिद्ध कर सकते हैं कि $\mathrm{R}$ एक तुल्यता संबंध हैं। इसके अतिरिक्त $\mathrm{A} _{1}, \mathbf{Z}$ के उन सभी पूर्णांकों के समुच्चय के बराबर है, जो शून्य से संबंधित हैं, $\mathrm{A} _{2}, \mathbf{Z}$ के उन सभी पूर्णांकों के समुच्चय के बराबर है, जो 1 से संबंधित हैं और $\mathrm{A} _{3}, \mathbf{Z}$ के उन सभी पूर्णांकों के समुच्चय बराबर है, जो 2 से संबंधित हैं। अत: $\mathrm{A} _{1}=[0], \mathrm{A} _{2}=[1]$ और $\mathrm{A} _{3}=[2]$. वास्तव में $\mathrm{A} _{1}=[3 r]$, $\mathrm{A} _{2}=[3 r+1]$ और $\mathrm{A} _{3}=[3 r+2]$, जहाँ $r \in \mathbf{Z}$.

उदाहरण 6 मान लीजिए कि समुच्चय $\mathrm{A}=\{1,2,3,4,5,6,7\}$ में $\mathrm{R}=\{(a, b): a$ तथा $b$ दोनों ही या तो विषम हैं या सम हैं द्वारा परिभाषित एक संबंध है। सिद्ध कीजिए कि $\mathrm{R}$ एक तुल्यता संबंध है। साथ ही सिद्ध कीजिए कि उपसमुच्चय $\{1,3,5,7\}$ के सभी अवयव एक दूसरे से संबंधित है, और उपसमुच्चय $\{2,4,6\}$ के सभी अवयव एक दूसरे से संबंधित है, परंतु उपसमुच्चय $\{1,3,5,7\}$ का कोई भी अवयव उपसमुच्चय $\{2,4,6\}$ के किसी भी अवयव से संबंधित नहीं है।

हल $\mathrm{A}$ का प्रदत्त कोई अवयव $a$ या तो विषम है या सम है, अतएव $(a, a) \in \mathrm{R}$. इसके अतिरिक्त $(a, b) \in \mathrm{R} \Rightarrow a$ तथा $b$ दोनों ही, या तो विषम हैं या सम हैं $\Rightarrow(b, a) \in \mathrm{R}$. इसी प्रकार $(a, b) \in \mathrm{R}$ तथा $(b, c) \in \mathrm{R} \Rightarrow$ अवयव $a, b, c$, सभी या तो विषम हैं या सम हैं $\Rightarrow(a, c) \in \mathrm{R}$. अतः $\mathrm{R}$ एक तुल्यता संबंध है। पुन:, $\{1,3,5,7\}$ के सभी अवयव एक दूसरे से संबंधित हैं, क्योंकि इस उपसमुच्चय के सभी अवयव विषम हैं। इसी प्रकार $\{2,4,6$,$\} के सभी अवयव एक दूसरे से$ संबंधित हैं, क्योंकि ये सभी सम हैं। साथ ही उपसमुच्चय $\{1,3,5,7\}$ का कोई भी अवयव $\{2,4,6\}$ के किसी भी अवयव से संबंधित नहीं हो सकता है, क्योंकि $\{1,3,5,7\}$ के अवयव विषम हैं, जब कि $\{2,4,6\}$, के अवयव सम हैं।

प्रश्नावली 1.1

1. निर्धारित कीजिए कि क्या निम्नलिखित संबंधों में से प्रत्येक स्वतुल्य, सममित तथा संक्रामक हैं :

(i) समुच्चय $\mathrm{A}=\{1,2,3, \ldots, 13,14\}$ में संबंध $\mathrm{R}$, इस प्रकार परिभाषित है कि

$$ \mathrm{R}=\{(x, y): 3 x-y=0\} $$

(ii) प्राकृत संख्याओं के समुच्चय $\mathbf{N}$ में $\mathrm{R}=\{(x, y): y=x+5$ तथा $x<4\}$ द्वारा परिभाषित संबंध $\mathrm{R}$.

(iii) समुच्चय $\mathrm{A}=\{1,2,3,4,5,6\}$ में $\mathrm{R}=\{(x, y): y$ भाज्य है $x$ से $\}$ द्वारा परिभाषित संबंध $\mathrm{R}$ है।

(iv) समस्त पूर्णांकों के समुच्चय $\mathbf{Z}$ में $\mathrm{R}=\{(x, y): x-y$ एक पूर्णांक है $\}$ द्वारा परिभाषित संबंध R.

(v) किसी विशेष समय पर किसी नगर के निवासियों के समुच्चय में निम्नलिखित संबंध $\mathrm{R}$

(a) $\mathrm{R}=\{(x, y): x$ तथा $y$ एक ही स्थान पर कार्य करते हैं $\}$

(b) $\mathrm{R}=\{(x, y): x$ तथा $y$ एक ही मोहल्ले में रहते हैं $\}$

(c) $\mathrm{R}=\{(x, y): x, y$ से ठीक-ठीक 7 सेमी लंबा है $\}$

(d) $\mathrm{R}=\{(x, y): x, y$ की पत्नी है $\}$

(e) $\mathrm{R}=\{(x, y): x, y$ के पिता हैं $\}$

2. सिद्ध कीजिए कि वास्तविक संख्याओं के समुच्चय $\mathrm{R}$ में $\mathrm{R}=\left\{(a, b): a \leq b^{2}\right\}$, द्वारा परिभाषित संबंध $\mathrm{R}$, न तो स्वतुल्य है, न सममित हैं और न ही संक्रामक है।

3. जाँच कीजिए कि क्या समुच्चय $\{1,2,3,4,5,6\}$ में $\mathrm{R}=\{(a, b): b=a+1\}$ द्वारा परिभाषित संबंध $\mathrm{R}$ स्वतुल्य, सममित या संक्रामक है।

4. सिद्ध कीजिए कि $\mathbf{R}$ में $\mathrm{R}=\{(a, b): a \leq b\}$, द्वारा परिभाषित संबंध $\mathrm{R}$ स्वतुल्य तथा संक्रामक है किंतु सममित नहीं है।

5. जाँच कीजिए कि क्या $\mathbf{R}$ में $\mathrm{R}=\left\{(a, b): a \leq b^{3}\right\}$ द्वारा परिभाषित संबंध स्वतुल्य, सममित अथवा संक्रामक है?

6. सिद्ध कीजिए कि समुच्चय $\{1,2,3\}$ में $\mathrm{R}=\{(1,2),(2,1)\}$ द्वारा प्रदत्त संबंध $\mathrm{R}$ सममित है किंतु न तो स्वतुल्य है और न संक्रामक है।

7. सिद्ध कीजिए कि किसी कॉलेज के पुस्तकालय की समस्त पुस्तकों के समुच्चय $\mathrm{A}$ में $\mathrm{R}=\{(x, y): x$ तथा $y$ में पेजों की संख्या समान है $\}$ द्वारा प्रदत्त संबंध $\mathrm{R}$ एक तुल्यता संबंध है।

8. सिद्ध कीजिए कि $\mathrm{A}=\{1,2,3,4,5\}$ में, $\mathrm{R}=\{(a, b):|a-b|$ सम है $\}$ द्वारा प्रदत्त संबंध $\mathrm{R}$ एक तुल्यता संबंध है। प्रमाणित कीजिए कि $\{1,3,5\}$ के सभी अवयव एक दूसरे से संबंधित हैं और समुच्चय $\{2,4\}$ के सभी अवयव एक दूसरे से संबंधित हैं परंतु $\{1,3,5\}$ का कोई भी अवयव $\{2,4\}$ के किसी अवयव से संबंधित नहीं है।

9. सिद्ध किजिए कि समुच्चय $\mathrm{A}=\{x \in \mathbf{Z}: 0 \leq x \leq 12\}$, में दिए गए निम्नलिखित संबंधों $\mathrm{R}$ में से प्रत्येक एक तुल्यता संबंध है:

(i) $\mathrm{R}=\{(a, b):|a-b|, 4$ का एक गुणज है $\}$,

(ii) $\mathrm{R}=\{(a, b): a=b\}$,

प्रत्येक दशा में 1 से संबंधित अवयवों को ज्ञात कीजिए।

10. ऐसे संबंध का उदाहरण दीजिए, जो

(i) सममित हो परंतु न तो स्वतुल्य हो और न संक्रामक हो।

(ii) संक्रामक हो परंतु न तो स्वतुल्य हो और न सममित हो। .

(iii) स्वतुल्य तथा सममित हो किंतु संक्रामक न हो।

(iv) स्वतुल्य तथा संक्रामक हो किंतु सममित न हो।

(v) सममित तथा संक्रामक हो किंतु स्वतुल्य न हो।

11. सिद्ध कीजिए कि किसी समतल में स्थित बिंदुओं के समुच्चय में, $\mathrm{R}=\{(\mathrm{P}, \mathrm{Q})$ : बिंदु $\mathrm{P}$ की मूल बिंदु से दूरी, बिंदु $\mathrm{Q}$ की मूल बिंदु से दूरी के समान है $\}$ द्वारा प्रदत्त संबंध $\mathrm{R}$ एक तुल्यता संबंध है। पुनः सिद्ध कीजिए कि बिंदु $\mathrm{P} \neq(0,0)$ से संबंधित सभी बिंदुओं का समुच्चय $\mathrm{P}$ से होकर जाने वाले एक ऐसे वृत्त को निरूपित करता है, जिसका केंद्र मूलबिंदु पर है।

12. सिद्ध कीजिए कि समस्त त्रिभुजों के समुच्चय $\mathrm{A}$ में, $\mathrm{R}=\left\{\left(\mathrm{T} _{1}, \mathrm{~T} _{2}\right): \mathrm{T} _{1}, \mathrm{~T} _{2}\right.$ के समरूप है $\}$ द्वारा परिभाषित संबंध $R$ एक तुल्यता संबंध है। भुजाओं $3,4,5$ वाले समकोण त्रिभुज $T _{1}$, भुजाओं $5,12,13$ वाले समकोण त्रिभुज $T _{2}$ तथा भुजाओं $6,8,10$ वाले समकोण त्रिभुज $\mathrm{T} _{3}$ पर विचार कीजिए। $\mathrm{T} _{1}, \mathrm{~T} _{2}$ और $\mathrm{T} _{3}$ में से कौन से त्रिभुज परस्पर संबंधित हैं?

13. सिद्ध कीजिए कि समस्त बहुभुजों के समुच्चय $A$ में, $R=\left\{\left(P _{1}, P _{2}\right): P _{1}\right.$ तथा $P _{2}$ की भुजाओं की संख्या समान है प्रकार से परिभाषित संबंध $\mathrm{R}$ एक तुल्यता संबंध है। 3,4 , और 5 लंबाई की भुजाओं वाले समकोण त्रिभुज से संबंधित समुच्चय $\mathrm{A}$ के सभी अवयवों का समुच्चय ज्ञात कीजिए।

14. मान लीजिए कि $\mathrm{XY}$-तल में स्थित समस्त रेखाओं का समुच्चय $\mathrm{L}$ है और $\mathrm{L}$ में $\mathrm{R}=\left\{\left(\mathrm{L} _{1}, \mathrm{~L} _{2}\right)\right.$ $: \mathrm{L} _{1}$ समान्तर है $\mathrm{L} _{2}$ के \} द्वारा परिभाषित संबंध $\mathrm{R}$ है। सिद्ध कीजिए कि $\mathrm{R}$ एक तुल्यता संबंध है। रेखा $y=2 x+4$ से संबंधित समस्त रेखाओं का समुच्चय ज्ञात कीजिए।

15. मान लीजिए कि समुच्चय $\{1,2,3,4\}$ में, $\mathrm{R}=\{(1,2),(2,2),(1,1),(4,4)$, $(1,3),(3,3),(3,2)\}$ द्वारा परिभाषित संबंध $\mathrm{R}$ है। निम्नलिखित में से सही उत्तर चुनिए।

(A) $\mathrm{R}$ स्वतुल्य तथा सममित है किंतु संक्रामक नहीं है।

(B) $\mathrm{R}$ स्वतुल्य तथा संक्रामक है किंतु सममित नहीं है।

(C) $\mathrm{R}$ सममित तथा संक्रामक है किंतु स्वतुल्य नहीं है।

(D) $\mathrm{R}$ एक तुल्यता संबंध है।

16. मान लीजिए कि समुच्चय $\mathbf{N}$ में, $\mathrm{R}=\{(a, b): a=b-2, b>6\}$ द्वारा प्रदत्त संबंध $\mathrm{R}$ है। निम्नलिखित में से सही उत्तर चुनिए: (A) $(2,4) \in \mathrm{R}$ (B) $(3,8) \in \mathrm{R}$ (C) $(6,8) \in \mathrm{R}$ (D) $(8,7) \in \mathrm{R}$

1.3 फलनों के प्रकार (Types of Functions)

फलनों की अवधारणा, कुछ विशेष फलन जैसे तत्समक फलन, अचर फलन, बहुपद फलन, परिमेय फलन, मापांक फलन, चिहन फलन आदि का वर्णन उनके आलेखों सहित कक्षा XI में किया जा चुका है।

दो फलनों के योग, अंतर, गुणा तथा भाग का भी अध्ययन किया जा चुका है। क्योंकि फलन की संकल्पना गणित तथा अध्ययन की अन्य शाखाओं (Disciplines) में सर्वाधिक महत्वपूर्ण है, इसलिए हम फलन के बारे में अपना अध्ययन वहाँ से आगे बढ़ाना चाहते हैं, जहाँ इसे पहले समाप्त किया था। इस अनुच्छेद में, हम विभिन्न प्रकार के फलनों का अध्ययन करेंगे।

निम्नलिखित आकृतियों द्वारा दर्शाए गए फलन $f _{1}, f _{2}, f _{3}$ तथा $f _{4}$ पर विचार कीजिए।

आकृति 1.2 में हम देखते हैं कि $\mathrm{X} _{1}$ के भिन्न (distinct) अवयवों के, फलन $f _{1}$ के अंतर्गत, प्रतिबिंब भी भिन्न हैं, किंतु $f _{2}$ के अंतर्गत दो भिन्न अवयवों 1 तथा 2 के प्रतिबिंब एक ही हैं नामतः $b$ है। पुन: $\mathrm{X} _{2}$ में कुछ ऐसे अवयव है जैसे $e$ तथा $f$ जो $f _{1}$ के अंतर्गत $\mathrm{X} _{1}$ के किसी भी अवयव के प्रतिबिंब नहीं हैं, जबकि $f _{3}$ के अंतर्गत $\mathrm{X} _{3}$ के सभी अवयव $\mathrm{X} _{1}$ के किसी न किसी अवयव के प्रतिबिंब हैं। उपर्युक्त परिचर्चा से हमें निम्नलिखित परिभाषाएँ प्राप्त होती हैं।

परिभाषा 5 एक फलन $f: \mathrm{X} \rightarrow \mathrm{Y}$ एकैकी (one-one) अथवा एकैक (injective) फलन कहलाता है, यदि $f$ के अंतर्गत $\mathrm{X}$ के भिन्न अवयवों के प्रतिबिंब भी भिन्न होते हैं, अर्थात् प्रत्येक $x _{1}, x _{2} \in \mathrm{X}$, के लिए $f\left(x _{1}\right)=f\left(x _{2}\right)$ का तात्पर्य है कि $x _{1}=x _{2}$, अन्यथा $f$ एक बहुएक (many-one) फलन कहलाता है।

आकृति 1.2 (i) में फलन $f _{1}$ एकैकी फलन है तथा आकृति 1.2 (ii) में $f _{2}$ एक बहुएक फलन है।

परिभाषा 6 फलन $f: \mathrm{X} \rightarrow \mathrm{Y}$ आच्छादक (onto) अथवा आच्छादी (surjective) कहलाता है, यदि $f$ के अंतर्गत $\mathrm{Y}$ का प्रत्येक अवयव, $\mathrm{X}$ के किसी न किसी अवयव का प्रतिबिंब होता है, अर्थात् प्रत्येक $y \in \mathrm{Y}$, के लिए, $\mathrm{X}$ में एक ऐसे अवयव $x$ का अस्तित्व है कि $f(x)=y$.

आकृति 1.2 (iii) में, फलन $f _{3}$ आच्छादक है तथा आकृति 1.2 (i) में, फलन $f _{1}$ आच्छादक नहीं है, क्योंकि $\mathrm{X} _{2}$ के अवयव $e$, तथा $f, f _{1}$ के अंतर्गत $\mathrm{X} _{1}$ के किसी भी अवयव के प्रतिबिंब नहीं हैं।

आकृति 1.2

टिप्पणी $f: \mathrm{X} \rightarrow \mathrm{Y}$ एक आच्छादक फलन है, यदि और केवल यदि $f$ का परिसर (range) $=\mathrm{Y}$.

परिभाषा 7 एक फलन $f: \mathrm{X} \rightarrow \mathrm{Y}$ एक एकैकी तथा आच्छादक (one-one and onto) अथवा एकैकी आच्छादी (bijective) फलन कहलाता है, यदि $f$ एकैकी तथा आच्छादक दोनों ही होता है।

आकृति 1.2 (iv) में, फलन $f _{4}$ एक एकैकी तथा आच्छादी फलन है।

उदाहरण 7 मान लीजिए कि कक्षा $X$ के सभी 50 विद्यार्थियों का समुच्चय $A$ है। मान लीजिए $f: \mathbf{A} \rightarrow \mathbf{N}, f(x)=$ विद्यार्थी $x$ का रोल नंबर, द्वारा परिभाषित एक फलन है। सिद्ध कीजिए कि $f$ एकैकी है किंतु आच्छादक नहीं है।

हल कक्षा के दो भिन्न-भिन्न विद्यार्थियों के रोल नंबर समान नहीं हो सकते हैं। अतएव $f$ एकैकी है। व्यापकता की बिना क्षति किए हम मान सकते हैं कि विद्यार्थियों के रोल नंबर 1 से 50 तक हैं। इसकातात्पर्य यह हुआ कि $\mathbf{N}$ का अवयव 51 , कक्षा के किसी भी विद्यार्थी का रोल नंबर नहीं है, अतएव $f$ के अंतर्गत 51, $\mathrm{A}$ के किसी भी अवयव का प्रतिबिंब नहीं है। अतः $f$ आच्छादक नहीं है।

उदाहरण 8 सिद्ध कीजिए कि $f(x)=2 x$ द्वारा प्रदत्त फलन $f: \mathbf{N} \rightarrow \mathbf{N}$, एकैकी है किंतु आच्छादक नहीं है।

हल फलन $f$ एकैकी है, क्योंकि $f\left(x _{1}\right)=f\left(x _{2}\right) \Rightarrow 2 x _{1}=2 x _{2} \Rightarrow x _{1}=x _{2}$. पुन:, $f$ आच्छदक नहीं है, क्योंकि $1 \in \mathbf{N}$, के लिए $\mathbf{N}$ में ऐसे किसी $x$ का अस्तित्व नहीं है ताकि $f(x)=2 x=1$ हो।

उदाहरण 9 सिद्ध कीजिए कि $f(x)=2 x$ द्वारा प्रदत्त फलन $f: \mathbf{R} \rightarrow \mathbf{R}$, एकैकी तथा आच्छादक है। हल $f$ एकैकी है, क्योंकि $f\left(x _{1}\right)=f\left(x _{2}\right) \Rightarrow 2 x _{1}=2 x _{2} \Rightarrow x _{1}=x _{2}$. साथ ही, $\mathbf{R}$ में प्रदत्त किसी भी वास्तविक संख्या $y$ के लिए $\mathbf{R}$ में $\frac{y}{2}$ का अस्तित्व है, जहाँ $f\left(\frac{y}{2}\right)=2 \cdot\left(\frac{y}{2}\right)=y$ है। अतः $f$ आच्छादक भी है।

आकृति 1.3

उदाहरण 10 सिद्ध किजिए कि $f(1)=f(2)=1$ तथा $x>2$ के लिए $f(x)=x-1$ द्वारा प्रदत्त फलन $f: \mathbf{N} \rightarrow \mathbf{N}$, आच्छादक तो है किंतु एकैकी नहीं है।

हल $ f $ एकैकी नहीं है, क्योंकि $f(1)=f(2)=1$, परंतु $f$ आच्छादक है, क्योंकि किसी प्रदत्त $y \in \mathbf{N}, y \neq 1$, के लिए, हम $x$ को $y+1$ चुन लेते हैं, ताकि $f(y+1)=y+1-1=y$ साथ ही $1 \in \mathbf{N}$ के लिए $f(1)=1$ है।

उदाहरण 11 सिद्ध कीजिए कि $f(x)=x^{2}$ द्वारा परिभाषित फलन $f: \mathbf{R} \rightarrow \mathbf{R}$, न तो एकैकी है और न आच्छादक है।

हल क्योंकि $f(-1)=1=f(1)$, इसलिए $f$ एकैकी नहीं है। पुनः सहप्रांत $\mathbf{R}$ का अवयव -2 , प्रांत $\mathbf{R}$ के किसी भी अवयव $x$ का प्रतिबिंब नहीं है (क्यों?)। अतः $f$ आच्छादक नहीं है।

उदाहरण 12 सिद्ध कीजिए कि नीचे परिभाषित फलन $f: \mathbf{N} \rightarrow \mathbf{N}$, एकैकी तथा आच्छादक दोनों ही है

$$ f(x)=\begin{aligned} & x+1, \text { यदि } x \text { विषम है } \\ & x-1, \text { यदि } x \text { सम है } \end{aligned} $$

आकृति 1.4

हल मान लीजिए $f\left(x _{1}\right)=f\left(x _{2}\right)$ है। नोट कीजिए कि यदि $x _{1}$ विषम है तथा $x _{2}$ सम है, तो $x _{1}+1$ $=x _{2}-1$, अर्थात् $x _{2}-x _{1}=2$ जो असम्भव है। इस प्रकार $x _{1}$ के सम तथा $x _{2}$ के विषम होने की भी संभावना नहीं है। इसलिए $x _{1}$ तथा $x _{2}$ दोनों ही या तो विषम होंगे या सम होंगे। मान लीजिए कि $x _{1}$ तथा $x _{2}$ दोनों विषम हैं, तो $f\left(x _{1}\right)=f\left(x _{2}\right) \Rightarrow x _{1}+1=x _{2}+1 \Rightarrow x _{1}=x _{2}$. इसी प्रकार यदि $x _{1}$ तथा $x _{2}$ दोनों सम हैं, तो भी $f\left(x _{1}\right)=f\left(x _{2}\right) \Rightarrow x _{1}-1=x _{2}-1 \Rightarrow x _{1}=x _{2}$. अत: $f$ एकैकी है। साथ ही सहप्रांत $\mathbf{N}$ की कोई भी विषम संख्या $2 r+1$, प्रांत $\mathbf{N}$ की संख्या $2 r+2$ का प्रतिबिंब है और सहप्रांत $\mathbf{N}$ की कोई भी सम संख्या $2 r, \mathbf{N}$ की संख्या $2 r-1$ का प्रतिबिंब है। अतः $f$ आच्छादक है।

उदाहरण 13 सिद्ध कीजिए कि आच्छादक फलन $f:\{1,2,3\} \rightarrow\{1,2,3\}$ संदैव एकैकी फलन होता है।

हल मान लीजिए कि $f$ एकैकी नहीं है। अतः इसके प्रांत में कम से कम दो अवयव मान लिया कि 1 तथा 2 का अस्तित्व है जिनके सहप्रांत में प्रतिबिंब समान है। साथ ही $f$ के अंतर्गत 3 का प्रतिबिंब केवल एक ही अवयव है। अतः, परिसर में, सहप्रांत $\{1,2,3\}$ के, अधिकतम दो ही अवयव हो सकते हैं, जिससे प्रकट होता है कि $f$ आच्छादक नहीं है, जो कि एक विरोधोक्ति है। अतः $f$ को एकैकी होना ही चाहिए।

उदाहरण 14 सिद्ध कीजिए कि एक एकैकी फलन $f:\{1,2,3\} \rightarrow\{1,2,3\}$ अनिवार्य रूप से आच्छादक भी है।

हल चूँकि $f$ एकैकी है, इसलिए $\{1,2,3\}$ के तीन अवयव $f$ के अंतर्गत सहप्रांत $\{1,2,3\}$ के तीन अलग-अलग अवयवों से क्रमशः संबंधित होंगे। अतः $f$ आच्छादक भी है।

टिप्पणी उदाहरण 13 तथा 14 में प्राप्त परिणाम किसी भी स्वेच्छ परिमित (finite) समुच्चय $\mathrm{X}$, के लिए सत्य है, अर्थात् एक एकैकी फलन $f: \mathrm{X} \rightarrow \mathrm{X}$ अनिवार्यतः आच्छादक होता है तथा प्रत्येक परिमित समुच्चय $\mathrm{X}$ के लिए एक आच्छादक फलन $f: \mathrm{X} \rightarrow \mathrm{X}$ अनिवार्यतः एकैकी होता है। इसके विपरीत उदाहरण 8 तथा 10 से स्पष्ट होता है कि किसी अपरिमित (Infinite) समुच्चय के लिए यह सही नहीं भी हो सकता है। वास्तव में यह परिमित तथा अपरिमित समुच्चयों के बीच एक अभिलक्षणिक (characteristic) अंतर है।

प्रश्नावली 1.2

1. सिद्ध कीजिए कि $f(x)=\frac{1}{x}$ द्वारा परिभाषित फलन $f: \mathbf{R} _{\ast} \rightarrow \mathbf{R} _{\ast}$ एकैकी तथा आच्छादक है, जहाँ $\mathbf{R} _{\ast}$ सभी ऋणेतर वास्तविक संख्याओं का समुच्चय है। यदि प्रांत $\mathbf{R} _{\ast}$ को $\mathbf{N}$ से बदल दिया जाए, जब कि सहप्रांत पूर्ववत $\mathbf{R} _{\ast}$ ही रहे, तो भी क्या यह परिणाम सत्य होगा?

2. निम्नलिखित फलनों की एकैक (Injective) तथा आच्छादी (Surjective) गुणों की जाँच कीजिए:

(i) $f(x)=x^{2}$ द्वारा प्रदत्त $f: \mathbf{N} \rightarrow \mathbf{N}$ फलन है।

(ii) $f(x)=x^{2}$ द्वारा प्रदत्त $f: \mathbf{Z} \rightarrow \mathbf{Z}$ फलन है।

(iii) $f(x)=x^{2}$ द्वारा प्रदत्त $f: \mathbf{R} \rightarrow \mathbf{R}$ फलन है।

(iv) $f(x)=x^{3}$ द्वारा प्रदत्त $f: \mathbf{N} \rightarrow \mathbf{N}$ फलन है।

(v) $f(x)=x^{3}$ द्वारा प्रदत्त $f: \mathbf{Z} \rightarrow \mathbf{Z}$ फलन है।

3. सिद्ध कीजिए कि $f(x)=[x]$ द्वारा प्रदत्त महत्तम पूर्णांक फलन $f: \mathbf{R} \rightarrow \mathbf{R}$, न तो एकैकी है और न आच्छादक है, जहाँ $[x], x$ से कम या उसके बराबर महत्तम पूर्णांक को निरूपित करता है।

4. सिद्ध कीजिए कि $f(x)=|x|$ द्वारा प्रदत्त मापांक फलन $f: \mathbf{R} \rightarrow \mathbf{R}$, न तो एकैकी है और न आच्छादक है, जहाँ $|x|$ बराबर $x$, यदि $x$ धन या शून्य है तथा $|x|$ बराबर $-x$, यदि $x$ ॠण है।

5. सिद्ध कीजिए कि $f: \mathbf{R} \rightarrow \mathbf{R}$,

$$ \begin{array}{r} 1, \text { यदि } x>0 \\ f(x)=0, \text { यदि } x=0 \\ 1, \text { यदि } x<0 \end{array} $$

द्वारा प्रदत्त चिहन फलन न तो एकैकी है और न आच्छादक है।

6. मान लीजिए कि $\mathrm{A}=\{1,2,3\}, \mathrm{B}=\{4,5,6,7\}$ तथा $f=\{(1,4),(2,5),(3,6)\} \mathrm{A}$ से $\mathrm{B}$ तक एक फलन है। सिद्ध कीजिए कि $f$ एकैकी है।

7. निम्नलिखित में से प्रत्येक स्थिति में बतलाइए कि क्या दिए हुए फलन एकैकी, आच्छादक अथवा एकैकी आच्छादी (bijective) हैं। अपने उत्तर का औचित्य भी बतलाइए।

(i) $f(x)=3-4 x$ द्वारा परिभाषित फलन $f: \mathbf{R} \rightarrow \mathbf{R}$ है।

(ii) $f(x)=1+x^{2}$ द्वारा परिभाषित फलन $f: \mathbf{R} \rightarrow \mathbf{R}$ है।

8. मान लीजिए कि $\mathrm{A}$ तथा $\mathrm{B}$ दो समुच्चय हैं। सिद्ध कीजिए कि $f: \mathrm{A} \times \mathrm{B} \rightarrow \mathrm{B} \times \mathrm{A}$, इस प्रकार कि $f(a, b)=(b, a)$ एक एकैकी आच्छादी (bijective) फलन है।

9. मान लीजिए कि समस्त $n \in \mathbf{N}$ के लिए, $f(n)= \begin{cases}\frac{n+1}{2}, & \text { यदि } n \text { विषम है } \\ \frac{n}{2} & \text {, यदि } n \text { सम है }\end{cases}$

द्वारा परिभाषित एक फलन $f: \mathbf{N} \rightarrow \mathbf{N}$ है। बतलाइए कि क्या फलन $f$ एकैकी आच्छादी (bijective) है। अपने उत्तर का औचित्य भी बतलाइए।

10. मान लीजिए कि $\mathrm{A}=\mathbf{R}-\{3\}$ तथा $\mathrm{B}=\mathbf{R}-\{1\}$ हैं। $f(x)=\left(\frac{x-2}{x-3}\right)$ द्वारा परिभाषित फलन $f: \mathrm{A} \rightarrow \mathrm{B}$ पर विचार कीजिए। क्या $f$ एकैकी तथा आच्छादक है? अपने उत्तर का औचित्य भी बतलाइए।

11. मान लीजिए कि $f: \mathbf{R} \rightarrow \mathbf{R}, f(x)=x^{4}$ द्वारा परिभाषित है। सही उत्तर का चयन कीजिए।

(A) $f$ एकैकी आच्छादक है

(B) $f$ बहुएक आच्छादक है

(C) $f$ एकैकी है किंतु आच्छादक नहीं है

(D) $f$ न तो एकैकी है और न आच्छादक है।

12. मान लीजिए कि $f(x)=3 x$ द्वारा परिभाषित फलन $f: \mathbf{R} \rightarrow \mathbf{R}$ है। सही उत्तर चुनिए:

(A) $f$ एकैकी आच्छादक है

(B) $f$ बहुएक आच्छादक है

(C) $f$ एकैकी है परंतु आच्छादक नहीं है

(D) $f$ न तो एकैकी है और न आच्छादक है

1.4 फलनों का संयोजन तथा व्युत्क्रमणीय फलन (Composition of Functions and Invertible Function)

परिभाषा 8 मान लीजिए कि $f: \mathrm{A} \rightarrow \mathrm{B}$ तथा $g: \mathrm{B} \rightarrow \mathrm{C}$ दो फलन हैं। तब $f$ और $g$ का संयोजन, $g \circ f$ द्वारा निरूपित होता है, तथा फलन $g \circ f: \mathrm{A} \rightarrow \mathrm{C}, g \circ f(x)=g(f(x)), \forall x \in \mathrm{A}$ द्वारा परिभाषित होता है।

आकृति 1.5

उदाहरण 15 मान लीजिए कि $f:\{2,3,4,5\} \rightarrow\{3,4,5,9\}$ और $g:\{3,4,5,9\} \rightarrow 7,11,15\}$ दो फलन इस प्रकार हैं कि $f(2)=3, f(3)=4, f(4)=f(5)=5$ और $g(3)=g(4)=7$ तथा $g(5)=g(9)=11$, तो $g$ of ज्ञात कीजिए।

हल यहाँ $g \circ f(2)=g(f(2))=g(3)=7, \operatorname{gof}(3)=g(f(3))=g(4)=7, g \circ f(4)=g(f(4))$ $=g(5)=11$ और $g \circ f(5)=g(5)=11$.

उदाहरण 16 यदि $f: \mathbf{R} \rightarrow \mathbf{R}$ तथा $g: \mathbf{R} \rightarrow \mathbf{R}$ फलन क्रमशः $f(x)=\cos x$ तथा $g(x)=3 x^{2}$ द्वारा परिभाषित है तो $g \circ f$ और $f \circ g$ ज्ञात कीजिए। सिद्ध कीजिए $g \circ f \neq f \circ g$.

हल यहाँ $g \circ f(x)=g(f(x))=g(\cos x)=3(\cos x)^{2}=3 \cos ^{2} x$. इसी प्रकार, $f \circ g(x)=$ $f(g(x))=f\left(3 x^{2}\right)=\cos \left(3 x^{2}\right)$ हैं। नोट कीजिए कि $x=0$ के लिए $3 \cos ^{2} x \neq \cos 3 x^{2}$ है। अत: gof $\neq$ fog. उपर्युक्त परिचर्चा, उदाहरण 22 तथा टिप्पणी निम्नलिखित परिभाषा के लिए प्रेरित करते हैं:

परिभाषा 9 फलन $f: \mathrm{X} \rightarrow \mathrm{Y}$ व्युत्क्रमणीय (Invertible) कहलाता है, यदि एक फलन $g: \mathrm{Y} \rightarrow \mathrm{X}$ का अस्तित्व इस प्रकार है कि $g \circ f=\mathrm{I} _{\mathrm{X}}$ तथा $f \circ g=\mathrm{I} _{\mathrm{Y}}$ है। फलन $g$ को फलन $f$ का प्रतिलोम (Inverse) कहते हैं और इसे प्रतीक $f^{-1}$ द्वारा प्रकट करते हैं।

अतः, यदि $f$ व्युत्क्रमणीय है, तो $f$ अनिवार्यतः एकैकी तथा आच्छादक होता है और विलोमतः, यदि $f$ एकैकी तथा आच्छादक है, तो $f$ अनिवार्यतः व्युत्क्रमणीय होता है। यह तथ्य, $f$ को एकैकी तथा आच्छादक सिद्ध करके, व्युत्क्रमणीय प्रमाणित करने में महत्वपूर्ण रूप से सहायक होता है, विशेष रूप से जब $f$ का प्रतिलोम वास्तव में ज्ञात नहीं करना हो।

उदाहरण 17 मान लीजिए कि $f: \mathbf{N} \rightarrow \mathrm{Y}, f(x)=4 x+3$, द्वारा परिभाषित एक फलन है, जहाँ $\mathrm{Y}=\{y \in \mathbf{N}: y=4 x+3$ किसी $x \in \mathbf{N}$ के लिए $\}$ । सिद्ध कीजिए कि $f$ व्युत्क्रमणीय है। प्रतिलोम फलन भी ज्ञात कीजिए।

हल$\mathrm{Y}$ के किसी स्वेच्छ अवयव $y$ पर विचार कीजिए। $\mathrm{Y}$, की परिभाषा द्वारा, प्रांत $\mathbf{N}$ के किसी अवयव $x$ के लिए $y=4 x+3$ है। इससे निष्कर्ष निकलता है कि $x=\frac{(y-3)}{4}$ है। अब $g(y)=\frac{(y-3)}{4}$ द्वारा $g: \mathrm{Y} \rightarrow \mathbf{N}$ को परिभाषित कीजिए। इस प्रकार

$g \circ f(x)=g(f(x))=g(4 x+3)=\frac{(4 x+3-3)}{4}=x$ तथा $f \circ g(y)=f(g(y))=f\left(\frac{(y-3)}{4}\right)=\frac{4(y-3)}{4}+3=y-3+3=y$ है। इससे स्पष्ट होता है कि $g \circ f=\mathrm{I} _{\mathrm{N}}$ तथा $f \circ g=\mathrm{I} _{\mathrm{Y}}$, जिसका तात्पर्य यह हुआ कि $f$ व्युत्क्रमणीय है और फलन $g$ फलन $f$ का प्रतिलोम है।

विविध उदाहरण

उदाहरण 18 यदि $R _{1}$ तथा $R _{2}$ समुच्चय $A$ में तुल्यता संबंध हैं, तो सिद्ध कीजिए कि $R _{1} \cap R _{2}$ भी एक तुल्यता संबंध है।

हलक्योंकि $\mathrm{R} _{1}$ तथा $\mathrm{R} _{2}$ तुल्यता संबंध है इसलिए $(a, a) \in \mathrm{R} _{1}$, तथा $(a, a) \in \mathrm{R} _{2}, \forall a \in \mathrm{A}$ इसका तात्पर्य है कि $(a, a) \in \mathrm{R} _{1} \cap \mathrm{R} _{2}, \forall a$, जिससे सिद्ध होता है कि $\mathrm{R} _{1} \cap \mathrm{R} _{2}$ स्वतुल्य है। पुन: $(a, b) \in \mathrm{R} _{1} \cap \mathrm{R} _{2} \Rightarrow(a, b) \in \mathrm{R} _{1}$ तथा $(a, b) \in \mathrm{R} _{2} \Rightarrow(b, a) \in \mathrm{R} _{1}$ तथा $(b, a) \in \mathrm{R} _{2} \Rightarrow$ $(b, a) \in \mathrm{R} _{1} \cap \mathrm{R} _{2}$, अत: $\mathrm{R} _{1} \cap \mathrm{R} _{2}$ सममित है। इसी प्रकार $(a, b) \in \mathrm{R} _{1} \cap \mathrm{R} _{2}$ तथा $(b, c) \in \mathrm{R} _{1} \cap \mathrm{R} _{2}$ $\Rightarrow(a, c) \in \mathrm{R} _{1}$ तथा $(a, c) \in \mathrm{R} _{2} \Rightarrow(a, c) \in \mathrm{R} _{1} \cap \mathrm{R} _{2}$. इससे सिद्ध होता है कि $\mathrm{R} _{1} \cap \mathrm{R} _{2}$ संक्रामक है। अत: $\mathrm{R} _{1} \cap \mathrm{R} _{2}$ एक तुल्यता संबंध है।

उदाहरण 19 मान लीजिए कि समुच्चय A में धन पूर्णांकों के क्रमित युग्मों (ordered pairs)का एक संबंध $\mathrm{R},(x, y) \mathrm{R}(u, v)$, यदि और केवल यदि, $x v=y u$ द्वारा परिभाषित है। सिद्ध कीजिए कि $\mathrm{R}$ एक तुल्यता संबंध है।

हल स्पष्टतया $(x, y) \mathrm{R}(x, y), \forall(x, y) \in \mathrm{A}$, क्योंकि $x y=y x$ है। इससे स्पष्ट होता है कि $\mathrm{R}$ स्वतुल्य है। पुन: $(x, y) \mathrm{R}(u, v) \Rightarrow x v=y u \Rightarrow u y=v x$ और इसलिए $(u, v) \mathrm{R}(x, y)$ है। इससे स्पष्ट होता है कि $\mathrm{R}$ सममित है। इसी प्रकार $(x, y) \mathrm{R}(u, v)$ तथा $(u, v) \mathrm{R}(a, b) \Rightarrow x v=y u$ तथा $u b=v a \Rightarrow x v \frac{a}{u}=y u \frac{a}{u} \Rightarrow x v \frac{b}{v}=y u \frac{a}{u} \Rightarrow x b=y a$ और इसलिए $(x, y) \mathrm{R}(a, b)$ है। अतएव $\mathrm{R}$ संक्रामक है। अत: $\mathrm{R}$ एक तुल्यता संबंध है।

उदाहरण 20 मान लीजिए कि $\mathrm{X}=\{1,2,3,4,5,6,7,8,9\}$ है। मान लीजिए कि $\mathrm{X}$ में $\mathrm{R} _{1}=\{(x, y): x-y$ संख्या 3 से भाज्य है $\}$ द्वारा प्रदत्त एक संबंध $\mathrm{R} _{1}$ है तथा $\mathrm{R} _{2}=\{(x, y):\{x, y\}$ $\subset\{1,4,7\}$ या $\{x, y\} \subset\{2,5,8\}$ या $\left\{(x, y\} \subset\{3,6,9\}\right.$ द्वारा प्रदत्त $\mathrm{X}$ में एक अन्य संबंध $\mathrm{R} _{2}$ है। सिद्ध कीजिए कि $\mathrm{R} _{1}=\mathrm{R} _{2}$ है।

हल नोट कीजिए कि $\{1,4,7\},\{2,5,8\}$ तथा $\{3,6,9\}$ समुच्चयों में से प्रत्येक का अभिलक्षण (characterstic) यह है कि इनके किसी भी दो अवयवों का अंतर 3 का एक गुणज है। इसलिए $(x, y) \in \mathrm{R} _{1} \Rightarrow x-y$ संख्या 3 का गुणज है $\Rightarrow\{x, y\} \subset\{1,4,7\}$ या $\{x, y\} \subset\{2,5,8\}$ या $\{x, y\} \subset\{3,6,9\} \Rightarrow(x, y) \in \mathrm{R} _{2}$, अत: $\mathrm{R} _{1} \subset \mathrm{R} _{2}$. इसी प्रकार $\{x, y\} \in \mathrm{R} _{2} \Rightarrow\{x, y\} \subset$ $\{1,4,7\}$ या $\{x, y\} \subset\{2,5,8\}$ या $\{x, y\} \subset\{3,6,9\} \Rightarrow x-y$ संख्या 3 से भाज्य है $\Rightarrow\{x, y\}$ $\in \mathrm{R} _{1}$. इससे स्पष्ट होता है कि $\mathrm{R} _{2} \subset \mathrm{R} _{1}$. अत: $\mathrm{R} _{1}=\mathrm{R} _{2}$ है।

उदाहरण 21 मान लीजिए कि $f: \mathrm{X} \rightarrow \mathrm{Y}$ एक फलन है। $\mathrm{X}$ में $\mathrm{R}=\{(a, b): f(a)=f(b)\}$ द्वारा प्रदत्त एक संबंध $\mathrm{R}$ परिभाषित कीजिए। जाँचिए कि क्या $\mathrm{R}$ एक तुल्यता संबंध है।

हल प्रत्येक $a \in \mathrm{X}$ के लिए $(a, a) \in \mathrm{R}$, क्योंकि $f(a)=f(a)$, जिससे स्पष्ट होता है कि $\mathrm{R}$ स्वतुल्य है। इसी प्रकार, $(a, b) \in \mathrm{R} \Rightarrow f(a)=f(b) \Rightarrow f(b)=f(a) \Rightarrow(b, a) \in \mathrm{R}$. इसलिए $\mathrm{R}$ सममित है। पुन: $(a, b) \in \mathrm{R}$ तथा $(b, c) \in \mathrm{R} \Rightarrow f(a)=f(b)$ तथा $f(b)=f(c) \Rightarrow f(a)=f(c) \Rightarrow$ $(a, c) \in \mathrm{R}$, जिसका तात्पर्य है कि $\mathrm{R}$ संक्रामक है। अतः $\mathrm{R}$ एक तुल्यता संबंध है।

उदाहरण 22 समुच्चय $\mathrm{A}=\{1,2,3\}$ से स्वयं तक सभी एकैकी फलन की संख्या ज्ञात कीजिए।

हल $\{1,2,3\}$ से स्वयं तक एकैकी फलन केवल तीन प्रतीकों $1,2,3$ का क्रमचय है। अतः $\{1,2,3\}$ से स्वयं तक के प्रतिचित्रों (Maps) की कुल संख्या तीन प्रतीकों $1,2,3$ के क्रमचयों की कुल संख्या के बराबर होगी, जो कि $3 !=6$ है।

उदाहरण 23 मान लीजिए कि $\mathrm{A}=\{1,2,3\}$ है। तब सिद्ध कीजिए कि ऐसे संबंधों की संख्या चार है, जिनमें $(1,2)$ तथा $(2,3)$ हैं और जो स्वतुल्य तथा संक्रामक तो हैं किंतु सममित नहीं हैं।

हल $\{(1,1),(2,2),(3,3),(1,2),(2,3),(1,3)\},(1,2)$ तथा $(2,3)$ अवयवों वाला वह सबसे छोटा संबंध $\mathrm{R} _{1}$ है, जो स्वतुल्य तथा संक्रामक है किंतु सममित नहीं है। अब यदि $\mathrm{R} _{1}$ में युग्म $(2,1)$ बढ़ा दें, तो प्राप्त संबंध $\mathrm{R} _{2}$ अब भी स्वतुल्य तथा संक्रामक है परंतु सममित नहीं है। इसी प्रकार, हम $\mathrm{R} _{1}$ में $(3,2)$ बढ़ा कर $\mathbf{R} _{3}$ प्राप्त कर सकते हैं, जिनमें अभीष्ट गुणधर्म हैं। तथापि हम $\mathbf{R} _{1}$ में किन्हीं दो युग्मों $(2,1),(3,2)$ या एक युग्म $(3,1)$ को नहीं बढ़ा सकते हैं, क्योंकि ऐसा करने पर हम, संक्रामकता बनाए रखने के लिए, शेष युग्म को लेने के लिए बाध्य हो जाएँगे और इस प्रक्रिया द्वारा प्राप्त संबंध सममित भी हो जाएगा, जो अभीष्ट नहीं है। अतः अभीष्ट संबंधों की कुल संख्या तीन है।

उदाहरण 24 सिद्ध कीजिए कि समुच्चय $\{1,2,3\}$ में $(1,2)$ तथा $(2,1)$ को अन्तर्विष्ट करने वाले तुल्यता संबंधों की संख्या 2 है।

हल $(1,2)$ तथा $(2,1)$ को अंतर्विष्ट करने वाला सबसे छोटा तुल्यता संबंध $\mathrm{R} _{1},\{(1,1),(2,2)$, $(3,3),(1,2),(2,1)\}$ है। अब केवल 4 युग्म, नामतः $(2,3),(3,2),(1,3)$ तथा $(3,1)$ शेष बचते हैं। यदि हम इनमें से किसी एक को, जैसे $(2,3)$ को $\mathrm{R} _{1}$ में अंतर्विष्ट करते हैं, तो सममित के लिए हमें $(3,2)$ को भी लेना पड़ेगा, साथ ही संक्रमकता हेतु हम $(1,3)$ तथा $(3,1)$ को लेने के लिए बाध्य होंगे। अतः $\mathrm{R} _{1}$ से बड़ा तुल्यता संबंध केवल सार्वत्रिक संबंध है। इससे स्पष्ट होता है कि $(1,2)$ तथा $(2,1)$ को अंतर्विष्ट करने वाले तुल्यता संबंधों की कुल संख्या दो है।

उदाहरण 25 तत्समक फलन $\mathrm{I} _{\mathrm{N}}: \mathbf{N} \rightarrow \mathbf{N}$ पर विचार कीजिए, जो $\mathrm{I} _{\mathrm{N}}(x)=x, \forall x \in \mathbf{N}$ द्वारा परिभाषित है। सिद्ध कीजिए कि, यद्यपि $\mathrm{I} _{\mathrm{N}}$ आच्छादक है किंतु निम्नलिखित प्रकार से परिभाषित फलन $\mathrm{I} _{\mathrm{N}}+\mathrm{I} _{\mathrm{N}}: \mathbf{N} \rightarrow \mathbf{N}$ आच्छादक नहीं है

$$ \left(\mathrm{I} _{\mathrm{N}}+\mathrm{I} _{\mathrm{N}}\right)(x)=\mathrm{I} _{\mathrm{N}}(x)+\mathrm{I} _{\mathrm{N}}(x)=x+x=2 x $$

हल स्पष्टतया $\mathrm{I} _{\mathrm{N}}$ आच्छादक है किंतु $\mathrm{I} _{\mathrm{N}}+\mathrm{I} _{\mathrm{N}}$ आच्छादक नहीं है। क्योंकि हम सहप्रांत $\mathbf{N}$ में एक अवयव 3 ले सकते हैं जिसके लिए प्रांत $\mathbf{N}$ में किसी ऐसे $x$ का अस्तित्व नहीं है कि $\left(\mathrm{I} _{\mathrm{N}}+\mathrm{I} _{\mathrm{N}}\right)(x)=2 x=3$ हो।

उदाहरण$26 f(x)=\sin x$ द्वारा प्रदत्त फलन $f:\left[0, \frac{\pi}{2}\right] \rightarrow \mathbf{R}$ तथा $g(x)=\cos x$ द्वारा प्रदत्त फलन $g:\left[0, \frac{\pi}{2}\right] \rightarrow \mathbf{R}$ पर विचार कीजिए। सिद्ध कीजिए कि $f$ तथा $g$ एकैकी है, परंतु $f+g$ एकैकी नहीं है।

हल क्योंकि $\left[0, \frac{\pi}{2}\right]$, के दो भिन्न-भिन्न अवयवों $x _{1}$ तथा $x _{2}$ के लिए $\sin x _{1} \neq \sin x _{2}$ तथा $\cos x _{1} \neq \cos x _{2}$ इसलिए $f$ तथा $g$ दोनों ही आवश्यक रूप से एकैकी हैं। परंतु $(f+g)(0)=$ $\sin 0+\cos 0=1$ तथा $(f+g)\left(\frac{\pi}{2}\right)=\sin \frac{\pi}{2}+\cos \frac{\pi}{2}=1$ है। अतः $f+g$ एकैकी नहीं है।

अध्याय 1 पर विविध प्रश्नावली

1. सिद्ध कीजिए कि $f: \mathbf{R} \rightarrow\{x \in \mathbf{R}:-1<x<1\}$ जहाँ $f(x)=\frac{x}{1+|x|}, x \in \mathbf{R}$ द्वारा परिभाषित फलन एकैकी तथा आच्छादक है।

2. सिद्ध कीजिए कि $f(x)=x^{3}$ द्वारा प्रदत्त फलन $f: \mathbf{R} \rightarrow \mathbf{R}$ एकैक (Injective) है।

3. एक अरिक्त समुच्चय $X$ दिया हुआ है। $P(X)$ जो कि $X$ के समस्त उपसमुच्चयों का समुच्चय है, पर विचार कीजिए। निम्नलिखित तरह से $\mathrm{P}(\mathrm{X})$ में एक संबंध $\mathrm{R}$ परिभाषित कीजिए:

$P(X)$ में उपसमुच्चयों $A, B$ के लिए, $A R B$, यदि और केवल यदि $A \subset B$ है। क्या $R, P(X)$ में एक तुल्यता संबंध है? अपने उत्तर का औचित्य भी लिखिए।

4. समुच्चय $\{1,2,3, \ldots, n\}$ से स्वयं तक के समस्त आच्छादक फलनों की संख्या ज्ञात कीजिए।

5. मान लीजिए कि $\mathrm{A}=\{-1,0,1,2\}, \mathrm{B}=\{-4,-2,0,2\}$ और $f, g: \mathrm{A} \rightarrow \mathrm{B}$, क्रमश: $f(x)=x^{2}-x, x \in \mathrm{A}$ तथा $g(x)=2\left|x-\frac{1}{2}\right|-1, x \in \mathrm{A}$ द्वारा परिभाषित फलन हैं। क्या $f$ तथा $g$ समान हैं? अपने उत्तर का औचित्य भी बतलाइए। (संकेत : नोट कीजिए कि दो फलन $f: \mathrm{A} \rightarrow \mathrm{B}$ तथा $g: \mathrm{A} \rightarrow \mathrm{B}$ समान कहलाते हैं यदि $f(a)=g(a) \forall a \in \mathrm{A}$ हो।

6. यदि $\mathrm{A}=\{1,2,3\}$ हो तो ऐसे संबंध जिनमें अवयव $(1,2)$ तथा $(1,3)$ हों और जो स्वतुल्य तथा सममित हैं किंतु संक्रामक नहीं है, की संख्या है

(A) 1

(B) 2

(C) 3

(D) 4

7. यदि $\mathrm{A}=\{1,2,3\}$ हो तो अवयव $(1,2)$ वाले तुल्यता संबंधों की संख्या है।

(A) 1

(B) 2

(C) 3

(D) 4

सारांश

इस अध्याय में, हमने विविध प्रकार के संबंधों, फलनों तथा द्विआधारी संक्रियाओं का अध्ययन किया है। इस अध्याय की मुख्य विषय-वस्तु निम्नलिखित है:

• $\mathrm{X}$ में, $\mathrm{R}=\phi \subset \mathrm{X} \times \mathrm{X}$ द्वारा प्रदत्त संबंध $\mathrm{R}$, रिक्त संबंध होता है।

• $\mathrm{X}$ में, $\mathrm{R}=\mathrm{X} \times \mathrm{X}$ द्वारा प्रदत्त संबंध $\mathrm{R}$, सार्वत्रिक संबंध है।

• $\mathrm{X}$ में, ऐसा संबंध कि $\forall a \in \mathrm{X},(a, a) \in \mathrm{R}$, स्वतुल्य संबंध है।

• $\mathrm{X}$ में, इस प्रकार का संबंध $\mathrm{R}$, जो प्रतिबंध $(a, b) \in \mathrm{R}$ का तात्पर्य है कि $(b, a) \in \mathrm{R}$ को संतुष्ट करता है सममित संबंध है।

• $\mathrm{X}$ में, प्रतिबंध $\mathrm{R},(a, b) \in \mathrm{R}$ तथा $(b, c) \in \mathrm{R} \Rightarrow(a, c) \in \mathrm{R} \forall a, b, c \in \mathrm{X}$ को संतुष्ट करने वाला संबंध $\mathrm{R}$ संक्रामक संबंध है।

• $\mathrm{X}$ में, संबंध $\mathrm{R}$, जो स्वतुल्य, सममित तथा संक्रामक है, तुल्यता संबंध है।

• $\mathrm{X}$ में, किसी तुल्यता संबंध $\mathrm{R}$ के लिए $a \in \mathrm{X}$ के संगत तुल्यता वर्ग $[a], \mathrm{X}$ का वह उपसमुच्चय है जिसके सभी अवयव $a$ से संबंधित हैं।

• एक फलन $f: \mathrm{X} \rightarrow \mathrm{Y}$ एकैकी (अथवा एकैक) फलन है, यदि $f\left(x _{1}\right)=f\left(x _{2}\right) \Rightarrow x _{1}=x _{2}, \forall x _{1}, x _{2} \in \mathrm{X}$

• एक फलन $f: \mathrm{X} \rightarrow \mathrm{Y}$ आच्छादक (अथवा आच्छादी ) फलन है, यदि किसी प्रदत्त $y \in \mathrm{Y}, \exists x \in \mathrm{X}$, इस प्रकार कि $f(x)=y$

• एक फलन $f: \mathrm{X} \rightarrow \mathrm{Y}$ व्युत्क्रमणीय है, यदि और केवल यदि $f$ एकैकी तथा आच्छादक है।

• किसी प्रदत्त परिमित समुच्चय $\mathrm{X}$ के लिए फलन $f: \mathrm{X} \rightarrow \mathrm{X}$ एकैकी (तदानुसार आच्छादक) होता है, यदि और केवल यदि $f$ आच्दछादक (तदानुसार एकैकी) है। यह किसी परिमित समुच्चय का अभिलाक्षणिक गुणधर्म (Characterstic Property) है। यह अपरिमित समुच्चय के लिए सत्य नहीं है।

ऐतिहासिक पृष्ठभूमि

फलन की संकल्पना, R. Descartes (सन् 1596-1650 ई.) से प्रारंभ हो कर एक लंबे अंतराल में विकसित हुई है। Descartes ने सन् 1637 ई. में अपनी पांडुलिपि “Geometrie” में शब्द ‘फलन’ का प्रयोग, ज्यामितीय वक्रों, जैसे अतिपरवलय (Hyperbola), परिवलय (Parabola) तथा दीर्घवृत्त (Ellipse), का अध्ययन करते समय, एक चर राशि $x$ के धन पूर्णांक घात $x^{n}$ के अर्थ में किया था। James Gregory (सन् 1636-1675 ई.) ने अपनी कृति “Vera Circuliet Hyperbolae Quadratura” (सन् 1667 ई.) में, फलन को एक ऐसी राशि माना था, जो किसी अन्य राशि पर बीजीय अथवा अन्य संक्रियाओं को उत्तरोत्तर प्रयोग करने से प्राप्त होती है। बाद में G. W. Leibnitz (1646-1716 ई.) नें 1673 ई. में लिखित अपनी पांडुलिपि “Methodus tangentium inversa, seu de functionibus” में शब्द ‘फलन’ को किसी ऐसी राशि के अर्थ में प्रयोग किया, जो किसी वक्र के एक बिंदु से दूसरे बिंदु तक इस प्रकार परिवर्तित होती रहती है, जैसे वक्र पर बिंदु के निर्देशांक, वक्र की प्रवणता, वक्र की स्पर्शी तथा अभिलंब परिवर्तित होते हैं। तथापि अपनी कृति “Historia” (1714 ई.) में Leibnitz ने फलन को एक चर पर आधारित राशि के रूप में प्रयोग किया था। वाक्यांश ’ $x$ का फलन’ प्रयोग में लाने वाले वे सर्वप्रथम व्यक्ति थे। John Bernoulli (1667-1748 ई.) ने सर्वप्रथम 1718 ई. में संकेतन (Notation) $\phi x$ को वाक्यांश ’ $x$ का फलन’ को प्रकट करने के लिए किया था। परंतु फलन को निरूपित करने के लिए प्रतीकों, जैसे $f, \mathrm{~F}, \phi, \psi \ldots$ का व्यापक प्रयोग Leonhard Euler (1707-1783 ई.) द्वारा 1734 ई. में अपनी पांडुलिपि “Analysis Infinitorium” के प्रथम खण्ड में किया गया था। बाद में Joeph Louis Lagrange (1736-1813 ई.) ने 1793 ई. में अपनी पांडुलिपि “Theorie des functions analytiques” प्रकाशित की, जिसमें उन्होंने विश्लेषणात्मक (Analytic) फलन के बारे में परिचर्चा की थी तथा संकेतन $f(x), \mathrm{F}(x), \phi(x)$ आदि का प्रयोग $x$ के भिन्न-भिन्न फलनों के लिए किया था। तदोपरांत Lejeunne Dirichlet (1805-1859 ई.) ने फलन की परिभाषा दी। जिसका प्रयोग उस समय तक होता रहा जब तक वर्तमान काल में फलन की समुच्चय सैद्धांतिक परिभाषा का प्रचलन नहीं हुआ, जो Georg Cantor (1845-1918 ई) द्वारा विकसित समुच्चय सिद्धांत के बाद हुआ। वर्तमान काल में प्रचलित फलन की समुच्चय सैद्धांतिक परिभाषा Dirichlet द्वारा प्रदत्त फलन की परिभाषा का मात्र अमूर्तीकरण (Abstraction) है।